Jbranston·Oct 29Workflow, Single Agent, or Swarm? A Data-Driven Guide to Choosing Your Agent ArchitectureFifteen experiments on an LLM-powered HTML and CSS generator, and the decision guide I now use before building any agent.
Quangth·Oct 7Constraint Satisfaction Problem: One of the Most Important Ideas in Classical AIHow AI Solves Problems With Millions of Constraints?
Quangth·Oct 2How Computers Learn to Prove: From ATP to Neuro-Symbolic AIA big-picture look at the foundational ideas that let computers do more than calculate — they can find proofs of their own.
Quangth·Oct 1How Computers Learn to Prove: Exploring UnificationA big-picture look at the foundational ideas that let computers do more than calculate — they can find proofs of their own.
Quangth·Oct 1How Computers Learn to Prove: Exploring ResolutionA big-picture look at the foundational ideas that let computers do more than calculate — they can find proofs of their own.
