🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·7h·
Discuss: Hacker News
🔧Compiler Design
C# and .NET tools and libraries for the modern developer
testdouble.com·17h
📦WebAssembly
Intel ghosts researcher who found web apps spilled 270K staff records
theregister.com·9h·
Discuss: Hacker News
💻Operating Systems
Recreationally overengineering my Location History
overengineer.dev·22h
🦀Rust
EP176: How Does SSO Work?
blog.bytebytego.com·4d
🤝Protocol Design
Compilation Isn't Just for Programming Languages
architecture-weekly.com·2d·
Discuss: Hacker News, r/node, r/programming
🔧Compiler Design
Why I Built an "Awesome List" for Data Analysis (And How It Can Help You)
dev.to·3h·
Discuss: DEV
🔍Static Analysis
Introducing SCAN - A Must Have Plugin
dev.to·1d·
Discuss: DEV
🔍Static Analysis
How to use ChatGPT
zapier.com·13h
🔌Network Programming
Problem with Project Architecture
reddit.com·1d·
Discuss: r/AskProgramming
🏗️Software Architecture
Cracking Open the Magic of React Native + C++ for JSI Bindings
dev.to·17h·
Discuss: DEV
🦀Rust
Enhanced Thermal Conductivity Prediction via Multi-Scale Graph Neural Network Fusion
dev.to·19h·
Discuss: DEV
🧫Cellular Automata
Automating Fence Security with Python Scripts
dev.to·1d·
Discuss: DEV
🔌Network Programming
(Part 4) Build a Simple Chat Character Gallery: Adding Searchbar & Filter
dev.to·1h·
Discuss: DEV
🤝Protocol Design
CardAIc-Agents: A Multimodal Framework with Hierarchical Adaptation for Cardiac Care Support
arxiv.org·13h
🎲Probabilistic Programming
Automated Test Case Prioritization with Dynamic Feature Interaction Graph Optimization
dev.to·2d·
Discuss: DEV
🔍Static Analysis
I will show you how to reduce AI hallucination and get the best result from your agent
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
From Extraction to Assurance:Extraction Meets Evaluation
dev.to·2d·
Discuss: DEV
✅Formal Verification
We've open-sourced our Claude Code project management tool. I think others will like it
reddit.com·7h·
Discuss: r/ClaudeAI
👐Open Source Software
Zero-Touch Bare Metal at Scale
dev.to·1d·
Discuss: DEV
🌍Distributed Systems