🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·16h·
Discuss: Hacker News
🍎Apple
Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·17h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·3d·
Discuss: Hacker News
🧩Parser Combinators
How Python Implements List Comprehensions
pythonkoans.substack.com·2d·
Discuss: Substack
📐Denotational Semantics
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·1d·
Discuss: Hacker News
🏠HomeLab
LavaMoat – tools for sandboxing your dependency graph
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Creating a Standard for TAI Governance
lesswrong.com·38m
🩹Self-Healing Systems
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·2d
📚Automata Learning
Visualising Topology Inspired Computing Algorithms
antifold.com·1d·
Discuss: Hacker News
🧩Separation Logic
Rewriting Dataframes for MicroHaskell
mchav.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·3d·
Discuss: Hacker News
💎Refinement Types
Dotter: Dotfile manager and templater written in Rust
github.com·18h·
Discuss: Hacker News
🐳Containerization
Lexy: A parser combinator library for C++17
github.com·23h·
Discuss: Hacker News
🧩Parser Combinators
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·2d
✓Automated Theorem Proving
Calibrating indifference - a small AI safety idea
lesswrong.com·2d
🧪Property-Based Testing
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·17h·
Discuss: Substack
📦Unikernel Systems
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml