Siddhant Sharma
6 followers · 10 following · 924 views
on the atlas — 35
- SLAP.pdf1 savers
- [2407.11816] Modal Effect Types1 savers
- Futarchy: Vote Values, But Bet Beliefs6 savers
- On becoming competitive when joining a new company | Ludwig18 savers
- What if My Tribe Is Wrong? | Armin Ronacher's Thoughts and Writings1 savers
- curious gurnoor | decisions, decisions, decisions...1 savers
- Ranked-choice voting in the United States - Wikipedia1 savers
- On Commoditization, Pricing, and Assets | Evan Conrad3 savers
- Revealed preference - Wikipedia1 savers
- Palladium Magazine5 savers
- Conviction is the Scarcest Resource: Essays About Gaining Real Conviction45 savers
- Dwarkesh Podcast Progress Update - by Dwarkesh Patel8 savers
- What Would It Take to Recreate Bell Labs? - by Brian Potter3 savers
- [1912.05036] RVSDG: An Intermediate Representation for Optimizing Compilers1 savers
- Compiler Optimizations Are Hard Because They Forget - Faultlore1 savers
- Allocators | zig.guide1 savers
- An Extremely Opinionated Annotated List of My Favourite Mechanistic Interpretability Papers v2 — AI Alignment Forum6 savers
- The sad state of property-based testing libraries2 savers
- The B Lane Swimmer – Holly Witteman1 savers
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics3 savers
- MLC | WebLLM: A High-Performance In-Browser LLM Inference Engine1 savers
- Blog - Private Cloud Compute: A new frontier for AI privacy in the cloud - Apple Security Research6 savers
- [2406.04219] Multi-Agent Imitation Learning: Value is Easy, Regret is Hard1 savers
- [2103.10169] Hazelcast Jet: Low-latency Stream Processing at the 99.99th Percentile1 savers
- [1506.08603] Lightweight Asynchronous Snapshots for Distributed Dataflows1 savers
- Games and Puzzles as Multicomputational Systems—Stephen Wolfram Writings2 savers
- Cosmos: working notes, 124 savers
- NYSRG11 savers
- Honey I SNARKED the GPT - EZKL Blog2 savers
- Can AI Solve Science?—Stephen Wolfram Writings2 savers
- Curius / Onboarding2621 savers
- Algorithms for Modern Hardware - Algorithmica8 savers
- A Gentle Introduction to LLVM IR · mcyoung4 savers
- Binius: highly efficient proofs over binary fields4 savers
- How to do distributed locking — Martin Kleppmann’s blog3 savers
highlights — 3
But while it’s fundamentally inevitable that there must be an infinite number of pockets of computational reducibility in the end, it’s not clear at the outset either how significant these might be in things we care about, or how successful neural net methods might be in finding them
Can AI Solve Science?—Stephen Wolfram WritingsTo say one’s found a regularity in something is basically equivalent to saying one doesn’t need to specify all the details of the thing: that there’s a reduced representation from which one can reconstruct it
Can AI Solve Science?—Stephen Wolfram Writingsnewspapers, biographies, trade press. He went over to his grandfather who was a g
Curius / Onboarding