Sérgio B T Mendes
2.6K posts

Sérgio B T Mendes
@sergiobtmendes
Sao Paulo, Brazil Katılım Mayıs 2009
2.6K Takip Edilen342 Takipçiler

@centralreality @fabioyabu roubaram sua piada do comborangers
Português

Alberto: "Conhece o Mário? "
Jonas: "Irmão do Tido "
Alberto: "Que Tido?"
Jonas: "Aquele que te comeu atrás do armário."
Alberto: "Mas não rimou."
Jonas: "Armário embutido." #BBB26
Português

@rodd__serling Faltou o video do darf vader e seu sabre de taxas
Português

@VictorTaelin Mas e as “descobertas” e correcoes matematicas que a AI tem feito por ai?
Vi aqueles indicadores de “tempo de tarefa” vs probabilidade de “one shot”. Acho que ta em 50% para 8h de programacao pra humanos. Algo assim.
Em um ano estaremos em outro patamar novamente
Português

Ok, I think my experiment leaving AI working on stuff 24/7 ends here. It doesn't work. Code explodes in complexity, results are not that great, the AI can't get past hard walls (it is still completely unable to even *grasp* SupGen), and it is insanely expensive (spent ~1k over the last 2 days). The best results are on the JS compiler, mostly because it is familiar (compared to inets), but not worth losing control over the codebase.
I think the dream of having AI's working on the background and making real progress on things that matter (i.e., truly new things) isn't here yet. It is still a machine hard-stuck on its own training data, incapable of thinking out of the box. It is great for building things that were already built. But not new things
Also coding normally has the under-appreciated advantage that you're doing two things at the same time: building a codebase *and* learning it. AI's do only half of that. The other half is obviously impossible 🤔
English

@smariacamel @astronomiaum Da mesma maneira e usando a mesma “moeda” que fez: a recuperacao de movimento se deu pela cirurgia descompressiva e fisioterapia, nada a ver com a substancia.
(Afinal 20-30% das pessoas recuperam o movimento com o tto padrao)
Português

@sergiobtmendes @astronomiaum Mortes por politraumatismo pitras causas nada a ver com a laminina
Português

“Vamos supor que 30 pessoas que receberam [polilaminina] voltem a andar, você teria coragem de fazer um estudo clínico controlado?”, questionou a pesquisadora Tatiana Sampaio durante entrevista ao Roda Viva. A fala foi rebatida pela Mariana Varella, filha do médico Drauzio Varella e doutoranda em Saúde Global pela USP.
A Professora Tatiana Sampaio demonstrou algo cada vez mais raro: a postura de quem não confunde entusiasmo com precipitação científica. Ela poderia ter cedido ao espetáculo midiático, mas não cedeu. Manteve o rigor, reconheceu os limites do que a ciência ainda autoriza afirmar e, ao mesmo tempo, mostrou sensibilidade real diante das histórias humanas que envolvem sua descoberta. Isso não é apenas competência técnica. É integridade.
Português

@astronomiaum Percebam que estao aplicando 2 pesos e duas medidas.
Em sendo um estudo de fase 1, n temos como saber se a polilaminina tem realmente o efeito que estao propagandeando por ai.
Torço para que tenha efeito, mas antes de potencialmente fazer mal (ou bem) em escala, precisa de estudo
Português

@astronomiaum Pessoal,
Eu vi ampla defesa da substancia quando falaram que ela causou 3 mortes… por que quando o efeito é negativo logo descartam qualquer relacao e quando o efeito é positivo ja concluem que a unica causa é a substancia?
20-30% de lesoes com tratamento padrao recuperam bem…
Português

@filipe_rafaeli Na verdade eu nao entendi como que você chegou a conclusão que o aumento de avci é atribuivel a vacina e nao simplesmente a incidencia da doença infecciosa nas pessoas no periodo, com posterior normalizacao e entrada na linha de tendência populacional esperada para o AVC…
Português

@sergiobtmendes Sérgio, já que você se põe como bastante racional, tenta me convencer, racionalmente, diante dos dados, que no cálculo de risco e benefício, vale a pena.
Juro que estou disposto a ouvir.
x.com/filipe_rafaeli…
Filipe Rafaeli@filipe_rafaeli
Minha palestra sobre “hesitação vacinal” que fiz no congresso @mpvcovid19 e @Honest_Medicine. Como disse no final, estou disposto a ouvir bons argumentos contrários que me convençam.
Português

@filipe_rafaeli Em dsctd dados:
Os avcs no mundo nao se elevaram acima do esperado pelas vacinas.
Fora que o proprio covid é uma doença trombogenica entao o avci é atribuivel tambem a propria doença em si.
Sua argumentação se for estudar com alguma profundidade nao passa de suposições fracas
Português

@sergiobtmendes Adoro as pessoas que ficam numa mega discussão do eixo X do gráfico para não discutirem os dados.
Português

@filipe_rafaeli Irmao vc curte um sofisma hein?
É obvio que para divulgar dados de forma neutra e precisa é necessário padronização da divulgação.
E para conseguir absorver a melhor informação voce precisa dos anos anteriores e linha de tendência dado o envelhecimento populacional…
Português

@sergiobtmendes Essa discussão é bobagem. Imagina um edifício, tipo Joelma, pegando fogo. O fotojornalista vai lá e tira a foto do prédio pegando fogo.
"Tem que tirar foto do bairro todo para contextualizar, mostrando que outros 10 prédios do bairro não pegaram fogo".
Português

@filipe_rafaeli Escala é algo padronizado.
Nao se trata de apertar o grafico, apenas apresentar a informação de forma neutra.
Mas é algo que voce talvez por ter “certeza” do fenômeno não consegue perceber essa nuance e não consegue interpretar algo contraditório.
Português

@sergiobtmendes Já sei, você é daqueles partidários de apertar o gráfico vericalmente para tenter esconder, não é? Aí a discussão deixa de ser os dados e vira uma discussão sobre design. Assim que você gosta?
Pronto! Nem cresceu muito, né?

Português

@filipe_rafaeli 20. Faltou saber criar grafico com escala. Faltou saber interpretar graficos e numeros.
Parabens pelo esforço e tempo gasto para não comprovar o seu ponto.
Português

So, with Bend2's launch incoming, I'm struggling a bit with the branding.
The coolest feature of Bend2 is that it is built from scratch around the idea that we, humans, will stop maintaining codebases. Instead, we write specs - i.e., what we want, as *precise types* - and the AI does the coding, and then *proves that it is correct*.
In other words, Bend2 is a way to use vibe coding when you can't risk having bugs at all, and that's something that doesn't exist today.
Problem is: Bend1 has already been "marketed" as a language centered around parallelism, and *that is true for Bend2 too*. It will be able to run on GPUs, and will solve most of the Bend1's limitations (2 GB memory, 24-bit numbers, no IO, ultra strict evaluator, etc.).
Now, the thing is: how do we market that?
Do we talk about all the updated parallelism features?
Or do we keep the communication simple and focus about the "vibe coding without bugs" thing?
If we talk too much, it may look like feature bloat and not really click to many people. But if we focus only on the AI proof system, it may look like we're completely dropping the old features, which isn't the case.
I also wonder if we should rebrand it as ProofScript...
"So what is your codebase written in?"
"ProofScript!"
"Wait what's that?"
"Oh it is like TypeScript but we can write these super precise specs and the code is only accepted if the AI proves mathematically the specs are fulfilled. It is super nice because we can vibe code all we want without worrying the AI will break things. You should try it!"
"Uh sorry JavaScript is too slow for my serious bank code"
"Oh no it compiles to C, and even runs on the GPU if you want to"
"Wait what"
Hmm I don't know...
English
Sérgio B T Mendes retweetledi









