Pinned Tweet
My latest Deep Dive, published in Towards Data Science: Introduction to Lean for Programmers.

I couldn’t find an introduction to Lean for experienced developers so I wrote my own.

Combined with AI, it’s one of the most powerful tools you can try now.

towardsdatascience.com/introduction-t…
0
0
2
1,261
Heard the one-ant hypothesis. What if every ant in the universe is actually the same ant, jumping back and forth through time. Another hypothesis postulates there is one ant field extending throughout spacetime, and every individual ant is an excitation of that field.
0
0
2
41
Any sufficiently primitive magic is indistinguishable from technology
0
0
1
37
It’s not correct to call it artificial intelligence. The artificial part of the process is to create the lab conditions for something else to emerge, a natural gradient descent over a dynamic system. The intelligence was grown, it was discovered, not built.
0
0
0
71
Ronen Lahat retweeted
Replying to @joshwhiton
@joshwhiton We should stop anthropomorphizing humans
6
8
237
4,700
I’m personally tired of the “frontier model so good” tweets. I know
0
0
0
103
Ronen Lahat retweeted
The foundations of physics are ultimately mathematical, the foundation of math are ultimately computational, and the foundations of computation are ultimately physical.
I guess it really might be the case that math and physics are just apps of computer science.
113
101
1,140
65,203
Ronen Lahat retweeted
Replying to @doodlestein
@doodlestein the next 20 years are going to be credentialed classes clinging bitterly to their sunk costs (and dragging the rest of us down with them)
4
1
12
1,549
Ronen Lahat retweeted
The passenger uprising on Flight 93 still gets to me.

The indomitable power of the American spirit. Just absolute patriots and heroes of Western civilization. There should be statues to them.
336
1,327
17,090
3,378,128
“tomato is a fruit and not a vegetable,” stating the botanical definition, but there’s no such thing as a vegetable in botany.

No one says “actually carrots are roots, not vegetables.” Broccoli are flowers, onions are bulbs, celery are stems, lettuce are leaves, peas are seeds
0
0
0
105
Twin Towers by Gürbüz Doğan Ekşioğlu⁠
0
0
0
86
Ronen Lahat retweeted
He was going to be America’s youngest president.
139
1,054
15,423
173,730
Ronen Lahat retweeted
Leftists are people who pretend to be good people instead of actually being good people.
148
559
5,667
53,515
Map of the world scaled by GDP (draft, there’s mistakes in it)
0
0
1
1,554
Ronen Lahat retweeted
people don’t fully grasp the full meaning of what you are seeing on this screen right now. we live in a time of complete wonder
I’ve successfully run the full retained MaleCNS v1.0 fruit fly connectome, all 166,700 neurons, inside Minecraft, with its simulated neural activity driving a fly’s movement.

V1 Currently in development. Built with the help of GPT-6 Astra.

Props to the @OpenAI team and lease. Code and mod coming soon!
160
784
20,797
1,614,940
Ronen Lahat retweeted
Consciousness doesn’t emerge from brain cells. Brain cells emerge from consciousness.
341
278
2,185
350,661
I haven’t seen any movie that trusts the viewer’s intelligence more than The Godfather Part II.
0
0
0
87
Ronen Lahat retweeted
2FA
@UK_Daniel_Card @Shooters_Texas I upgraded the security of the paper password manager
14
181
4,571
62,305
When bits can simulate atoms the lines between the physical & digital world get rather blurry
0
0
2
134
Ronen Lahat retweeted
Replying to @maywrence
@maywrence When you ask Malcom in the middle director how he did the lighting in that scene
2
61
7,625
175,780
Ronen Lahat retweeted
Now imagine that, in the past 24 hours, the invaders had murdered, raped, and burned 1,300 Spaniards…
257
484
3,980
137,327