meu celular foi forçosamente atualizado pra esse novo iOS com esse liquid glass horroroso pqp

comi carne de rã pela primeira vez na vida. gostei, mas ainda prefiro comer perereca #humor

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.

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

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

que delicia de fim de tarde

Os funcionários assim

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

tem umas situs q eu passo q nossa espero estar acumulando bastante punya para a proxima encarnacao pq olha

Lmao

brinquedo novo

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

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

posto 5 do flamengo oficialmente melhor praia da zs

me fr

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

meu irmao mais velho (36) finalmente ta saindo da casa da mae pra morar com a namorada. feliz por ele

porra fumante eh um saco ne toda hora “vamo compra cigarro” “deixa eu para pra fuma um cigarro” “traz um maco pra mim”

Aluguel: $4.500 Localização: Santa Cecília (prox. do metrô)

mto foda o meu dealer mo enrolado “vai chegar agora mas espera chegar msm pra descer pq o entregador eh enrolado” e ele acha q eu nao sei q o entregador eh ele mesmo

teu pai foi comprar pó no salgueeeeiro e nunca mais voltoooou 🎶

passando mal com essa historia da briga generalizada de adolescentes no mineirao

toda vez q um uber eh um voyage ele ta todo detonado

voltei trocando ideia com um uber com opinioes mto sensatas sobre seguranca publica e crime organizado

quem dera ser um peixe para nadar junto ao teu bacalhau,,

odeio motorista de carro. os caras tao sempre fazendo merda e "ah mas a industra da multa"

RIO NAS ALTURAS | O melhor urbanismo do Brasil fica em Copacabana, mas nem o RJ consegue repeti-lo www.youtube.com/watch?v=xXDw...

na moral passo mal prestando atencao na banda desses nomes grandes do pagode. ouvindo uma versao de ate que durou que puta arranjo e os caras ainda metem um reggae no final

sinto q todo mundo ta com saco cheio de programadores. eu mesmo estou entao entendo o sentimento

aff queria saber uma fofoca mas n queria revelar q estou interessado na fofoca

maneiro o role mas maneiro ir pra casa tomar um banho ficar cheiroso e mimir ne

o uber tentando mandar a bandalha mais absurda “po foda essa galera q nao respeita o sinal” kkk

estou acompanhando a lenta mas constante botafoguizacao de laranjeiras

o foda da cerveja com menos caloria eh q ela tem menos sabor tambem escolhas

suco do bem morreu ne

to num churrasquinho do lado de casa veio um cara igualzinho o jagunco de agente secreto

no momento envolvido em uma situacao em que literalmente era melhor negociar com o patrao pq empregado e patrao estao alinhados mas a clt nao deixa

Sounds of Rastafari with Riketté Genesis youtu.be/jARHQ3-MI_U?...

eu so queria um fim de semana de sol

quem diria que eu ia engordar mesmo malhando se ficasse comendo porcaria

Jr. Thomas & The Volcanos - Sunk In The Mist youtu.be/9QPosX04C6w?...

nossa o kingston fechou ou vair de mudar de lugar sla