Monthly Highlights
10801.
10802.
A Critical Look at Lean4 (lesswrong.com)
10803.
10804.
10805.
10806.
10807.
10808.
10809.
10810.
10811.
10812.
10813.
10814.
10815.
10816.
10817.
Logs as UX (jvt.me)
10818.
10819.
10820.
10821.
Spotify Technology (technology.spotify.com)
10822.
Pay It Forward (en.wikipedia.org)
10823.
10824.
10825.
10826.
The AI Pascal's Wager (ploum.net)
10827.
10828.
Ful (hackerone.com)
10829.
10830.