🛡️ 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·4h·
Discuss: Hacker News
🧪Property-Based Testing
Use Stories to Connect with People
talk.bradwoods.io·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·1d·
Discuss: Hacker News
⚙️Operating System Design
Shamir's Secret Sharing
en.wikipedia.org·4d·
Discuss: Hacker News
🧩Separation Logic
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
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·3d·
Discuss: r/davia_ai
🐳Containerization
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·5d
📚Automata Learning
Growing a homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
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
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·3d·
Discuss: Hacker News
❄️Nixified Development
crates.io phishing campaign
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🌐NetworkProtocols
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·5d
⚙Operational Semantics
Your APIs Are Costing More Than You Think
thenewstack.io·2d
👁️System Observability