🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Five Years After
isonomiaquarterly.com·1d·
Discuss: Hacker News
🐫OCaml
Cocoindex: Data Transformation for AI
cocoindex.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Ejabberd 25.07 / ProcessOne – Erlang Jabber/XMPP/Matrix Server – Communication
process-one.net·22h·
Discuss: Hacker News
🌐NetworkProtocols
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·5d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
Python: From Zero to Hero
pythonz2h.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Coffee, Slack, and Strategic Snooping
spin.atomicobject.com·1d·
Discuss: Hacker News
👁️System Observability
Open-source STM32 autopilot for long-range fixed-wing UAVs (SmartNavX)
news.ycombinator.com·21h·
Discuss: Hacker News
👁️System Observability
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·6d
➡️Category Theory
I need help.
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: A Raycast-compatible launcher for Linux
github.com·21h·
Discuss: Hacker News, r/linux
🍎XNU Internals
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·1d·
Discuss: Hacker News
🏹Effect Systems
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·4d
🤖Program Synthesis
Multi-modal Mutual-Guidance Conditional Prompt Learning for Vision-Language Models
arxiv.org·10h
🔄Finite State Machines
Ask HN: Using AI/LLM APIs makes me want to give up. What am I doing wrong?
news.ycombinator.com·7h·
Discuss: Hacker News
🍎Apple
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
Itty-AWS: 34KB AWS SDK for Effect
github.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
Are Developers Out of a Job?
argmin.net·2d·
Discuss: Hacker News
👁️System Observability