São muitos gigabytes sr Ministro, meu pc não tankou
PhD student at Unicamp. Interested in logic and coding stuff. Not a tree. Personal website: https://renatoleme.github.io/
186 followers 401 following 331 posts
view profile on Bluesky
São muitos gigabytes sr Ministro, meu pc não tankou
Como que trabalha hoje? google pesquisar
Ou pode cair um meteoro no dia da formatura, nunca se sabe, a vida sempre encontra um jeito de nos surpreender
É como dizem: se conselho fosse bom, ninguém daria de graça. Apavorar o jovem com papo de utilidade, carreira, só torna a decisão mais difícil
Gottlob Frege On sense and reference
Related: www.reddit.com/r/math/comme...
Interesting discussion: can AI really generate random numbers? crypto.stackexchange.com/questions/10...
A IA:
O princípio da casas dos pombos:
"Tudo novamente. Farias?" (Nietzsche)
Naturais MCs
Red Mild Chili Peppers
Mais uma bela semana para discutir os rumos do país no twitter
Pelo menos o GPT está ficando mais confiante, isso temos que reconhecer
Foi tranquilo encerrar o serviço de internet na França, só levou cerca de 1 mês, 5 cartas de justificativa e uns 4 comprovantes de endereço diferentes
Also, a nomenclatura existe desde 1937 (pelo menos), muito antes da semântica de Kripke: www.reddit.com/r/logic/comm...
ah yes reflexiviTy... of course...
Apagando contas em redes sociais que não fazem mais sentido. Minha caixa de entrada agradece
Beauty (from: en.wikipedia.org/wiki/List_of...)
if you ever hear a philosopher say "if and only if ___" know that they meant that shit
ai ai esse grok
Pelo menos aqui o Fluminense levou a melhor
Nessa semana que marca o festival da tainha, aprenda como limpar o peixe, método simples e rápido: www.youtube.com/watch?v=dDot...
fonte de ferro (como todo feijão)
Eu gostei do novo nome. Rocq rocks!
www.youtube.com/watch?v=LFA-...
A medida: proibir turista de levar sabonete para praia www.atribuna.com.br/cidades/sant...
"O Ser Humano é ridículo"
I'm happy to share that this paper was accepted to TABLEAUX 2025 (icetcs.github.io/frocos-itp-t...). See you in Reykjavik!
Bom dia!
Sonhei que saía na porrada com o Humberto Gessinger. nature is healing...
✨ATENÇÃO, pessoas de São Paulo/SP!✨ Vc pedala ou conhece alguém que pedala? Tá rolando o piloto do projeto Bike SP, que dá créditos de bilhete único em troca de km pedalados, e eles estão precisando de voluntários! 👇
às vezes, a felicidade vem na forma de um novo teclado ergonômico
Sempre que vejo um username esquisito no bsky eu recordo aquela famosa citação de Frege "Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something." (On sense and reference)
cessar-fogo... se safou... ça c'est fou fou
De acordo com Pica Pau [1], ...
10h40 e já estou pronto pra almosaar
de volta aos princípios
Uma banda? Los Hermanos
In honor of Brian Wilson's passing, here are the four categories of Beach Boys songs: 1. surfing is great, you should try it 2. I have a good vehicle 3. I reach beyond myself into the ineffable, and that's where I find you, my love 4. sloop john b
Não dá pra colocar em 2x no ao vivo?
Valeu!! 🙏
Also: você TEM CERTEZA que não quer um resumo generativo deste arquivo pdf???
🤖 Ei, você, tá de bobeira? Faz um prompt aqui rapidão, não custa nada. Por favor, só um promptzinho, você vai ver que legal que fica.
Deixa eu contar uma história que aconteceu comigo aqui e que dei gostosas gargalhadas. Um cliente um tempo atrás veio me pedir orçamento pra um freela de VFX, mais na linha do mograph pra publicidade. Fiz o orçamento. Ele disse que tava caro e não fechou e disse que ia resolver com IA
Enfim, foi um ano muito intenso em Paris, de muito trabalho. Não foi fácil ficar longe da família e amigos. Da cachaça, do pastel. Mas conheci pessoas incríveis nesse caminho e estou muito feliz com o resultado.
Além disso, Carlos Olarte, um dos colaboradores deste trabalho, fez esta belíssima ferramenta para gerar os casos da prova de analiticidade: github.com/nmatrices/ma...
Agora, também, com material auxiliar: gerador de matrizes e modelos para cada uma das 15 lógicas. github.com/nmatrices/nm...
Se tem "plus" no nome é pq deve ser bom
Enfim a Terra gêmea
O monstro está saindo da jaula... "The Modal Cube Revisited: Semantics without Worlds" arxiv.org/abs/2505.12824
www.youtube.com/watch?v=_3_-...
No metrô de São Paulo, 90% das pessoas andam com a mochila pra frente. Não sei como ainda não lançaram a moda "mochila pra paulista"
Papa matemático, agora vai
A aeromoça vendo eu pegar meu fone de ouvido após ter aceito o fone da companhia aérea
www.youtube.com/watch?v=pS0s...
cara modal logic
www.youtube.com/watch?v=tv6g...
Um herói? Mister M
They certainly couldn't tell
esse é o famoso cérbero eletrônico
Ah yes, the defelate network
False
picanha sabor alface
Provando que ninguém precisa de IA pra desenhar mal
O ano é 2035...
www.youtube.com/watch?v=wU5K...
Simplesmente acabaram-se todos os papéis em branco deste escritório. Infelizmente terei de começar a escrever nas paredes, espero que o proprietário do imóvel entenda.
www.youtube.com/watch?v=6Us6...
Queria respostas, mas a vida me deu perguntas
Considerando o apagão no futebol da seleção brasileira, melhor que essa história da camisa vermelha seja hoax.
Trabalhar com pesquisa é estressante, desesperador etc, mas ver o paper finalmente tomando forma é muito satisfatório.
Significa que ela não quer dançar em festas ou baladas
www.youtube.com/watch?v=pvfS...
A vontade de fazer um churrasquinho é grande
E o caba vai endoida é
"não temos tempo para papo fiado e nem gravar videozinho bonitinho" Fascinante o recalque
"Vou dizer não, não, não, não, não, não Tantas vezes até formar um nome" Itamar Assumpção usou negação não-clássica nessa, já que, na lógica clássica, ~~ p <-> p
Eu nem ia beber hoje, mas já que é o Dia da Terra...
A quem não se sentiu ofendido, por favor, melhore
Descoberta recente com dados coletados pela Curiosity permite concluir que marte já foi habitável. Chapolin estava certo o tempo inteiro sobre a existência de marcianos. www.space.com/space-explor...
Fascinado com essa parada: maude.cs.illinois.edu/wiki/The_Mau...
As pessoas dizem "não acho, tenho certeza!", como se isso fizesse alguma diferença
Em razão das comemorações de Páscoa, hoje o VAR não está trabalhando
Prepara a TANGA craque Neto
É Brasil no ping pong RAPÁ
O mundo se a sociedade tivesse evoluído por meio da cooperação entre indivíduos, ao invés da dominação, agressão e abominação da diferença.
"As onças do tamanho da Inglaterra não existem e não podem te machucar" As onças do tamanho da Inglaterra:
www.youtube.com/watch?v=hmbJ...
Engraçado como algumas pessoas acreditam que existe vida fora da Terra, mas acham difícil acreditar que existe vida inteligente. Com tanto planeta por aí, as chances são virtualmente as mesmas. www.reddit.com/r/spaceporn/...
Se existisse uma alma por cabeça, certamente já teria ocorrido algum stack overflow. Mais provável que existam classes de equivalência
É isso, Spotify caiu, quarta-feira, semana praticamente encerrada
Nunca... nunca tente criar um comando com mais de 9 parâmetros no LaTeX...
Bolsonaro full DR FARACO
