🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Solar Cannibalization: Spain vs. Germany
solarletter.substack.com·11h·
Discuss: Substack
🩹Self-Healing Systems
Looking for feedback: heads-up poker training app
app.pokerheads.de·20h·
Discuss: r/programming
🎮Verification Games
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·1d·
Discuss: Hacker News
🧩Separation Logic
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·2d·
Discuss: Hacker News
🐫OCaml
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·3d·
Discuss: Hacker News
❄️Nixified Development
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·3d·
Discuss: Hacker News
🔤DSLs
Behind The Scenes of Bun Install
bun.com·2d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
🔧Unikernel Development
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·2d
📚Automata Learning
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·2d
🧩Separation Logic
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·2d
🧩Parser Combinators
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·1d·
Discuss: r/davia_ai
🐳Containerization
Governments ban self-custody crypto, require backdoors on all computers (2035)
news.ycombinator.com·15h·
Discuss: Hacker News
🩹Self-Healing Systems
Experimenting with local LLMs on macOS
blog.6nok.org·4d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·4d
🐫OCaml
The Astronaut and the Planet: Part II
lesswrong.com·10h
🩹Self-Healing Systems
No, AI won’t take all the jobs. Here’s why.
freethink.com·20h·
Discuss: Hacker News
🧠Automated Reasoning
A GitHub Co-Founder's Next Commit
opensourcepledge.com·2d·
Discuss: Hacker News
🍏Darwin
Depth-Bounded Epistemic Planning
arxiv.org·2d
🧩Separation Logic