Tony Hoare and negative space
sicpers.info·11h
⚖️Hoare Logic
Flag this post
Two security issues discovered in sudo-rs, a Rust-based implemention of sudo
🦀Rust Borrowing
Flag this post
Implementing E Unification using SMT
philipzucker.com·3d
🧮SMT Solvers
Flag this post
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
arxiv.org·23h
🧮Theorem Proving
Flag this post
Finite State Machines and how to build any step by step flow in React From theory to practice
blog.codeminer42.com·13h
🔄Finite State Machines
Flag this post
Demystifying AI Tools, AI Agents, and Agentic Workflows
cacm.acm.org·1d
🔐Capability Systems
Flag this post
Drake: Model-Based Design and Verification for Robotics
drake.mit.edu·1d
🌀Differential Geometry
Flag this post
Unsupervised Learning NO. 506
newsletter.danielmiessler.com·10h
🕵️Vector Smuggling
Flag this post
The LLM Flywheel Effect: AI That Writes and Tests Documentation
thenewstack.io·2d
✨Effect Handlers
Flag this post
What AI I Use How and When (November 2025 Update)
everything.intellectronica.net·15h
🌳Incremental Parsing
Flag this post
Explorable explorable explanations
blog.khinsen.net·1d
📐Mathematical Art
Flag this post
Full-stack application in Go: Quick start
🦀Rust Macros
Flag this post
Loading...Loading more...