Your brain wasn't meant to juggle 47 database constraints at once. Here's how Answer Set Programming turns Firestore's query rules into executable logic.

Firestore Queries

Skip the theory and see how Answer Set Programming helps you analyze real-world query complexity in systems such as Firestore. Dive in and build tools, not just theorems.

Disjunctive Normal Form: A Practical Guide

A classic concurrency puzzle illustrating how simple individual actions can lead to complex system-level behavior. Through Answer Set Programming, we explore the interplay between resource management and synchronization.

Dining Philosophers

An exploration of deadlock scenarios in concurrent queue implementations using Answer Set Programming. By modeling thread interactions as logical rules, we discover and analyze potential system failures.

Blocking Queue Deadlock

A concurrent programming example using a fixed-size container shared between producers and consumers. Answer Set Programming helps reveal the interplay between concurrent access and resource management.

Bounded Buffer

File systems reveal fundamental patterns of hierarchical organization that extend far beyond mere data storage. Through Answer Set Programming, we'll discover how these patterns manifest across domains from software to biology.

File Systems: A Window into Universal Structure

Ordered trees, represented by Depth-First Search (DFS) sequences, bridge the gap between hierarchical and sequential data, enabling precise comparisons and manipulation.

Beyond Unordered Trees: The Power of Order

String edit distance through the lens of AI planning using Answer Set Programming (ASP). Rather than diving into yet another dynamic programming solution, we'll explore transformation sequences as planning problems.

String Edit Distance

Every story lives first in the space between possibility and form, waiting for rules to shape it. Through Answer Set Programming (ASP), we'll turn logic into narrative, where each constraint becomes a brushstroke in a living world.

Interactive Fiction with ASP

A deeper dive into the ASP patterns and implementation techniques that power interactive fiction systems.

Worlds within Worlds: The Hidden Mechanics

Answer Set Programming reveals the elegant logical relationships that underpin music, transforming abstract musical concepts into clear rules where scales, chords, and harmonies naturally emerge.

Music in ASP

A practical guide to using Answer Set Programming for real-world software engineering challenges — from finding deadlocks to validating system constraints.

ASP-00 | The Logical Beginning

A Gentile Introduction to Logic Programming using Answer Set Programming (ASP).

ASP-01 | Just the Facts ...

Rules form the core of Logic Programming, enabling the expression of logical relationships between atoms. The fundamental syntax and semantics of ASP rules define what must be true given certain conditions.

ASP-02 | Logic Programming Rules!

Variables in ASP allow rules to express general patterns rather than just specific instances, enabling more powerful and reusable logic programs. Variables work as placeholders that match terms, expanding the expressivity of predicates.

ASP-03 | Variables

Introducing integers and arithmetic operations into ASP, expanding our logical toolset beyond simple atoms to handle numerical computations and comparisons.

ASP-04 | Numbers and Math

Creativity begins with nothing — or maybe everything — and the first decision turns chaos into context, giving you something to push against. What if the way we think, solve, and discover holds a secret we’ve only just begun to understand?

From Nothing — Everything

Creativity doesn’t end with the first decision; that’s simply the spark. The true artistry lies in what comes next: the process of refining, shaping, and understanding. Constraints don’t limit us — they guide us toward clarity, revealing the solutions hidden in the chaos.

From Constraints — Clarity

Large Language Models can mimic human output with stunning accuracy, but they lack the fundamental ability to reason about relationships and constraints. Instead of adding more parameters or bolting on reasoning capabilities, we need to build logical understanding into their foundations.

Inner Logic

Intelligence isn't about absorbing patterns. It emerges from testing boundaries and discovering constraints. Whether physical or abstract, all understanding comes from having something to push against.

The Push That Makes Us Think

Software development isn't about writing code — it's about discovering constraints. But humans need surfaces to push against, like sculptors working with clay. Modern tools can create these surfaces, letting us naturally explore complex systems through interaction rather than formal specification.

Coding the Invisible

Through the interplay of logical rules and relationships, systems aren't built but grown — emerging naturally from the boundaries we define, transforming traditional development into a dialogue of discovery where every constraint reveals new clarity.

Growing Software Through Constraints

Through overlapping fields of constraints rather than rigid hierarchies, systems emerge that reflect how we actually think and create. The future isn't about perfect models — it's about letting multiple constraint spaces interact naturally.

Fields of Meaning

Answer Set Programming (ASP) is a declarative problem-solving approach that reduces cognitive load by letting you express complex relationships naturally, then systematically exploring all valid solutions. Instead of juggling constraints in your head, ASP acts as your tireless assistant — perfect for knowledge workers from product managers to fiction writers.

What is Answer Set Programming?

Knowledge behaves like quantum systems, existing in superposition until context collapses it into specific meaning. The mathematics of physics and the mechanics of understanding aren't just similar – they reveal a fundamental truth about how meaning emerges from possibility clouds through constraint and observation.

The Quantum Nature of Knowledge

The great AI divide comes down to two clashing definitions of intelligence and whether you've already lived through a profession being automated away.

The Soul and the Machine: Why We See AI So Differently

Your AI coding spend isn't underdelivering because the tools are bad. The day you handed your developers an agent, you promoted them from writing code to managing it — and forgot to tell them. It's a different job and most of them are stalling in the same four places.

Your Developers Aren't Underperforming. They're Undertrained.

We bought artificial intelligence and have been using it like artificial efficiency. The real work isn't prompt engineering — it's onboarding something smart and unfinished, the way good managers always have.

Software Gets Installed. Intelligence Gets Onboarded.

Every institution we've built — academia, funding, startups, even our AI tools — actively punishes anyone who tries to work between fields. The most valuable work of the next decade will happen in exactly those seams. Nobody has a home there.

The Work Is in the Seams

Modern ML has a "looks confident while being wrong" problem that control theorists solved decades ago. Diffusion models, flow matching, selective SSMs, and test-time compute are all secretly rediscovering the same primitive — the gain function — from different directions. None of them cite Yang/Mehta/Meyn 2013.

The Gain Function Hiding in Plain Sight

Google's recently released Genie 3 represents a breakthrough in world modeling, but it's actually just one instance of something universal. Every creative and problem-solving domain involves navigating constraint spaces that function as physics. Whether you're writing fiction, debugging code, or composing music, you're doing the same fundamental work as Genie 3: exploring what's possible within a system of constraints.

The Universality of World Models

The dirty secret of AI productivity: when you can think at machine speed, your human brain becomes the bottleneck. We've created intelligence abundance only to discover we have no idea how to handle it — and we desperately need new interfaces for thinking with AI rather than just at it.

The Intelligence Overload Problem

Software development's biggest failures stem from critical design decisions being made invisibly by individual developers during implementation, rather than systematically surfacing these constraint discoveries during specification when business context is available and changes are cheap.

Constraint Discovery in Software Development

Surface Tension reveals how problems are solved by pushing against constraints. From coding to creative writing, constraints are the universal pattern underlying all problem-solving and innovation — this is where we make that pattern visible and actionable.

Introducing Surface Tension

Surface Tension and CharmIQ exist in a recursive embrace — each made possible by the other's existence. Together they demonstrate how constraints create possibility and how cognitive partnership amplifies human capability, transforming how we think about both software development and AI collaboration.

The Recursive Nature of Innovation: How Surface Tension Created CharmIQ (and Vice Versa)

The development of artificial intelligence mirrors the Manhattan Project's urgency and uncertainty, but unfolds in full public view. This unprecedented transparency creates a paradox where more information leads to less clarity, forcing us to confront deep questions about intelligence, consciousness, and our comfort with the unknown.

Living Through The Modern Manhattan Project

The market's predictable panic over DeepSeek's AI model release highlights our cyclical amnesia about technological progress. Each wave of cheaper, better AI sparks the same reactions we've seen before, while missing the bigger picture of inevitable commoditization. As AI capabilities become utilities, the real disruption still lies ahead. 

DeepSeek Déjà Vu: Why We Keep Forgetting What We Already Know

The path from unfocused dialogue to meaningful collaboration requires carefully crafted personas that shape how LLMs think and respond. By defining clear boundaries and expertise domains, we create AI partners that offer consistently valuable insights rather than merely impressive but generic responses.

From Broad Strokes to Fine Lines: Crafting LLMs into Collaborative Thought Partners

(max-width: 768px) {
  .footer-content { 
    grid-template-columns: repeat(3, 1fr);
  }

  .footer-about {
    grid-column: 1 / span 3;
  }
}


(min-width: 640px) {
  .contained {
    max-width: 640px;
  }
  .left-sidebar {
    grid-template-columns: 1fr 1fr;
  }
  .right-sidebar {
    grid-template-columns: 1fr 1fr;
  }

  .foundations .carousel-content {
    --item-count: 2;
  }
  .building-blocks .carousel-content {
    --item-count: 2;
  }
  .blueprints .carousel-content {
    --item-count: 2;
  }
}

(min-width: 768px) {
  .contained {
    max-width: 768px;
  }
  
  .article.article-md h2 {
    font-size: 24px;
  }
  .article.article-lg h2 {
    font-size: 36px;
  }

  .building-blocks .carousel-content {
    --item-count: 3;
  }
  .blueprints .carousel-content {
    --item-count: 3;
  }
}

(min-width: 1024px) {
  .header-top { 
    margin-bottom: 20px;
  }
  .contained {
    max-width: 1024px;
  }

  .container {
    grid-template-columns: 2fr 1fr;
  }
  .left-sidebar {
    grid-template-columns: 1fr;
  }
  .right-sidebar {
    grid-column: span 3;
  }
  
  .article.article-md h2 {
    font-size: 28px;
  }
  .article.article-lg h2 {
    font-size: 40px;
  }
  
  .section h2 {
    font-size: 50px;
  }
  .heading-button {
    width: 50px;
    height: 50px;
  }
  .heading-button-arrow {
    font-size: 28px;
    padding: 12px 8px
  }

  .foundations .carousel-content {
    --item-count: 3;
  }
  .building-blocks .carousel-content {
    --item-count: 4;
  }
  .blueprints .carousel-content {
    --item-count: 4;
  }
}

(min-width: 1280px) {
  .contained {
    max-width: 1280px;
  }
  .container {
    grid-template-columns: 1fr 2fr 1fr;
  }

  .left-sidebar {
    order: 1;
  }
  .main-content {
    order: 2;
  }
  .right-sidebar {
    order: 3;
    grid-column: span 1;
    grid-template-columns: 1fr;
  }

  .right-sidebar .article {
    padding-top: 0;
    padding-bottom: 24px;
    border-top: none;
  }
  .right-sidebar .article:not(:last-child) {
    border-bottom: 1px solid #000;
  }

  
  header {
    position: relative;
  }
}

(min-width: 1536px) {
  .contained {
    max-width: 1536px;
  }
}

Surface Tension explores how problems are solved by pushing against constraints. From coding to creative writing, constraints are the universal pattern underlying all problem-solving and innovation.

The Soul and the Machine: Why We See AI So Differently

Your Developers Aren't Underperforming. They're Undertrained.

Inner Logic

Firestore Queries

Disjunctive Normal Form: A Practical Guide

Dining Philosophers

Blocking Queue Deadlock

Foundations

From Nothing — Everything

From Constraints — Clarity

Inner Logic

The Push That Makes Us Think

Blueprints

Firestore Queries

Disjunctive Normal Form: A Practical Guide

Dining Philosophers

Blocking Queue Deadlock

Bounded Buffer

Building Blocks

ASP-00 | The Logical Beginning

ASP-01 | Just the Facts ...

ASP-02 | Logic Programming Rules!

ASP-03 | Variables

ASP-04 | Numbers and Math

Tangents

The Soul and the Machine: Why We See AI So Differently

Your Developers Aren't Underperforming. They're Undertrained.

Software Gets Installed. Intelligence Gets Onboarded.

The Work Is in the Seams

The Gain Function Hiding in Plain Sight

Join us on Discord

About Us

Info

Legal

Social