A software conference that advocates for quality
bettersoftwareconference.com·15h·
Discuss: Hacker News
🛡️seL4
Struggling with light weight audio routing container
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·2d·
Discuss: Hacker News
❄️Nix
sipgate discovers null-pointer-dereference in Mediatek VoLTE stack firmware
sipgate.de·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
LLMs and Algorithmic Trading
architect.co·22h·
Discuss: Hacker News
🐫Embedded OCaml
Grok 4
x.ai·13h·
Discuss: Hacker News
🎮Verification Games
Intel CPU owners might be crashing "because of the summer heat" says Firefox dev
pcguide.com·23h·
Discuss: Hacker News
💾Retro Computing
Open-Source Security Paradox: More Code, More Validation
onekey.so·3d·
Discuss: Hacker News
🔄Reproducible Builds
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
🛡️seL4
Book review: A New Kind of Science (2005)
bactra.org·3d·
Discuss: Hacker News
💻CS
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·1d·
Discuss: Hacker News
👁️System Observability
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·3d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
At my wits end..
i.redd.it·21h·
Discuss: r/homelab
💾Retro Computing
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·1d
🔄Finite State Machines
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·3d
🔬Static Analysis
Learning To Communicate Over An Unknown Shared Network
arxiv.org·2d
📡Network Protocol Design
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·2d
🐫OCaml
An Emulated Stroll Down Macintosh Memory Lane
hackaday.com·2d
💾Retro Computing
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·2d·
Discuss: Substack
👁️System Observability
Bastille 1.0 – Bastille Day 2025
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems