LetMathsToOther

Geometry, Physics

[LetMathsToOther @LetMaths]

@Cr1st14nM3s14n0 Ma tralasciando il discorso tecnico per cui questo social è poco adatto, le robe di teoria della computazione che nomini nel primo post si applicano tranquillamente a qualunque sistema fisico (tra cui il cervello umano)

[LetMathsToOther @LetMaths]

@psycho_ludens Ma magari la cosa funziona dato che il gioco vuole essere un po’ onirico come atmosfere, e non realistico 2/2

[LetMathsToOther @LetMaths]

@psycho_ludens Avevo giocato alla demo per lo Steam Next Fest, mi sembrava ok e probabilmente lo comprerò in futuro.
Un “difetto”, se lo si può dire tale, è che soffre un po’ di game logic per i puzzle che possono fare sospendere l’incredulità 1/2

[LetMathsToOther @LetMaths]

@__paleologo If you hadn’t read it, I recommend her blog post on Atiyah from a few years back

[LetMathsToOther @LetMaths]

@grmvader Mi chiedo quanto sia dovuto alla contingenza storica che questi modelli sono venuti fuori allo stesso momento in cui Lean sta arrivando a una certa maturità.
Se non ci fosse stata la certificazione Lean, quanto avrebbero aspettato prima di tirare fuori una dimostrazione?

[LetMathsToOther @LetMaths]

@Marmittaaa Giappone è più economico, vai da solo che se fai il giro di ostelli tendenzialmente trovi altri che fanno viaggi solitari con cui accodarti per delle escursioni

[LetMathsToOther @LetMaths]

Incredibile la volontà di umiliarsi online

[🏴‍☠️ The Pirate 🏴‍☠️ @Pinperepette]

156 casi, zero morti. Quando ero bambino il morbillo era una delle classiche malattie esantematiche che “si dovevano fare”. Oggi basta un numero senza contesto per trasformare un dato epidemiologico in propaganda.

[LetMathsToOther @LetMaths]

Io pensavo che usare GitHub per scrivere i documenti di Ora fosse una cacata pazzesca, col senno di poi si è rivelato un IQ test per i boomerazzi pieni che è stato un ottimo filtro.

[Signor Ernesto @SignorErnesto]

Mi sono alzato presto e mi sono visto questo video di @Scacciavillani .

Mi ha fatto venire tristezza.

https://t.co/lo4Zohaj2L

[LetMathsToOther @LetMaths]

@miciotokyo Da italiano non la conoscevo neanche io

[LetMathsToOther @LetMaths]

@GarrettPetersen That’s already happening, unfortunately.

[LetMathsToOther @LetMaths]

La domanda è: sarà vero? Dovrei vedere se riesco a verificare.
Ma per il momento sembra di setacciare l’acqua al fiume per trovare oro.

Ancora non siamo all’equilibrio, vediamo cosa succederà tra qualche anno

[levent @__alpoge__]

Please welcome to the world a beautiful new geometric object, to do with a problem i’ve always loved. claude really contains multitudes:D Does S^6 admit a complex structure?

Yup

[LetMathsToOther @LetMaths]

@settime2588 @SignorErnesto @Forchielli @micheleboldrin Perché li paragonava ad Enron? Non ho tanto tempo di guardare.

Mi dispiace che vi siate tirati indietro da uno scoop così pesante! Eppure eravate così carichi l’altro giorno.

[LetMathsToOther @LetMaths]

@settime2588 @SignorErnesto Ma scusa non li avevate già analizzati pro bono? Ricordo che facevate gravi accuse a @Forchielli e @micheleboldrin la settimana scorsa

[LetMathsToOther @LetMaths]

@SignorErnesto Signor incubo, quando tira fuori le carte?

[LetMathsToOther @LetMaths]

@SignorErnesto @fleinaudi @avvbenedetto Analizza i bilanci della fondazione einaudi

[LetMathsToOther @LetMaths]

@miciotokyo Trovo molto utile Anki per memorizzare i vocaboli, puoi capitare qualche volta che uso della visual novel per mettere nuove parole nel mio mazzo con un plug in del browser.

[LetMathsToOther @LetMaths]

@EconAzUnits Se hai tempo ti consiglio anche questo pezzo di @wtgowers

https://t.co/D9tg03bxeE

[LetMathsToOther @LetMaths]

@EconAzUnits Leiden è dello scorso anno, già da allora le cose sono cambiate. E già ai tempi era “arretrata”. Ora sta succedendo un bel casino, c’è un talk di Tao stesso fatto lo scorso mese all’ICM che ti consiglio di guardare

[LetMathsToOther @LetMaths]

@AuroraFantin @Pescipatty È cambiata aria, col generale vannacci sarà vietato mostrare le gambe