FStar
An ML-like language aimed at program verification
If is Evil when used in location context (2015)
2023-08-23
Amazon is reportedly testing a confusing star rating system
2023-08-21
US Workers Now Expect Almost $79,000 Salary to Start a New Job
2023-08-21
For climate tech startups, the IRA is starting to pay off
2023-08-21
Show HN: VisionScript, abstract programming language for computer vision
2023-08-21
How much is Posthog costing your startup?
2023-08-21
Latest Android Runtime (ART) update led to apps starting 30% faster
2023-08-21
Ask HN: Should I bypass my Colleges Oppressive Software?
2023-08-21
YouTube starts Music AI incubator with Universal Music as partner
2023-08-21
A16Z Crypto Startup School 2023
2023-08-21
