🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Atlassian terminates 150 staff with pre-recorded video
cyberdaily.au·13h·
Discuss: Hacker News
🍎Apple
Grafana 12.1 Release
grafana.com·3d·
Discuss: Hacker News
🔍Formal Verification
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·4d·
Discuss: Hacker News
🏠HomeLab
A-Frame-mazing architecture overview
kenbonny.net·4d·
Discuss: r/programming
🧱Immutable Infrastructure
Book review: Apple in China by Patrick McGee
lapcatsoftware.com·19h·
Discuss: Hacker News
🍎Apple
The Bard and The Shell
journal.bsd.cafe·5d·
Discuss: Lobsters, Hacker News
❄️Nix
What If Government Contracting Rewarded Innovation?
5iprojects.com·2d·
Discuss: Hacker News
🤖Program Synthesis
The Sail instruction-set semantics specification language
alasdair.github.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: An AI agent and interface that maps your chat, designed for deep dives
proread.ai·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Everyone’s Invited to the Copyparty
hackaday.com·2d
🏠HomeLab
All About The New Stack’s New Registration Feature
thenewstack.io·1d
🍎Apple
Oracle VirtualBox licensing tweak lies in wait for the unwary
theregister.com·2d·
Discuss: Hacker News
🔬Unikernels
What Makes NixOS Different (and Why It's Better)
dashdot.me·5d·
Discuss: Hacker News
❄️Nix
Question about lightning detection
reddit.com·3d·
Discuss: r/homelab
📦Unikernel Systems
Safety Features for a Centralised AGI Project
arxiv.org·3d
📦Unikernel Systems
2× A2000s + 128GB RAM vs 4090? I built a self-learning GPU/CPU allocator that makes the most of multi-GPU rigs
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
FGFP: A Fractional Gaussian Filter and Pruning for Deep Neural Networks Compression
arxiv.org·2d
🐫OCaml
DeepC4: Deep Conditional Census-Constrained Clustering for Large-scale Multitask Spatial Disaggregation of Urban Morphology
arxiv.org·2d
🔠Type-Level Programming
Most developers use AI in their daily workflows – but they don't trust it
zdnet.com·2d·
Discuss: Hacker News
👁️System Observability
X-NeMo: Expressive Neural Motion Reenactment via Disentangled Latent Attention
arxiv.org·1d
➡️Category Theory