Theorem 13 lead to a recent inconsistency

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

That horse should be the mascot of this instance

Computers use both big endian and little endian and it doesn’t seem to matter much. Yet humans should switch their entire number system?

E: this guy can’t grasp the concept that left-to-right is arbitrary, which is really ironic given his point. Ok so in arabic it’s exactly how this guy wants it, except no, the universally correct reading direction is left-to-right and arabic does it backwards just to be quirky🙄, and humans, just like programs, flip a bit to read it left-to-right, where it’s the opposite of how you should be reading it! of course.

It’s hard to come up with analogies for AI because it’s so goddamn stupid. It’s like if asbestos was flammable.

deleted by creator

I don’t know static site generators, but I took a look at your site and the text doesn’t render! The font file appears to not be good. Also sorry for having to move to another software.

rsyslog goes “AI first”, for what reason? no one knows.

Opening ipython greeted me with this: “Tip: IPython 9.0+ has hooks to integrate AI/LLM completions.”

I wish open source projects would stop doing this.

Thanks for the work you do on Newgrounds! This sentence stuck out to me

No more worrying about lack of content or fickle UGC creators

Oh they’re just publically advertising their company to be anti-union. Bold.

Woah i had no idea. Apparently he also made a web crypto miner used in hacked sites.

Was checking out the QOI image format and the politics of the dev and found that he is pretty comfortable around the ladybird people. (sigh) Also the r slur on twitter.

Really amazing that such a simple format achieves PNG sizes and faster encoding speeds. 1-page specification, though it’s more like 2 with a bit bigger text, for bragging rights.

That is the kind of writing that absolutely anyone can get a thing out of. Will cause me to introspect.

I misinterpreted this reply as the guy in the post being hired as a police officer. Thank god.

Yet another LLM guy claiming it solved a problem when in fact it was already solved, with it being told almost exactly where and what to look for. Cold reading for use-after-frees.

Now I’m wondering if an infinite sequence of nested LLMs could achieve AGI. Probably not.

So “unintentional moderates” are those that both choose deliberately to believe in centrist political ideology and to participate in groupthink?