FStar
An ML-like language aimed at program verification
μnandfs: A NAND Blobstore for Memory-Starved Platforms [pdf]
2021-12-23
Getting Started with Embedded C
2021-12-23
Those Legos under the tree might be worth more than gold one day
2021-12-22
CES 2022 starts to fall apart
2021-12-22
MicroAcquire raises $5M for its startup sale marketplace
2021-12-22
Show HN: Glancy – A new take on asynchronous video messaging
2021-12-22
EV startup Nikola settles with U.S. for $125M
2021-12-22
How Ashton Kutcher and Guy Oseary Built a $250M Portfolio with Startups
2021-12-22
Dropping the Drip: How to Get Started Making Better Coffee (2011)
2021-12-22
Ask HN: Have you ever found a capable freelancer on Fiverr?
2021-12-22
