The Benefits of a Support Ticket to Documentation Lifecycle
mooreds.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·2d·
Discuss: Substack
🐫Embedded OCaml
One Event at a Time: Funding Your Community the Realistic Way
georgiker.com·4d·
Discuss: Hacker News
📡Network Protocol Design
Open SWE: An Open-Source Asynchronous Coding Agent
blog.langchain.com·6d·
Discuss: Hacker News, Hacker News, Hacker News
📦Unikernel Systems
Broken Authorization Is the #1 Web App Security Risk — and Most of Us Are Still Hand-Rolling It
shiftmag.dev·4d·
Discuss: r/programming
🛡️seL4
Making of SARE: How I Designed a File Format for Encrypted Data
zola.ink·5d·
Discuss: Hacker News
🌐NetworkProtocols
Real-World React Examples [2025 Guide]
netguru.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Progress Report: Linux 6.16
asahilinux.org·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/linux
🔬Unikernels
A Special Diamond Is the Key to a Fully Open Source Quantum Sensor
wired.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Beijing doesn't want Nvidia's H20s anywhere near sensitive government workloads
theregister.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Virtual Ontologies with Claude Code
medium.com·6d·
Discuss: Hacker News
🔤DSLs
Shipping an AI Agent that Lies to Production: Lessons Learned
threedots.tech·6d·
Discuss: Hacker News, r/golang, r/programming
🎮Verification Games
EICAP: Deep Dive in Assessment and Enhancement of Large Language Models in Emotional Intelligence through Multi-Turn Conversations
arxiv.org·1d
✓Automated Theorem Proving
Microsoft "Wassette": Rust and WebAssembly to Help AI Agents
phoronix.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
Debian 13 arrives with major updates for Linux users – what's new in 'Trixie'
zdnet.com·1d·
Discuss: Hacker News
❄️Nix
MORE-CLEAR: Multimodal Offline Reinforcement learning for Clinical notes Leveraged Enhanced State Representation
arxiv.org·19h
🎮Verification Games
Perceptual Evaluation of GANs and Diffusion Models for Generating X-rays
arxiv.org·19h
🤖Program Synthesis
What upcoming technologies / updates are you excited for?
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Show HN: Sinkzone DNS forwarder that blocks everything except your allowlist
github.com·6d·
Discuss: Hacker News, r/selfhosted
❄️Nix
An Explainable Machine Learning Framework for Railway Predictive Maintenance using Data Streams from the Metro Operator of Portugal
arxiv.org·4d
👁️System Observability