TSPL ("Nejjednodušší knihovna analyzátoru") v C Malý soubor 291-LOC C, který analyzuje λ-terms Když potřebujete jednoduchý analyzátor pro gramatiku své hračky, zahrňte jej do kontextu umělé inteligence a požádejte ho, aby napodobil jeho styl, abyste získali pěkný analyzátor spíše než ošklivou bestii.

Evoluční smyčka NeoGen produkující stále schopnější programy/důkazy Bend2 v našem clusteru 256 Mac Mini brzy začne a já nemohu být nadšenější

> být velkou laboratoří umělé inteligence > identifikovat špičkové "influencery" v oblasti umělé inteligence > předtrénovat svůj další model na jejich kódových základnách > ...? > marketing zdarma

Mimochodem, v podstatě jsem přestal používat Opus úplně a nyní mám několik karet Codex s GPT-5-high, které pracují na různých úlohách napříč 3 kódovými základnami (HVM, Bend, Kolmo). Pokrok ještě nikdy nebyl tak intenzivní. Moje práce teď v podstatě spočívá v předávání dobře specifikovaných úkolů do Codexu a revizi jeho výstupů. OpenAI mi neplatí a nemůže se o mě starat méně. Tento model je prostě velmi dobrý a skutečnost, že ho lidé nevidí, mě přiměla uvědomit si, že většina z vás pravděpodobně používá chatboty jako přítelkyně nebo něco jiného než pomoc se složitými kódovacími úkoly

testoval DeepSeek v3.1 a zjistil jsem, že je ubohý omlouváme se ):

Pokud se modely dokazující věty škálují 10x rychleji než kódovací modely a vzhledem k tomu, že důkazem je kód, pak bude kódování vibrací nejlépe prováděno pomocí programovacího jazyka obsahujícího systém důkazů, ale navržený spíše pro vytváření aplikací než pro matematiku.

Vzor přístupu do paměti v HVM collapseru (při syntéze Peano Sort s Kolmo / NeoGen) - X→ = mezera (index paměti) - Y↓ = čas (interakce) - Zelená = 100 % zápisů - Červená = 100 % čtení - Šedá = 50 %/50 % zápisů/čtení

Chci říct, že jsem se řídil touto radou na Bend1 a lidé si oprávněně stěžovali, že jazyk není dostatečně vyspělý, takže teď nepouštím sračky, dokud to nebude opravdu vybroušené a skutečně užitečné

Uvažuji o oficiálním pojmenování NeoGen jako Kolmo, protože jej lze popsat jako malý programovací jazyk schopný najít řešení problému s nejnižší složitostí Kolmogorov. A i když je velmi blízko jádru Bendu, je to stále jeho vlastní věc, takže si zaslouží jméno

31. října