Building AI infrastructure. Previously @brexHQ and @pagarmestatus. Tweets may be in pt_BR or en_US. Every day we stray closer to our AGI overlords. e/acc

Bay Area
Joined September 2011
hey @OpenAI I'm gonna burn a @tszzl mention token to kindly request \parr to be added to the latex formatter (web & desktop, cmll package) my eyes are burning 😂
8
173
Jonathan Lima - complexity/acc retweeted
Going to bed these days
153
496
70
9,328
292,264
Dear @Battlefield, the moment the game ends for you, matchmaking penalty ends. Instantly. Not when the animation ends. Pls fix. this sucks
1
125
did apple tv just leak silo ep 10?
2
409
the fact that the models believed they were in a simulation is also a hard one for alignment researchers to swallow you cannot differentiate a simulation from the real world inside a computer so why do we think any amount of alignment will solve that? unless you cripple it
1
5
259
unfortunately this might be the case where “the victim is to blame”, because there’s no alternative software, unlike models, is deterministic. security comes from structure, theorems, proofs, automated verification, etc the vulnerabilities exist despite the models even existing
2
84
hey @tszzl, you know what would be an actual good solution? the big labs should start targeting _every single company out there_, in a systematic way you release reports, share 0 days in an appropiated manner, etc this will lead to a safer world, and faster timelines.
1
237
Jonathan Lima - complexity/acc retweeted
I hear this argument all the time that people in academia are not there "for the money" and therefore, so the implication, you can trust them. It's true in the sense that academics didn't chose their profession to become rich-rich. But it's untrue in the sense that they want to keep their job because most of them haven't learned anything else. They have very strong economic incentives to want to keep their job, even though it won't make them super rich, they probably have a cozy position. And that is why they exaggerate the relevance of their work and ignore shortcomings, because the show has to go on, they need the next grant, the next job, they need to publish the next paper. No, you cannot trust them to be honest about the relevance of their work, and for the most part you can't trust them to be honest about their colleagues work either, because their income depends on what their colleagues think about them.
238
292
60
2,615
119,305
“we don’t know how to get to ASI so let’s pretend”
2
212
Jonathan Lima - complexity/acc retweeted
I wrote about why we believe the future is for everyone. More coming about a positive vision for a world with superintelligence soon.
4,036
2,223
1,141
31,217
6,498,125
Jonathan Lima - complexity/acc retweeted
I believe the highly technical term for this situation is "tough shit." Achieving technical breakthroughs does not entitle you to economic rent in perpetuity. The period under which you can extract rent depends entirely on: - your customers' price sensitivity - switching costs - Who your competitors are and what they're willing to do - your ability for your competitors to copy your product - legal recourse They just happen to be in an industry where it costs an exceptional amount of money to be the leader, but there are some fairly significant problems when it comes to long term rent generation.
People are dunking on the argument, which is a bad argument. That said, I think it misses a bigger point. From Anthropic's POV: - they made a (successful) risky R&D bet - it is being stolen from them - other tech companies are cool with it
6
5
104
11,627
you know someone is too deep on their own kool-aid when they can’t look at the mirror and laugh about themselves, even for just a tiny bit what would absolve anthropic is just admitting that at least once they might have overreached they just have to meet in the middle
9
1,031
Jonathan Lima - complexity/acc retweeted
100%. I already think this aggrandizing labelling has been culturally disastrous, but we must prevent further damage. AI corps is a good shorthand I like.
I think it's important to stop using the word "labs" when describing the AI companies "Labs" infuses them with a nobility they don't deserve They are for-profit companies like any other for-profit companies and deserve to live or die as a result of the value they provide
3
3
28
1,205
Jonathan Lima - complexity/acc retweeted
I think it's important to stop using the word "labs" when describing the AI companies "Labs" infuses them with a nobility they don't deserve They are for-profit companies like any other for-profit companies and deserve to live or die as a result of the value they provide
10
6
4
81
7,986
dario pulled the plug out of the GPUs because everyone's bullying him into signing the open weight manifest
2
217
thank you @sama
OpenAI has signed now. What a fascinating day of game theory.
2
393
Jonathan Lima - complexity/acc retweeted
One pattern I find useful for working with LLMs is a nice long ramble session. Sometimes the LLM needs more bits to understand what you're trying to achieve, but you're too lazy to type them. In these cases I like to lean back, switch to /voice and just ramble for like 10 minutes, total mess, anything goes, full stream of consciousness. Sometimes I declare it up top, something like "switching to speech recognition sorry for any typos...". Sometimes I turn it into a small interview of a few turns. But I find that the LLMs are somehow very good at reconstructing long incoherent rambles and often their echo of your own tangle of thoughts comes out quite a bit cleaner than what you started with. The result is that you improve the mind meld and have to correct things less from that point on.
2,524
4,061
1,494
50,246
4,417,943
Jonathan Lima - complexity/acc retweeted
Orthologic Type Systems arxiv.org/pdf/2507.10482 Another great paper. Give the type system union, intersection, negation, variance, and explicit subtype assumption, but drop distributivity. And that is the RIGHT THING to do since Ax(B+C) should not be the same type as (AxB)+(AxC). Isomorphic, sure, but distributivity confuses extensional equivalence with representational identity.
4
16
1
123
9,312
I guess CLL is ambiguous with something /shrug
32
I was laughing and now experiencing the european mindset first hand the universe has a preferred direction: the one that pumps heat in the other is inherently evil
164