549
124
Precision Clock Mk IV
https://mitxela.com/projects/precision_clock_mk_iv
a week ago
352
139
I made a chair
https://milofultz.com/2025-05-27-i-made-a-chair.html
319
223
Beware of Fast-Math
https://simonbyrne.github.io/notes/fastmath/
292
42
A Lean companion to Analysis I
https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/
252
173
Ask HN: Anyone making a living from a paid API?
https://news.ycombinator.com/item?id=44144473
247
148
GUIs are built at least 2.5 times
https://patricia.no/2025/05/30/why_lean_software_dev_is_wrong.html
215
143
Using lots of little tools to aggressively reject the bots
https://lambdacreate.com/posts/68
199
77
How to Store Data on Paper?
https://www.monperrus.net/martin/store-data-paper
198
52
Oniux: Kernel-level Tor isolation for any Linux app
https://blog.torproject.org/introducing-oniux-tor-isolation-using-linux-namespaces/
197
380
The Rise of the Japanese Toilet
https://www.nytimes.com/2025/05/29/business/toto-toilet-japan-bidet.html