🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Lute: Python/Flask tool for learning foreign languages through reading
luteorg.github.io·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: AI Ancestry Test – Free Ethnicity Prediction from Your Photos
attractivenesstest.com·6h·
Discuss: Hacker News
🧪Property-Based Testing
Use Stories to Connect with People
talk.bradwoods.io·1d·
Discuss: Hacker News
🎮Verification Games
What I Learned Starting an AI-Only Fantasy Football League
brooklynhacker.com·1d·
Discuss: Hacker News
🎮Verification Games
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·3d·
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·2d·
Discuss: Hacker News
⚙️Operating System Design
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·6d·
Discuss: Hacker News
📚Automata Learning
Shamir's Secret Sharing
en.wikipedia.org·4d·
Discuss: Hacker News
🧩Separation Logic
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·2d·
Discuss: Hacker News
💾Retro Computing
The Supply Chain Is the New Watering Hole
material.security·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Does the world need another distributed queue?
techblog.cloudkitchens.com·5d·
Discuss: r/programming
⚙️Operating System Design
A GitHub Co-Founder's Next Commit
opensourcepledge.com·3d·
Discuss: Hacker News
🍏Darwin
Growing a homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·5d
📚Automata Learning
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·3d·
Discuss: Hacker News
❄️Nixified Development
Incorporating AI Incident Reporting into Telecommunications Law and Policy: Insights from India
arxiv.org·2d
🩹Self-Healing Systems
FoundationalECGNet: A Lightweight Foundational Model for ECG-based Multitask Cardiac Analysis
arxiv.org·2d
🔬Static Analysis
crates.io phishing campaign
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🌐NetworkProtocols