FStar
An ML-like language aimed at program verification
Ask HN: What resources would you recommend to familiarize people with web dev
2022-03-01
Launch HN: GrowthBook (YC W22) – Open-source feature flagging and A/B testing
2022-03-01
BharatPe Co-Founder accuses Sequoia of lapses in corporate governance
2022-03-01
What happens to your body when you start exercising regularly
2022-03-01
Ask HN: DIY Satellite Phone
2022-03-01
How much do founders pay themselves? A European data set
2022-03-01
Launch HN: Onboard (YC W22) – Better customer onboarding and implementation
2022-03-01
Did astronomers see hints of first stars? Experiment casts doubt on bold claim
2022-03-01
Briar Quick Start Guide
2022-03-01
Watch Star Wars Episode IV: A New Hope in ASCII via Telnet
2022-03-01
