metapraxe
@lurodrigo.com
meu teatro é sério. não admito putaria no meu trabalho.
@ rio
@ rio
Reposted by metapraxe
ngl essas roupas “tech” são tão cafona, pelo material mesmo. igual prédio de vidro
December 9, 2025 at 4:48 PM
ngl essas roupas “tech” são tão cafona, pelo material mesmo. igual prédio de vidro
meu celular foi forçosamente atualizado pra esse novo iOS com esse liquid glass horroroso pqp
December 9, 2025 at 3:01 PM
meu celular foi forçosamente atualizado pra esse novo iOS com esse liquid glass horroroso pqp
Reposted by metapraxe
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
December 8, 2025 at 10:48 PM
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
engracado quando vc conhece uma figura que tem ma fama e percebe q a ma fama eh justificada
December 7, 2025 at 9:11 PM
engracado quando vc conhece uma figura que tem ma fama e percebe q a ma fama eh justificada
eu queria uma churrascaria 90% boa igual o majorica so q com 60% do preco eh pedir demais
December 7, 2025 at 8:02 PM
eu queria uma churrascaria 90% boa igual o majorica so q com 60% do preco eh pedir demais
saiu um set meu de regue www.instagram.com/p/DR93R-LEb6...
Login • Instagram
Welcome back to Instagram. Sign in to check out what your friends, family & interests have been capturing & sharing around the world.
www.instagram.com
December 7, 2025 at 3:53 PM
saiu um set meu de regue www.instagram.com/p/DR93R-LEb6...
preciso virar jiu jiteiro e marcar briga na praca de alimentacao da praca da tijuca
December 6, 2025 at 8:57 PM
preciso virar jiu jiteiro e marcar briga na praca de alimentacao da praca da tijuca
que delicia de fim de tarde
December 6, 2025 at 8:24 PM
que delicia de fim de tarde
Reposted by metapraxe
Os funcionários assim
December 6, 2025 at 1:14 AM
Os funcionários assim
não há terror pra quem sabe amar e se conectar com a força de deus
December 5, 2025 at 5:01 AM
não há terror pra quem sabe amar e se conectar com a força de deus
o segredo pro uso moderado de substancias eh ter uma experiencia muito absurda com psicodelicos. depois q vc toma aquela mescalina que vc acha q morreu e foi pro inferno que nao tem agua pra beber apenas pacoca e frutas cristalizadas pra sempre... vc vai com moderacao em td
December 4, 2025 at 11:06 PM
o segredo pro uso moderado de substancias eh ter uma experiencia muito absurda com psicodelicos. depois q vc toma aquela mescalina que vc acha q morreu e foi pro inferno que nao tem agua pra beber apenas pacoca e frutas cristalizadas pra sempre... vc vai com moderacao em td
tem umas situs q eu passo q nossa espero estar acumulando bastante punya para a proxima encarnacao pq olha
December 4, 2025 at 8:35 PM
tem umas situs q eu passo q nossa espero estar acumulando bastante punya para a proxima encarnacao pq olha
Reposted by metapraxe
caralho q saco eu to ja tem 3 meses querendo renovar o aluguel e o proprietario eh um enrolado do caralho
December 2, 2025 at 4:04 PM
caralho q saco eu to ja tem 3 meses querendo renovar o aluguel e o proprietario eh um enrolado do caralho
cada vez mais convencido q a explicacao de tudo eh samskaras de vidas anteriores
December 2, 2025 at 2:32 PM
cada vez mais convencido q a explicacao de tudo eh samskaras de vidas anteriores
comprei um travesseiro de pluma de ganso e ele eh realmente isso tudo
December 1, 2025 at 4:15 PM
comprei um travesseiro de pluma de ganso e ele eh realmente isso tudo
rolou uma situacao na praia q eu olhei pra esquerda tava uma briga olhei pra direita tinha outra briga kkkk
November 30, 2025 at 8:32 PM
rolou uma situacao na praia q eu olhei pra esquerda tava uma briga olhei pra direita tinha outra briga kkkk
posto 5 do flamengo oficialmente melhor praia da zs
November 30, 2025 at 7:32 PM
posto 5 do flamengo oficialmente melhor praia da zs
me fr
November 28, 2025 at 9:44 PM
me fr
Reposted by metapraxe
I am also gradually coming round to the view that interaction between humans/client apps and (perhaps multiple) AI agents is a state synchronisation problem that probably needs CRDTs lucumr.pocoo.org/2025/11/22/l...
LLM APIs are a Synchronization Problem
Maybe the LLM message APIs should be rethought as a synchronization problem.
lucumr.pocoo.org
November 27, 2025 at 5:09 PM
I am also gradually coming round to the view that interaction between humans/client apps and (perhaps multiple) AI agents is a state synchronisation problem that probably needs CRDTs lucumr.pocoo.org/2025/11/22/l...
acho q to meio depresso
November 27, 2025 at 2:37 PM
acho q to meio depresso