A software conference that advocates for quality
bettersoftwareconference.com·21h·
Discuss: Hacker News
🛡️seL4
Is Pain "All in Your Mind"? Examining the General Public's Views of Pain (2021)
link.springer.com·1h·
Discuss: Hacker News
🔬Unikernels
sipgate discovers null-pointer-dereference in Mediatek VoLTE stack firmware
sipgate.de·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·1h·
Discuss: Substack
🔬Unikernels
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·3d·
Discuss: Hacker News
🌐NetworkProtocols
Grok 4
x.ai·19h·
Discuss: Hacker News
🎮Verification Games
Intel CPU owners might be crashing "because of the summer heat" says Firefox dev
pcguide.com·1d·
Discuss: Hacker News
💾Retro Computing
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·3d·
Discuss: Hacker News
❄️Nix
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
🛡️seL4
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·1d·
Discuss: Hacker News
👁️System Observability
Open-Source Security Paradox: More Code, More Validation
onekey.so·3d·
Discuss: Hacker News
🔄Reproducible Builds
Frame of preference A history of Mac settings, 1984–2004
aresluna.org·3d·
Discuss: Lobsters, Hacker News, r/Longreads
💾Retro Computing
LLMs show cultural theory was right about the death of the author
programmablemutter.com·2d·
Discuss: Hacker News
➡️Category Theory
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·1d·
Discuss: r/homelab
💾Retro Computing
Why the Value of CVE Mitigation Outweighs the Costs
thenewstack.io·1d
👁️System Observability
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·1d·
Discuss: r/programming
🐫OCaml
Bastille 1.0 – Bastille Day 2025
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·2d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·3d
📦Unikernel Systems