🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

SInclude 5.5.0
so.nwalsh.com·1d
🔧Compiler Design
So you want to create a new abstraction?
simianwords.bearblog.dev·9h·
Discuss: Hacker News
⚙Functional Programming
The International Obfuscated C Code Contest is back for 2024
theregister.com·11h
💾Retrocomputing
Black Hat: AI as vulnerability scout and gap in Spectre protection
heise.de·1d
🛡️IoT Security
Diffusion Language Models Are Super Data Learners
jinjieni.notion.site·6h·
Discuss: Hacker News
🎲Probabilistic Programming
The Generativity Pattern in Rust
arhan.sh·5d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
Using gpt-oss 20B for Text to SQL
datamonkeysite.com·1d·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
5 Reasons to Use Local AI Tools Over Copilot or ChatGPT — Anyone Can Try It, so Why Wouldn't You?
windowscentral.com·1h
🤖Sci-Fi
Deep linear networks
danmackinlay.name·1d
🔢Mathematical Logic
Vibe Coding the MIT Course Catalog
stackdiver.com·3d·
Discuss: Hacker News
🧮Programming Language Theory
GPU-Rich Labs Have Won: What's Left for the Rest of Us Is Distillation
inference.net·1d·
Discuss: Hacker News
💾Retrocomputing
Mastering Python’s Magical Data Structures: A Spellbinding Journey
dev.to·23h·
Discuss: DEV
🧮Programming Language Theory
Building 20 Online Tools in 6 Months: Lessons in Rapid Development
dev.to·9h·
Discuss: DEV
🔧Compiler Design
GTPO: Trajectory-Based Policy Optimization in Large Language Models
arxiv.org·2d
🔗Parser Combinators
Adaptive Multi-Modal Data Fusion for Anomaly Detection in Spacecraft Thermal Management Systems
dev.to·1h·
Discuss: DEV
🎲Probabilistic Programming
🧠 Day 27 of Learning DSA: Solved One LeetCode Problems (Valid Anagram - Easy for Beginners)
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Progress, and speech synthesis?
reddit.com·5h·
Discuss: r/homebrewcomputer
💾Retrocomputing
Luhn credit card checksum using SWAR and SIMD
nullprogram.com·1d·
Discuss: Hacker News
🏗Computer Architecture
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·3d
🎲Probabilistic Programming
Why SED is the Missing Link Between AI and Your Database
dev.to·1h·
Discuss: DEV
💭Prolog