This Homebrew CPU Got Its Start in the 1990s
hackaday.com·7h
💾Retro Computing
Graph foundation models for relational data
research.google·1d·
Discuss: Hacker News
➡️Category Theory
Beauty Comes from Absence
karlkoch.me·20h·
Discuss: Hacker News
➡️Category Theory
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
🎮Verification Games
LLMs are telepathy. We just don't know it yet
monarchwadia.com·13h·
Discuss: Hacker News
🛡️seL4
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·5h·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
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
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·10h·
Discuss: Substack
🔍Formal Verification
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·14h
✓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·1d·
Discuss: Hacker News
❄️Nixified Development
The Bitter Lesson (2025)
artfintel.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·14h
👁️System Observability
Degradation-Agnostic Statistical Facial Feature Transformation for Blind Face Restoration in Adverse Weather Conditions
arxiv.org·14h
💻CS
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·14h
✓Automated Theorem Proving
Curriculum Negative Mining For Temporal Networks
arxiv.org·14h
➡️Category Theory