FStar
An ML-like language aimed at program verification
Getting Acquired as an Agency
2022-12-11
Starring the Computer
2022-12-11
Show HN: macOS Live coin tracker (BTC, ETH and others)
2022-12-11
ChatGPT based text adventure game
2022-12-11
Getting Started with Tmux
2022-12-11
The Far-Out Summit Where Geniuses Learn to Build Starships (2016)
2022-12-11
Ask HN: Those with money-making side projects,how did you come up with the idea?
2022-12-11
I started taking English classes at the age of 46
2022-12-11
Mastodon GitHub Star History
2022-12-11
As semiconductor VC funding dips, startups trip, crash, build for the next boom
2022-12-10
