Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
arxiv.orgยท20h
๐ŸŽฏPerformance Proofs
weak topology of a topological vector space
ncatlab.orgยท11h
๐Ÿ•ธ๏ธAlgebraic Topology
Recursive factorial in 14 characters (2023)
mvanier.github.ioยท3hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Mixture of Experts Architecture in Transformer Models
machinelearningmastery.comยท21h
๐ŸงฎSMT Solvers
A short book note: Srivastava on naive set theory
logicmatters.netยท12h
๐Ÿ—๏ธConstructive Analysis
Parsing Layout, or: Haskell's Syntax is a Mess
amelia.howยท7hยท
Discuss: Lobsters, r/programming
๐Ÿ”—Monadic Parsing
A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago
english.elpais.comยท12h
๐Ÿ“Mathematical Art
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.comยท3d
๐Ÿ”„Graph Rewriting
Optimal Addition Sequences for Integer Multiplication
jonot.meยท1d
๐Ÿ“Interval Arithmetic
Yoneda-Epistemology
networkspirits.comยท3hยท
Discuss: Hacker News
๐Ÿ”€Category Theory
Exploring High Efficiency Web Analysis Results๏ผˆ1751415025182400๏ผ‰
dev.toยท27mยท
Discuss: DEV
๐ŸŒŠStream Processing
Who Created the Birthday Problem, and Even One More Version
pballew.blogspot.comยท19hยท
Discuss: www.blogger.com
๐Ÿ”ฒCellular Automata
The Hidden Link Between RLHF and Contrastive Learning
arxiv.orgยท20h
๐Ÿง Intelligence Compression
Gist of Go: Semaphores
antonz.orgยท9h
๐Ÿง Program Logic
Monkeys, Typewriters, and Busy Beavers
lcamtuf.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ผTape Combinators
Reliability for unreliable LLMs
stackoverflow.blogยท1d
๐Ÿ’ปLocal LLMs
The Present of Collapse: A Metaphysical Framework of NP, P, and the Recursive Field of Truth
hackernoon.comยท8h
๐Ÿ”ฒProof Irrelevance
Low-Rank Multiplicative Adaptation for LLMs
exploration-lab.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
A Gentle Introduction to Backtracking
towardsdatascience.comยท1d
๐ŸŒณTrie Structures
What is isomorphism? | ugBASIC user manual
ugbasic.iwashere.euยท17hยท
Discuss: Lobsters, Hacker News
๐ŸŽฎVintage Gaming