Steve Ballmer denies allegations of Kawhi Leonard, Clippers circumventing salary cap
nytimes.com·10h·
Discuss: Hacker News
🍎Apple
Claude 4 Sonnet hacked SWE-bench by peeking at future commits
bayes.net·1h·
Discuss: Hacker News
🛡️seL4
How Inditex is adopting Microfront ends for future-proof platform development
medium.com·4d·
Discuss: Hacker News
⚙️Operating System Design
Strategies for securing non-human identities (services, workloads, AI agents)
cerbos.dev·5h·
Discuss: Hacker News, r/programming
🛡️seL4
The GPU Glossary: Performance
modal.com·22h·
Discuss: Hacker News
👁️System Observability
Faroe is a modular auth server distributed as a Go package
faroe.dev·3h·
Discuss: Hacker News
🐳Containerization
Hosting a hackathon as launching strategy. Is it a good idea?
first-danta.devpost.com·8h·
Discuss: Hacker News
🎮Verification Games
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·2h·
Discuss: Hacker News
🔬Static Analysis
The Moldable Development Environment
github.com·21h·
Discuss: Lobsters, Hacker News
📺Vintage Apple
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·15h·
Discuss: Hacker News
✓Automated Theorem Proving
My Experience Running OpenStack in a Homelab
reddit.com·3h·
Discuss: r/homelab
🐳Containerization
InvisiCaps: The Fil-C capability model
fil-c.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Seven Hours, Zero Internet, and Local AI Coding at 40,000 Feet
betweentheprompts.com·3d·
Discuss: Hacker News, Hacker News, r/programming
🔬Unikernels
When Docker Almost Died: Exploring Container Alternatives
wcff.bearblog.dev·2d·
Discuss: r/programming
🐳Containerization
Intel patents 'Software Defined Supercore' — Mimicking ultra-wide execution using multiple cores
tomshardware.com·4d·
Discuss: Hacker News, r/technews
⚙️Operating System Design
Beyond CI/CD: Why Your Infrastructure Is Your New Bottleneck
thenewstack.io·21h
🔄Reproducible Builds
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·19h·
Discuss: Hacker News
🔠Type-Level Programming
Tau5 – a platform for live coding, art, and music
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·4d·
Discuss: Hacker News
🐫Embedded OCaml
Moe Inference Economics from First Principles
tensoreconomics.com·2d·
Discuss: Hacker News
🍎XNU Internals