🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·2d·
Discuss: Hacker News
📈Complexity Theory
Day 22 of #100DaysOfRust: Closures in Rust
dev.to·15h·
Discuss: DEV
⚙Functional Programming
MLE-STAR is designed to automate machine learning pipelines with minimal human input
the-decoder.com·6h
🔗Parser Combinators
Tools for AI assisted Software development
feed.thoughtbot.com·21h
🧩Theorem Proving
Alignment Monitoring
arxiv.org·17h
🎲Probabilistic Programming
I made Doddle, a tiny yet feature-packed (async) iteration toolkit!
github.com·3h·
Discuss: r/javascript
⚙Functional Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·4d
🔢Mathematical Logic
Simulated Society of 10k AI Agents
theunwindai.com·5h·
Discuss: Hacker News
🧫Cellular Automata
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·1d·
Discuss: Hacker News
🎲Probabilistic Programming
quies
dev.to·9h·
Discuss: DEV
🗄️Database Theory
Graph Lineages and Skeletal Graph Products
arxiv.org·17h
🕸️Graph Theory
Title: Just released Multicalc LE v0.2 — a lightweight terminal-based calculator in Python!
reddit.com·4h·
Discuss: r/commandline
📝Lisp
How I turned a general-purpose LLM into a professional code optimization expert with one detailed prompt
reddit.com·11h·
Discuss: r/programming
🔧Compiler Design
In Support Of Shitty Types
lucumr.pocoo.org·2h·
Discuss: Lobsters, Hacker News
📐Type Theory
LLMs as Context Synthesizers: Why Direct Instructions Don't Work
corewood.io·2h·
Discuss: Hacker News
🔧Compiler Design
Issue 483
haskellweekly.news·4d
⚙Functional Programming
Machine Learning Fundamentals: machine learning tutorial
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
America needs to take open models more seriously. This summer the early lead in open model adoption of the US via Llama has been overtaken by Chinese models.<br...
threadreaderapp.com·7h
🔗Parser Combinators
Red-teaming a RAG app: What happens?
blog.pamelafox.org·4h·
Discuss: www.blogger.com, Hacker News
🧫Cellular Automata
Java Records Constructor Validation: Beyond the Boilerplate
dev.to·23h·
Discuss: DEV
🤝Protocol Design