🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Android Linux Commander
hackaday.com·20h
🐳Containerization
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Just Enough Automation
bevel.work·1h·
Discuss: Hacker News
🤖Program Synthesis
Master Foo and LLM Mountain
tusshah.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
LavaMoat – tools for sandboxing your dependency graph
github.com·11h·
Discuss: Hacker News
🔄Reproducible Builds
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·12h·
Discuss: Hacker News
🔤DSLs
Visualising Topology Inspired Computing Algorithms
antifold.com·17h·
Discuss: Hacker News
🧩Separation Logic
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
Clankers Die on Christmas
remyhax.xyz·1d·
Discuss: Hacker News
📚Automata Learning
You are not going to turn into Google eventually
idiallo.com·3h·
Discuss: Hacker News
🧱Immutable Infrastructure
An Interactive Guide to TanStack DB
frontendatscale.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
Calibrating indifference - a small AI safety idea
lesswrong.com·1d
🧪Property-Based Testing
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
👁️System Observability
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Billion-Line Days Demand Billion-Test Nights
momentic.ai·22h·
Discuss: Hacker News
🤖Program Synthesis
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·20h·
Discuss: Hacker News
🌐NetworkProtocols
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·6d
💎Refinement Types
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·50m·
Discuss: Hacker News
🏠HomeLab