🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Early Development of Set Theory (2024)
plato.stanford.edu·2d·
Discuss: Hacker News
➡️Category Theory
Arduino Nano R4
store-usa.arduino.cc·4h·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: LaunchChecklist.pro – Customisable launch checklists with PDF export
launchchecklist.pro·7h·
Discuss: Hacker News
🧗Climbing Tech
Why is the a difference between the LLMs evaluation benchmark score and its users response?
chat.deepseek.com·1d·
Discuss: r/programming
🧪Property-Based Testing
How the ZX Spectrum Laid the Foundations of Modern Algorithms
zxonline.net·3d·
Discuss: Hacker News
💾Retro Computing
Building Devu a platform to help devs contribute to open source without the overwhelm
devu.dev·3h·
Discuss: DEV, Hacker News
🔄Reproducible Builds
How I found my way to contribute to OSS
tarasyarema.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
H-Nets – The Past
goombalab.github.io·4d·
Discuss: Hacker News
🔄Finite State Machines
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·4d·
Discuss: Hacker News
🧪Property-Based Testing
Testing Your Knowledge of JavaScript’s Date Class
hackaday.com·2d
🧪Property-Based Testing
Uncertainty-Aware Knowledge Transformers for Peer-to-Peer Energy Trading with Multi-Agent Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
Installing the public betas? Here’s everything new with Apple Intelligence
9to5mac.com·4h
🍎Apple
PRIDE -- Parameter-Efficient Reduction of Identity Discrimination for Equality in LLMs
arxiv.org·3d
🐫OCaml
Students' Feedback Requests and Interactions with the SCRIPT Chatbot: Do They Get What They Ask For?
arxiv.org·17h
✓Automated Theorem Proving
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.org·2d
✓Automated Theorem Proving
Do Large Language Models Have a Planning Theory of Mind? Evidence from MindGames: a Multi-Step Persuasion Task
arxiv.org·1d
🎮Verification Games
Systole-Conditioned Generative Cardiac Motion
arxiv.org·1d
💻CS
Learning Nonlinear Causal Reductions to Explain Reinforcement Learning Policies
arxiv.org·2d
🎮Verification Games
My little homelab - v4.0 update
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab
I wrote a practical guide to observability — would love feedback
reddit.com·5d·
Discuss: r/programming
👁️System Observability