🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Computational understanding of Li-ion batteries (2016)
nature.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Show HN: "Who is hiring?" organized in a spreadsheet by AI agent
docs.getgrist.com·5h·
Discuss: Hacker News
🍎Apple
AI the Ripper
hugston.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Keeping the AI on the Leash but How?
medium.com·19h·
Discuss: Hacker News
🎮Verification Games
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·2d·
Discuss: Hacker News
🎮Verification Games
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·4h·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Building Your First ETL Pipeline in Rust
ryuru.com·5d·
Discuss: r/programming
🔬Static Analysis
An InfoSec Architect's First Taste of Temporal
supasaf.com·6d·
Discuss: Hacker News
⚙️PL Implementation
Distributed vs. Centralized Economies: Empowering SMBs for Innovation and Growth
memorly.ai·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to Build Agents Users Can Trust
builders.ramp.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Trying to route local game server through Oracle VM's IP.
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
Onepass
github.com·6h·
Discuss: Hacker News
🍎Apple
New Lenovo P330 tiny server build I'm standardizing on that networks like a real server should
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com·3d·
Discuss: r/programming
🌐NetworkProtocols
Why LLM Authorization is Hard
osohq.com·5d·
Discuss: Hacker News
🔍Formal Verification
crawl4ai: The Adaptive Intelligence Update
github.com·2d·
Discuss: Hacker News
👁️System Observability
(Attempting to) Engineer the chaos out of AI agents
trunk.io·4d·
Discuss: Hacker News
🧪Property-Based Testing
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·3d·
Discuss: r/programming
❄️Nixified Development
3D forest semantic segmentation using multispectral LiDAR and 3D deep learning
arxiv.org·15h
🧗Climbing Tech
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·5d
🔬Static Analysis