The Mathematics of Catenary
alanzucconi.com·2d·
Discuss: Hacker News
🏹Effect Systems
Show HN: Claudio – Audio Input for Claude.ai
earthpilot.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
SQLite's Use of Tcl
tcl-lang.org·4h·
Discuss: Hacker News
🔤DSLs
SCP-1313 – Equation for Bear
scp-wiki.wikidot.com·4d·
Discuss: Hacker News
🍎Apple
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·2d·
Discuss: Hacker News
📚Automata Learning
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Stop Burning Money on Performance Firefighting
blog.platformatic.dev·3d·
Discuss: Hacker News, r/webdev
👁️System Observability
I started something again, maybe it's not too late to start
starterslab.co·2d·
Discuss: Hacker News
🧗Climbing Tech
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫Embedded OCaml
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonwillison.net·23h·
Discuss: Hacker News, Hacker News
💾Retro Computing
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·3d·
Discuss: Substack
🤖Program Synthesis
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
INCPrompt: Task-Aware incremental Prompting for Rehearsal-Free Class-incremental Learning
arxiv.org·3d
🎮Verification Games
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·3d
🧠Automated Reasoning
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·3d
🔧Unikernel Development
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·1d·
Discuss: Substack
📚Automata Learning
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·10h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·3d
🧮Lambda Calculus
C++'s Greatest Flaw
harshal.is-cool.dev·3d·
Discuss: Hacker News
🔬Static Analysis