🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

You Shouldn't Use ORMs
diploi.com·13h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🐳Containerization
Flag this post
OpenTelemetry: Escape Hatch from the Observability Cartel
oneuptime.com·14h·
Discuss: Hacker News
👁️Observability
Flag this post
Fragments Nov 3
martinfowler.com·1d
🔬Static Analysis
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·3d·
Discuss: Hacker News, r/rust
🏃Escape Analysis
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·1d·
Discuss: Lobsters, Hacker News
🔤Language Design
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·15h
🧪Property-Based Testing
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·3d·
Discuss: DEV
💬Mach Messages
Flag this post
AI Agents from Prototype to Production: A Free Learning Path with Strands Agents
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·9h·
Discuss: Hacker News
🐳Containerization
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·3h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·20h
📐Hoare Logic
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·20h
⚙️Compiler Design
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·2h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·20h
🔀OCaml Multicore
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·1d·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Code Smell 313 - Workslop Code
dev.to·14h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Lessons from GitHub
github.com·22h·
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