FStar
An ML-like language aimed at program verification
Ask HN: How do you do tax planning?
2022-01-06
Oracle Working on Multi-Threaded VFIO Page Pinning for ~10x Faster QEMU Startup
2022-01-06
Ask HN: Do most of the regulars have their own side projects that make money?
2022-01-06
SF startup Bolt just implemented a permanent four-day workweek
2022-01-06
Show HN: Raise your startup's first-ever round of funding in form of domain-name
2022-01-06
Looking for Pilot Students to Teach
2022-01-06
The Universe Is Already in Its Sixth and Final Era
2022-01-06
How do I minimize/prevent AND recover from burnout from studying?
2022-01-06
Stars from ancient cluster found in the Milky Way
2022-01-06
Taking the Leap: From Corporate Employee to Startup FinTech Founder
2022-01-06
