Shubhaankar Sharma

on the atlas — 37

• Formally Verifying WebAssembly - A Soroban Case Study1 savers
• Cosmological natural selection1 savers
• Parallel and Distributed Operating Systems | MIT CSAIL1 savers
• Thoughts on slowing the fuck down3 savers
• Wong Kar-Wai's Color Obsession | The Independent Photographer1 savers
• philpapers.org/archive/LERTAF.pdf2 savers
• About these notes | Work with the garage door up2 savers
• Digital Ecosystems1 savers
• Paths to the Future: A Year at Google Brain | Debug Mind1 savers
• Sophie Wang (@sophicle): "I made an interactive blog post about how JPEG image compression works: https://www.sophielwang.com/blog/jpeg"1 savers
• Teaching LLMs to reason like Bayesians1 savers
• The Intent Layer | Intent Systems2 savers
• Everything I Know About Operations, I Learned From NHS 1111 savers
• yashaswi. on X: "time is a distributed systems problem" / X1 savers
• Inside OpenAI’s in-house data agent | OpenAI1 savers
• A Software Library with No Code1 savers
• the hunger to be everything. - by amber. - odetoapoet3 savers
• Andy Matuschak43 savers
• The Old World Is Dying: Advice for 2026 graduates36 savers
• The housing theory of everything - Works in Progress34 savers
• The Gap Map33 savers
• IEEE Xplore Full-Text PDF:33 savers
• Conviction is the Scarcest Resource: Dialogues About Conviction28 savers
• Do I Need to Go to University? -- colah's blog25 savers
• World-building IRL - by Joss - box.20 savers
• Goodhart's law13 savers
• CS Lewis Society of California13 savers
• AGI Trades9 savers
• The Possessed Machines: Dostoevsky's Demons and the Coming AGI Catastrophe9 savers
• Generalist - Blog7 savers
• A shallow dive into formal verification6 savers
• Life on Claude Nine - Igor Babuschkin5 savers
• AI Doesn’t Reduce Work—It Intensifies It5 savers
• Having Already Walked Out On Everyone I Ever Said I Loved4 savers
• Vibe engineering3 savers
• Dispatches from the possibly last days of human relevance (Shtetl-Optimized)3 savers
• Cuban medical internationalism2 savers