🧮 Constraint SMT

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

Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·4d
🏗️Constructive Mathematics
Codeminer42 Dev Weekly #70
blog.codeminer42.com·14h
🔄Reproducible Builds
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·1d
👑Isabelle
Honest Abe: Anti-BS Epistemology
austinross.xyz·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Zig Interface Revisited
williamw520.github.io·2d·
Discuss: Hacker News
🧩WASM Components
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·3d·
Discuss: Hacker News, r/programming
🧠Lisp Dialects
How to write Rust in the Linux kernel: part 3
lwn.net·11h·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Maybe writing speed actually is a bottleneck for programming
buttondown.com·1d·
Discuss: Hacker News
📏Code Metrics
Three unrelated thoughts about working with LLMs
henrycourse.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·3d·
Discuss: Hacker News, r/programming
🔒Type Safety
I got tired of explaining my project to AI assistant so I gave it memory
codecontextpro.com·21h·
Discuss: Hacker News
🌳Incremental Parsing
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·16h·
Discuss: Hacker News
🌳Archive Merkle Trees
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·1d
🔲Cellular Automata
InSight: AI Mobile Screening Tool for Multiple Eye Disease Detection using Multimodal Fusion
arxiv.org·1d
🤖Advanced OCR
Easy Agents: Build autonomous agents with just natural language
github.com·12h·
Discuss: Hacker News
⚡Proof Automation
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·16h·
Discuss: Hacker News
⚡Proof Automation
The Age of Self-Evolving AI Is Here
towardsdatascience.com·1d
⚡Incremental Computation
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·3d
🌳Context free grammars
Machine Learning Fundamentals: dimensionality reduction
dev.to·2d·
Discuss: DEV
📐Linear Algebra
How I Built a Smarter AI with Neo4j (and Why You Might Want To Too)
dev.to·2d·
Discuss: DEV
🕸️Neo4j