🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·2h·
Discuss: r/homelab
📦Unikernel Systems
It's Not WordPress. It's the Plugins
journal.bsd.cafe·2d·
Discuss: Hacker News
❄️Nixified Development
.expub – Exploring Expanded Publishing
expandedpublishing.net·1d·
Discuss: Hacker News
📦Unikernel Systems
How Roblox Uses AI to Moderate Content on a Scale
corp.roblox.com·2d·
Discuss: Hacker News
🏹Effect Systems
Run Automated E2E Tests with Stormkit and Browserless Before Hitting Production
stormkit.io·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Is AI poisoning the scientific literature? Our comment in Nature
anil.recoil.org·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Chesterton’s Fence and paralysing your organization
frederickvanbrabant.com·3d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Notes from a product design vibe coding hackathon
intercom.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·4d·
Discuss: Hacker News
➡️Category Theory
Things Not to Learn as an AI Engineer – By Paul Iusztin
decodingml.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Smarter AI for Critical Operations: Why Data Matters
thenewstack.io·1d
👁️System Observability
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org·1d
🔍Formal Verification
AI Wizards at CheckThat! 2025: Enhancing Transformer-Based Embeddings with Sentiment for Subjectivity Detection in News Articles
arxiv.org·8h
✓Automated Theorem Proving
Imbalanced Regression Pipeline Recommendation
arxiv.org·8h
🔠Type-Level Programming
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.org·1d
🔬Static Analysis
Secondary Bounded Rationality: A Theory of How Algorithms Reproduce Structural Inequality in AI Hiring
arxiv.org·2d
💻CS
Exploring User Security and Privacy Attitudes and Concerns Toward the Use of General-Purpose LLM Chatbots for Mental Health
arxiv.org·1d
🐫OCaml
Relative Entropy Pathwise Policy Optimization
arxiv.org·1d
🔠Type-Level Programming
Home Server Purchase Review
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.org·2d
🔠Type-Level Programming