Sabitlenmiş Tweet
English
Andrei Formiga
9.9K posts
Andrei Formiga
@andreiformiga
I like (programming)? languages @[email protected] https://t.co/K8es4FEAnx
Katılım Ekim 2009
365 Takip Edilen648 Takipçiler
English
Eita, voltou mesmo. Não vai fazer diferença para muita gente, mas não vou usar muito aqui. Estarei mais ativo no bluesky e mastodon. Arrobas no próximo tweet (que vai ficar pinado)
Português
Português
Andrei Formiga retweetledi
Remembering Michael J. C. Gordon, 28 Feb 1948 – 22 Aug 2017, who did more for interactive theorem proving than practically anybody
arxiv.org/abs/1806.04002
English
@msimoni more like 90%+. most apps don't need to run without a GC. and in these cases an expressive language with a GC, like OCaml, is so much better to use
English
Something like Rust but with a GC would probably be a nice language (and would still work for 80% of the things people are using Rust for).
English
@ShriramKMurthi Oh but this assumes that someone has really gone to the moon. I've had guys explain to me that this is absolutely impossible, I think some of them are into this traditionalist stuff
English
We went from L to R in 66 years. SIXTY SIX YEARS. These people simply have no imagination.
Shriram Krishnamurthi (primary: Bluesky)@ShriramKMurthi
I should know better than to get trolled by these kinds of return-to-tradition guys, but here are just five of the wonders humans have built in the past 75 years: - the SR-71 - the Saturn V - the Internet's cable infrastructure - deepwater offshore oil drills - Google
English
@yarn576784 @suzy_aguiar para quem quiser saber mais sobre a lenda do "QI médio do brasileiro é 83" twitter.com/WeiseFranklin/…
Frankito, o Curioso®@WeiseFranklin
Você já deve ter visto (e talvez até espalhado) por aí que o QI médio do brasileiro é 83, certo? Afinal, de onde vem este índice? E ele é confiável? ⬇️
Português
@suzy_aguiar Normalmente quem fala em QI é um arrombado burro pra caralho
Português
@Ploita3 @yarn576784 @suzy_aguiar é comparação do resultado médio brasileiro com a média (normalizada) mundial
Português
@mauriciojr achei interessante que nas respostas tem gente falando de religião. acho que é um misto de antigas superstições com algumas formas de cristianismo que colocam muita ênfase no "inimigo". e tb um pouco de síndrome de protagonismo
Português
Ninguém liga pra sua vida e não tem ninguém torcendo contra além de você mesmo.
Português
@juanplopes é bastante jovem, mas isso não é necessariamente ruim
Português
@andreiformiga Comecei a jogar um tempo atrás, mas na época achei "jovem" demais 😂
Preciso trabalhar meus preconceitos 😂
Português
Em situação de depressão pós-JRPG.
Você passa 50-60 horas com os personagens, aprende sobre a vida de todo mundo e depois o jogo acaba. 😔
Português
@gbarrancos @andrefran o problema da política ter virado ainda mais um espetáculo do que era antes é que de tempos em tempos as pessoas querem algum personagem novo para se entreterem
Português
@andrefran A prova que as redes sociais carcomeram a cognição de uma parcela relevante da população é que Levy Fidelix, motivo de risada da molecada no inicio dos anos 2000, reencarnou em uma versão Goiana e endinheirada porém agora, com uma legião de seguidores imbecis.
Português
Se vc passou dos 12 anos de idade e não sente vergonha alheia dessa produção tosca de roteiro infantil, procure um psiquiatra.
Português
Andrei Formiga retweetledi
copiloto no editor fica tentando adivinhar o que eu quero fazer, e muitas vezes erra, então eu tenho que parar meu raciocínio (meu "trem do pensamento") para verificar a sugestão. é um gerador de interrupções.
acho mais útil usar um chat para pedir algo e verificar
Português
@JoseR1918 @kaqui @universodiscret não discordo, mas a discussão era sobre ensinar esses conceitos de maneira totalmente apolítica. o prof. pode não mencionar nada "explicitamente" político, mas essa tb é uma opção política
Português
@andreiformiga @kaqui @universodiscret Mas o conceito de verdade não é subjetivo. Ideias existem porque pessoas criam, não questiono isso, mas daí dizer que elas carregam conteúdo social, é falso.
Português
Um professor de computação de Oxford e que colabora pro Deepmind mete uma dessas
Incrível como eles vão longe com esse tipo de pensamento
Michael Bronstein@mmbronstein
I teach computer science and challenge him to find any politics in my class. When political opinions start meddling with scholarship, it ceases being science and becomes activism.
Português
@JoseR1918 @kaqui @universodiscret ao falar de Turing você pode falar de como ele foi tratado pelo governo por ser gay, ou pode não falar. mas as duas opções são políticas. a alternativa é dizer que a TC surgiu espontaneamente, vinda do Planeta das Ideias Puras (tb uma opção política)
Português
@JoseR1918 @kaqui @universodiscret conceitos não existem no vácuo, no mundo das ideias de Platão lá isoladas do resto do mundo. é interessante que vc mencionou teoria da computação, impossível falar de TC sem mencionar Turing.
Português
@welltypedwitch @stylewarning we can't say it's a property of the language. there is no spec, no official semantics, and the semantics of the language is inferred by using its only official implementation
English
Does this require a deep understanding of the Python interpreter?
English