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)

+1 for Archipelago

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

Bravo. The farthest i could get is 2/3 assuming the following model: x₁ is a random number between 0 and 1, x₂ between x₁ and 1, and so on. If the service breaks at x₁, gets fixed at x₂, breaks again at x₃, etc. availability is 2/3.

The Wikibooks book on statistics is surprisingly decent. Hopefully it inspires the reader to acknowledge that there are a lot more things to study apart from Bayes.