2021-10-02 07:00
Hacker News 2021-10-02
- The Martians of Budapest
original article — hacker news - A dependently typed language for proofs that you can implement in one day
original article — hacker news - The new dot com bubble is here: It's called online advertising (2019)
original article — hacker news - Tanaka Hisashige, builder of the Myriad Year Clock (2016)
original article — hacker news - Learning Common Lisp to beat Java and Rust on a phone encoding problem
original article — hacker news - Anil Seth Finds Consciousness in Life’s Push Against Entropy
original article — hacker news - Factorio's Belt Bug
original article — hacker news - A Conspiracy to Kill IE6 (2019)
original article — hacker news - Freqfs: In-memory filesystem cache for Rust
original article — hacker news - Dublin Core's dirty little secret (2010)
original article — hacker news