FStar
An ML-like language aimed at program verification
Ask HN: Which startups treat non-working hours/days with respect?
2021-01-08
Ask HN: Part-time jobs to fund my startup?
2021-01-08
Apache Beam for Search: Getting Started by Hacking Time
2021-01-08
Killing the Bugbear: Automated Unit Testing
2021-01-08
Ask HN: How do u manage part-time remote consultants? What is winning formula
2021-01-08
Twilio's “dozen-bagel” rule for preserving startup spirit as your company grows
2021-01-08
Ask HN: How can I learn about bringing new technologies to market?
2021-01-08
Fonsori: Empowering Underserved Communities
2021-01-08
Fintech startup SoFi to go public via SPAC backed by Chamath Palihapitiya
2021-01-08
NixOS project starts building packages for macOS on AArch64
2021-01-08
