Monthly Highlights
11161.
11162.
11163.
11164.
A Critical Look at Lean4 (lesswrong.com)
11165.
11166.
11167.
11168.
Microsoft Orleans (learn.microsoft.com)
11169.
11170.
11171.
11172.
11173.
11174.
11175.
Don't Be the Drunken Sailor (jdranpariya.com)
11176.
A Rant about APIs (dev.clintonblackburn.com)
11177.
AI Companies as Cybernetic Systems (ai-cybernetics.grok.me)
11178.
11179.
11180.
11181.
11182.
11183.
Monte-Carlo Simulations (eli.thegreenplace.net)
11184.
11185.
11186.
11187.
11188.
Dropbox Witchcraft (github.com)
11189.
11190.
I Will Wait (throwawaythoughts.blog)