🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Lute: Python/Flask tool for learning foreign languages through reading
luteorg.github.io·6h·
Discuss: Hacker News
📚Automata Learning
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Use Stories to Connect with People
talk.bradwoods.io·17h·
Discuss: Hacker News
🎮Verification Games
What I Learned Starting an AI-Only Fantasy Football League
brooklynhacker.com·1d·
Discuss: Hacker News
🎮Verification Games
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·1d·
Discuss: Hacker News
💾Retro Computing
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
The Twin Users of the Future – Human and Agents
shouche.in·1d·
Discuss: Hacker News
⚙️Operating System Design
Shamir's Secret Sharing
en.wikipedia.org·3d·
Discuss: Hacker News
🧩Separation Logic
Does the world need another distributed queue?
techblog.cloudkitchens.com·4d·
Discuss: r/programming
⚙️Operating System Design
The Supply Chain Is the New Watering Hole
material.security·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·4d·
Discuss: Hacker News
🩹Self-Healing Systems
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·6d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
A GitHub Co-Founder's Next Commit
opensourcepledge.com·3d·
Discuss: Hacker News
🍏Darwin
Creating a Standard for TAI Governance
lesswrong.com·2d
🩹Self-Healing Systems
Rust Support Now in Beta
socket.dev·2d·
Discuss: Hacker News
❄️Nixified Development
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·4d
⚙Operational Semantics
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·4d
📚Automata Learning
Growing a homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Incorporating AI Incident Reporting into Telecommunications Law and Policy: Insights from India
arxiv.org·1d
🩹Self-Healing Systems