🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Android Linux Commander
hackaday.com·13h
🐳Containerization
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3h·
Discuss: Hacker News
💾Retro Computing
We SSH into GitHub Actions
blacksmith.sh·17h·
Discuss: Hacker News
🖥Self-Hosting
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Does the world need another distributed queue?
techblog.cloudkitchens.com·14h·
Discuss: r/programming
⚙️Operating System Design
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·16h·
Discuss: Substack
🎮Verification Games
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
An Interactive Guide to TanStack DB
frontendatscale.com·11h·
Discuss: Hacker News
🔄Reproducible Builds
Master Foo and LLM Mountain
tusshah.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
LavaMoat – tools for sandboxing your dependency graph
github.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
Rust's Enterprise Breakthrough Year
rust-trends.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·5h·
Discuss: Hacker News
🔤DSLs
Visualising Topology Inspired Computing Algorithms
antifold.com·10h·
Discuss: Hacker News
🧩Separation Logic
Experimenting with local LLMs on macOS
blog.6nok.org·1d·
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
Calibrating indifference - a small AI safety idea
lesswrong.com·19h
🧪Property-Based Testing
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
👁️System Observability