FStar
An ML-like language aimed at program verification
Ask HN: Good Marketing?
2023-05-11
EV Startups Are Proving Warren Buffett Right
2023-05-11
A rarely mentioned benefit of YC is Work At A Startup
2023-05-11
Ask HN: It's 2023, how do you choose between MySQL and Postgres?
2023-05-11
Show HN: Oneleet – Penetration Testing for SOC 2 and beyond
2023-05-11
StarCoder: May the Source Be with You
2023-05-11
Show HN: Starlo – Microblogging for the Modern Era
2023-05-11
Show HN: A GPT3 Prompt Platform
2023-05-11
Show HN: Small lib leveraging Pyodide to convert RST to HTML
2023-05-11
Show HN: Browse, upvote and comment on HN from command line
2023-05-11
