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
Theorem 13 lead to a recent inconsistency