This Homebrew CPU Got Its Start in the 1990s
hackaday.com·2h
💾Retro Computing
Beauty Comes from Absence
karlkoch.me·15h·
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·8h·
Discuss: Hacker News
🛡️seL4
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·23m·
Discuss: r/programming
🔬Static Analysis
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·9h
➡️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
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
✓Automated Theorem Proving
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
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·5h·
Discuss: Substack
🔍Formal Verification
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·21h·
Discuss: Hacker News
❄️Nixified Development
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·9h
✓Automated Theorem Proving
The Bitter Lesson (2025)
artfintel.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·9h
👁️System Observability
Degradation-Agnostic Statistical Facial Feature Transformation for Blind Face Restoration in Adverse Weather Conditions
arxiv.org·9h
💻CS