FStar
An ML-like language aimed at program verification
They bought a Caribbean island to start their own country
2022-03-11
The Conti Startup
2022-03-11
Elden Ring's Minimal UI and HUD Elements Have Started Maximum Dev Debates
2022-03-11
It's time for a new approach to saving daylight
2022-03-11
A Visual Guide to North Korea's Totalitarian OS (2014)
2022-03-11
Show HN: PostgreSQL in a virtual private cloud on Heroku
2022-03-11
Show HN: Prepform – AI and spaced-repetition to optimize learning
2022-03-10
Niantic buys WebAR startup 8th Wall in largest acquisition to date
2022-03-10
Ask HN: How to Find Startup Problems?
2022-03-10
How do I determine the “key assumptions” of a startup
2022-03-10
