This Homebrew CPU Got Its Start in the 1990s
hackaday.com·3h
💾Retro Computing
Beauty Comes from Absence
karlkoch.me·16h·
Discuss: Hacker News
➡️Category Theory
Graph foundation models for relational data
research.google·1d·
Discuss: Hacker News
➡️Category Theory
LLMs are telepathy. We just don't know it yet
monarchwadia.com·10h·
Discuss: Hacker News
🛡️seL4
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·1h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·10h
➡️Category Theory
IMPACT: Industrial Machine Perception via Acoustic Cognitive Transformer
arxiv.org·1d
🐫Embedded OCaml
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·3d·
Discuss: Hacker News
🛡️seL4
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
C++ with no classes?
pvs-studio.com·2d·
Discuss: r/cpp, r/programming
🐫OCaml
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🤖Program Synthesis
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·7h·
Discuss: Substack
🔍Formal Verification
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·10h
✓Automated Theorem Proving
The Bitter Lesson (2025)
artfintel.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·23h·
Discuss: Hacker News
❄️Nixified Development