FStar
An ML-like language aimed at program verification
Launch HN: Micro Meat (YC S21) – Technology for scaling cultivated meat
2022-03-10
Show HN: Parsers VC – Real-time tracking Venture Capital data provider
2022-03-10
Test your cloud-native applications swiftly and efficiently
2022-03-10
Show HN: I made careers site builder for startups
2022-03-10
Ask HN: How do Google/Facebook/Twitter/Netflix/Spotify determine my location?
2022-03-10
Show HN: I built a service to discover fast-growing markets, startups and apps
2022-03-10
Ask HN: Modern, easy-to-start with alternatives to Visual Basic
2022-03-08
Ask HN: Replacing USB3 with slim Power-over-Ethernet, too crazy?
2022-03-08
Launch HN: Optery (YC W22) – Remove your personal info from the internet
2022-03-08
Tale of the starvation and stubbornness – Siege of Leningrad (1941-1944)
2022-03-08
