🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Training a Chunker with Burn
elijahpotter.dev·20h·
Discuss: Hacker News
📝Concrete Syntax
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·1d
💾Binary Linguistics
Reflecting on PLDI 2025
people.csail.mit.edu·4d·
Discuss: Hacker News
🌐Protocol Synthesis
Effective Practices for Coding with a Chat-Based AI
infoq.com·17h·
Discuss: Hacker News
🔄Language Evolution
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·13h
🛡️Proof-Carrying Archives
Lessons Learned from Evaluation of LLM based Multi-agents in Safer Therapy Recommendation
arxiv.org·1d
⚙️TLA+
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
How AI Detects Cancer in Whole Slide Images
hackernoon.com·22h
🧠Machine Learning
Janet Feature Demos
github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
The Power of Building from Scratch
towardsdatascience.com·1d
🌍Cultural Algorithms
AI Agents Are Growing Up - And They Need Zero-Trust Parenting
hackernoon.com·10h
🎯Threat Hunting
Deep Generative Methods and Tire Architecture Design
arxiv.org·13h
🌀Riemannian Computing
Understanding the Basics: Linear Equations and Matrices
dev.to·16h·
Discuss: DEV
📐Linear Algebra
An AI Skeptic Uses AI for a Week
keithjgrant.com·1d·
Discuss: Hacker News
✨Effect Handlers