Keywords

acceleration AI AQR artificial life backtesting bitcoin Bouchaud commodity prices compilers computational biology concrete consciousness coordination crash detection crypto cryptography culture currency crisis curry-howard DFA disruption economy elixir emergence ergodic ergodicity economics ethereum exchange rates extreme value theory fat tails finance fitness forex formal verification Functional Programming geopolitics gold health Hurst individuality induction inference infrastructure interest rates Jensen's inequality julia Kelly criterion language-design lean lean 4 legibility linear-types llm logarithms logic longevity LPPLS medieval finance momentum nix nutrition open data optimization options Peters philosophy phoenix profit programming languages proofs python react revenue rust SaaS self-replication silver sleep Sornette sovereign debt Spitznagel SPY supplements systems programming tacit knowledge tactics tail hedging Taleb technology theorem proving tradeoffs trust turing completeness Type Systems type theory verification volatility volatility targeting