FStar
An ML-like language aimed at program verification
Show HN: Doors of Delirium – Game of Life and Spotify Visualisation
2022-08-02
Nichelle Nichols, Lt. Uhura on ‘Star Trek,’ Has Died at 89
2022-08-02
Show HN: I made a minimalist time blocking app
2022-08-02
Ask HN: What is your data stack? What would you change if you could start over?
2022-08-02
Rivian lays off hundreds of workers
2022-08-02
Show HN: A simple, beautiful and interactive wrapper of curl
2022-08-02
Self-hosted 1Password kick-starter
2022-08-01
A Good Poaching Email
2022-08-01
The only way to beat the speed of light
2022-08-01
Ask HN: Is AWS having capacity issues?
2022-08-01
