Andrei Formiga

I like (programming)? languages
@[email protected]

[Andrei Formiga @andreiformiga]

BlueSky @aformiga.bsky.social
Mastodon @[email protected]

[Andrei Formiga @andreiformiga]

BlueSky @aformiga.bsky.social
Mastodon @[email protected]

[Andrei Formiga @andreiformiga]

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)

[Andrei Formiga @andreiformiga]

@elias_era @[email protected]
não posto quase nada lá mas sigo várias contas interessantes

[Andrei Formiga @andreiformiga]

@elias_era tá no mastodon?

[Lawrence Paulson @LawrPaulson]

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

[Andrei Formiga @andreiformiga]

@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

[Andrei Formiga @andreiformiga]

@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

[Andrei Formiga @andreiformiga]

@yarn576784 @suzy_aguiar para quem quiser saber mais sobre a lenda do "QI médio do brasileiro é 83" https://t.co/Y8axF6t2wE

[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?
⬇️

[Andrei Formiga @andreiformiga]

@moonterludes @Ploita3 @yarn576784 @suzy_aguiar https://t.co/Y8axF6t2wE

[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?
⬇️

[Andrei Formiga @andreiformiga]

@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

[Andrei Formiga @andreiformiga]

@juanplopes é bastante jovem, mas isso não é necessariamente ruim

[Andrei Formiga @andreiformiga]

@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

[Andrei Formiga @andreiformiga]

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

[Andrei Formiga @andreiformiga]

@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

[Andrei Formiga @andreiformiga]

@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)

[Andrei Formiga @andreiformiga]

@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.

[Andrei Formiga @andreiformiga]

@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