The 'Demo Spell' and 'Production Dilemma' of AI Agents: How I Built a Self-Learning Agent System
github.com·1d·
Discuss: DEV
🧩Theorem Proving
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·16h
⚖Algorithmic Game Theory
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·3h·
Discuss: Hacker News
🔍Static Analysis
Regina Obe: Learning PostgreSQL from AI and JSON exploration: Part 2
postgr.es·14h
🧩Theorem Proving
What Claude Code gets right
minusx.ai·5h·
Discuss: Hacker News
🧩Theorem Proving
Getting Started with SQL: My First Hands-On Experience
dev.to·1d·
Discuss: DEV
🗄️Database Theory
Building a Regex Engine
abstractsyntaxseed.com·1d·
Discuss: Lobsters, Hacker News
🔗Parser Combinators
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·9h
⚙Functional Programming
Devtool DB Perf - Looking for beta users
datapace.ai·23h·
Discuss: DEV
🗄️Database Theory
Free Theory of Computation text
reddit.com·7h·
Discuss: r/compsci
🧮Programming Language Theory
Defining "Artificial Intelligence"
schwitzsplinters.blogspot.com·3h·
Discuss: www.blogger.com
🤖Sci-Fi
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
Guide to Rapidly Improving AI Products Part 2
newsletter.eng-leadership.com·1d·
Discuss: r/programming
🧩Theorem Proving
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·2d
🔧Compiler Design
There is an easy way to dramatically reduce the resources we spend to train LLMs.
medium.com·11h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·16h
🧩Theorem Proving
I Used AI to Write Code for 30 Days Straight. Here's What Actually Happened
dev.to·10h·
Discuss: DEV
🧩Theorem Proving
Your LLM output sucks because your prompt is shallow
threadreaderapp.com·4h
🧩Theorem Proving
Stream Integration
feldera.com·3d·
Discuss: Hacker News
🧠Memory Management
Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·3h
🔍Static Analysis