FStar
An ML-like language aimed at program verification
Getting Started with Firecracker on Raspberry Pi
2020-11-22
Indian startup WhiteHat Jr’s founder files $2.6M defamation suit against critic
2020-11-22
55% of America's Billion-Dollar Startups Have Immigrant Founders (2018)
2020-11-22
Xfinity/Comcast to apply data caps nationally starting 2021
2020-11-22
Even Faster Bash Startup
2020-11-22
Some humble advice on pitching your startup (2014)
2020-11-22
Show HN: Text Me That iOS
2020-11-22
When Startups Go into the Garage (Or Sometimes the Living Room)
2020-11-22
To do politics or not do politics? Tech startups are divided
2020-11-22
Show HN: A newsletter for open source projects that I recently started
2020-11-22
