FStar
An ML-like language aimed at program verification
In the Milky Way’s Stars, a History of Violence
2023-09-28
Ask HN: Do founders have to feel passionate about the problem they're solving?
2023-09-28
Show HN: Topical – Elixir library for synchronising state to web clients
2023-09-28
Show HN: Braintrust – Eval platform for AI products
2023-09-28
Intel starts mass production on Intel 4 node using EUV in Irish fab
2023-09-28
Ask HN: Why does ChatGPT say “fosters” so much?
2023-09-28
Show HN: What the Health Plan
2023-09-28
Ask HN: When Is a Market a Market?
2023-09-28
Silicon Valley Starts Hiring Poets to Fix Shitty Writing by Undercooked “AI”
2023-09-28
Ask HN: Do we need to start looking for blue color jobs?
2023-09-28
