Frozen in Place
economics.bmo.com·6h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
blog.wilsonl.in·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
A Close Look at a FastAPI Example Application
realpython.com·10h
🔌APIs
Flag this post
Show HN: An AI that keeps your internal documentation alive
davia.ai·3h·
Discuss: Hacker News
🔧DevOps
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
The Year of a Thousand Rooms
dxdt.ch·4h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Ghosts in the Codex Machine
docs.google.com·11h·
Discuss: Hacker News
👁️System Observability
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·19h
🧩Parser Combinators
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·6h
🔲Cellular Automata
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·19h
📝Term Rewriting
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
A toy model of corrigibility
lesswrong.com·1d
Timed Automata
Flag this post
RegionRAG: Region-level Retrieval-Augumented Generation for Visually-Rich Documents
arxiv.org·19h
📚Automata Learning
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·3d
🔄Finite State Machines
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·19h
Automated Theorem Proving
Flag this post
Multi-Representation Attention Framework for Underwater Bioacoustic Denoising and Recognition
arxiv.org·19h
🔲Cellular Automata
Flag this post