FStar
An ML-like language aimed at program verification
Startup Accelerators, Incubators, and Mentors Are Epic Fails
2021-05-08
Ask HN: Scheduling software to manage appointments of multiple employers
2021-05-08
Every Windows Startup and Shutdown Sound
2021-05-08
Elon Musk’s SpaceX Is Buying Up a Texas Village. Homeowners Cry Foul
2021-05-08
Starlink Satellites Tracker
2021-05-07
Elon Musk’s SpaceX Is Buying Up a Texas Village. Homeowners Cry Foul
2021-05-07
Ask HN: Email/calendar for startup/small company?
2021-05-07
How to Develop a Text Recommendation Engine
2021-05-07
What if we gave every employee $30K/year to invest in startups?
2021-05-07
Show HN: Ive started work on a command line utility to help with GPU Passthrough
2021-05-07
