I just entered university for math and even though this is all very demotivating, it’s just what I’m good at.

https://math.andrej.com/2013/08/19/how-to-review-formalized-mathematics/

The AI people’s cry of "no don’t look at the code! it’s in lean so it’s correct! does give me a bit of hope (hi bitofhope if you’re here) that it’s bullshit that will fall over

Smart Pipe Inc. is a Registered Sex Offender

There cannot be such a thing since pdf does not structure its data. There is an extension to the standard that would let a program do it for you but nobody uses it (PDF/UA-1). (also pandoc is vibe coded now)

OMG I just installed it! Great to see.

I believe it’s the “don’t stuff beans up your nose” effect, writing this prompt is causing it to mention goblins