🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Target-ducklake: connect 500 sources to Ducklake
definite.app·1d·
Discuss: Hacker News
🔄Reproducible Builds
Triple Scripts
triplescripts.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Initial homelab designing and planning
preview.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·4d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Stop Pretending LLMs Have Feelings Media's Dangerous AI Anthropomorphism Problem
readtpa.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Leadership Lessons from Bad Bosses (vol 1)
edistel.substack.com·20h·
Discuss: Substack
🍎Apple
The Selling Of AI
blog.dshr.org·17h·
Discuss: Hacker News, www.blogger.com
✓Automated Theorem Proving
Replit Agent deleted a $1M SaaS startup's production DB
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·5d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Just got it out together, so plz excuse the wiring!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Gene-DML: Dual-Pathway Multi-Level Discrimination for Gene Expression Prediction from Histopathology Images
arxiv.org·1d
🐫OCaml
Post-Quantum Cryptography in Kubernetes
kubernetes.io·5d
🌐NetworkProtocols
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·5d
✓Automated Theorem Proving
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·3d·
Discuss: r/homelab
🔬Unikernels
Question-Answer Extraction from Scientific Articles Using Knowledge Graphs and Large Language Models
arxiv.org·2d
💻CS
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Mind the Gap: A Review of Arabic Post-Training Datasets and Their Limitations
arxiv.org·1d
🐫OCaml
Can LLMs Infer Personality from Real World Conversations?
arxiv.org·1d
✓Automated Theorem Proving
Artificial Intelligence in the Food Industry: Food Waste Estimation based on Computer Vision, a Brief Case Study in a University Dining Hall
arxiv.org·1d
✓Automated Theorem Proving
Driving Platform Adoption: Community Is Your Value
thenewstack.io·1d
🔄Reproducible Builds