Lying in Wait: Uncovering Hidden Threats in Open Source Software
striderintel.com·4d·
Discuss: Hacker News
📦Unikernel Systems
What is the FDA doing about food safety these days?
foodpolitics.com·3d·
Discuss: Hacker News
🔍Formal Verification
Source Control
thechipletter.substack.com·3d·
Discuss: Substack
💾Retro Computing
Steam's fight against Visa, Mastercard, and censorship is only getting messier
polygon.com·2d·
Discuss: Hacker News
🎮Verification Games
Why there are so many more South Asian CEOs than East Asian CEOs in the US
davelu.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Debugging a mysterious HTTP streaming issue
mintlify.com·3d·
Discuss: Hacker News
⎈Kubernetes
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·5d·
Discuss: Hacker News
🐫OCaml
Artificial intelligence saves doctors time, but makes mistakes – study
rnz.co.nz·1d·
Discuss: Hacker News
🎮Verification Games
Show HN: Shiproom – A Browser-Based Cloud IDE with File-Level Access Control
shiproom.vercel.app·6d·
Discuss: Hacker News
📦Unikernel Systems
Zinus Saves $140k and Cuts Development Time by 50% with Replit
blog.replit.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
original ↗
ergaster.org·5d·
Discuss: Lobsters, Hacker News
🏠HomeLab
I got my dev job on Twitter
catalins.tech·3d·
Discuss: Hacker News
🔄Reproducible Builds
I'm Preparing My Parents–and Myself–To Be Fluent in AI
every.to·4d·
Discuss: Hacker News
💾Retro Computing
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·3d·
Discuss: Hacker News
🛡️seL4
Divergentism (2022)
ribbonfarm.com·3d·
Discuss: Hacker News
❄️Nix
Buying Large LiFePO4 Batteries: How Cheap is Too Cheap?
hackaday.com·1d
🐫Embedded OCaml
Glioblastoma Overall Survival Prediction With Vision Transformers
arxiv.org·4d
💻CS
Talking Surveys: How Photorealistic Embodied Conversational Agents Shape Response Quality, Engagement, and Satisfaction
arxiv.org·4d
🎮Verification Games
AI-Generated Algorithmic Virality
arxiv.org·4d
✓Automated Theorem Proving
Mail no longer buries the ‘Select’ button in iOS 26 beta 5
9to5mac.com·3d
💾Retro Computing