🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Based on the highly provocative statements of the Former President of Russia, Dmitry Medvedev, who is now the Deputy Chairman of the Security Council of the Rus...
trumpstruth.org·2d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: MagicQuill – Edit Images with AI Brushes
magicquillai.app·1d·
Discuss: Hacker News
🍎Apple
SanctionKit: Crypto sanctions compliance without breaking the bank
sanctionkit.com·2d·
Discuss: Hacker News
🏠HomeLab
How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project to Tower
tower.dev·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Emilio, your AI inbox agent
meetemilio.com·4d·
Discuss: Hacker News
🎮Verification Games
Why Won't Anyone Use the Beautiful Corporate Spaces
loganmarek.com·2d·
Discuss: Hacker News
🔬Unikernels
Notes on Asymmetry, Heteronomy, Delegation
ratfactor.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Kali Linux & Containerization (Apple's Container)
kali.org·5d·
Discuss: Hacker News
⎈Kubernetes
Playing with more user-friendly methods for multi-factor authentication
tesseral.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
I built a Redis-like server in Go, just for fun and learning – supports redis-cli, RESP protocol, and TTL!
reddit.com·5d·
Discuss: r/programming
🌐NetworkProtocols
Pscyhology Safety in Engineering Teams
yeka.substack.com·4d·
Discuss: Substack
🎮Verification Games
Termagotchi – A terminal-based Tamagotchi simulation written in Go
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Thanks, Tamiya-san
hackaday.com·1d
💾Retro Computing
Multidimensional Assessment of Takeover Performance in Conditionally Automated Driving
arxiv.org·3d
💻CS
DepMicroDiff: Diffusion-Based Dependency-Aware Multimodal Imputation for Microbiome Data
arxiv.org·2d
🔠Type-Level Programming
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·2d
➡️Category Theory
Deep Learning-based Prediction of Clinical Trial Enrollment with Uncertainty Estimates
arxiv.org·2d
💻CS
Rethink Domain Generalization in Heterogeneous Sequence MRI Segmentation
arxiv.org·2d
➡️Category Theory
AI is entering an 'unprecedented regime.' Should we stop it — and can we — before it destroys us?
livescience.com·2d·
Discuss: Hacker News
🎮Verification Games
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.org·5d
✓Automated Theorem Proving