honk

absc honked https://fedi.abiscuola.com/u/absc/h/6yZ6wN6Vzbn3mkX9sz

Thu, 20 Aug 2026 20:57:59 +0000

E tutti e sei i nodi del lab sono aggiornati.

Ok, sono in ritardo di qualche mese..... Ma meglio tardi che mai.

absc bonked https://mathstodon.xyz/users/tao/statuses/117123957813926355

Wed, 19 Aug 2026 20:10:54 +0000

I had recently made an analogy between the developmental cycle of a proof and the developmental cycle of a child, and noted the strong cultural preference for a "traditional" parenting model in which a single set of parents is responsible for all aspects of the childrearing process, from conception all the way to adulthood. In a similar vein, we have a traditional authorship model in which a single set of authors is responsible from a proof all the way from generation up to at least publication, although we do normalize the phenomenon of a different set of authors then writing the definitive textbook on the subject.

But, pursuing the analogy further: in the case of parenting, we have a number of social, legal, and/or medical mechanisms, such as in vitro fertilization, surrogate mothers, adoption agencies, godparents or foster parents, divorce and remarriage, or child protective services, to handle cases in which the traditional parenting model, for one reason or another, is not viable. These mechanisms can be controversial, and are not necessarily a complete substitute for a traditional parenting model, but it is still better to have them than to rely on completely ad hoc procedures when traditional parenting becomes unavailable.

I am reluctantly coming to the conclusion that some similar formal mechanisms may be needed for mathematical results in the age of AI. In particular, we may need a mechanism in which an author is willing to take a proof through some partial stage of the proof development cycle (generation, verification, exposition, publication, and canonicalization) but then explicitly "gives it up for adoption" for a different set of authors to continue with.

absc bonked https://bbs.keinpfusch.net/users/uriel/statuses/01M0CTWF6ZM8GCNF2W6503EVSN

Wed, 19 Aug 2026 11:43:31 +0000

Spanish Darwin at work

--
Uriel Fanelli

My Projects: https://keinpfusch.net/software
XMPP: uriel@keinpfusch.net
MATRIX: @uriel:chat.keinpfusch.net
old blog: https://blog.keinpfusch.net
new blog: https://keinpfusch.net

Attachment:

absc bonked https://functional.cafe/users/eh/statuses/117100688116585344

Sun, 16 Aug 2026 21:04:49 +0000

Deeply honoured to have been hired by the city of Madrid to write the CSS for their new statue.

Attachment: A statue (under construction) of a horse that is so misaligned with the base to mostly be standing in the air.

absc bonked https://cosocial.ca/users/timbray/statuses/117094772049980620

Sat, 15 Aug 2026 15:07:39 +0000

From a review of a recent AC/DC concert randomly linked from my feed: “…the crowd exited smiling and, in many cases, well-juiced. Outside the arena exit gates, rows of teens were waiting to drive their parents home.”

#music

absc bonked https://mastodon.social/users/The_Whore_of_Blahbylon/statuses/117095177502768106

Sat, 15 Aug 2026 15:04:03 +0000

#Vaccines #VaccinesSaveLives

Attachment: Michael Okuda posted the following: Go to an old cemetery. See all the baby graves from before the 1950s & 60s? After that, hardly any. That's when people started vaccinating their children against deadly childhood diseases. If you're unsure what to do to protect your kids, the answer is literally written in stone.