En voi uskoa, että ihmiset kirjoittavat Lean-koodia käsin, mies. Ja että asiat virallistettiin siinä ennen LLM-kokeita. Minkä tahansa Leanissa virallistaminen tuntuu yhtä miellyttävältä kuin ihon kuoriminen perunankuorimella ja yhtä mielenkiintoiselta kuin maalin kuivumisen katsominen.

Älä kerro minulle mitään "pelin iloa" / "se on niin interaktiivista" tai mitään sellaista. Peleissä on kaikkialla nähtävää, aivan kuten kaikkialla on ra*e, ja tiedän eron

@notmoeezm "En edes välitä, tarkistavatko koneet todisteita" lähde: tyyppi, joka virittää hakualgoritmeja proof spacessa huvin vuoksi, käyttäen Leania😞