FStar
An ML-like language aimed at program verification
Tips for early-stage startup growth without hiring a growth team
2022-05-05
Freight trains with electric locomotives now starting to happen
2022-05-05
I ran my startup from Russian prison
2022-05-05
What are some cools topics one can learn about that aren't software dev related
2022-05-05
GitHub will require 2FA by the end of 2023
2022-05-05
I Have No Idea What I'm Doing – Startup Founder blog
2022-05-05
Ask HN: Advice for finding purpose and early career burn out
2022-05-05
Starlink adds $25/month to let users move their internet around
2022-05-05
“Black widow” neutron star takes an hour to orbit the star it’s roasting
2022-05-05
Microletter – Start your own mini newsletter
2022-05-05
