Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
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ยท11h
๐Ÿ”ฒCellular Automata
Anonat โ€“ Ephemeral E2EE chat rooms you can self-host
anonat.orgยท1dยท
Discuss: Hacker News
๐Ÿ“žWebRTC
Experiments With Sonnet 4.5's Fiction
lesswrong.comยท5hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Languages
WTF Is the Synergic Mode?
malcolmocean.comยท1dยท
Discuss: Hacker News
โฌœMinimalism
PHP's New URI Extension
thephp.foundationยท1dยท
Discuss: Hacker News
๐ŸŒWeb Standards
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
Vibing a Non-Trivial Ghostty Feature
mitchellh.comยท20hยท
๐Ÿ”ŒInterface Evolution
Show HN: Using Haskell to write an NES emulator
github.comยท53mยท
Discuss: Hacker News
๐Ÿ•นEmulation
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Dynamic Power Allocation for High-Bandwidth USB-C Alt Mode Displays using Reinforcement Learning
dev.toยท1hยท
Discuss: DEV
๐ŸŽฏEmulator Accuracy
Google Agent Development Kit (ADK) for TypeScript
github.comยท6hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Building Trust for AI Agents โ€” ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.toยท1dยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
Building a Task Management MCP Server with Laravel
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Strategic Communication under Threat: Learning Information Trade-offs in Pursuit-Evasion Games
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Show HN: Aidlab โ€“ Health Data for Devs
news.ycombinator.comยท6hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
Synergy Between the Strong and the Weak: Spiking Neural Networks are Inherently Self-Distillers
arxiv.orgยท1d
๐Ÿง Machine Learning
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท15hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.orgยท1d
๐Ÿ“Compression Bounds