🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Everything I Know about Self-Publishing
kk.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Scaling the Memory Wall: The Rise and Roadmap of HBM
semianalysis.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Slopfest: how I tried to fix my Twitter feed
stuff.hdemirev.com·3d·
Discuss: Hacker News
🍎Apple
Prices as the optimal mechanism: Why I Support Capitalism
nicholasdecker.substack.com·2d·
Discuss: Substack
🖥️Self-hosted Infrastructure
I tried every todo app and ended up with a .txt file
al3rez.com·4d·
Discuss: Hacker News
🍎Apple
Parallelizing Linux Writeback
blog.linuxnews.dev·5d·
Discuss: Hacker News
⚙️Operating System Design
Reinforcement Learning Conference 2025: Outstanding Paper Awards
rl-conference.cc·5d·
Discuss: Hacker News
🎮Verification Games
Cljfx – Declarative, functional and extensible wrapper of JavaFX
github.com·4d·
Discuss: Hacker News
🔄Finite State Machines
EasyNotes - notes apps for PC & mobile with direct local sync
github.com·2d·
Discuss: Hacker News
🍎Apple
Nvidia licensing...
reddit.com·3d·
Discuss: r/homelab
📦Unikernel Systems
Chain of Thought Still Thinks Fast: APriCoT Helps with Thinking Slow
arxiv.org·3d
✓Automated Theorem Proving
What Makes "Good" Distractors for Object Hallucination Evaluation in Large Vision-Language Models?
arxiv.org·3d
🐫OCaml
Incorporating Contextual Paralinguistic Understanding in Large Speech-Language Models
arxiv.org·3d
✓Automated Theorem Proving
Frequency Prior Guided Matching: A Data Augmentation Approach for Generalizable Semi-Supervised Polyp Segmentation
arxiv.org·3d
➡️Category Theory
Federated Online Learning for Heterogeneous Multisource Streaming Data
arxiv.org·3d
➡️Category Theory
Sensory robustness through top-down feedback and neural stochasticity in recurrent vision models
arxiv.org·3d
🏹Effect Systems
A Generative Imputation Method for Multimodal Alzheimer's Disease Diagnosis
arxiv.org·1d
💾Retro Computing
Kubernetes from Scratch, The Hard Way (WHY2025)
cdn.media.ccc.de·4d
⎈Kubernetes
Nonparametric Reaction Coordinate Optimization with Histories: A Framework for Rare Event Dynamics
arxiv.org·3d
➡️Category Theory
Intersectoral Knowledge in AI and Urban Studies: A Framework for Transdisciplinary Research
arxiv.org·3d
💻CS