FStar
An ML-like language aimed at program verification
Ask HN: I have 25k users. Now what?
2020-05-07
Forget 1000 true fans. Start with 1
2020-05-07
Yes, websites are starting to look more similar, according to an ML analysis
2020-05-07
Ask HN: Does anyone else want to chat?
2020-05-07
What will change after the Covid-19 pandemic in your industry/field?
2020-05-07
Ask HN: Best podcasts for CTOs/technical founders?
2020-05-06
Spotify is testing video podcasts with two YouTube stars
2020-05-06
How to Evaluate Startup Names
2020-05-06
SpaceX has fired Starship’s Raptor engine, and the vehicle still stands
2020-05-06
Working with light: Starting your career at ITMO University
2020-05-06
