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)
Remembering Michael J. C. Gordon, 28 Feb 1948 – 22 Aug 2017, who did more for interactive theorem proving than practically anybody
https://t.co/R0Yyv1sdmu
@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
@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
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?
⬇️
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?
⬇️
@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
@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
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
@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
@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)
@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.
@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