Leetman al Gaib 🇲🇽🗽

17.9K posts

Leetman al Gaib 🇲🇽🗽 banner
Leetman al Gaib 🇲🇽🗽

Leetman al Gaib 🇲🇽🗽

@IvanCaceres

Founder: https://t.co/xVNAsEyC3o & Jimmy Neutron of AWS/React/Next.js 🚀👨🏻‍🚀 Cloud Software Engineer

New York, New York Katılım Mayıs 2009
4.9K Takip Edilen1.3K Takipçiler
Sabitlenmiş Tweet
Leetman al Gaib 🇲🇽🗽
Leetman al Gaib 🇲🇽🗽@IvanCaceres·
Higher than a blimp when I go up Hop on a 🚁 then we go up
Leetman al Gaib 🇲🇽🗽 tweet media
English
0
1
20
8.1K
Leetman al Gaib 🇲🇽🗽
Every corporation that doesn't have 10 software engineers working on solving the Agent Harness problem is asleep at the wheel
English
0
0
0
9
Leetman al Gaib 🇲🇽🗽 retweetledi
GEOFF WOO
GEOFF WOO@geoffreywoo·
you need to decide to be one of two archetypes: 1. ai-maxx so you can 24/7 commune with codex, claude, devin, droids, gstack, or 2. vibes and looksmaxx in order to 24/7 social climb and bro out with richer and more powerful people those are the only two jobs left.
English
144
266
5.2K
227K
Leetman al Gaib 🇲🇽🗽
You have the power to create all that you desire out of nothing. The developer mantra.
English
0
0
0
11
Julian
Julian@meldcore·
@gvtcontractor being a fat loser wrapped in designer clothing like a gift to the gangs seating with a hooker bait with bf in the comunas… hahaha hilarious! lmk when he appears in the newspapers
English
1
0
7
1.9K
Sebastián
Sebastián@gvtcontractor·
Just make money bro. That’s literally all it takes.
Sebastián tweet media
English
24
41
2.3K
74K
Leetman al Gaib 🇲🇽🗽
There are some “senior” developers right now who have no idea what they’re doing. No impressive knowledge obtained through experience, no fast thinking, no intellectual heft in problem solving. They suck at AI and vibe coding, bereft of anything positive I can say about them
English
0
0
0
19
Leetman al Gaib 🇲🇽🗽
I’m telling the AI to just replace me already Even GPT 5.4 codex isn’t mighty enough It would take the combined power of a sun 🌞
English
0
0
0
35
Rosario Tijeras
Rosario Tijeras@whyismariana·
i’ve noticed that the men with actual money are never worried about women “using” them for their money
English
8
10
128
7.9K
Andrew Yeung
Andrew Yeung@andruyeung·
New York City is alive again
English
6
3
55
2.6K
LOLA🦋💙
LOLA🦋💙@kirahdollz·
Men strictly based on your face card, can you pull women?
English
2.1K
315
4.2K
1.3M
PC Philanthropy
PC Philanthropy@PcPhilanthropy·
What’s the first game that comes to mind ?
PC Philanthropy tweet media
English
151
56
718
20.7K
Lan
Lan@ad0rnai·
maybe if I sell my soul to Roblox for 700k/year I could one day live in a corner unit apartment in downtown Redwood City the American dream might be alive and well…
English
19
3
404
23.2K
Bianca
Bianca@bianca____xo·
Me mata la vecina fumando porro miércoles 10 am
Español
299
122
6.8K
431.7K
Leetman al Gaib 🇲🇽🗽 retweetledi
sam
sam@sam_d_1995·
it’s kinda crazy that Jersey City has a more impressive skyline than like, Boston
sam tweet media
English
103
53
2K
262.3K
Leetman al Gaib 🇲🇽🗽 retweetledi
Bo Wang
Bo Wang@BoWang87·
Three weeks ago I shared that Claude had shocked Prof. Donald Knuth by finding an odd-m construction for his open Hamiltonian decomposition problem in about an hour of guided exploration. Prof. Knuth titled the paper Claude’s Cycles. The story didn't end there. The updated paper shows the story got much bigger. For the base case m=3, there are exactly 11,502 Hamiltonian cycles. Of those, 996 generalize to all odd-m, and Prof. Knuth shows there are exactly 760 valid “Claude-like” decompositions in that family. The even case, which Claude couldn’t finish, was then cracked by Dr. Ho Boon Suan using GPT-5.4 Pro to produce a 14-page proof for all even m≥8, with computational checks up to m=2000. Soon after, Dr. Keston Aquino-Michaels used GPT + Claude together to find simpler constructions for both odd and even m, by using the multi-agent workflow. Dr. Kim Morrison also formalized Knuth’s proof of Claude’s odd-case construction in Lean. So yes: the problem now appears fully resolved in the updated paper’s ecosystem of human + AI + proof assistant work! We went from one AI solving one problem to a full mathematical ecosystem (multiple AI systems, multiple humans, formal verification) running in parallel on a problem that stumped experts for weeks. We are living in very interesting times indeed. Paper (updated): www-cs-faculty.stanford.edu/~knuth/papers/…
Bo Wang tweet mediaBo Wang tweet media
Bo Wang@BoWang87

Prof. Donald Knuth opened his new paper with "Shock! Shock!" Claude Opus 4.6 had just solved an open problem he'd been working on for weeks — a graph decomposition conjecture from The Art of Computer Programming. He named the paper "Claude's Cycles." 31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days." The man who wrote the bible of computer science just said that. In a paper named after an AI. Paper: cs.stanford.edu/~knuth/papers/…

English
40
263
1.4K
170.4K
Leetman al Gaib 🇲🇽🗽 retweetledi
Cheng Lou
Cheng Lou@_chenglou·
My dear front-end developers (and anyone who’s interested in the future of interfaces): I have crawled through depths of hell to bring you, for the foreseeable years, one of the more important foundational pieces of UI engineering (if not in implementation then certainly at least in concept): Fast, accurate and comprehensive userland text measurement algorithm in pure TypeScript, usable for laying out entire web pages without CSS, bypassing DOM measurements and reflow
English
1.3K
8.3K
65.1K
23.5M
Leetman al Gaib 🇲🇽🗽 retweetledi
FMC (📈,📈)
FMC (📈,📈)@FreeMrktCptlst·
smoke weed and create the internet we were promised as kids
English
19
121
891
21K