🧮 Constraint SMT

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

Solving LinkedIn Queens Using MiniZinc
zayenz.se·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·22h
🔗Parser Combinators
Issue 478
haskellweekly.news·14h
🔗Functional Compilers
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·16h·
Discuss: DEV
🦀Rust Borrowing
ICT2, the paperback!
logicmatters.net·13h
🎯Proof Tactics
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.work·15h·
Discuss: Hacker News
⚡Proof Automation
[$] Supporting kernel development with large language models
lwn.net·11h
💻Local LLMs
CodeMirror and Spell Checking: Solved
chipx86.blog·1h
🌳Incremental Parsing
Travels, 10
cameroncounts.wordpress.com·1d
🎯Performance Proofs
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·14h
💻Local LLMs
Counting with Categories (Part 3)
golem.ph.utexas.edu·2d
λLambda Formalization
Memory Safety Is Merely Table Stakes
usenix.org·6h·
Discuss: Hacker News, r/programming
🔒Type Safety
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·2d·
Discuss: Hacker News
💻Local LLMs
Calculus Phobic's Introduction to Differentiable Programming
andersource.dev·4h·
Discuss: Hacker News
⚡Incremental Computation
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
Leveling Up Agents with MCPs
zed.dev·1d
⚡Proof Automation
Using LLMs in CI/CD for semantic testing of web content
plo.ug·11h·
Discuss: Hacker News
⚡Proof Automation
Structured data response with Amazon Bedrock: Prompt Engineering and Tool Use
aws.amazon.com·10h
🌀Brotli Internals
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing