Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
An enough week
blog.mitrichev.chยท1dยท
๐Ÿงฎ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ยท3h
๐Ÿ”ฒCellular Automata
A gentle introduction to Generative AI: Historical perspective
medium.comยท11hยท
Discuss: Hacker News
๐Ÿง Learned Codecs
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.ioยท1dยท
๐ŸŒDNS over QUIC
The 'Why' Algorithm: Building AI That Learns to Ask Questions
dev.toยท6hยท
Discuss: DEV
๐Ÿค–AI Curation
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท17hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Operable Software
ferd.caยท23hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Estimating Fair Graphs from Graph-Stationary Data
arxiv.orgยท1d
๐ŸŒˆSpectral Methods
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.comยท22h
๐Ÿ”“Hacking
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.orgยท1d
๐Ÿ“ผCassette Combinators
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.toยท2hยท
Discuss: DEV
โš›๏ธQuantum Algorithms
Building a Task Management MCP Server with Laravel
dev.toยท19hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
FURINA: A Fully Customizable Role-Playing Benchmark via Scalable Multi-Agent Collaboration Pipeline
arxiv.orgยท2d
โšกPerformance Mythology
Padding
reddit.comยท8hยท
Discuss: r/golang
๐Ÿ”งKAITAI
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.orgยท2d
๐Ÿ“Linear Logic
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.toยท17hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
TypeScript Flaws (2024)
intercaetera.comยท4dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing