Pedro Vogt

@0xdoug Arguably, if you consider 10 billion propositions and argue logically from them in 10 billion directions, you will end up with millions of correct proofs. Will they be necessarily interesting though? The human constraint in math is taste.

Even 30B models are crushing grad level math. The hard to escape conclusion is math isn’t actually that hard. Humans are just really bad at it. Writing a 40 page short story with narrative consistency probably requires more intelligence than winning an IMO gold medal

@reztirps Pq o James Potter tá aí?

Como que não vi isso antes

@Bernstein What do we know? SW prequels are considered good now.

Again: 41 year old guy here. At the time Troy came out, Pitt’s casting and performance were considered a movie-ruining disaster.

@KhoaVuUmn But it weakly converges to a quasi-soul region as .md length approaches infinity.

"AI slop writing is so dry and has no soul" - Econometrician.

@J404404404 @florianederer I tend to agree, with the caveat the national teams seem to produce more espetacular exhibitions of football, even playing way less.

@pe_vogt @florianederer Not even close. Clubs recruit players to fit together and fit a playstyle, national teams face more constraints. Clubs spend time making their teams gel together, national teams have a couple friendlies and call it a day. Clubs have better managers.

Given that club teams are significantly better than national teams at this point, why wouldn't you send out this starting lineup?

@IvanWerning Isnt there a “free disposal” argument here: if output got worse is because agents chose to adopt and “pay a price” (testing, experimentation) for greater long term output. So, new tech is positive NPV and LT output is either up or flat.

AI: employment concerns aside, can it have negative effects on output, say, in science? Or is a new tool necessarily a boost? One concerning analogy: music was MUCH WORSE with the arrival of latest digital tools (auto-tune, pro-tools, etc).

@kareem_carr Why do want a single tool for serious thinking and IT shows?

My concern with AI as a tool for knowledge work is how middlebrow it is. If Nabokov had written Lolita with an AI assistant, it would have constantly nagged him about "unsafe" themes, and probably flagged his account. These tools aren't made for serious thinking and it shows.

@florianederer I haven’t fully read the anecdote but I dont agree with what I assume is his take here - that senior academics always do the required reading and contribute meaningfully in seminars.

You don't have to be fluent in Portuguese to understand this amazing anecdote.

@thepanta82 @Authw8 @andrewtevans We saw him die. If they simply said “somehow, Snoke returned” that would be dumb. Nobody would buy it.

@Authw8 @andrewtevans The best plot pivot IMO would be to revive Snoke, kind of like they did Darth Maul. Let him piece himself together using some ancient crystals and shit he had lying around. But now he's more powerful and angrier than ever, out for revenge.

there exists a theoretical version of rise of skywalker that would have made TFA and TLJ look better in hindsight rather than worse

@reztirps Proposta: mandato de 8 anos com plebiscito de recall no meio, em que outros candidatos podem desafiar incumbente.

O pai de Flávio Bolsonaro também era contra a reeleição — até que não foi. A pauta é popular, por isso aparece na retórica, mas quem tem o poder (e as mordomias, blindagens e possibilidades para falcatruas) em mãos dificilmente vai querer largar.

@robin_j_brooks Did you just shared a knowing glance with the billionaire previously known as the Batman?

Just sitting at a cafe in Paris, wishing I was in Frankfurt.

@fchollet @agpatriota Guy with a fully written novel:

@rimfo @mgaldino Supõe que chega na 5a cobrança e time A converteu 3 e B converteu 1. A ganhou mas assume que cobrança 5 ocorre do mesmo modo (não muda nada, hence WLG). Ambos convertem. A 4 x 2 B. Mudar a ordem dos cobradores não muda nada.

@pe_vogt @mgaldino Se me permite, acho que a hipótese de que serão sempre 5 pênaltis é bem "with loss of generality"! Chutaria (!) que a chance de não se chegar a 5 batidas de cada lado é longe o suficiente de 0 pra fazer bastante diferença.

Isso é uma questão de probabilidade. Só fazer a conta. Vc calcula a prob de perder cada pênalti na sequência, a taxa de conversão de cada jogador, e arranja de maneira ótima. Eu não fiz a conta, mas isso é fácil de fazer. Futebol pré-analytics vai na intuição.

@mgaldino Mas concordo que seria interessar comparar média de conversão do 2o batedor quando o melhor do time (que em geral é quem cobra penalidade ao longo do jogo) bate antes ou não.

@mgaldino Questão é que tem um fator de qualidade não observável que é correlacionada com decisão do treinador. Se 1o batedor teoricamente "ruim" bate primeiro é porquê técnico preferiu colocar melhores depois ou pq o cara não é tão ruim assim.

@mgaldino Aumenta chance do time estar na frente e colocar pressão no time adversário. Mas não é obvio e nem fácil de ver nos dados.

@mgaldino Cada time vai ter uma quantidade X de expectativa de gols convertidos. Se depender, minha intuição é que colocar melhores batedores antes é melhor estratégia.

@coproduto Eu estou pensando em vagas corporativas em geral. Para vagas dev, talvez seja diferente. Um git público com evidência concreta fácil de entrega pode mudar a equação.

@coproduto A verdade é que busca é custosa. Se você tiver pouco tempo para avaliar/buscar/treinar e contratar para depois demitir for custoso (em geral é), a reputação da universidade ainda é um filtro razoável. É justo? Não. É eficiente do ponto de vista das empresas? Diria que sim.

Sabe uma coisa que literalmente, sem brincadeira alguma, reduz a produtividade do Brasil? Programas de "jovens talentosos" selecionam só dentro de faculdades de elite. Programas de trainee eliminam quem não veio de universidade renomada. Talvez isso fizesse sentido em 1980. Não estou dizendo que isso seja "socialmente justo", mas lá atrás é bem provável que você não ia ter muitos bons candidatos que não tivessem saído dessas instituições. Mas especialmente quando se trata de tecnologia, a Internet mudou muito esse jogo. Os devs mais talentosos que eu conheço aprenderam por conta própria. Muitos não fizeram faculdade - afinal, se tu aprendeu a desenvolver na Internet e tu não veio da elite, por que tu iria fazer faculdade ao invés de já começar a trabalhar ganhando bem e ajudar tua família desde os 18 anos ao invés de virar um peso a mais? Mas essa galera é ignorada, frequentemente não olham pra eles, e frequentemente perdemos esses talentos pro exterior. É uma situação lamentável que só se mantém porque é mais fácil pras empresas continuar com o mesmo processo (e a baixa competitividade do mercado garantem que elas não sofram consequências por continuar fazendo isso)