Jag har officiellt varit på semester sedan måndag men behövde jobba i torsdags - jag deltog i en students minidisputation samt ett viktigt möte. Sedan åkte jag till flygplatsen för att njuta av ett dygn i England. Nu är jag tillbaka i Eskilstuna och jag ser fram emot en helt "flygplatsfri" månad.
Men frågan är hur ska jag sysselsätta mig ? Jag har några planer som involverar fulla kvällar och bakfulla dagar men måste hitta på någonting som är lite mer original..
The Yang-Mills Publicity Stunt
-
The “shepherds” of the OpenAI Yang-Mills proof yesterday released the Lean
code of the proof, together with a validation and an assessment. The OpenAI
pres...

Inga kommentarer:
Skicka en kommentar