Renato Leme
@leme.bsky.social
PhD student at UNICAMP. Personal website: https://renatoleme.github.io/
Pinned
uma semântica sem procedimento de decisão é como um anjo sem asas
November 12, 2025 at 2:10 PM
uma semântica sem procedimento de decisão é como um anjo sem asas
Reposted by Renato Leme
a semântica é a intenção do somático
September 23, 2025 at 3:43 AM
a semântica é a intenção do somático
Cálculo de sequentes é tipo café sem açúcar, no início é meio complicado mas depois fica bom
November 6, 2025 at 2:21 PM
Cálculo de sequentes é tipo café sem açúcar, no início é meio complicado mas depois fica bom
Reposted by Renato Leme
Teaching chatbots to say “I don’t know” could curb hallucinations.
It could also break #AI’s business model. https://scim.ag/49cPY9d
It could also break #AI’s business model. https://scim.ag/49cPY9d
AI hallucinates because it’s trained to fake answers it doesn’t know
Teaching chatbots to say “I don’t know” could curb hallucinations. It could also break AI’s business model
scim.ag
October 30, 2025 at 4:53 PM
Teaching chatbots to say “I don’t know” could curb hallucinations.
It could also break #AI’s business model. https://scim.ag/49cPY9d
It could also break #AI’s business model. https://scim.ag/49cPY9d
Acabei de escutar "Karnak Mesozóico", lançado mês passado. Sonzeira!!
open.spotify.com/intl-pt/albu...
open.spotify.com/intl-pt/albu...
Karnak Mesozóico
open.spotify.com
October 27, 2025 at 5:49 PM
Acabei de escutar "Karnak Mesozóico", lançado mês passado. Sonzeira!!
open.spotify.com/intl-pt/albu...
open.spotify.com/intl-pt/albu...
Reposted by Renato Leme
Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)
https://redd.it/g7zqrz
https://youtu.be/wpQ6pz7vN0c
https://redd.it/g7zqrz
https://youtu.be/wpQ6pz7vN0c
Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)
youtu.be
October 27, 2025 at 1:46 PM
Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)
https://redd.it/g7zqrz
https://youtu.be/wpQ6pz7vN0c
https://redd.it/g7zqrz
https://youtu.be/wpQ6pz7vN0c
escreva aquilo que você gostaria de ler
October 27, 2025 at 1:39 PM
escreva aquilo que você gostaria de ler
October 23, 2025 at 12:37 PM
Já é hora do corpo vencer a manhã. Outro dia já vem
October 22, 2025 at 1:16 PM
Já é hora do corpo vencer a manhã. Outro dia já vem
Reposted by Renato Leme
E711.2.5
Soul
in coconut.
Soul
in coconut.
October 21, 2025 at 4:44 PM
E711.2.5
Soul
in coconut.
Soul
in coconut.
Reposted by Renato Leme
Oi.
Nos vimos obrigados a abrir uma vaquinha para bancar o final do protocolo de quimioterapia do Bô. A ideia é conseguir bancar os gastos extras - terapias, exames, deslocamento para o hospital e consultas, tratamento odontológico. Quem quiser ajudar e dar um RT, agradecemos de coração! 🌻
Nos vimos obrigados a abrir uma vaquinha para bancar o final do protocolo de quimioterapia do Bô. A ideia é conseguir bancar os gastos extras - terapias, exames, deslocamento para o hospital e consultas, tratamento odontológico. Quem quiser ajudar e dar um RT, agradecemos de coração! 🌻
Tratamento oncológico do Bô
Doar faz bem e você faz a diferença! Conheça minha vaquinha: Tratamento oncológico do Bô
www.vakinha.com.br
October 16, 2025 at 5:12 PM
Oi.
Nos vimos obrigados a abrir uma vaquinha para bancar o final do protocolo de quimioterapia do Bô. A ideia é conseguir bancar os gastos extras - terapias, exames, deslocamento para o hospital e consultas, tratamento odontológico. Quem quiser ajudar e dar um RT, agradecemos de coração! 🌻
Nos vimos obrigados a abrir uma vaquinha para bancar o final do protocolo de quimioterapia do Bô. A ideia é conseguir bancar os gastos extras - terapias, exames, deslocamento para o hospital e consultas, tratamento odontológico. Quem quiser ajudar e dar um RT, agradecemos de coração! 🌻
October 16, 2025 at 2:18 PM
essa é sempre uma boa pergunta quando se começa a estudar uma nova lógica: será que vale p -> p?
philosophy.stackexchange.com/questions/11...
philosophy.stackexchange.com/questions/11...
Is p→p a theorem in intuitionistic logic?
In 'normal' propositional logic, the formulae p→q and ¬p∨q are interchangeable. The rule of excluded middle, namely ¬p∨p, is replaced to p→p. Since intuitionistic logic rejects law of excluded midd...
philosophy.stackexchange.com
October 15, 2025 at 6:57 PM
essa é sempre uma boa pergunta quando se começa a estudar uma nova lógica: será que vale p -> p?
philosophy.stackexchange.com/questions/11...
philosophy.stackexchange.com/questions/11...
pouco se fala desse clássico
October 14, 2025 at 5:39 PM
pouco se fala desse clássico
Criar um arquivo em branco com
echo "" > arquivo
é outra gambiarra bacana de usar
echo "" > arquivo
é outra gambiarra bacana de usar
Uma das minha gambiarras favoritas é usar
\iffalse
...
\fi
Pra comentar em bloco no LaTeX
\iffalse
...
\fi
Pra comentar em bloco no LaTeX
October 13, 2025 at 5:16 PM
Criar um arquivo em branco com
echo "" > arquivo
é outra gambiarra bacana de usar
echo "" > arquivo
é outra gambiarra bacana de usar
O livro dos proceedings para o TABLEAUX 2025 ficou maravilhoso. Vários papers interessantíssimos. Fico feliz de ter contribuído com um capítulo.
link.springer.com/book/10.1007...
link.springer.com/book/10.1007...
Automated Reasoning with Analytic Tableaux and Related Methods
The open access TABLEAUX 2025 proceedings deal with Automated Reasoning with Analytic Tableaux and Related Methods.
link.springer.com
October 2, 2025 at 1:36 PM
O livro dos proceedings para o TABLEAUX 2025 ficou maravilhoso. Vários papers interessantíssimos. Fico feliz de ter contribuído com um capítulo.
link.springer.com/book/10.1007...
link.springer.com/book/10.1007...
Lógico clássico: Provei A \/ B
Lógico intuicionista: Legal! Então mostra aí a prova de A ou a prova de B
Lógico clássico:
Lógico intuicionista: Legal! Então mostra aí a prova de A ou a prova de B
Lógico clássico:
October 1, 2025 at 8:48 PM
Lógico clássico: Provei A \/ B
Lógico intuicionista: Legal! Então mostra aí a prova de A ou a prova de B
Lógico clássico:
Lógico intuicionista: Legal! Então mostra aí a prova de A ou a prova de B
Lógico clássico: