🧮 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
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·40m·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
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
Achieving SOTA LongMemEval scores (80%) with RAG alone
mastra.ai·2h·
Discuss: Hacker News
🧠Memory Forensics
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·1d
🧠Machine Learning
The Power of Building from Scratch
towardsdatascience.com·1d
🌍Cultural Algorithms
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
AI Agents Are Growing Up - And They Need Zero-Trust Parenting
hackernoon.com·15h
🎯Threat Hunting
Janet Feature Demos
github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Deep Generative Methods and Tire Architecture Design
arxiv.org·18h
🌀Riemannian Computing
Understanding the Basics: Linear Equations and Matrices
dev.to·21h·
Discuss: DEV
📐Linear Algebra
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Polygonal Obstacle Avoidance Combining Model Predictive Control and Fuzzy Logic
arxiv.org·2d
✨Algebraic Effects
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·2d
🔢Denotational Semantics