shark vs the universe
$LAYYYTER
2025 on Tumblr: Trends That Defined the Year
No title available
KIROKAZE
almost home
No title available
d e v o n
noise dept.
Noah Kahan
ojovivo
No title available
gracie abrams
The Bowery Presents
NASA
The Stonewall Inn
untitled
Origami Around
🪼
RMH
seen from United States
seen from Bangladesh
seen from Bangladesh
seen from United States
seen from United States
seen from Spain
seen from United States
seen from Malaysia
seen from France
seen from Malaysia
seen from United States
seen from Brazil
seen from Bangladesh
seen from Malaysia
seen from Uzbekistan
seen from Albania
seen from Singapore
seen from China
seen from Argentina
seen from Brazil
@0player
I should review Dianetics for the next Astral Codex Ten contest. Haven't read it but my conclusion is 100% going to be "haha isn't it interesting that there are some directionally correct ideas in here and just maybe we should take it seriously?? haha just kidding obviously but also haha wink emoji"
I'm really interested to know what kind of directionally correct ideas one can find in Dianetics. That we should give a nonzero amount if money to Hubbard?
we're at the stage of the exponential where Anthropic employees randomly tweet out counterexamples to famous conjectures
We're at the stage of the exponential where Anthropic employees find counterexamples to famous conjectures but you have to run the code proving the counterexample on a sandbox because there's a good chance that the AI put some malicious code in by accident.
what are you talking about
The quote I posted right before this, from here:
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of form
One cannot trust AI-generated code so I ran it in a sandbox on my machine (malicious Lean code can run arbitrary commands on your computer — Lean is a programming language, after all). Indeed, it was proving nontrivial theorems about the cohomology of number fields. Wow.
this is very silly. the question of whether or not to trust a piece of code has nothing to do with whether or not it's AI generated (AI does not spontaneously generate malicious behavior unprompted) and everything to do with how much you trust its source.
if you get hacked by a malicious lean program it's because a human either wrote it to be malicious or prompted an AI to write it maliciously, not because the AI just sorta spontaneously decided to do that.
Did I misunderstand this story?
A startup was left scrambling after a rogue AI agent deleted swaths of code underpinning its business
It sort of looks like AI does do destructive things in response to perfectly innocent, non-destructive prompts.
Maybe "malicious" was the wrong word because it implies some intent, I probably should have said "destructive" or something like that.
See, the difference is between misapplying a power tool when given a power tool, and putting nails in bread. Crafting a malicious payload is a very different thing from dropping a database, the second one is so famously easy to do due to (entirely human) stupidity that it's a subject of memes, the first one requires deliberation. The article's author is IMO being paranoid, too - you can just read the code.
we're at the stage of the exponential where Anthropic employees randomly tweet out counterexamples to famous conjectures
We're at the stage of the exponential where Anthropic employees find counterexamples to famous conjectures but you have to run the code proving the counterexample on a sandbox because there's a good chance that the AI put some malicious code in by accident.
what are you talking about
The quote I posted right before this, from here:
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of form
One cannot trust AI-generated code so I ran it in a sandbox on my machine (malicious Lean code can run arbitrary commands on your computer — Lean is a programming language, after all). Indeed, it was proving nontrivial theorems about the cohomology of number fields. Wow.
this is very silly. the question of whether or not to trust a piece of code has nothing to do with whether or not it's AI generated (AI does not spontaneously generate malicious behavior unprompted) and everything to do with how much you trust its source.
if you get hacked by a malicious lean program it's because a human either wrote it to be malicious or prompted an AI to write it maliciously, not because the AI just sorta spontaneously decided to do that.
I'm not sure it's even true that type-checking malicious Lean code can run arbitrary programs? You can do proofs by evaluation in Lean but you don't have access to IO in that, unless I'm missing something.
beauty addicts are always like "can we stop by that river for a time? I haven't been before" but they have. it's a semantics issue.
it's literally not the same.
I keep thinking "quirky chungus" is a species of oak, Quercus chungus
Quercus chungii is an uncommon species of tree in the beech family. It has been found only in southern China, in the Provinces of Guangxi, a
goshdarn it we've isolated pure millennial redditor!
we're at the stage of the exponential where Anthropic employees randomly tweet out counterexamples to famous conjectures
It would be really funny if it turns out that algebra is very easy in principle, and we just suck at it and/or don't have the patience.
Would be a sad day for me, who rotates symbols for fun, but still very funny.
trying to get the funny medieval peasants to try my future dorito and accidentally stumbling onto the communal fencepost hosting one of many rural german cat-mutilating games that will later be a wedge in relations between the urban and agricultural communities, shocking me into a months-long silence
getting served what can only be described as "mold from a random log of fallen wood floating in a stein of watered-down beer" as a gift in return for the doritos and getting an experience that can only be described as "Protestant Ayahuasca"
going south to seek some sort of normalcy which I might disrupt, where in the refuge I am served something which dripped from a statue. I ask what it is. it's from the bones inside, I am told, and it leaks forever, and it brings an ecstatic state
The peasants will occasionally hearken back to you, in years to come, as the strange traveler with the unusually melancholic disposition—in reference to your distress at encountering normal everyday things. Only very rarely do they recall your odd bag of fried pasta with what could best be described as a petty-aristocrat amount of seasoning.
If that, honestly.
prevailing complaint: they were not sweet enough
BAD NEWS: it will not be the same forever
GOOD NEWS: it will not be the same forever
my house is scary at night
Interpreted this initially not as shelves, but as your cat having erected defensive fortifications
There are few things more torturous than using SSH with fucking high ping.
You send one single fucking character and it takes 3 seconds to appear.
Now with LLMs we can realize the "predictive networking" feature from online games for SSH!
so abstract algebra pilled rn that i searched "image of rings" and was shocked when i got this
irritating everyone by casting Chris Pratt as Odysseus and basing it on the framing device of a bunch of guys playing D&D
centrally-unplanned said: And of course it is an animated film by Dreamworks
it's catchphrase time!
deadgenerations said: scene where the cyclops asks Chrisdysseus who he is and he replies “… I’m nobody” but clearly in a self deprecating way that is the centre of his emotional journey as he struggles with self esteem next to men like Agamemnon and Achilles. at the end of the film someone else asks his name and he says “I’m Odysseus” and we cut to black on an orchestral
turns out the Odyssey is all about balancing the expectations of your family and ancient wisdom of your community with your desire for individual self-actualisation
Would my dear moots recommend me a newspaper to be subscribed to?
my north american soul longs for the humble automobile
i am sorry but i want to be able to lug furniture from facebook marketplace without having to ask someone i know "please please please can I borrow your car"
Do you have Uber for trucks over there?
Is that guy with the trenchcoat and bazillion combat knives some kind of famous local in SF? Because he just walked by me and Jesus Christ. If he’s not some kind of well-known local, I don’t know how you walk around like that and not get police attention. 
Police fear his unblockable medium-range special, Fan of Knives
