FStar
An ML-like language aimed at program verification
Dat Protocol Renamed Hypercore Protocol
2020-05-27
Tell HN: Shutterstock is changing its commission structure
2020-05-27
Idea validation for my new startup
2020-05-27
Lasting company culture that's not just a doc
2020-05-27
What are recommended rust crates for building a WebSocket game server?
2020-05-27
Amazon in advanced talks to buy self-driving startup Zoox: WSJ
2020-05-27
Discord is the only successful US startup in last 5 years?
2020-05-27
Show HN: To Listen to Any Page Prefix the URL with Playthis.link
2020-05-27
SpaceX and US Army sign deal to test Starlink broadband for military use
2020-05-27
Barcode scanning startup Scandit raises $80M in Series C round
2020-05-26
