🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: MiniGameCenter: Play 100 Free Games in One App
minigamecenter.com·1h·
Discuss: Hacker News
🎮Verification Games
Letify
letify.nl·1d·
Discuss: Hacker News
🇵🇹Portugal
It’s “frighteningly likely” many US courts will overlook AI errors, expert says
arstechnica.com·1d·
Discuss: Hacker News, r/technews
🎮Verification Games
How do Rails/Golang/Python handle canceling a HTTP request mid transaction?
sent-hil.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Network interfaces for developers
owengage.com·3d·
Discuss: r/programming
🌐NetworkProtocols
Maybe writing speed actually is a bottleneck for programming
buttondown.com·4d·
Discuss: Hacker News
🔬Static Analysis
What Makes a Mature Science
asimov.press·20h·
Discuss: Hacker News
🏹Effect Systems
Writing Is Thinking
nature.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·5d·
Discuss: Hacker News
🌐NetworkProtocols
Agent DB
agentdb.dev·4d·
Discuss: Hacker News
🔤DSLs
In IA there is nowhere to move on
news.ycombinator.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
arxiv.org·9h
🐫OCaml
DynImg: Key Frames with Visual Prompts are Good Representation for Multi-Modal Video Understanding
arxiv.org·9h
🔄Finite State Machines
Extreme Value Theory-based Distributed Interference Prediction for 6G Industrial Sub-networks
arxiv.org·9h
📡Network Protocol Design
What does i++ really mean? The Deceptive Simplicity of The Increment Operation
lukasniessen.medium.com·4d·
Discuss: r/programming
🏹Effect Systems
OpenAI jumps gun on International Math Olympiad gold medal announcement
arstechnica.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org·1d
✓Automated Theorem Proving
My first homelab: specs, project ideas and what I did so far
preview.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Characterizing the Dynamics of Conspiracy Related German Telegram Conversations during COVID-19
arxiv.org·1d
💻CS
Paired Image Generation with Diffusion-Guided Diffusion Models
arxiv.org·9h
➡️Category Theory