🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Looking for feedback: heads-up poker training app
app.pokerheads.de·5h·
Discuss: r/programming
🎮Verification Games
Browser Support in 2025: What new features can I safely use?
caseywatts.com·1d·
Discuss: Hacker News
🐳Containerization
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·1d·
Discuss: Hacker News
🐫OCaml
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
Discuss: Hacker News
❄️Nixified Development
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·2d·
Discuss: Hacker News
🔤DSLs
Cross-platform gRPC Test tool
reddit.com·1d·
Discuss: r/programming
📺Vintage Apple
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·1d·
Discuss: DEV, Hacker News
👁️System Observability
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·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·23h·
Discuss: Hacker News
📊Runtime Verification
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·1d
🐫OCaml
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·1d
📚Automata Learning
Growing a homelab
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·1d
🧩Separation Logic
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·1d
🧩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
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·3d
🐫OCaml
Shape Checking for Annotated Tensor Names
github.com·1d·
Discuss: Hacker News
🐫OCaml
Experimenting with local LLMs on macOS
blog.6nok.org·4d·
Discuss: Lobsters, Hacker News
📺Vintage Apple