@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.
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.
@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.
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)
@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