@codercody profile picture
Cody Johnson @codercody

Professional print statement writer

Joined March 2017
  • Tweets 263
  • Following 1,026
  • Followers 314
24 Photos and videos
You know what, maybe the Leiden Declaration is right - AI produces too much slop. Case in point: the Leiden Declaration itself
1
6
780
The Leiden Declaration is cringe. Academics trying to declare themselves a moral authority and dictate to you how you should be allowed to solve math problems. Opinions are my own.
15:35
4
8
1,011
There is no legitimate use of isinstance
6
10
1,724
Conspiracy theory: the only reason mythos could find so many security vulnerabilities was because they were added using opus
4
275
One simple hack for agent developers that are concerned about automating away their own jobs and getting fired: Add a step where your agent has to request a 2FA from you. Job security solved.
4
260
Today I learned Claude is named after Claude Shannon
2
13
1,750
Cody Johnson retweeted
Alvaro Lozano-Robledo
@mathandcobb
May 21
Following up on the suggestion from Will Sawin, here is an illustration of the new configurations that disprove Erdos' unit distance conjecture (made with the help of ChatGPT 5.5 Thinking).
Julian Bruns@BrunsJulian1541
May 21
Replying to @mathandcobb
an explicit drawing doesnt seem possible, but maybe the last paragraph satisfies your request. (its essentially a projection of the lattice construction in another field into R^2)
114
244
2,681
1,892,582
To everyone who says AI is gonna take our jobs and remove our meaning, I have one question for you: How much of society’s problems do we have left to solve? How much of all there is to know do we have left to learn?
2
110
Cody Johnson retweeted
OpenAI
@OpenAI
May 20
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
2:38
1,198
3,918
26,788
13,571,718
4
92
A founder that spends a bunch of time on X?
50% Green flag
50% Red flag
2 votes • Final results
1
142
Wow. Everything’s linear.
4
90
All real tech is 1% feature 99% error handling
4
77
It used to be README.md first then AGENTS.md as an afterthought Now it's AGENTS.md first then README.md as an afterthought I feel second class 😢
1
85
Cody Johnson retweeted
MathMatize Memes
@MathMatize
May 12
Fixed it
i like food
@messedupfoods
May 11
11
211
2,326
91,005
May the fourth be with you! When is @SpaceX going to release a millennium falcon?
2
93
What was your first interview problem?
1
136
FAANG is being replaced by GOMAX
2
10
441
Cody Johnson retweeted
Benji Taylor
@benjitaylor
Apr 13
Making something people love is mostly making something you love and hoping the overlap is real
337
1,198
8,366
874,437
Load more