🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Most Unit Tests Are a Waste of Time, but You Need to Write Them Anyway
darrenhorrocks.co.uk·4d·
Discuss: r/programming
🧪Property-Based Testing
I designed my own ridiculously fast game streaming video codec
themaister.net·2d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Building SQL trainer AI’s backend — A full walkthrough
firebird-technologies.com·3d·
Discuss: r/programming
🎮Verification Games
Researchers test the trustworthiness of AI by teaching it to play sudoku
techxplore.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Personal Superintelligence
meta.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I'm never going back to Matrix
shkspr.mobi·1d·
Discuss: Lobsters, Hacker News, shkspr.mobi
🔬Unikernels
Assessment of Quantitative Cyber-Physical Reliability of SCADA Systems in Autonomous Vehicle to Grid (V2G) Capable Smart Grids
arxiv.org·21h
🖥️Self-hosted Infrastructure
Symplectic Elimination
arxiv.org·1d
✓Automated Theorem Proving
Show HN: The easiest accessibility (a11y) checker for VSCode
github.com·1d·
Discuss: Hacker News
👁️System Observability
macOS Sequoia 15.6 now available with an important bug fix
9to5mac.com·1d
🍎Apple
Show HN: Get Proxy – Fast tool to collect free proxies from custom sources
github.com·2d·
Discuss: Hacker News
📡Network Protocol Design
SAM2-Aug: Prior knowledge-based Augmentation for Target Volume Auto-Segmentation in Adaptive Radiation Therapy Using Segment Anything Model 2
arxiv.org·2d
🐫Embedded OCaml
RISEE: A Highly Interactive Naturalistic Driving Trajectories Dataset with Human Subjective Risk Perception and Eye-tracking Information
arxiv.org·1d
🔄Finite State Machines
Towards Generalized Parameter Tuning in Coherent Ising Machines: A Portfolio-Based Approach
arxiv.org·1d
💻CS
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com·5d·
Discuss: Hacker News
🔬Static Analysis
Market Making Strategies with Reinforcement Learning
arxiv.org·2d
✓Automated Theorem Proving
Rote Learning Considered Useful: Generalizing over Memorized Data in LLMs
arxiv.org·21h
✓Automated Theorem Proving
See Different, Think Better: Visual Variations Mitigating Hallucinations in LVLMs
arxiv.org·21h
🐫Embedded OCaml
Questions regarding my Homelab setup
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Counterfactual Explanations in Medical Imaging: Exploring SPN-Guided Latent Space Manipulation
arxiv.org·2d
🏹Effect Systems