@timigod

Building @runbackoffice I like to make things, especially things that work on computers. First-Class Citizen of The Internet.

 London, England
timiajiboye.com
Joined September 2009
  • Tweets38.1K
  • Following293
  • Followers54.5K
1.6KMedia
Blades takes me back
Scott Van Vliet
@scottvanvlietOct 20
I've been cooking up retro vibes in XBOX LABS. Tell @asha_shar and I your favorite era!
893
cc @pvncher.
100
“I built my career using the most advanced computer of my day and as such, you have no right to build yours using the most advanced computer of your day”
3
11
105
6,983
I remember when I was the harness for o1 pro.
Timi Ajiboye
@timigod7 Jan 2025
Replying to @timigod
In fact, for most programming issues, o1 pro is the problem solver, while I’m the API for tool use (talk to copilot, copy and paste code bidirectionally). I sometimes help with the problem solving, but I don’t think about the majority of stuff.
1,981
What a time.
Mark Zuckerberg
@finkdOct 15
Muse Spark Open -- weights releasing today -- runs great on new Mac Studios thanks to work with @johnternus and Apple.
2
1,693
Timi Ajiboye retweeted
François Chollet
@fcholletOct 14
String theory is what happens when an intelligent system is starved of sensory input and starts hallucinating. Intelligence needs grounding. For this reason, intelligence is practically never the bottleneck to solving impactful problems. The bottleneck is iterated contact with reality.
766
1,308
334
12,478
5,509,207
The first time machines mogged mathematicians? 1976. Proof of the ‘Four Colour Problem’ is announced, the work was aided by computer. Mathematicians lost their minds. “God wouldn’t let the theorem be proved by a method as terrible as that!” - Herbert Wilf, University of Pennsylvania “the present proof relies in effect on an Oracle, and I say down with Oracles! They are not mathematics” … - Paul Halmos, UC Santa Barbara “if the solution involves computer verification of special cases . . . such a solution does not belong to mathematical science at all.” - Frank Bonsall, University of Edinburgh “Admitting the computer shenanigans of Appel and Haken to the ranks of mathematics would only leave us intellectually unfulfilled.” - Daniel Cohen, Hunter College NYC “not only is no proof to be found in what they published, but there is not anything that even begins to look like a proof… …It is the most ridiculous case of ‘The King’s New Clothes’ that has ever disgraced the history of mathematics” - George Spencer-Brown, Cambridge University
10
65
10
288
25,835
Timi Ajiboye retweeted
Louis Anslow
@LouisAnslowOct 12
Everyone is acting like this is the first time machines mogged mathematicians. In 1976 they *lost their minds* over the first computer aided proof, quotes via new @PessimistsArc post newsletter.pessimistsarchive…
3
25
4
100
18,697
It’s so hubristic and ignorant to think that “Maths is over” because you refuse to do the maths of the day. Maths isn’t over. If anything, it just started. Come along for the ride or die before you die.
1
6
4,654
Super Intelligence must be contained... Today, this is an engineering and governance challenge. And it isn't new. We've done it with planes, cars, nuclear materials, food safety, medicines... and everything else. Let's get to work!
Satya Nadella
@satyanadellaOct 10

Models as Insider Risks in the Super Intelligence Era

Article · @satyanadella
266
131
48
1,215
2,431,457
*Mathematicians did not ask for this work to be done" WTF?!! Since when was math something that was only done at the request of professional mathematicians?!! Mathematicians don't own mathematics! This is crazy!!
374
493
145
8,776
322,394
This is a crazy statement.
Garry Tan
@garrytanOct 8
“Mathematicians did not ask for this work to be done” 👀
1
1,681
Timi Ajiboye retweeted
Ethan Mollick
@emollickOct 8
I think I wrote exactly that, and it is still right. Organizations are a form of narrow superintelligence. My university, or Walmart, can do things that a human cannot, often using complex processes no one designed explicitly. I will go further: the failure to deeply consider how to make AI work together with existing organizational superintelligences is a big reason why we have not yet seen any large impact of AI on scientific discovery or economic productivity despite high levels of AI ability.
Samuel Hammond 🦉
@hamandcheeseOct 7
Reminiscing about when people used to say dumb shit like "we already have superintelligence, they're called corporations." Yes, who could forget that fateful day in October when Dicks Sporting Goods dropped dozens of Fields Medal worthy math discoveries on the world all at once.
91
70
18
749
38,264
I guess this is relevant today that decompiled games are the rave.
Timi Ajiboye
@timigodMar 31
It has always been this way, but LLMs have accelerated source code’s fecundity. Much like how memes spread, once source code is read, decompiled, or inferred via observability, it can be reproduced ad infinitum, in as many varying forms as necessary. Source code that can be read is effectively unownable. Legally it may belong to someone, but realistically you likely cannot stop it if the source code is fire.
1
8
3,335
Aleph is preeminent expert in all matters crypto x Africa. In this piece he writes about the world's best performing stock market, the impetus for local stablecoins and the future of global market participation. Please enjoy.
Aleph
@alephileOct 5
🎉 Local Stablecoins, Tokenization and a Global Naira I lay down my vision for what will be possible as local stablecoins and tokenization mature. I’m sure in 2 years, it will be obvious I over-promised; in 10 years, it will be a shame I under-promised. aleph.medium.com/local-stabl…
1
2
4
1,703
*the
245
Timi Ajiboye retweeted
Christian Szegedy
@ChrSzegedyOct 3
Reading all those recent beautiful essays by Terry Tao, Kevin Buzzard and @wtgowers, I could not resist, but write up my deeply personal perspective on how I perceive and see things: docs.google.com/document/d/e…
73
288
91
1,737
519,204
“ Mathematics is about to graduate. It will grow into a full-scale industry and become the true infrastructure of all scientific and technological progress, a foundation that every other field stands on rather than a quiet corner of academia. The age of lone climbers is closing, and the age of mapping the whole continent is opening. As for me, I can't wait to see those vast mountain ranges from my supersonic airplane.”
Christian Szegedy
@ChrSzegedyOct 3
Reading all those recent beautiful essays by Terry Tao, Kevin Buzzard and @wtgowers, I could not resist, but write up my deeply personal perspective on how I perceive and see things: docs.google.com/document/d/e…
5
2,047
Jev is so good and so cheap that you have no choice but to 1000000000000000000000000000x your usage.
3
11
4,890
Hate to see engineers run away from engineering problems. 😔
voxium
@v0xiumSep 20
I am done with this shit. It is over. The state of engineering right now is horrible. It has been half a month since I started a new role at a big company. Nobody knows anything here. The specs, code, tests, PRDs, tickets, resolution of those tickets, reports, etc., everything is made by Claude Code. Nobody on my team likes this. They are being forced to ship as much as they can. I have heard multiple times from higher management that pushing code is not a bottleneck, so why are we slow? People are working 12 to 13 hours a day just to press enter. Nobody is reading anything. Humans in corporate are doing nothing on their own. Everyone, literally everyone, from an L1 to an L7 engineer here is doing the same thing. Talk to Claude. There is no sense of victory. Nobody is resolving bugs. In reality, nobody is thinking anymore. Everything is done by LLMs. It is so soul-sucking. I would not mind it, to be honest, if we were at least given the time to check out the code and see what is going where. But no, the goal is to just ship. No matter what happens.
1
1
1
11
5,450
Load more