Andrei Formiga @andreiformiga

I like (programming)? languages @[email protected] https://t.co/K8es4FEAnx Joined October 2009

Tweets

10K
Followers

645
Following

365
Likes

29K

Andrei Formiga @andreiformiga

2 years ago

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

0 0 1 203 0

View Details

Andrei Formiga @andreiformiga

2 years ago

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)

1 0 1 122 0

View Details

Andrei Formiga @andreiformiga

2 years ago

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

1 0 0 15 0

View Details

Andrei Formiga @andreiformiga

2 years ago

@elias_era tá no mastodon?

1 0 0 18 0

View Details

Lawrence Paulson @LawrPaulson

2 years ago

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

4 18 67 11K 13

View Details

Andrei Formiga @andreiformiga

2 years ago

@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

0 0 3 346 0

View Details

Andrei Formiga @andreiformiga

2 years ago

@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

2 0 1 67 0

View Details

Andrei Formiga @andreiformiga

2 years ago

@yarn576784 @suzy_aguiar para quem quiser saber mais sobre a lenda do "QI médio do brasileiro é 83"

Frankito, o Curioso® @WeiseFranklin

2 years ago

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

90 195 1K 161K 355

0 0 4 746 2

View Details

Andrei Formiga @andreiformiga

2 years ago

@moonterludes @Ploita3 @yarn576784 @suzy_aguiar

Frankito, o Curioso® @WeiseFranklin

2 years ago

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

90 195 1K 161K 355

2 0 1 70 0

View Details

@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

0 0 1 52 0

View Details

Andrei Formiga @andreiformiga

2 years ago

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

0 0 1 15 0

View Details

Andrei Formiga @andreiformiga

2 years ago

@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

0 0 1 14 0

View Details

json @JsonBasedman

2 years ago

47 301 4K 305K 444

View Details

Andrei Formiga @andreiformiga

2 years ago

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

Frankito, o Curioso® @WeiseFranklin

2 years ago

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

90 195 1K 161K 355

0 0 2 96 0

View Details

Andrei Formiga @andreiformiga

2 years ago

@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

1 0 0 14 0

View Details

Andrei Formiga @andreiformiga

2 years ago

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

1 0 2 25 0

View Details

Andrei Formiga @andreiformiga

2 years ago

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

2 0 1 33 0

View Details

Andrei Formiga @andreiformiga

2 years ago

@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