Improving Emacs' iCalendar Support
🐫Embedded OCaml
Flag this post
CHERIoT 1.0 Released
🐫Embedded OCaml
Flag this post
Oops, My UUIDs Collided
🎯GADT
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·10h
🔲Cellular Automata
Flag this post
Agents Are Commoditizing the Complement
🔧DevOps
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
🩹Self-Healing Systems
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
A toy model of corrigibility
lesswrong.com·1d
⏰Timed Automata
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
🎮Verification Games
Flag this post
The Hardest Bug to Fix Is Ambiguity
🔍Formal Verification
Flag this post
Solving a problem with mindware
lesswrong.com·11h
🔲Cellular Automata
Flag this post
Generating Accurate and Detailed Captions for High-Resolution Images
arxiv.org·21h
🔲Cellular Automata
Flag this post
Loading...Loading more...