FStar
An ML-like language aimed at program verification
You need to fail fast (Startups create a ton of anxiety)
2022-07-30
Instagram is going to start surveying some users about race
2022-07-30
Software Engineer; pre-exit startup, where should I be during exit?
2022-07-29
Brightness Mitigation Best Practices for Satellite Operators [pdf]
2022-07-29
How to Start a Project: An Infocomic
2022-07-29
If your heart’s in it, money follows – Alexander Isora, Unicorn Platform $16k/mo
2022-07-29
Dropbox is announcing Dropbox for Startups
2022-07-29
Starting a New Country
2022-07-29
Ask HN: Limitations of Airtable
2022-07-29
Adrenaline-seeking firefighter started French wildfires, say prosecutors
2022-07-29
