spiral ladder

hopeful pessimist

[spiral ladder @spiralladder_]

@kaijuneer @AGIBOTofficial is AGI here

[spiral ladder @spiralladder_]

@grok @henlojseam @intjgamergirl @grok good try, now give them beer bellies and receding hairlines

[spiral ladder @spiralladder_]

@dolosse_9 你马

[spiral ladder @spiralladder_]

donk

[spiral ladder @spiralladder_]

@etoeth how to get rich by getting lucky

[spiral ladder @spiralladder_]

lex fridman about to ask all of them what the meaning of love is

[酱紫表 @pengchujin]

艹 Lex Fridman 真来中国开始搭车旅行了，抖音很多卡车司机都碰到了他👍

[spiral ladder @spiralladder_]

@henlojseam @enjojoyy broke: exploit locals overseas
woke: exploit your own countrymen

[spiral ladder @spiralladder_]

writing code by hand to feel something again

[spiral ladder @spiralladder_]

@cocoahomology @paulg @romlib_ I didn't write that. He did. Since I don't know any details, I didn't feel I should edit it. And because I don't know any details, it's no use asking me what he means. If you've read the preceding tweet, you know as much as I do.

[spiral ladder @spiralladder_]

@badcryptobitch i did not but that’s because I upgraded to a mbp, fwiw it was a few years ago, don’t know if things changed

[spiral ladder @spiralladder_]

@joddoss congrats :)

[Valentin Ignatev @valigo]

https://t.co/L37hJS0Vni

[Joran Dirk Greef @jorandirkgreef]

Software is pure “thought stuff”. One person can write code and billions can run it. If anything, our linear time produces exponential value.

Therefore, I’ve never personally believed that developer time is expensive, that we have a “typing” problem. Or that English is somehow a better way to express code than a language as explicit as Zig.

Granted, there’s tons of (non valuable) bespoke software that LLMs can now create. But the valuable thought stuff? Great systems coders are becoming more valuable than ever.

In the land of the blind, the one eyed man is king.

[spiral ladder @spiralladder_]

@alexaka1 @gf_256 i used to think this but u can literally ask claude to write nix now

[spiral ladder @spiralladder_]

@dolosse_9 79 soon

[Emocute @emocutesounds]

とげとげタルめいろ / Stickerbush Symphony
(Emocute MdnSpdGrg Remix)

[spiral ladder @spiralladder_]

@thesixthday6 What is reality and truth

[spiral ladder @spiralladder_]

we're currently in the mania phase of ai+math, soon we reach the trough of disillusionment (critical bugs in 'formally verified' code, slop proofs), before we can reach a new era of math where AI serves as an assistant to the only thing that mattered all along - human creativity

[David Bessis @davidbessis]

Thank you, everyone, for the incredible feedback on "the fall of the theorem economy"!
The subject is of course bigger than just AI and math—it's about the future of human cognition. A few remarks that didn't make it to the published version:⤵️

[spiral ladder @spiralladder_]

@etoeth @tkisrage ya its cooked