🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Veles, Google's open source secret scanner
opensource.googleblog.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Graphene OS: a security-enhanced Android build
lwn.net·2d·
Discuss: Hacker News
🔬Unikernels
The Promised LAN
tpl.house·3d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
About 30% of Humanity's Last Exam chemistry/biology answers are likely wrong
futurehouse.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Architecture Styles – Azure Architecture Center
learn.microsoft.com·4d·
Discuss: Hacker News
⚙️Operating System Design
Proven Practices for Succeeding with a Multicloud Strategy
aws.amazon.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ask HN: Why can't database files be safely synchronized, can we ever get there?
news.ycombinator.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
I built a smart photo organizer that automatically finds solo portraits using AI face detection on macOS
reddit.com·2d·
Discuss: r/programming
🍎Apple
Ask HN: Why is virtualization still not solved?
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Unikernels
GTA 2 re-implementation project by CriminalRETeam
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Mistral’s new “environmental audit” shows how much AI is hurting the planet
arstechnica.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Eslint-config-prettier Compromise
endorlabs.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Meta-Learning for Cold-Start Personalization in Prompt-Tuned LLMs
arxiv.org·4d
✓Automated Theorem Proving
Multi-modal Multi-task Pre-training for Improved Point Cloud Understanding
arxiv.org·3d
🎮Verification Games
Exploring the Frontiers of kNN Noisy Feature Detection and Recovery for Self-Driving Labs
arxiv.org·3d
📦Unikernel Systems
Multimodal Fine-grained Reasoning for Post Quality Evaluation
arxiv.org·2d
✓Automated Theorem Proving
“Platform Engineer Starter Kit” – You’re the Sous‑Chef, Not the Cook
reddit.com·3d·
Discuss: r/programming
🔄Reproducible Builds
ViGText: Deepfake Image Detection with Vision-Language Model Explanations and Graph Neural Networks
arxiv.org·2d
🐫OCaml
Seeing is believing in biomedicine, which isn't great when AI gets it wrong
theregister.com·3h·
Discuss: Hacker News
🤖Program Synthesis
I'm starting my homelab!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab