What are you doing now? I feel like after I graduate I’m gonna have to find a new field.

If it’s actually exploiting a bug in a formal system, no. If it’s a natural-language (unformalized) document which no one can understand, no. On the other hand a formal proof not using bugs which can’t be understood, is still considered a proof, though its value is lower than an understandable proof (because as you said in another comment, the real value is in understanding rather than theorems). The prototypical example before LLMs was the proof of the four-color theorem which relied on computer-checked casework.

they pronouns

he

his

?

It’s also vibe coded.

article is llm-generated

dan olson jumpscare

rationality is when i spend hours arguing on the internet about whether Omega could defeat Super Saiyan Goku

Irulan is an acronym of “urinal”

✍️🔥 thank you i will never be able to un-see it

reminds me of my younger years when i used to attend play parties and then wake up four hours later on a couch cause i was so sleep deprived

serial killer
serial killer
serial killer
serial killer
serial killer
serial killer
serial killer
cool guy
serial killer
serial killer

In his very lukewarm defense, the rough CS equivalent to publishing a paper in a journal is presenting your paper at a conference. According to DBLP he has had three papers in AGI '06 '07 and '11 (which i would not call a serious conference) and one workshop paper (generally a tier below actual acceptance to the conference) at AAAI '15.

Ah okay, I didn’t realize that.

It’s not quite clear to me that

We rely on some standard LLM detectors to focus our attention on papers that need to be checked.

implies they are using LLMs themselves. The phrase “LLM detector” is a bit ambiguous and could mean “LLM being used as a detector” or just “classifier program designed to detect LLM output”.

im smarter than everyone else around me, especially those whiny feminists. why hasn’t society granted me a female to be my mate yet?

i can kinda understand “liking the idea” in the same way that I “like” the very simple currency systems in single-player video games, where you do work (fight monsters, collect items, win Pokemon battles) and are automatically rewarded with currency you can use to buy items, which are always reasonably-priced because the game developers balanced it that way. It’s just that these systems have nothing to do with reality. But that simplistic view of money is pretty much all that’s left of cryptocurrencies if you look past the get-rich-quick scheme.

decision theory is when there’s a box with money but if you take the box it doesn’t have money

Hochman correctly deduces that R9PRESENTATIONALism originated in the 18th century, but fails to realize that the roots of this movement actually lie with the Bavarian Illuminati, a secret society which was supposedly suppressed by edict in 1784 but has in fact maintained a shadowy existence influencing politics up to the present day.

I don’t really understand what point Zitron is making about each query requiring a “completely fresh static prompt”, nor about the relative ordering of the user and static prompts. Why would these things matter?

“Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog”

shrimppost found in the wild