In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·17h·
Discuss: DEV
⚙Functional Programming
How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🔢Mathematical Logic
Fermat's Last Theorem in Lean – Imperial College London
github.com·1d·
Discuss: Hacker News
✅Formal Verification
You're probably not learning with AI
aryas.dev·1h·
Discuss: Hacker News
🔧Compiler Design
Partner with the AI, throw away the code
martinfowler.com·1d
🔍Static Analysis
News for July 2025
ptreview.sublinear.info·9h
⚖Algorithmic Game Theory
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Show HN: List of Clojure-Like projects
github.com·12h·
Discuss: Hacker News
🔧Compiler Design
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔢Mathematical Logic
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧮Programming Language Theory
Code with LLMs and a Plan
richstone.io·23h·
Discuss: Hacker News
🔧Compiler Design
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
Lobsters Interview with Icefox
lobste.rs·15h·
Discuss: Lobsters
🔧Compiler Design
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·8m
🎲Probabilistic Programming
Vibe coding complex changes in Rust
youtube.com·11h
🦀Rust
🐥 Elixir Anti-Patterns
yellowduck.be·15h
⚙Functional Programming