This is my favourite proof in all of maths (that I've been exposed to). Truly unreal feeling proving a statement is unprovable using godel numbering in an exam
That one took me back to high school art history. Agree, as much as I dislike AI generated art, it still is art. An Andy Warhol of today would could be making his screenprints using AI.
You really can't say, 'art should be this', 'art isn't that'. It's just art, it is what it is, people have a lot of emotions wrapped up in the art they like but it simply is what it is.
Yea agree, I worked at a bank during covid and helped do some work that tangentially helped relief/social security payments go through. Warmed me heart it did
NOAA is fantastic, I was alpine climbing in the very bottom of south america near El Chalten and NOAA is pretty much the only place to get a reliable forecast down there. Fantastic service.
computational reducibility/irreducibility is a big topic in computer science and is incredibly interesting. It allows us to prove that certain "computers" are the same through proofs and that they can carry out the same tasks regardless of the actions that take place within them. I would suggest looking into that as it really opens your eyes to just how similar computationally so many things are
