8GB RAM notebooků je zpět na stole. Programátoři by měli přijít na to, jak psát software, protože nafouklý Electron slop už nebude stačit s takovými cenami :))

Knuth zveřejnil článek, který zdůrazňuje velmi zajímavé využití AI, které bohužel midwici nazývají vibrací. Je to opak "atmosféry" čehokoliv: Stalo se to, že Filip Stappers dal problém Claudovi v velmi těsné smyčce sebereflexe, doslovně: ** Po KAŽDÉM exploreXX py běhu IHNED aktualizujte tento soubor [plán md] než uděláte cokoli jiného. ** Bez výjimek. Nezačínejte další průzkum dokud tu není zdokumentováno to předchozí. A pak pečlivě ověřili každou z 31 smyček. A po závěrečné smyčce, která se zdála být úspěšná, Knuth napsal skutečnou formální důkazovou větu, aby výsledky plně ověřil. Tohle je opravdová matematika s používáním elektrického nářadí, to je fakt super! Myslím, že je docela bezpečné říct, že formální výzkum důkazů bude (haha, chápu) velmi důležitý v době halucinačních strojů.

Pokud se chcete naučit trochu teorie typů nebo konceptů FP bez spousty elitářských PLT mozků – už nehledejte dál. Mít skutečný nízkoúrovňový kód, který můžete prozkoumat vedle formálních popisů, výrazně usnadňuje pochopení.