Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

I made a tree visualizer
cassidoo.coยท1d
๐Ÿ”—Topological Sorting
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
The Data Backbone of LLM Systems
infoq.comยท4dยท
Discuss: Lobsters
๐Ÿ”—Constraint Handling
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.ioยท1dยท
Discuss: Hacker News
โšกIncremental Computation
Skill Issue Acceptance
mtende.blogยท1dยท
Discuss: Hacker News
๐Ÿ”Capability Systems
Two routes, one goal: How the crown of cell division is manufactured
phys.orgยท1h
๐Ÿ•ธ๏ธAlgebraic Topology
Babies and LLMs
blog.karliner.netยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
In response to a developer asking about systems
notes.eatonphil.comยท17hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Linguistic trajectories of bipolar disorder on social media
arxiv.orgยท13h
๐Ÿ“ผCassette Linguistics
Building a Harry Potter Quiz in Python
dev.toยท7hยท
Discuss: DEV
๐Ÿ‘‘Isabelle
Larry Wall โ€“ Present Continuous, Future Perfect (2006)
perl.org.ilยท3dยท
Discuss: Hacker News
๐ŸšShell Calculus
Temporal Preferences in Language Models for Long-Horizon Assistance
arxiv.orgยท13h
๐Ÿ’ปProgramming languages
Openness in AI and downstream governance: A global value chain approach
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Quantum Compositionality: A New Dawn for AI Understanding
dev.toยท21hยท
Discuss: DEV
โš›๏ธQuantum Information
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Productive AI Programming Using Forced Context Distillation
jx0.caยท4hยท
Discuss: Hacker News
โšกProof Automation
Unraveling the Mysteries of Data: A Beginner's Guide to Data Versioning & Lineage Explained
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Data Provenance
Is In-Context Learning Learning?
arxiv.orgยท13h
๐Ÿค–Grammar Induction