LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·4h·
Discuss: DEV
✨Effect Handlers
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·5h·
Discuss: Hacker News
✅Format Verification
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·7h·
Discuss: r/programming, r/rust
🧮Z3 Solver
SciML Agents: Write the Solver, Not the Solution
arxiv.org·1h
🧮SMT Solvers
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs
Planarizing matchings
11011110.github.io·11h
🎨Graph Coloring
Lessons from using AI in Discovery
thoughtbot.com·5h
🕵️Metadata Mining
A Kevin week
blog.mitrichev.ch·8h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
Slidebee – turn any ArXiv paper into a presentation
slidebee.genmini.ai·5h·
Discuss: Hacker News
📝Concrete Syntax
Gambit: An efficient implementation of the Scheme programming language
github.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Setting Boundaries: Getting Zero-Trust Tool Calling Right for Agentic AI
macawsecurity.com·5h·
Discuss: Hacker News
🧪Protocol Fuzzing
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·22h·
Discuss: Hacker News
📐Document Calculus
Context Pruning in Conversational Agent
poonai.xyz·4d·
Discuss: Hacker News
⚡Proof Automation
The mistake I made with my first AI Agent (and the simpler fix)
reddit.com·5h·
Discuss: r/artificial
⚔️Lean Tactics
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1h
🎯Performance Proofs
Human-AI Collaboration Increases Efficiency in Regulatory Writing
arxiv.org·1h
🧠Intelligence Compression
Agentic AI has changed my career
medium.com·10h·
Discuss: Hacker News
✨Effect Handlers
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·13h·
Discuss: Hacker News
🔲Cellular Automata
🎉 Completed AWS Generative AI Applications Specialization!
dev.to·2h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing