🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

A defense of learning Latin and Greek
americamagazine.org·2d·
Discuss: Hacker News
🔬Static Analysis
Monitor your security cameras with locally processed AI
frigate.video·4d·
Discuss: Hacker News
👁️System Observability
Ukraine Creates New Interceptor Drone to Counter Shahed Drones
militarnyi.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Achieving Multitenancy in a Rails App Using CurrentAttributes
hashrocket.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Whispering Earring (Scott Alexander)
croissanthology.com·2d·
Discuss: Hacker News
🍎Apple
Judge Who Trump Absolutely Hates Will Oversee Epstein Files Case
newrepublic.com·1d·
Discuss: Hacker News, r/law
✓Automated Theorem Proving
It's Not You, It's US Tax Code Section 174
caitlinsteele.com·2d·
Discuss: Hacker News
💾Retro Computing
Btrfs Sees Urgent Fix Following Recent Reports Of Log Tree Corruption
phoronix.com·3d·
Discuss: Hacker News
💾Retro Computing
Are we religious?
reddit.com·1d·
Discuss: r/programming
🐫Embedded OCaml
Can Local Contribution-Based Currencies Replace Crypto?
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Matrix AI is a green Matrix-Style sleek desktop AI terminal assistant, launched via hotkey
reddit.com·1d·
Discuss: r/programming
💾Retro Computing
Help in best use of existing Hardware for new Unraid build?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
A Novel Image Similarity Metric for Scene Composition Structure
arxiv.org·1d
➡️Category Theory
Advancing Welding Defect Detection in Maritime Operations via Adapt-WeldNet and Defect Detection Interpretability Analysis
arxiv.org·5d
👁️System Observability
Ask HN: Would you use a mobile-first app to automate productivity workflows?
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
RegMean++: Enhancing Effectiveness and Generalization of Regression Mean for Model Merging
arxiv.org·3d
✓Automated Theorem Proving
The Model Is the Product
pleias.fr·3d·
Discuss: Hacker News
🤖Program Synthesis
FairFedMed: Benchmarking Group Fairness in Federated Medical Imaging with FairLoRA
arxiv.org·4d
🔠Type-Level Programming
Honey Classification using Hyperspectral Imaging and Machine Learning
arxiv.org·5d
➡️Category Theory
Landsat30-AU: A Vision-Language Dataset for Australian Landsat Imagery
arxiv.org·3d
🐫OCaml