FStar
An ML-like language aimed at program verification
SpaceX’s Starlink will come out of beta next month, Elon Musk says
2021-09-18
Embodiment for Nerds
2021-09-18
Reflection: Four Things I Wish I Knew as the New CTO of a Startup
2021-09-18
Ask HN: What’s your personal finance strategy to exercising startup options?
2021-09-18
Dogs Are Hard-Wired to Understand Humans from Birth, Experiments Show
2021-09-18
What I Learned from the 16 Engineers Who Turned Down Job Offers at Our Startup
2021-09-18
Ask HN: FOSS low-code/no-code platforms?
2021-09-18
Dollar Warning Update from the Islands Which Started It
2021-09-18
Ask HN: I'm a solo founder and a billion dollar company wants to use my SaaS
2021-09-18
Pipeline Operator: Hack vs. F#
2021-09-17
