🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Ultimate Guide to Git Branching Strategies (with diagrams + real-world use cases)
blog.prateekjain.dev·4d·
Discuss: r/devops, r/programming
🔄Reproducible Builds
Jeff Bezos doesn't believe in PowerPoint, and his employees agree
texttoslides.ai·20h·
Discuss: Hacker News
🍎Apple
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Git vulnerable to arbitrary file write on non-Windows systems
securitylabs.datadoghq.com·3d·
Discuss: Hacker News
❄️Nixified Development
Thoughts on Flash (2010)
web.archive.org·1d·
Discuss: Hacker News
🍎Apple
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·4d·
Discuss: Hacker News
✓Automated Theorem Proving
How Stack Overflow is innovating to keep up with AI disruption
leaddev.com·2d·
Discuss: Hacker News
⎈Kubernetes
A Phenomenological Approach to the Philosophy of Meaning in Life
link.springer.com·15h·
Discuss: Hacker News
➡️Category Theory
Powering a stack of HDDs using a separate PSU
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Age verification tools on adult websites bypassed in seconds
news.sky.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
AI is an over-confident pal that doesn't learn from mistakes
theregister.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Software Architecture Is Finally Fixing Its Biggest Problem: Developer Experience
thenewstack.io·2d
🔄Reproducible Builds
Deepfake Detection Via Facial Feature Extraction and Modeling
arxiv.org·2h
🔄Finite State Machines
Devfiler: Universal Profiling as a Desktop App
github.com·2d·
Discuss: Hacker News
🍎XNU Internals
On the Inevitability of Left-Leaning Political Bias in Aligned Language Models
arxiv.org·6d
➡️Category Theory
Python 3.14 release candidate 1 is go!
pythoninsider.blogspot.com·5d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
Planning a Major Server Migration: i7-4790K to i9-9900K
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
High-End KVM Switch?
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
Can I trust this paper?
link.springer.com·4d·
Discuss: Hacker News
🔬Static Analysis
Show HN: An AI tool that filters high-quality info from the noise
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure