Patrick

unpromising young man with a can't do attitude | sometimes posts about math

[Patrick @vanspae]

Cloth mother is cope

[April Clark @autogynefiles]

(pick me monkey) I prefer wire mother

[Patrick @vanspae]

@hausofdecline There's a joke about death of the author somewhere in there

[Patrick @vanspae]

@antipolygone_ Oh, flat, not pleaded. Sorry my french is pretty rusty lol

[Patrick @vanspae]

@Spicysauced @JonDerThan7 @Leopold_Sabine Vielleicht selbst nochmal den genannten Grundkurs Physik besuchen? Erstmal ist "Kühle" keine physikalische Größe und wird auch nicht weitergegeben; das Verdunsten des Wassers im Handtuch entzieht der Raumluft Energie und senkt damit die Umgebungstemperatur.

[Patrick @vanspae]

@trixiemattel Stop relying on that bodyyyy

[Patrick @vanspae]

@bcubeddd We need to get back to some plausible, verifiable stuff; brick-and-mortar physics. Like the aether.

[susie @sewershroom]

🔓🔁

[Patrick @vanspae]

It's one billion mile-long ship, Michael. What could it cost? 16 dollars?

[Collin Rugg @CollinRugg]

Plans released for a $16 billion mile-long ship capable of carrying 80,000 people.

The 'Freedom Ship' would be home to about 50,000 people, with space for 10,000 tourists and 20,000 crew members.

"The Freedom Ship is envisioned as a permanently mobile city at sea designed for long-term residence rather than short-term travel," the company says.

The ship would be about 8 times the size of the current largest ship in the world, the Royal Caribbean’s Icon of the Seas.

The plans include a 15,000-seat stadium, schools, colleges, shops, clubs, a water park, a music hall, museums, parks, and more.

The ship, which would run on nuclear, would be too large to dock and would remain in international waters.

Freedom Cruise International says it would go around the world every two to three years.

Insane.

[Patrick @vanspae]

@b_n_d_l_e I have considered donating to a charitable cause for years but unfortunately I've stubbed my toe the other day.

[Patrick @vanspae]

@bcubeddd lol. lmao, even

[josh (oldfriend99) @oldfriend99]

I'm addicted to Microsoft Authenticator app

[Patrick @vanspae]

@nectariiinexx You can also treat them with an even mix of boiling and ice cold water to achieve the same result! :)

[Patrick @vanspae]

@ruffledsavior Baby, I know, the first larp is the hardest

[Patrick @vanspae]

@difrent_chinos @superstar_finky I sing this to myself several times a week

[Patrick @vanspae]

@onionweigher Longitudinally they will hold their shape for longer, latitudinally they will fall apart more easily. If it's for french onion soup or onion jam, I always go lat.

[Patrick @vanspae]

@Brett_327 For when you wanna toast just one side of your bread but use the same amount of electricity

[Patrick @vanspae]

Huh, I've never heard of a mathematician named Sorry but he's gotta be a big deal with how often his work is cited in this.

[Charles Arnal @arnal_charles]

Our team at @AIatMeta is excited to announce ATLAS: one of the largest automated formalization efforts to date.

ATLAS contains Lean 4 formalizations of both statements and proofs from 25+ mathematics textbooks, spanning dozens of domains, for a total of 500k lines of code. We are also releasing a flexible formalization harness and a companion paper.

External contributions are welcome!

Joint work spearheaded by our amazing PhD student Ahmad Rammal (@Ahmad3Rammal), together with Niket Patel (@niketnpatel ), Fabian Gloeckle (@FabianGloeckle), Amaury Hayat (@Amaury_Hayat), Remi Munos (@MunosRemi), Julia Kempe (@KempeLab), Vivien Cabannes, and myself from @AIatMeta, @NYUDataScience , and Ecole des Ponts. This is an ongoing effort; more details in the thread below.
(1/9)

[Elsie @Meelsie143]

type of shit jordan peterson would say with tears running down his face

[Patrick @vanspae]

@bcubeddd I kept thinking "why doesn't he just call those functions \iota_x? It's clearly a family, not a single map" but realized that, without this source of confusion, it would be even more obvious that the whole concept doesn't make any sense lol