🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Lute: Python/Flask tool for learning foreign languages through reading
luteorg.github.io·8h·
Discuss: Hacker News
📚Automata Learning
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·1d·
Discuss: Hacker News
📦Unikernel Systems
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·5d·
Discuss: Hacker News
📚Automata Learning
Shamir's Secret Sharing
en.wikipedia.org·3d·
Discuss: Hacker News
🧩Separation Logic
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
The Supply Chain Is the New Watering Hole
material.security·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Browser Support in 2025: What new features can I safely use?
caseywatts.com·2d·
Discuss: Hacker News
🐳Containerization
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·6d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A GitHub Co-Founder's Next Commit
opensourcepledge.com·3d·
Discuss: Hacker News
🍏Darwin
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
FoundationalECGNet: A Lightweight Foundational Model for ECG-based Multitask Cardiac Analysis
arxiv.org·1d
🔬Static Analysis
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·2d·
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·4d
⚙Operational Semantics