FStar
An ML-like language aimed at program verification
Vaccine to prevent Alzheimer’s starts Southern California trial
2023-03-09
Launch HN: Second (YC W23) – AI bots that add features to web apps
2023-03-09
Show HN: DemandHunt – Make something people want
2023-03-09
Show HN: Safe Data Changes in PostgreSQL
2023-03-09
Show HN: Livecycle – Get visual feedback, in context, on every pull request
2023-03-09
Twitter Files 16. Matt Taibbi Woodstock of the Censorship-Industrial Complex
2023-03-09
Twitter Files: Statement to Congress the Censorship-Industrial Complex
2023-03-09
Alloy Artifacts never fails to inspire, impress, and bring joy
2023-03-09
How to Get Started with Dbt
2023-03-09
Pause déj? They’ve never heard of it
2023-03-09
