🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Sets & Heaps in Haskell and Rust
mmhaskell.com·3d
🔒Type Safety
MathGPT, the ‘cheat-proof’ AI tutor and teaching assistant, expands to over 50 institutions
techcrunch.com·10h
✓Automated Theorem Proving
Why JSON Prompts Are the Future of AI Automation
peerlist.io·19h·
Discuss: Hacker News
⚡Proof Automation
Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath)
thinkercan.com·1d·
Discuss: Hacker News
⚡Proof Automation
A Conversation with Amazon CTO Werner Vogels
softwareengineeringdaily.com·17h
🏠Homelab Archaeology
How Many Paths of Length K Are There Between a and B?
horace.io·4d·
Discuss: Hacker News
🕸️Graph Algorithms
Posts Perseverance – A History of Manifold
elalish.blogspot.com·21h·
Discuss: Hacker News
🌀Differential Geometry
An eyecare foundation model for clinical assistance
nature.com·5h·
Discuss: Hacker News
🤖Advanced OCR
Even Heads Fix Odd Errors: Mechanistic Discovery and Surgical Repair in Transformer Attention
arxiv.org·22h
✨Effect Handlers
What Is Mojo?
harshal.is-cool.dev·15h·
Discuss: Hacker News
💧Liquid Types
Reasoning Steps as Curriculum: Using Depth of Thought as a Difficulty Signal for Tuning LLMs
arxiv.org·1d
🔗Parser Combinators
On systematic construction of correct logic programs
arxiv.org·2d
⚖️Hoare Logic
Distributed/Compressed Regression Rocks
jamesbrandecon.github.io·14h·
Discuss: Hacker News
🧠Machine Learning
Model inference, model products, and AI applications
frontierai.substack.com·10h·
Discuss: Substack
🔌Interface Evolution
Paradigms of Intelligence Team
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Inside Zig's New Writer
joegm.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Structural vs. Mathematical “Under” (2023)
dyalog.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·2d
🌸Bloom Variants
Implementing Forth in Go and C
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·1d·
Discuss: Hacker News
🧮Vector Embeddings