Peekaping – self-hosted uptime monitoring
peekaping.com·1d·
Discuss: Hacker News
🐳Containerization
J-Link RTT for the Masses using Semihosting on ARM
bogdanthegeek.github.io·2d·
Discuss: Hacker News
🍎XNU Internals
eBook: Kubernetes at the Edge – Container Orchestration at Scale
conissaunce.com·1d·
Discuss: Hacker News
⎈Kubernetes
From Spaghetti to Simplicity
koolcodez.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Is Data Modeling Dead?
confessionsofadataguy.com·5h·
Discuss: Hacker News
💎Refinement Types
Reproducing GPT-2 (124M) in llm.c in 90 minutes for $20
github.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
Viaduct, Five Years On: Modernizing the Data-Oriented Service Mesh
medium.com·3h·
Discuss: Hacker News
🧱Immutable Infrastructure
Ask HN: How can I test FTS5 engine in SQLite3?
news.ycombinator.com·1d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Sensaro – Simple NPS and AI powered feedback analysis for SaaS
sensaro.ai·11h·
Discuss: Hacker News
🍎Apple
Common Applications of Web Browser Automation
anchorbrowser.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Headcount Systems Explained
iprogrammer.au·1d·
Discuss: Hacker News
📊Runtime Verification
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·16h
✓Automated Theorem Proving
New Python CLI Tool Catches MCP Server Issues Before Agents Do
thenewstack.io·4h
🛡️seL4
If all the world were a monorepo
jtibs.substack.com·1d·
Discuss: Substack
💎Refinement Types
New security stuff in the Linux 6.17
armosec.io·1d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Dolphin Progress Report: Release 2509
dolphin-emu.org·1d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
It's survey time! How has Go has been working out for you?
go.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
Unikraft Cloud Launch Announcement
unikraft.com·1d·
Discuss: Hacker News
🔬Unikernels
How Coding Agents Actually Work: Inside Opencode
cefboud.com·1d·
Discuss: r/programming
🤖Program Synthesis
Java 25 Is Here - What's New?
i-programmer.info·5h·
Discuss: r/programming
🔬Static Analysis