🧮 Constraint SMT

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

Reasoning Vectors: Transferring Chain-of-Thought Capabilities via Task Arithmetic
arxiv.org·22h
🧮SMT Solvers
Mu Puzzle
en.wikipedia.org·6h·
Discuss: Hacker News
🔲Proof Irrelevance
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·15h·
Discuss: Substack
🔗Concatenative Programming
Learning Machine Learning in Elixir | zacksiri.dev
zacksiri.dev·19h
💻Local LLMs
Unveiling Hidden Geometry: How Problem Shape Impacts AI Solver Performance by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🌀Riemannian Computing
How to make the most out of MOP
blog.evanchen.cc·1d
🔲Cellular Automata
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·1d·
Discuss: Hacker News
⚙️TLA+
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·1d·
Discuss: r/MachineLearning
🔗Constraint Handling
Writing a C compiler in 500 lines of Python
vgel.me·9h·
Discuss: Hacker News, r/programming
🦀Rust Macros
The maths you need to start understanding LLMs
gilesthomas.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
How to give a talk
karagila.org·1h
⚔️Lean Theorem
Error Notebook-Guided, Training-Free Part Retrieval in 3D CAD Assemblies via Vision-Language Models
arxiv.org·22h
🤖Advanced OCR
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·10h·
Discuss: Hacker News
🔲Cellular Automata
A new generative AI approach to predicting chemical reactions
news.mit.edu·6h·
Discuss: Hacker News
🔲Cellular Automata
Lively Linear Lisp (1992)
plover.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Can Multi-turn Self-refined Single Agent LMs with Retrieval Solve Hard Coding Problems?
arxiv.org·22h
💻Programming languages
Automated Job Function Decomposition and Re-Optimization via Constraint Programming and Deep Reinforcement Learning
dev.to·4h·
Discuss: DEV
🔗Constraint Handling
Incremental query updating in adhesive categories
topos.institute·3d
🔗Combinatory Logic
Lumo: The least open 'open' AI assistant
osai-index.eu·32m·
Discuss: Hacker News
🔓Open Source Software
How to Vibe Code Effectively
ibrahimahmed.ca·5h·
Discuss: Hacker News
✅Formal Methods