Common sense and rational thinking; functional programming; learning Haskell, Elixir, Rust, Nederlands, 日本語; going through Lean phase

Nomadic
Joined January 2008
I dream of a world where anybody can have a rewarding occupation without risk of starving to death. What the other guys are building I have no idea.
the beautiful world we’re building with AI, where no one gets to have an intellectually rewarding job because this guy didn’t
6
85
Then they came for the mathematicians, and I did not speak out — because I was not a mathematician.
3
79
A perfect excuse does not ex—
Erkeklerin, beğendikleri kadının yanında bilişsel performansları düşüyor.
2
74
Alex Vzorov retweeted
The way a lot of you are engaging with Tao and other mathematicians' concerns about AI is really starting to bother me. You know nothing about this field. Tao does, to put it mildly. Have he and other mathematicians always articulated their concerns perfectly? No, but who has? If top mathematicians say that the journey often matters more than the destination, including as relates to the practical impact of pure math on other fields, maybe you should consider that they could be right. For my part, it strikes me as very plausible that they are. The years of work human mathematicians might have otherwise dedicated to solving EACH of the problems OAI has solved in a span of months could have launched a dozen other research directions, which could have launched more of their own, which could have launched still more, and so on. Multiply for every previous and subsequent major problem AI has and will solve. You're kidding yourself if you think the same thing is going to happen via mathematicians picking through OAI's solutions in search of understanding after-the-fact, rather than doing the bottom-up work to arrive at them themselves. What's ironic about the whole situation is that many of the folks mocking Tao are the same willing to engage in wildly implausible speculation about how reward-hacking superintelligences will level the Earth. Did you ever consider that THIS—what AI is doing to math—is a much more credible candidate for what malign, super intelligent reward-hacking actually looks like? Unlike genocide via paper clip-maximization, this is happening NOW and many of the people who it is happening TO are telling you in no uncertain terms that it is very bad! To be clear: mathematicians are not a monolith and you wouldn't be required to agree with them even if they were. But cruelly dismissing their concerns for the intellectual project many of them have spent their entire lives cultivating—when they ALSO have a credible case that automating frontier math is net bad for humanity—shows a stunning lack of humility. It also shows that many of the folks who claim to care about "AI alignment" are really only interested in the subject if it fits their preconceived, often anti-empirical notion of what alignment problems look like. If mathematicians like Tao are right, then we have what is maybe the first case of catastrophic misalignment on our hands and many of you are responding by ... mocking its most immediate victims? Hard not to conclude that many of you care more about these issues as vectors for intellectual status-seeking than anything to do with the future of our species.
This is a slide from Terence Tao's 'Math 2.0' public lecture yesterday evening at Caltech. I am highly confident that, if the cure actually worked, almost any Stage 4 cancer patient would tell you that human comprehension of its mechanism is completely irrelevant to them.
135
103
21
948
55,066
Terence Tao's thought experiment has shown that people don't understand thought experiments
37
82
4
1,414
22,346
This thought experiment – and reactions to it – is an excellent illustration to why alternative medicine exists.
I've read this 3 times and feel like I'm losing my mind. Tao is comparing an AI math proof to an AI cancer cure, which is insane enough by itself. But the point of the comparison is that just like you would obviously rather die from cancer than accept an AI cure a human doesn't understand, we should reject AI proofs that mathematicians don't understand. The mathematicians have truly lost their minds.
1
3
191
People who didn't like static types – because you had to declare them – now spend their time writing prompts.
4
162
Alex Vzorov retweeted
61
1,422
87
9,261
124,455
1. sky is blue 2. sky is blue One of these statements is false, because it's LLM-generated.
1
4
454
If you cannot bring yourself to say "I was wrong" to a model, you are not fit to be a senior engineer in 2026
If you cannot bring yourself to say "I don't know" or "I was wrong", you are not fit to be a senior engineer.
2
1
8
721
Not a writer, but something feels off about describing mass homicide as "social tension".
2
50
Alex Vzorov retweeted
Mediocrity does not need a villain. It only needs sustained inattention.
4
69
2
403
12,201
Startled to find out that there are young people who haven't read James Iry's magnificent "A Brief, Incomplete, and Mostly Wrong History of Programming Languages". Please drop what you're doing and head over. james-iry.blogspot.com/2009/…
15
65
8
331
45,061
If somebody thinks LLMs are conscious, I would expect them being capable of having deep conversations about the nature of consciousness, which is hardly ever the case.
If you think that LLMs are conscious you must accept a lot of weird conclusions. Like: - we can clone conscious experience - we can reverse time in conscious experience - we can pause and resume conscious experience - we can distribute conscious experience in space
1
4
151
You cannot outsource your understanding even if you outsource your thinking to Andrej Karpathy.
Andrej Karpathy says you can outsource your thinking, but not your understanding. Agents can process information, build knowledge bases, and generate new views of the same data. But the human still has to know what is being built, why it matters, and how to direct the system. You still have to understand why you're doing it.
2
75
Alex Vzorov retweeted
Replying to @rwenzori_
from the tree, difficult to say. from the parent? definitely not.
1
9
150
"ex machina" logical fallacy: generated output used in place of an argument
23
Alex Vzorov retweeted
You do not find important work by browsing options; you find it by pulling on a thread that keeps bothering you.
17
138
4,483