🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The age of storage: Batteries primed for India's power markets
ember-energy.org·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: AI Executive assistant for your emails
useminima.framer.website·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·4d·
Discuss: Hacker News
⚙️PL Implementation
Operation Pineapple Express Used Signal to Evacuate Afghan Allies
brave.com·1d·
Discuss: Hacker News
🍎Apple
Are Cyber Defenders Winning? – Lawfare
lawfaremedia.org·5d·
Discuss: Hacker News
👁️System Observability
Auggie by Augment
augmentcode.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
A Baby's Guide to Anthropics
linch.substack.com·1d·
Discuss: Substack
➡️Category Theory
Cogito V2 Preview
deepcogito.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
The "cracked coder" fetish: Epistemic arrogance in Silicon Valley
maxread.substack.com·3d·
Discuss: Substack
🔬Unikernels
How to manage address resolution in an IPv6 world
reddit.com·23h·
Discuss: r/homelab
📡Network Protocol Design
New Apple TV 4K launch timing corroborated by second source
9to5mac.com·22h
🍎Apple
Just moved into our new home and has this, what is it and how can I use it?
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Server help!
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Active IRS-Enabled Integrated Sensing and Communications with Extended Targets
arxiv.org·2d
📡Network Protocol Design
Hardware choice for an R&D Build and Google service substitution
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Modded 20GB RTX3080s for $360?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
AutoDebias: Automated Framework for Debiasing Text-to-Image Models
arxiv.org·2d
🏹Effect Systems
GEPAR3D: Geometry Prior-Assisted Learning for 3D Tooth Segmentation
arxiv.org·2d
✓Automated Theorem Proving
DP-DGAD: A Generalist Dynamic Graph Anomaly Detector with Dynamic Prototypes
arxiv.org·2d
🐫OCaml