Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·3h
🎭Program Synthesis
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
💬Interactive REPLs
Flag this post
Convince me to use C instead of Rust
🏗️Minimal Compilers
Flag this post
Status update, October 2025
bisco.org·13h
⚙️TOML Parsers
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·14h
🌉Cross-Language AST
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·14h
🖥️Lisp Machines
Flag this post
My little string library
🏷️Symbol Mangling
Flag this post
Smaller Surfaces
🥾Bootstrapping Strategies
Flag this post
I built a small ARM-like virtual system with a custom RTOS and C/C++ toolchain (BEEP-8)
🤖Embedded Go
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
📋Tablegen
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
🗑️Garbage Collection
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
To improve Rationality, create Situations
lesswrong.com·3h
🚂Error Propagation
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·14h
🔍ML Language
Flag this post
Down with template (or not)!
📋Template Compilers
Flag this post
Loading...Loading more...