In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·7h·
Discuss: DEV
⚙Functional Programming
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·19h
🔢Mathematical Logic
Fermat's Last Theorem in Lean – Imperial College London
github.com·1d·
Discuss: Hacker News
✅Formal Verification
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Partner with the AI, throw away the code
martinfowler.com·1d
🔍Static Analysis
Show HN: List of Clojure-Like projects
github.com·3h·
Discuss: Hacker News
🔧Compiler Design
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔢Mathematical Logic
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧮Programming Language Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Code with LLMs and a Plan
richstone.io·14h·
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·21h
🎯Constraint Programming
Twentyseven 1.0.0
blog.poisson.chat·23h·
Discuss: Hacker News
⚙Functional Programming
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🔧Compiler Design
Vibe coding complex changes in Rust
youtube.com·2h
🦀Rust
🐥 Elixir Anti-Patterns
yellowduck.be·6h
⚙Functional Programming
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🧮Programming Language Theory
JRM runs off at the mouth
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔧Compiler Design
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🔢Mathematical Logic