🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Lithium and Its Potential Protection from Alzheimer's Disease
erictopol.substack.com·3d·
Discuss: Substack
💾Retro Computing
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·4d·
Discuss: Substack
🐫Embedded OCaml
Scientists Postulate a Second Law for Quantum Entanglement
techexplorist.com·1d·
Discuss: Hacker News
📡Network Protocol Design
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·2d·
Discuss: Hacker News
🍎Apple
Why Lorde’s Clear CD has so Many Playback Issues
hackaday.com·2h
🍎Apple
Prices as the optimal mechanism: Why I Support Capitalism
nicholasdecker.substack.com·2d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Can't open bank account due to silly address mismatch
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
The Open Source Dilemma: Who Pays for Our Digital Infrastructure?
brainnoises.com·4d·
Discuss: Hacker News, r/opensource
🔬Unikernels
Don't Be Too Rational
emergingperspectives.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Running Guitar Effects on a PlayStation Portable
hackaday.com·2d
💾Retro Computing
We inspire AI
swag.industries·3d·
Discuss: Hacker News
✓Automated Theorem Proving
RE Russia Whatsapp
theguardian.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
EasyNotes - notes apps for PC & mobile with direct local sync
github.com·2d·
Discuss: Hacker News
🍎Apple
"Draw me a curator" Examining the visual stereotyping of a cultural services profession by generative AI
arxiv.org·3d
➡️Category Theory
Started technical writing, ~4 years of experience
reddit.com·5d·
Discuss: r/programming
🔬Static Analysis
Adaptive Confidence-Wise Loss for Improved Lens Structure Segmentation in AS-OCT
arxiv.org·2d
🐫OCaml
Synology Disk Station Manager (DSM) - the good, the bad and the ugly (WHY2025)
cdn.media.ccc.de·3d
💾Retro Computing
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