🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Thirty-Seven Days of Peril (1871)
gutenberg.org·13h·
Discuss: Hacker News
🍎Apple
C++ Superset 2.0.0
static.fornux.com·19h·
Discuss: DEV, r/programming
🔬Static Analysis
How to create a .fset, .fset3, .iset files?
ar-js-org.github.io·1d·
Discuss: r/programming
🍎Apple
PanVK now supports Vulkan 1.4
collabora.com·11h·
Discuss: Hacker News
📦Unikernel Systems
The Lost Path to Seniorhood
gizvault.com·3d·
Discuss: r/linux, r/opensource, r/programming
🔬Unikernels
Habits & Tools for a Smoother Digital Life
spin.atomicobject.com·3d·
Discuss: Hacker News
💾Retro Computing
What Are We Losing With AI?
josem.co·13h·
Discuss: Hacker News
✓Automated Theorem Proving
👨‍💻 Built a YouTube Channel to Share Programming & Data Engineering Content – Would Love Your Feedback!
reddit.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
The Mythical Machine-Month Paradox – How much could AI change programming?
tucson-josh.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·3d·
Discuss: Hacker News
🐫OCaml
Is there demand for a tool that turns natural language to SQL without database?
news.ycombinator.com·1d·
Discuss: Hacker News
💻CS
Portsly: Mac Menubar – What's listening on that port?
github.com·1d·
Discuss: Hacker News
🍎Apple
Collaborative Perceiver: Elevating Vision-based 3D Object Detection via Local Density-Aware Spatial Occupancy
arxiv.org·1h
🔠Type-Level Programming
NAICS-Aware Graph Neural Networks for Large-Scale POI Co-visitation Prediction: A Multi-Modal Dataset and Methodology
arxiv.org·1d
🐫OCaml
Show HN: Faster local AWS EKS access
github.com·15h·
Discuss: Hacker News
⎈Kubernetes
AI gave me 20 hours back each week, but I'm still not shipping faster
hadijaveed.me·3d·
Discuss: r/programming
🔄Reproducible Builds
Wardropian Cycles make traffic assignment both optimal and fair by eliminating price-of-anarchy with Cyclical User Equilibrium for compliant connected autonomou...
arxiv.org·1d
🖥️Self-hosted Infrastructure
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.org·2d
🔠Type-Level Programming
SAMITE: Position Prompted SAM2 with Calibrated Memory for Visual Object Tracking
arxiv.org·1h
🔄Finite State Machines
Improving SpGEMM Performance Through Matrix Reordering and Cluster-wise Computation
arxiv.org·1h
💻CS