Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
📚Stack Data Structures
Flag this post
A new chapter at the Recurse Center
henryfellerhoff.com·1d
🔄Bootstrapping
Flag this post
Bold Devlog - October Summary
📚Forth Compilers
Flag this post
What if you don't need MCP at all?
mariozechner.at·1d
🌐Browser Compilers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
⚡Control Synthesis
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·4h
🪜Recursive Descent
Flag this post
Breakdown of JavaScript cores concept in connection to html with examples
🎪Playground Compilation
Flag this post
Why Your AI Agent Keeps Failing in Production (And How to Fix It)
pub.towardsai.net·11h
🎭Erlang OTP
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔗Category Theory
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
🐪MinCaml
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
🌪️V8 TurboFan
Flag this post
Loading...Loading more...