🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Bullets in the Windows
yourlocalepidemiologist.substack.com·8h·
Discuss: Substack
🍎Apple
RISC-V single-board computer for less than 40 euros
heise.de·2d·
Discuss: Hacker News
💾Retro Computing
New plan, no active workflow limits – n8n's new pricing explained
blog.n8n.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Agentic commerce is here; add shopping to your agent
shopify.dev·5d·
Discuss: Hacker News
🍎Apple
DSPy Simba Explained
blog.mariusvach.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Supernovas AI – All-in-One Tool to Chat with Every Top AI Model and Your Data
supernovasai.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Dyson Sphere Could Bring Humans Back from the Dead
popularmechanics.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ex-White House cyber, counter-terrorism guru: Microsoft considers security an annoyance, not a necessity
theregister.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Mozilla under fire for Firefox AI "bloat" that blows up CPU and drains battery
neowin.net·1d·
Discuss: Hacker News, r/technews
🍎XNU Internals
Claude Code vs. Cursor
open-data-analytics.medium.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Handy microphone techniques for better presentations (WHY2025)
cdn.media.ccc.de·1d
🍎Apple
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·4d
➡️Category Theory
When Truth Is Overridden: Uncovering the Internal Origins of Sycophancy in Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
What Is Your AI Agent Buying? Evaluation, Implications and Emerging Questions for Agentic E-Commerce
arxiv.org·5d
✓Automated Theorem Proving
Battlefield 6 Forces Enabling Secure Boot, and Call of Duty: Black Ops 7 Is Next
ign.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
The Silicon Reasonable Person: Can AI Predict How Ordinary People Judge Reasonableness?
arxiv.org·4d
✓Automated Theorem Proving
Pay What LLM Wants: Can LLM Simulate Economics Experiment with 522 Real-human Persona?
arxiv.org·4d
✓Automated Theorem Proving
Agentic-AI based Mathematical Framework for Commercialization of Energy Resilience in Electrical Distribution System Planning and Operation
arxiv.org·3d
🧱Immutable Infrastructure
Interior Object Geometry via Fitted Frames
arxiv.org·2d
➡️Category Theory
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·5d·
Discuss: Hacker News
📦Unikernel Systems