ggplot2 fanboy @ggplot2fanboy

@NatanOl70524043 @ojoaoburti Janones é corrupto e foi pego em esquema de rachadinha

@smtlaissezfaire @pauldix @poteto I don't think vibe coding is a term that still applies for the current SOTA models. Opus 5.5 is just too good for me to care about reading every single line it creates.

Many of you don't understand how serious this is, so let me break it down. In computer science there is a famous kind of puzzle called 3-SAT. You are given a long list of yes-or-no switches and a set of rules about how they must be arranged, and you have to find a combination that satisfies every rule. The obvious way to solve it is to try every combination, but each new switch doubles the number of possibilities, so a puzzle with a few hundred switches would take longer than the age of the universe to brute force. For decades, the smartest people in the field found clever tricks that made this a little faster, but every trick still hit the same wall: the time required kept exploding as the puzzle grew. About 25 years ago, two computer scientists, Russell Impagliazzo and Ramamohan Paturi, working with Francis Zane, turned that wall into a formal idea. They proposed the Exponential Time Hypothesis, which says this explosion is not a failure of human cleverness but a law of nature. No algorithm, however brilliant, will ever solve 3-SAT without the time blowing up exponentially. Nobody could prove it, but almost everyone believed it, and it became one of the foundations of modern computer science. Researchers used it as a measuring stick. If you could show that solving some other problem quickly would also crack 3-SAT quickly, you had shown that problem was hopelessly hard too. Hundreds of papers, across scheduling, graphs, logic and much more, rest on this one assumption. Now an internal AI model at OpenAI claims to have broken it. It says it found an algorithm that solves these puzzles meaningfully faster than the hypothesis allows, and it has checked the proof in a computer verification system called Lean. And here is the remarkable part: the very people who proposed the hypothesis, Impagliazzo and Paturi, along with MIT's Ryan Williams, are now leading the public review of whether a machine has disproved their own idea. So what happens next? If the disproof holds, a large part of theoretical computer science has to be revisited. Every result that said "this problem cannot be solved faster, assuming ETH" loses its foundation, and researchers will have to work out which of those walls were real and which were simply where we stopped looking. It does not mean everything becomes easy. The new algorithm is still slow in absolute terms and this is not the famous P versus NP problem being solved. But it means our map of what is possible was wrong in a place we were very confident about, and it was an AI that redrew it. If the disproof fails, the hypothesis survives and the field breathes out, but we will still have watched an AI produce serious, checkable work on one of the deepest questions in the discipline, closely enough that the founders of the idea had to take it seriously. Either way, something has shifted.

Ryan Williams @rrwilliams.bsky.social @rrwilliams

2 days ago

An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4

294 747 7K 3.6M 2K

@Burgos Minha interpretação é que a vitória de Flávio no primeiro turno foi artificialmente criada pelo alto nível de abstenção de nulos e brancos, ou seja, muita gente que já ia de qualquer forma votar no Lula não o fez no primeiro turno, por N motivos.

@juan_c_matos Realidade: vai ser chamado de fascista, nazista, e contra o trabalhador pela máquina eleitoral perversa do PT assim que conseguir se tornar uma oposição relevante.

@fluorinespark @ArkNazo @grok me explique como isso aconteceu na prática. o que é "saddled them with debt"?

@rnishimura Uma leitura que faço é que a vitória do Flávio no primeiro turno só dói possível devido à uma abstenção e à quantidade de brancos e nulos anormais, faz sentido? @grok

Margem de votos por município neste segundo turno.

@rizbicki O que não consegue aprovar quase nada já foi pego comprando votos no passado e roubando dinheiro público pra causar desequilíbrio eleitoral. Ambos os grupos políticos já cometeram crimes contra a democracia pra se perpetuarem no poder.

@obstatico Você é a favor do Flamengo desistir de ir atrás do título de 87 tb?

@RafaelFM_55 @rationalexpec O PT tem tomado medidas antidemocráticas roubando dinheiro pra comprar votos e causar desequilíbrio eleitoral.

messaging my wife a link containing proof of her husband cheating on her from an anonymous instagram account and then when she clicks on it texting her to let her know she failed the family phishing test and she has to retake my cybersecurity course

@RJtrivia @catacomb_clown @sugamosto1 Baguete francesa humilha o pão brasileiro, nem se compara, panificação francesa é uma das melhores do mundo e o Brasil nunca foi referência nisso

@esp1rro @Ticketmaster Isso aconteceu comigo hoje. Fui comprar arquibancada meia estudante pra dia 14, na compra Santander, preenchi todos os campos, passei de 4 telas e deu esgotado. Fiz todo o processo de novo com inteira e passou. Coincidência?

@MatAnjos @pedroocava Vc chamar o cara de retardando prova o ponto dele

@matheusrtf @SissyRibs Mas por que o PT apoiaria Ciro? Ambos tem visões bem distintas sobre como governar o país, mesmo na economia. Ciro e Lula são ideologicamente muito diferentes.

@AquelaLara Não concordo em relação ao Lula. Pq ele não seria de esquerda? Bolsonaro eu concordo sim, nenhum político sério de direita jamais proporia congelar dívida por 6 meses.

O Brasil tem capitais com 35% de saneamento básico enquanto o PT roubou dinheiro do povo pra se manter no poder de formas antidemocráticas como compra de votos e desequilíbrio eleitoral mas o maior problema do Brasil é o antipetismo?

Neoliberais Brasil 🌐🗽🇹🇼🇺🇦 @neoliberaisbr

6 days ago

Tenho IMENSAS críticas ao PT. Considero um partido cheio de defeitos: é arrogante, não sabe compor, não sabe ceder protagonismo (ALCKMIN!), não tem um plano claro de resolução de problemas, não permite renovação (nem interna), queima seus melhores quadros em guerras internas

109 503 4K 106K 329

@naticosttelinha Eu tb acho que é um site lixo, mas sejamos sinceros, conseguir aguentar esse nível de demanda é um desafio tecnológico gigantesco e não muito bem sucedido no mundo inteiro, talvez apenas por pouquíssimas exceções.