BTW, HOC-päivitys: Olen ottanut yhteyttä useimpiin suuriin tekoälylaboratorioihin, ja kävi ilmi, että ne ovat täysin kiinnostumattomia. xAI ja OpenAI haaveilivat minua muutaman vuorovaikutuksen jälkeen, eikä Anthropic koskaan vastannut. Joten luulen, että olemme toistaiseksi omillamme ^-^ Epäonnistumisista puheen ollen, mielestäni 256 Minis oli virhe. Osoittautuu, että rinnakkaistaminen etuliitteen sirpaloinnilla poistaa suurimman osan päällekkäisen arvioinnin eduista, joita en odottanut. Ihanteellinen SupGen-klusteri olisi: → on mahdollisimman monta ydintä → on nopein mahdollinen muisti → on mahdollisimman paljon muistia 256 minillä meillä on paljon ytimiä ja erittäin nopea muisti, mutta 16 Gt:n raja laitetta kohden haittaa SupGeniä. Tässä mielessä uskon, että joko M3 Ultran tai EPYC:n pinoaminen voisi tarjota parhaan vastineen rahoille. Joka tapauksessa klusteri on valmis, HVM4 on melkein valmis, ja teemme hauskoja kokeita sillä. Mietin, kuinka hyvin Grok 5 pärjää ARC-AGI:ssa

Erittäin iloinen HVM4:n edistymisestä. SupGen on nyt sisäänrakennettu, ja meillä on vihdoin natiivityyppinen järjestelmä, joka toimii suoraan vuorovaikutusverkoissa, mikä tarkoittaa, että HVM:ää voidaan käyttää nopeana, rinnakkaistodentajana. En olisi yllättynyt, jos se päätyisi OOM:iksi nopeammin kuin Lean, ja haluaisin soveltaa sitä lauseeseen, joka todistaa RL:n Myös tekoälykoodaus tekee C:stä yllättävän elinkelpoisen. HVM:n koodikanta on nyt 100% C - jäsennin, arvioija, tarkistaja, kaikki - ja hallitsen sitä edelleen täysin. Kun se kasvaa liikaa, käytän seuraavat kehotteet vain koodin laadun hiomiseen ja parantamiseen. Se on erittäin tärkeää pitää se kurissa. Haskellista kotoisin olevana arvostan sitä, kuinka vakaata ja nopeaa kaikki on C:ssä (ja vihdoin voin käyttää 100 % suorittimestani kerran!)

Erittäin iloinen HVM4:n edistymisestä. SupGen on nyt sisäänrakennettu, ja meillä on (vihdoinkin) integroitu tyyppijärjestelmä, mikä tarkoittaa, että HVM toimii supernopeana, rinnakkaistodisteena todentajana. En olisi yllättynyt, jos se päätyisi OOM:iksi nopeammin kuin Lean, ja uskon, että siitä voisi olla hyötyä rakennettaessa lauseita, jotka todistavat RL-ympäristöjä. Lisäksi: Olen jälleen rakastunut C:hen. Kaikki on nyt C:tä, jopa jäsennin. Kun koodikanta kasvaa liian nopeasti, käytän seuraavat kehotteet vain koodin laadun hiomiseen ja parantamiseen. Tämä pitää koodikannan kurissa. Haskellista kotoisin olevana arvostan sitä, kuinka vakaata ja nopeaa kaikki on. Ehkä emme ole kovin kaukana ajoista, jolloin verkkosovellusten kirjoittaminen C:llä tulee todella kannattavaksi