🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

You Shouldn't Use ORMs
diploi.com·18h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·1d·
Discuss: Lobsters, Hacker News
🎯GADT
Flag this post
Fragments Nov 3
martinfowler.com·1d
🔬Static Analysis
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Show HN: Polyglot Docker dev environment setup – C/C++/Rust/Python
github.com·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Code Smell 313 - Workslop Code
dev.to·20h·
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·11h·
Discuss: DEV
📊Runtime Verification
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·2h
🕸️Graph Theory
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·1d
⚙️Compiler Design
Flag this post
My CI/CD bot fixed production while I slept until it didn’t
dev.to·5h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·1d
📐Hoare Logic
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·3d·
Discuss: DEV
📊Runtime Verification
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
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·11h·
Discuss: Hacker News
📦Opam
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·2h
🧩Parser Combinators
Flag this post