FStar
An ML-like language aimed at program verification
Day in the life of a Product Manager at a London fintech startup [video]
2021-03-03
Ask HN: How to write documentation for a medium size engineering org?
2021-03-03
Scott Forstall Encouraged Pandora to Jailbreak iPhones to Get Head Start on App
2021-03-03
Ask HN: Google revenue – Ad business or app subscriptions?
2021-03-03
SpaceX live stream of Starship SN10 takeoff about 3:15 est
2021-03-03
Starship – SN10 – High-Altitude Flight Test
2021-03-03
Starship SN10 20 Minutes to Launch
2021-03-03
Show HN: Protecc, a Missile Command-like game made with Paper.js and Netlify
2021-03-03
Launching iSawDesign. Offering Free website review
2021-03-03
Query Optimization in Postgres with Pg_stat_statements
2021-03-03
