🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

You can't cURL a Border
drobinin.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·1h·
Discuss: Hacker News
📚Automata Learning
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🐳Containerization
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·3d·
Discuss: Hacker News, r/rust
🏃Escape Analysis
Flag this post
Just Write Tests
theblackarrovv.github.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·1d·
Discuss: Lobsters, Hacker News
🔤Language Design
Flag this post
Show HN: Polyglot Docker dev environment setup – C/C++/Rust/Python
github.com·23h·
Discuss: Hacker News
🐳Containerization
Flag this post
Code Smell 313 - Workslop Code
dev.to·17h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Lessons from GitHub
github.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·5d
λFunctional Programming
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
dev.to·8h·
Discuss: DEV
📊Runtime Verification
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·2h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·4d·
Discuss: DEV
🛡️macOS Security
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·3d·
Discuss: DEV
📊Runtime Verification
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·23h
🔄Reproducible Builds
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·9h·
Discuss: Hacker News
📦Opam
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·15h·
Discuss: DEV
🔧ppx
Flag this post
Proactive DDoS Detection and Mitigation in Decentralized Software-Defined Networking via Port-Level Monitoring and Zero-Training Large Language Models
arxiv.org·23h
👁️Observability
Flag this post