Handbook of Satisfiability (2021)
๐Formal Methods
Flag this post
How the Substack feed is learning to understand your reading journey
๐Time Series ML
Flag this post
Incremental Compilation in RecursiveโDescent Parser (Roslyn)
๐ปProgramming languages
Flag this post
Show HN: AI agents running on 2011 Raspberry Pi with pure PHP โ no GPU
๐ปProgramming languages
Flag this post
Superhuman AI for Multiplayer Poker
๐Economic Theory
Flag this post
Fungus: The Befunge CPU(2015)
๐Linear Types
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
โกSIMD
Flag this post
AWK technical notes (2023)
๐ปProgramming languages
Flag this post
Open Catalyst Project
๐นRust Finance
Flag this post
Your Transformer is Secretly an EOT Solver
๐ปPolars
Flag this post
Loading...Loading more...