🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Just released my first game ever - using Rust + Macroquad
sattva9.itch.io·2d
🎮Verification Games
Secuso – Our Farewell from Google Play
secuso.aifb.kit.edu·1d·
Discuss: Hacker News
🍎Apple
NSW Fair Trading – Dark Patterns
nsw.gov.au·2d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN:typed - Markdown app for writers, students, professionals, and creators
play.google.com·21h·
Discuss: Hacker News
🍎Apple
Round Up and Reflections for Ennie Award for Best Adventure
tasker.land·2d·
Discuss: Hacker News
📦Unikernel Systems
Brilliant Labs new AR Glasses are here
brilliant.xyz·1d·
Discuss: Hacker News
📦Unikernel Systems
Building a Mental Model AI
johnoct.github.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
He worked with artificial limbs for decades. Then a lorry ripped off his right arm. What happened when the expert became the patient?
theguardian.com·3h·
Discuss: Hacker News
💾Retro Computing
Lessons I learned building a full MERN stack SaaS as a solo dev in 3 months
solidgigs.com·5d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Characteristics of Good and Bad Opinions (Updated for 2025)
greyenlightenment.com·1d·
Discuss: Hacker News
🎮Verification Games
The Obscure Paradox Fueling AI and Big Data Growth
thenewstack.io·2d
👁️System Observability
Security Bite: iPhone users are more reckless online, new study finds
9to5mac.com·2d
🍎Apple
Cell-Free Massive MIMO SWIPT with Beyond Diagonal Reconfigurable Intelligent Surfaces
arxiv.org·1d
🐫Embedded OCaml
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·1d
🐫Embedded OCaml
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·4d
✓Automated Theorem Proving
Self-Propelled Agents and Group Social Force
arxiv.org·4d
🎮Verification Games
Applications Of Zero-Knowledge Proofs On Bitcoin
arxiv.org·3d
🌐NetworkProtocols
Automating Thematic Review of Prevention of Future Deaths Reports: Replicating the ONS Child Suicide Study using Large Language Models
arxiv.org·4d
🔬Static Analysis
Integrating Activity Predictions in Knowledge Graphs
arxiv.org·4d
➡️Category Theory
Beyond Binary Moderation: Identifying Fine-Grained Sexist and Misogynistic Behavior on GitHub with Large Language Models
arxiv.org·4d
🔄Reproducible Builds