What We Talk About When We Talk About Alt-Weeklies
coyotemedia.org·3d·
Discuss: Hacker News
💎Refinement Types
Updates to the pf packet filter in FreeBSD and pfSense software
netgate.com·5d·
Discuss: Hacker News
❄️NixOS
Obelisk 0.24.1
obeli.sk·6d·
Discuss: Lobsters, Hacker News
❄️NixOS
Build Features That Delete
m15y.com·4d·
Discuss: Hacker News
💾Retro Computing
Making an Impact as a Manager
managerstories.co·2d·
Discuss: Hacker News
🛡️seL4
A Neurobiological Framework for Solving the Execution Problem
atnself.com·4d·
Discuss: Hacker News
🩹Self-Healing Systems
Is Oreon Linux a True Red Hat Enterprise Alternative?
thenewstack.io·2d
🔧Unikernel Development
Stop fine-tuning LLMs for docs, use RAG
intlayer.org·6d·
Discuss: Hacker News, r/reactjs
✓Automated Theorem Proving
Decoding a Disorder at the Interface of Mind and Brain
scientificamerican.com·5d·
Discuss: Hacker News
🩹Self-Healing Systems
How Do Villages Grow into Cities?
unchartedterritories.tomaspueyo.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Amazon faces off against FTC over 'deceptive' Prime program
cnbc.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Mental math posts
johndcook.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Scale to one: How Fluid solves cold starts
vercel.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Linux Ready To Upstream Support For Google's PSP Encryption For TCP Connections
phoronix.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Jimmy Kimmel's show returning on Tuesday, ABC announces
nbcnews.com·21h·
Discuss: Hacker News, r/news, r/politics
🍎Apple
SWE-Bench Failures: When Coding Agents Spiral into 693 Lines of Hallucinations
surgehq.ai·4d·
Discuss: Hacker News
💎Refinement Types
SURGIN: SURrogate-guided Generative INversion for subsurface multiphase flow with quantified uncertainty
arxiv.org·6d
💎Refinement Types
Supply Chain Security Panel Discussion (nixcon2025)
cdn.media.ccc.de·4d
❄️NixOS
The Cautionary Tale of the Browser Wars and Why Business Transformations Often Fail
thenewstack.io·5d
🩹Self-Healing Systems
Artificial Intelligence-derived Cardiotocography Age as a Digital Biomarker for Predicting Future Adverse Pregnancy Outcomes
arxiv.org·4d
📚Automata Learning