FStar
An ML-like language aimed at program verification
Ask HN: Is MySQL 8, in 2022, a safe DB for storing financial data?
2022-08-16
Most-starred *insert programming language* GitHub repositories
2022-08-16
We need to own the software. Here's how to get it.
2022-08-16
Show HN: Hire experts in popular SaaS/no-code tools
2022-08-16
Launch HN: Viventum – Web3 ticketing compatible with legacy systems
2022-08-16
Show HN: Mov.to – Convert MOV files to anything
2022-08-16
Show HN: Wrote a scifi poetry book illustrated with Dalle2 (excerpt in comments)
2022-08-16
How to communicate why your startup is worth joining
2022-08-16
Live: NASA's first 4 miles to the moon starts today
2022-08-16
Show HN: A NextJS and Ethereum starter repo
2022-08-16
