🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Bridging vs. Cross-Posting
blog.anew.social·1d·
Discuss: Hacker News
🔄Reproducible Builds
Lichess Mobile App Official Release
lichess.org·3d·
Discuss: Hacker News
🎮Verification Games
Announcing Neki
planetscale.com·1d·
Discuss: Hacker News
📦Unikernel Systems
GPS Jamming Extends to Low-Earth Orbit
airandspaceforces.com·1d·
Discuss: Hacker News
📡Network Protocol Design
AC vc DC: who would win a modern Battle of the Currents?
watt-logic.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Arm Neural Technology Delivers Smarter, Sharper, More Efficient Mobile Graphics for Developers
newsroom.arm.com·1h·
Discuss: Hacker News, r/hardware
🍎Apple
Update on Malicious Gems Removal
blog.rubygems.org·3d·
Discuss: Hacker News
🍎Apple
A massive Wyoming data center will soon use 5x more power than the state's human occupants - but no one knows who is using it
techradar.com·3d·
Discuss: Hacker News, r/technology
🏠HomeLab
Back End to AI Engineer: A Realistic Path
hamed-rafati.medium.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Scaling Job Seeker Tools to $1000 MRR per Month with No Ad Spend
proofstories.io·1d·
Discuss: Hacker News
🍎Apple
Diffusion Language Models Are Super Data Learners
jinjieni.notion.site·2d·
Discuss: Hacker News, Hacker News
➡️Category Theory
Additional Intel Linux Drivers Left Orphaned & Maintainers Let Go
phoronix.com·3d·
Discuss: Hacker News, r/linux
❄️Nixified Development
TinyTeX – a LaTeX distribution based on TeX Live
github.com·3d·
Discuss: Hacker News
🔬Unikernels
Top Power Moves in AI Governance This Week
aigovernancelead.substack.com·3d·
Discuss: Substack
🎮Verification Games
AWS Lambda now supports GitHub Actions to simplify function deployment
aws.amazon.com·4d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Software Development with AI – Perspective from an experienced software engineer
nootn.com.au·6d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Virtual Ontologies with Claude Code
medium.com·6d·
Discuss: Hacker News
🔤DSLs
Decision-Making with Deliberation: Meta-reviewing as a Document-grounded Dialogue
arxiv.org·4d
✓Automated Theorem Proving
Why Remote Managers Burn Out Without Knowing It
medium.com·1d·
Discuss: Hacker News
🧗Climbing Tech
The inside story of the Telemessage saga, and how you can view the data
theregister.com·2d·
Discuss: Hacker News
🌐NetworkProtocols