FStar
An ML-like language aimed at program verification
Ask HN: How) should data be incrementally reclaimed from the cloud?
2021-07-20
Deranged PA goes berserk on physician's Facebook page, starts making threats
2021-07-20
The Battery Revolution Is Just Getting Started
2021-07-19
Reached 1.11M impressions for my blog as per GSC in 10 months
2021-07-19
The Bad Marriage Problem (In Startups)
2021-07-19
Launch HN: Work at a Fintech – job board for fintech startups
2021-07-19
RFID wallet startup (The Ridge) CMO, Connor MacDonald shares productivity hacks
2021-07-19
Technical co-founder (CTO) of two live projects looking to start something new
2021-07-19
Ask HN: Writing a layout engine for multiple operating systems
2021-07-19
Launch HN: Hypercontext (YC S21) – Meeting notes, actions, and OKRs in one app
2021-07-19
