Renato Leme
LightNews LightNews
banner
leme.bsky.social
Renato Leme
@leme.bsky.social
210 followers 440 following 370 posts
PhD student at UNICAMP. Personal website: https://renatoleme.github.io/
Posts Replies Media Videos
Pinned
leme.bsky.social
Renato Leme @leme.bsky.social · Oct 10
leme.bsky.social
uma semântica sem procedimento de decisão é como um anjo sem asas
November 12, 2025 at 2:10 PM
Reposted by Renato Leme
tesesbot.bsky.social
a semântica é a intenção do somático
September 23, 2025 at 3:43 AM
leme.bsky.social
"There is no such thing as conscious artificial intelligence"

www.nature.com/articles/s41...
There is no such thing as conscious artificial intelligence - Humanities and Social Sciences Communications
Humanities and Social Sciences Communications - There is no such thing as conscious artificial intelligence
www.nature.com
November 7, 2025 at 11:59 AM
leme.bsky.social
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
leme.bsky.social
November 3, 2025 at 4:29 PM
leme.bsky.social
www.youtube.com/watch?v=2EDB...
A Força do Vento- Lô Borges
YouTube video by Jonas jds_vigio
www.youtube.com
November 3, 2025 at 1:05 PM
leme.bsky.social
RIP Lô Borges
November 3, 2025 at 12:59 PM
Reposted by Renato Leme
science.org
Teaching chatbots to say “I don’t know” could curb hallucinations.

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
leme.bsky.social
Acabei de escutar "Karnak Mesozóico", lançado mês passado. Sonzeira!!

open.spotify.com/intl-pt/albu...
Karnak Mesozóico
open.spotify.com
October 27, 2025 at 5:49 PM
Reposted by Renato Leme
vintageobscura.net
Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)
https://redd.it/g7zqrz
https://youtu.be/wpQ6pz7vN0c
Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)
youtu.be
October 27, 2025 at 1:46 PM
leme.bsky.social
escreva aquilo que você gostaria de ler
October 27, 2025 at 1:39 PM
leme.bsky.social
eprints.illc.uva.nl/id/eprint/13...
With respect to mathematics, Brouwer's main ideas are 1. Mathematics is not formal; the objects of mathematics are mental constructions in the mind of the (ideal) mathematician. Only the thought constructions of the (idealized) mathematician are exact. 2. Mathematics is independent of experience in the outside world, and mathematics is in principle also independent of language. Communication by language may serve to suggest similar thought constructions to others, but there is no guarantee that these other constructions are the same. (This is a solipsistic element in Brouwer's philosophy.) 3. Mathematics does not depend on logic; on the contrary, logic is part of mathematics.
October 23, 2025 at 12:37 PM
leme.bsky.social
Já é hora do corpo vencer a manhã. Outro dia já vem
October 22, 2025 at 1:16 PM
Reposted by Renato Leme
mythologybot.boodoo.co
E711.2.5
Soul
in coconut.
October 21, 2025 at 4:44 PM
leme.bsky.social
www.youtube.com/watch?v=kffp...
October 16, 2025 at 2:18 PM
leme.bsky.social
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...
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
leme.bsky.social
pouco se fala desse clássico
October 14, 2025 at 5:39 PM
leme.bsky.social
Criar um arquivo em branco com

echo "" > arquivo

é outra gambiarra bacana de usar
leme.bsky.social Renato Leme @leme.bsky.social · Sep 24
Uma das minha gambiarras favoritas é usar

\iffalse
...
\fi

Pra comentar em bloco no LaTeX
October 13, 2025 at 5:16 PM
leme.bsky.social
October 9, 2025 at 3:12 PM
leme.bsky.social
October 7, 2025 at 4:28 PM
leme.bsky.social
bd.openlogicproject.org
Boxes and Diamonds: An Open Introduction to Modal Logic
Boxes and Diamonds is an open textbook on modal logic and other intensional logics
bd.openlogicproject.org
October 7, 2025 at 12:47 PM
leme.bsky.social
www.linux.org
www.linux.org
October 6, 2025 at 12:42 PM
leme.bsky.social
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...
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
leme.bsky.social
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:
October 1, 2025 at 8:48 PM