Highly compressed observations. Tweets, for someone who doesn't tweet.
An order-of-magnitude estimate of what it costs to build and serve the claim graph, doing it right. The cost is dominated by LLM inference; a frontier-quality build lands in the high single-digit millions, concentrated in the broad middle tiers and the ingestion firehose rather than the flagship claims.
Canonical claim wording should be clear and neutral; negations aren't separate claims. “The moon landing was a hoax” is canonical, since the affirmative is what's actually asserted.
Open subproblem: how to rank claims by importance to prioritize maintenance and guide traversal.
The foundational subproblem: reading a corpus and extracting clean, organized claims. An overview of its constituent difficulties.
Open subproblem: what counts as an edge between claims, and how edges should be typed, directed, and weighted.
Finding the claim an extracted proposition corresponds to requires vector search driven by an LLM agent iterating, not a single nearest-neighbor hit.
Episteme should resolve contentious factual questions while avoiding three failure modes: overconfident framing, deciding normative claims, and reifying unstable LLM priors.
Open subproblem: how an update to one claim should propagate to related claims without runaway cascades.
Like species in biology, claims must be split or lumped. The test: if both sides of an argument agree two propositions are the same claim, they are.
Why mechanical Bayesian reasoning over the whole graph fails, and the informal alternative: any claim can parent any other, with relationships carried by Arguments.
Agentic traversal is straightforward: the fetch-claim tool takes claim IDs and returns the IDs of all linked claims.
Public contributions reach claim stewards only through wary routing agents; abusers are flagged or banned, and good reputations might be rewarded.
Abundance dems should support rent control on existing buildings in exchange for policies that allow new buildings to get built cheaply and without "affordable housing" mandates.
Young people are forced to finance their lives with debt—fixed obligations that create fragility and force risk-aversion. Businesses solved this with equity. We should be able to do the same: sell a variable share of our future income instead of taking on debt.