Remote

Melted Brain 2000ad

@meltedbrain_y2k@social.xenofem.me

No recall or intervention can work in this place

59 Followers

88 Following

6 Posts

Joined February 27, 2021

Posts

Melted Brain 2000ad @meltedbrain_y2k@social.xenofem.me · Apr 28, 2026

Replying to @julesh@mathstodon.xyz

@julesh Spanish unis have started doing just that, many have a bachelor's in AI in the CS school now. For example: https://www.uc3m.es/bachelor-degree/artificial-intelligence#program

Melted Brain 2000ad @meltedbrain_y2k@social.xenofem.me · Feb 22, 2026

got the flu feeling like shit

Melted Brain 2000ad @meltedbrain_y2k@social.xenofem.me · Feb 17, 2026

Been learning the Lean language/proof assistant and it's pretty cool, the natural number game was pretty fun. Next I'll be working through "functional programming in Lean" and doing the linear algebra and real analysis games.

Melted Brain 2000ad @meltedbrain_y2k@social.xenofem.me · Jan 31, 2026

Replying to @meltedbrain_y2k@social.xenofem.me

Between this and his fund possibly having been the match that lit the fire of the '08 GFC, he might have been the single most decisive figure in ending "The End of History"

Melted Brain 2000ad @meltedbrain_y2k@social.xenofem.me · Jan 31, 2026

Epstein being personally responsible for ruining the Internet was not something I was expecting ngl

Melted Brain 2000ad @meltedbrain_y2k@social.xenofem.me · Jan 15, 2026

It'd be funny if it weren't so depressing that the whole "r/acc" project, "NRx", all the fancy words from Land, Moldbug, all the visions of technological eschatology has just ended up empowering some orange moron who flips the bird to random workers as his government runs the most unsophisticated fash playbook ever

Melted Brain 2000ad

Posts

Remote instance