Gonçalo Carvalho

May you find what you seek

[Travis Goodspeed @travisgoodspeed]

It's shameful that GNU Sed and BSD Sed still have incompatible calling conventions for -i. Could we please just flip a coin to choose a winner, rather than let this schism continue for another twenty years?

[levent @__alpoge__]

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

[Gonçalo Carvalho @TT55BLK]

Agent pipeline
https://t.co/J4ACEjJ1AD with prompt optimisation

[Tony MacAlpine @tonymacalpine]

Today we're throwing it back to Tony's iconic track, "Tears of Sahara," performed live on EMGtv.

#TonyMacAlpine #NiliBrosh #TearsOfSahara #EMGtv #IbanezGuitars

[Todd Dailey @twid]

I am old and was around for Sun's demise. Aravind's reasoning is 100% true. Sun sold web servers that cost a million dollars each, with expensive services wrapped around them. They could do incredible things small Linux servers could not. For example, you could hot swap cards out of a Sun server WHILE it was running.

But a fully loaded Linux web server cost maybe $10,000, so you could buy ten and still save 90%. People rushed for the cheap Linux boxes. Sun tried to adapt, but the whole org was built around million-dollar servers. They just couldn't change. This all happened very quickly, about two years if I recall correctly.

Lots of parallels to expensive cloud AI and local AI. If Kimi K3 ships open weights as promised, you could run it on a couple of future Mac M5 or M6 or M7 systems (whatever ends up shipping) for maybe $50,000.

And local AI is the worst it will ever be today. Think where it is in two years. I don't think Fable 5 at $50/MTok output is sustainable.

[Gonçalo Carvalho @TT55BLK]

@JohnHultquist The UK has such a program although in this case I don't think it was an option. Don't quote me on it though. This is from memory.

[Kimi.ai @Kimi_Moonshot]

🤯

[Erik Meijer @headinthebox]

https://t.co/DV5cfOdJuR

[Gonçalo Carvalho @TT55BLK]

@headinthebox And unfortunately I'm not even sure is worth it. Opus 4.8 and gpt-5.6-sol pretty much converged to the same solution on my auto pipeline.

[Ethan Knight @__eknight__]

Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra!

[Fede’s intern 🥊 @fede_intern]

european football has spent the past fifteen years solving futbol like chess.

a generation of coaches optimized for pass completion, pressing triggers, territorial control, rest defense, and positional occupation.

the problem of this is that they optimize for what is measurable. depth, the willingness to attack space early, attempt the difficult pass, dribble past a defender, or deliberately create chaos, is a high variance play. it fails more often than it succeeds. if you evaluate players by completion rate, ball retention, or positional discipline, those actions look like mistakes. so they get coached out. eventually, everyone converges toward the same local optimum.

the game becomes increasingly legible. every team occupies similar spaces, presses in similar ways, builds from the back with similar patterns, and minimizes the same risks. systems become better at defeating other systems, but worse at dealing with players who refuse to behave like systems.

south american football never fully abandoned the duel as the fundamental unit of the game. the 1v1 remained sacred. so did the tactical foul, the unpredictable dribble, and the player willing to lose possession five times if the sixth breaks the match open. the objective was never simply to preserve structure, it was to create someone capable of destroying the opponent’s structure.

football is not won by completing the most passes. it is won by scoring more goals than the other team. those are related, but they are not the same objective.

this is the danger of optimizing proxies. when everyone optimizes the same measurements, they stop optimizing for victory itself. they optimize for looking efficient.

italy may have been the first major european football culture to lose part of its identity this way. its historical advantage was never athletic superiority or perfect positional play. it was tactical asymmetry, unpredictability, and an instinct for making matches uncomfortable. as italian football converged toward the same coaching model as the rest of europe, it gradually surrendered the qualities that had made it different.

the broader lesson extends well beyond football. every optimization process eventually risks becoming self-defeating. metrics become targets. proxies replace objectives. variance is mistaken for error. the outliers capable of breaking the system disappear because the system itself learns to eliminate them.

[Gonçalo Carvalho @TT55BLK]

And none of them managed to fix the play queue

[ClaudeDevs @ClaudeDevs]

Boris sat down with Spotify VP of Engineering Niklas Gustavsson.

Spotify ships 4,500 production deploys a day, and 73% of PRs are now AI-assisted.

[weird medieval guys @WeirdMedieval]

you fools….where do you think they’re rowing to…..?

[Boris Cherny @bcherny]

Cool way to use Claude Code: deciphering Linear A, a 3500 year old written language from Crete

https://t.co/Aqd4ZG7Cum

Hope this holds up in peer review! 🤞

[ITV Football @itvfootball]

Emotional return for Dick Advocaat 🥺

The tournament's oldest manager was seen wiping away tears on his return to the World Cup as Curaçao boss after he stepped back from the role to care for his ill daughter after qualifying

[Mr. Macintosh @ClassicII_MrMac]

Apple Filing Protocol (AFP) is officially dead in macOS 27 after 41 years!!

RIP 1985-2026 🪦💐

Apple designed AFP protocol alongside the AppleTalk networking suite to handle plug-and-play file and printer sharing for early Macintosh computers.

HT: u/Fish_Softron

[República Portuguesa @govpt]

O Primeiro-Ministro, Luís Montenegro, participa nas comemorações oficiais do Dia de Portugal, de Camões e das Comunidades Portuguesas, que decorrem na Ilha Terceira, nos Açores, nos dias 9 e 10 de junho.

[Veterans’ Foundation @VeteransFdn]

Today, we remember Alan Turing, who died on 7 June 1954.

A mathematician, codebreaker and pioneer of modern computing, Turing's work helped shorten the Second World War and laid the foundations for technologies that shape our lives today.

For decades, his achievements went largely unrecognised, and he faced profound personal challenges because of who he was. Yet his contribution to science, innovation and society remains extraordinary.

On the anniversary of his death, we honour a man whose ideas changed the world and whose legacy continues to inspire generations of thinkers, problem-solvers and innovators.

Photo: Princeton University Archives – Public domain (via Wikimedia Commons)

[Gonçalo Carvalho @TT55BLK]

Claude is getting annoyed 😅

[Gonçalo Carvalho @TT55BLK]

https://t.co/0XHnHxArLx GPT-5.5 project. Let your UHK80 know that your agent, e.g. Claude Code or Codex is waiting or done. @UltHackKeyboard