Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
An enough week
blog.mitrichev.chยท1dยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท2d
๐Ÿ”—Functional Compilers
A new information-theory framework reveals when multi-agent AI systems truly work as a team
the-decoder.comยท7h
๐Ÿ”ฒCellular Automata
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.eduยท3hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
WTF Is the Synergic Mode?
malcolmocean.comยท22hยท
Discuss: Hacker News
โฌœMinimalism
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.ioยท1dยท
Discuss: Hacker News, r/programming
๐ŸŒDNS over QUIC
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
Vibing a Non-Trivial Ghostty Feature
mitchellh.comยท17hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ŒInterface Evolution
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.toยท21hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
QUIC! Jump to User Space!
hackaday.comยท1d
๐ŸŒNetwork Protocols
TypeScript Flaws (2024)
intercaetera.comยท4dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
End-to-end testing of Gen AI Apps
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Concolic Testing
Ryanair flight landed at Manchester airport with six minutes of fuel left
dev.toยท15hยท
Discuss: DEV
๐ŸŒŠStream Processing
Contrastive Weak-to-strong Generalization
arxiv.orgยท1d
โง—Information Bottleneck
Less Is More: Recursive Reasoning with Tiny Networks
github.comยท3dยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
RareGraph-Synth: Knowledge-Guided Diffusion Models for Generating Privacy-Preserving Synthetic Patient Trajectories in Ultra-Rare Diseases
arxiv.orgยท2d
๐Ÿ”’Privacy Archives
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Building Trust for AI Agents โ€” ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.toยท22hยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees