🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Choosing the Right Wireless Module for Your Framework Desktop
boilingsteam.com·1d·
Discuss: Hacker News
🏠HomeLab
Myths About Floating-Point Numbers (2021)
asawicki.info·4d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Introducing spindle
blog.tangled.sh·5d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Show HN: Most advanced video compressor for iOS
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Post-Startup Life: Reflecting on My First 18 Months Living in Denver (2019)
daniellemorrill.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Security is sleeping on the job!
i.redd.it·4d·
Discuss: r/homelab
🔍Formal Verification
Smartphone Hackability, or, A Pocket Computer That Isn’t
hackaday.com·2d
💾Retro Computing
OpenAI Moves Fast and Breaks ChatGPT
spyglass.org·1d·
Discuss: Hacker News
🔬Unikernels
Citation Issues in Wave Mechanics Theory of Microwave Absorption
arxiv.org·1d
🐫OCaml
Using AI Made Doctors Worse at Spotting Cancer Without Assistance
time.com·7h·
Discuss: Hacker News
🎮Verification Games
Forecasting Commodity Price Shocks Using Temporal and Semantic Fusion of Prices Signals and Agentic Generative AI Extracted Economic News
arxiv.org·1d
🐫OCaml
GeRe: Towards Efficient Anti-Forgetting in Continual Learning of LLM via General Samples Replay
arxiv.org·6d
🎮Verification Games
API Observability: Beyond Monitoring To True Debuggability
thenewstack.io·5d
👁️System Observability
Integrity violation: toxic workplaces in infosec (WHY2025)
cdn.media.ccc.de·4d
🧗Climbing Tech
Reverse Engineering the Raspberry Pi Zero 2W
jeffgeerling.com·1d·
Discuss: Hacker News
💾Retro Computing
Planned vs. actual homelab – 4 months in and fully hooked 🐋
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
Crypto(graphy) 101 (WHY2025)
cdn.media.ccc.de·2d
🌐NetworkProtocols
Training Kindai OCR with parallel textline images and self-attention feature distance-based loss
arxiv.org·19h
🐫Embedded OCaml
Clinically-guided Data Synthesis for Laryngeal Lesion Detection
arxiv.org·2d
🤖Program Synthesis
Do Ethical AI Principles Matter to Users? A Large-Scale Analysis of User Sentiment and Satisfaction
arxiv.org·2d
🏹Effect Systems