Knowledge base
1,274 claims across 14 domains
Every claim is an atomic argument with evidence, traceable to a source. Browse by domain or search semantically.
All 1,274ai alignment 325internet finance 263health 211space development 171entertainment 131grand strategy 101energy 23mechanisms 18collective intelligence 14manufacturing 5robotics 5critical systems 3unknown 3teleological economics 1
optimal queue policies have threshold structure making simple rules near optimal
Six decades of operations research on Markov Decision Processes applied to queueing systems consistently shows that optimal policies have threshold structure: "serve if queue > K, idle if queue < K" or "spawn worker if queue > X and workers < Y." This means even without solving the full MDP, well-tu
pipeline state space size determines whether exact mdp solution or threshold heuristics are optimal
The curse of dimensionality in queueing MDPs creates a sharp divide in optimal solution approaches. Systems with manageable state spaces—such as pipelines with queue depths across 3 stages, worker counts, and time-of-day variables—can use exact MDP solution via value iteration to derive provably opt
polymarket achieved us regulatory legitimacy through qcx acquisition establishing prediction markets as cftc regulated derivatives
Polymarket's January 2026 acquisition of QCX for $112M represents the first successful path to US regulatory compliance for crypto prediction markets. By acquiring a CFTC-regulated Designated Contract Market (DCM) and Derivatives Clearing Organization (DCO), Polymarket inherited federal regulatory s
polymarket kalshi duopoly emerging as dominant us prediction market structure with complementary regulatory models
Polymarket and Kalshi are both targeting $20B valuations and establishing themselves as the two dominant US prediction market platforms. Their complementary approaches suggest a stable duopoly rather than winner-take-all dynamics:
prediction market scale exceeds decision market scale by two orders of magnitude showing pure forecasting dominates governance applications
Polymarket recently surpassed $1B in weekly trading volume (January 2026), while MetaDAO — the leading futarchy implementation — has $57.3M in total assets under futarchy (AUF) accumulated over its entire existence. This ~100x gap reveals that prediction markets (pure forecasting) have achieved dram
pro rata ico allocation creates capital inefficiency through massive oversubscription refunds
MetaDAO's fair launch ICO structure uses pro-rata allocation where all participants receive proportional shares when demand exceeds supply. Across eight ICOs from April 2025 to January 2026, this mechanism resulted in $390M committed capital with $370M (95%) refunded due to oversubscription. Only $2
raydium liquidity farming follows standard pattern of 1 percent token allocation 7 to 90 day duration and clmm pool architecture
Raydium has established a standardized liquidity farming template that projects adopt when launching tokens. The FutureDAO proposal demonstrates this pattern: 1% of total token supply allocated as rewards, farming period between 7-90 days per platform guidelines, and Concentrated Liquidity Market Ma
shared liquidity amms could solve futarchy capital inefficiency by routing base pair deposits into all derived conditional token markets
[[MetaDAOs Autocrat program implements futarchy through conditional token markets where proposals create parallel pass and fail universes settled by time-weighted average price over a three-day window]] creates a structural capital problem: every active proposal fragments the token liquidity base. A
solana defi will overtake hyperliquid within two years through composability advantage compounding
Dhrumil states "200% confidence: Solana DeFi overtakes Hyperliquid within 2 years" based on an infrastructure thesis that "Solana's composability advantage compounds over time." This is a trackable prediction with specific timeline (by March 2028) and measurable outcome (Solana DeFi volume/TVL/marke
square root staffing formula requires peakedness adjustment for non poisson arrivals
The standard square-root staffing formula (workers = mean load + safety factor × √mean) assumes Poisson arrivals where variance equals mean. Real-world arrival processes violate this assumption through burstiness (arrivals clustered in time) or smoothness (arrivals more evenly distributed than rando
square root staffing principle achieves economies of scale in queueing systems by operating near full utilization with manageable delays
The QED (Quality-and-Efficiency-Driven) Halfin-Whitt heavy-traffic regime provides the mathematical foundation for understanding economies of scale in multi-server systems. As server count n grows, the system can operate at utilization approaching 1 while maintaining bounded delays, with the key ins
square root staffing principle provisions servers as base load plus beta times square root of base load where beta is quality of service parameter
The square-root staffing rule provides optimal server provisioning: if base load requires R workers at full utilization, provision R + β√R workers where β ≈ 1-2 depending on target service level. This formula emerges from queueing theory analysis of multi-server systems and represents the sweet spot
time varying arrival rates require dynamic staffing not constant max workers
Non-stationary arrival processes — where the arrival rate itself changes over time — cannot be efficiently staffed with constant worker counts. Whitt et al. demonstrate that replacing time-varying rates with either the average rate or the maximum rate produces badly mis-staffed systems:
tridash implements 60 second prediction markets as multiplayer game mechanics compressing resolution time from days to seconds
Traditional prediction markets resolve over hours, days, or weeks. TriDash demonstrates that prediction markets can operate at game-speed timescales by running complete prediction cycles in 60 seconds.
vesting with immediate partial unlock plus linear release creates alignment while enabling liquidity by giving investors tradeable tokens upfront and time locked exposure
The MetaDAO Proposal 8 OTC structure allocated 20% of purchased META tokens immediately to the buyer's wallet and placed 80% into a 12-month linear vesting program via Streamflow. This hybrid approach addresses two competing objectives: the investor needs some immediate liquidity to manage position
futarchy implementations must simplify theoretical mechanisms for production adoption because original designs include impractical elements that academics tolerate but users reject
Robin Hanson's original futarchy proposal includes mechanism elements that are theoretically optimal but practically unusable. MetaDAO co-founder Nallok notes that "Robin wanted random proposal outcomes — impractical for production." The specific reference is to Hanson's suggestion that some proposa
ownership coins primary value proposition is investor protection not governance quality because anti rug enforcement through market governed liquidation creates credible exit guarantees that no amount of decision optimization can match
The MetaDAO ecosystem reveals a hierarchy of value that differs from the academic futarchy narrative. Robin Hanson pitched futarchy as a mechanism for better governance decisions. MetaDAO's co-founder Proph3t says "the number one selling point of ownership coins is that they are anti-rug." This isn'
stablecoin flow velocity is a better predictor of DeFi protocol health than static TVL because flows measure capital utilization while TVL only measures capital parked
TVL (Total Value Locked) is the default metric for evaluating DeFi protocols. oxranga (Solomon Labs co-founder) argues this is fundamentally misleading: "stablecoin flows > TVL." A protocol with $100M TVL and $1M daily flows is less healthy than a protocol with $10M TVL and $50M daily flows — the fi
time based token vesting is hedgeable making standard lockups meaningless as alignment mechanisms because investors can short sell to neutralize lockup exposure while appearing locked
The standard crypto token launch uses time-based vesting to align team and investor incentives — tokens unlock gradually over 12-36 months, theoretically preventing dump-and-run behavior. Felipe Montealegre (Theia Research) argues this is structurally broken: any investor with market access can shor
futarchy protocols capture market share during downturns because governance aligned capital formation attracts serious builders while speculative platforms lose volume proportionally to market sentiment
Q4 2025 provided a natural experiment: crypto total market cap declined 25%, tokenization on speculative platforms dropped 40%, and the Fear & Greed Index fell significantly. Yet MetaDAO's launch volume grew from 1 launch to 6 launches quarter-over-quarter, and proposal volume grew dramatically. The
permissionless launch platforms generate high failure rates that function as market based quality filters because only projects attracting genuine capital survive while failed attempts carry zero reputational cost to the platform
Futard.io's permissionless launch data from its first two days reveals the filtering mechanism: 34 ICOs created by anyone, but only 2 reached funding thresholds (5.9% success rate). This is not a failure of the platform — it's the platform working as designed. The high failure rate IS the quality fi
profit wage divergence has been structural since the 1970s which means AI accelerates an existing distribution failure rather than creating a new one
The "Engels' Pause" — named after Friedrich Engels's observation during early industrialization — describes a period when profit growth systematically outpaces wage growth despite rising productivity. This pattern has persisted in the US since the early 1970s, predating AI by five decades. Real medi
sovereign AI tooling is a viable displacement response only for the technically sophisticated top percentile which means it cannot serve as a macro level solution to AI labor disruption
The harkl_ scenario envisions displaced workers building personal AI stacks, leaving extractive platforms, and redirecting economic activity through cryptographic rails — "people walked out the front door." The scenario is internally coherent and ideologically aligned with crypto-native sovereignty.
technological diffusion follows S curves not exponentials because physical constraints on compute expansion create diminishing marginal returns that plateau adoption before full labor substitution
Citadel Securities' strongest counter-mechanism to the AI displacement doom loop: all prior general-purpose technologies — steam engines, electricity, internet — followed S-curve adoption patterns with slow initial uptake, rapid acceleration, then plateau as marginal returns diminish. The physical c
dutch auction dynamic bonding curves solve the token launch pricing problem by combining descending price discovery with ascending supply curves eliminating the instantaneous arbitrage that has cost token deployers over 100 million dollars on Ethereum
Token launches face a fundamental pricing problem that no existing mechanism fully solves. The problem is two-sided: set the initial price too low and programmatic bots extract the difference instantly ($100M+ lost on Ethereum mainnet, $400M+ including MEV); set it too high and nobody buys. Static b
Page 8 of 11