Is the U.S. Ready for the Next War?
newyorker.com·13h·
Discuss: Hacker News
🧗Climbing Tech
Micro Adventure – Space Attack (online emulator)
auri-microadventure.azurewebsites.net·1d·
Discuss: Hacker News
🛡️seL4
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·4d·
Discuss: r/programming
🔬Static Analysis
How Not to Think About Cells
subanima.org·1h·
Discuss: Hacker News
➡️Category Theory
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·3d·
Discuss: Hacker News
👁️System Observability
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·6d·
Discuss: Hacker News
🛡️seL4
It's bye for now, and so here are my final thoughts on technology
yukinu.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·6d·
Discuss: Hacker News
🛡️seL4
Monitoring My Homelab, Simply
b.tuxes.uk·4d·
Discuss: Lobsters, Hacker News
👁️System Observability
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·4d·
Discuss: Hacker News
🔄Reproducible Builds
Kubernetes on Proxmox (The scaling/autopilot Method)
reddit.com·10h·
Discuss: r/homelab
⎈Kubernetes
Durable Agent Loops
restate.dev·5d·
Discuss: Hacker News, r/programming
👁️System Observability
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·19h
✓Automated Theorem Proving
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·4d
🐫OCaml
The Color Doesn't Matter
tristanpemble.com·22h·
Discuss: Hacker News
🏹Effect Systems
From Curiosity to Competence: How World Models Interact with the Dynamics of Exploration
arxiv.org·19h
🐫OCaml
Show HN: A Raycast-compatible launcher for Linux
github.com·1d·
Discuss: Hacker News, r/linux
🍎XNU Internals
Looking for advice on buying stuff for my new homelab
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Show HN: Shepherd – Generating Synthetic Data with Claude and MCP
github.com·1d·
Discuss: Hacker News
🛡️seL4
A http parser single-header library written in C89 which is 50 lines total.
github.com·2d·
Discuss: Hacker News, r/programming
⚙️PL Implementation