Renato
@leme.bsky.social
Torcedor do São Paulo Futebol Clube, pai de pet
Pinned
Agora os cigarros eletrônicos foram longe demais
February 14, 2026 at 5:04 PM
Agora os cigarros eletrônicos foram longe demais
texto de IA é tipo lasanha congelada: parece comida de verdade, mas só serve pra enganar a fome
February 13, 2026 at 2:07 PM
texto de IA é tipo lasanha congelada: parece comida de verdade, mas só serve pra enganar a fome
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
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
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
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
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.
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
