den evolusjonære sløyfen til NeoGen som produserer stadig mer kapable Bend2-programmer/bevis i vår 256 Mac Mini-klynge kommer til å starte snart, og jeg kunne ikke vært mer begeistret

> være et stort AI-laboratorium > identifisere de beste AI-«påvirkere» > forhåndstrene din neste modell på kodebasene deres > ...? > gratis markedsføring

BTW, jeg har i utgangspunktet sluttet å bruke Opus helt, og jeg har nå flere Codex-faner med GPT-5-high som jobber med forskjellige oppgaver på tvers av de 3 kodebasene (HVM, Bend, Kolmo). Fremgangen har aldri vært så intens. Jobben min nå er i utgangspunktet å sende godt spesifiserte oppgaver til Codex, og gjennomgå utdataene. OpenAI betaler meg ikke og kunne ikke brydd seg mindre om meg. Denne modellen er bare veldig bra, og det faktum at folk ikke kan se den fikk meg til å innse at de fleste av dere sannsynligvis bruker chatbots som kjærester eller noe annet enn å hjelpe til med komplekse kodeoppgaver

testet DeepSeek v3.1 og syntes det var patetisk beklager ):

Hvis teorembevisende modeller skalerer i kapasitet 10 ganger raskere enn kodingsmodeller, og gitt at bevis er kode, vil vibe-koding best gjøres gjennom et programmeringsspråk med en bevissysetm, men designet for å bygge apper i stedet for matematikk

Minnetilgangsmønster på HVMs kollaps (når du syntetiserer Peano Sort med Kolmo/NeoGen) - X→ = mellomrom (minneindeks) - Y↓ = tid (interaksjoner) - Grønn = 100 % skriver - Rød = 100 % leser - Grå = 50 % / 50 % skriver/leser

Jeg mener jeg fulgte dette rådet på Bend1 og folk klaget med rette over at språket ikke var modent nok, så nå lanserer jeg ikke dritt før det er virkelig polert og genuint nyttig

Tenker på å offisielt navngi NeoGen som Kolmo, fordi det kan beskrives som et lite programmeringsspråk som er i stand til å finne den laveste Kolmogorov-kompleksitetsløsningen på et problem. Og selv om den er veldig nær Bends kjerne, er den fortsatt sin egen greie, så den fortjener et navn

31. oktober

Det er bare pinefullt å se store laboratorier mislykkes så hardt, vite at jeg kunne hjelpe, og ikke være i stand til det. Det er derfor jeg presser på for denne retningen, men det er utrolig vanskelig å gjøre det uten å sende feil signaler