Que, onde isso e como?
Posts by Sofia
compiladores nunca veem os próprios erros... sempre vêm me culpando de tudo 🥲
A black-and-white cat sitting on a table with round eyes and flattened ears
What is this creature…?
hello 👋 i have developed a new tool called blüuümpíi. blüuümpíi will convert every file on your hard drive to a .wav file without asking you, maximize your system volume, and play them on every bluetooth speaker you have ever connected to. if you offer feedback on blüuümpíi i will take legal action
🙂👍
Eu ser TDAH explica a situaçao em que fui pegar ifood para uma pessoa, perguntei o código e acabei descendo e subindo as escadas 3 vezes só para perguntar o código dnv, porque eu esquecia quando chegava lá embaixo
Meus códigos em C++ são horriveis queria saber como fazer esse negocio ficar mais bonito.
todo problema que vem pra mim eu tento resolver, é meio automático, é assim que eu vivo.
mas nem sempre as pessoas querem uma solução.
painting of a somewhat angry calico cat with a frightened tuxedo cat almost crying
A cat convincing her friend that she only deserves the best and that missing the litter box once doesn’t define who she is.
Já usou NixOS? 🥺
percebi rasgos no chão
quando olhei veio um temporal
te chamei pra me acudir
perseguir
rastros de amor
"We had a good thing Walt. But, no, you just had to blow it up. You and your pride and your ego! You just had to be the man."
ultimamente tenho percebido o quanto andar por lugares muito barulhentos, tipo o centro de BH, me afeta e isso me fez notar o quanto morar em SP me fazia mal por causa disso.
é meio loucura, amo bh mesmo com todos seus problemas.
Recentemente venho brincando com NixOS numa VPS. Ta legalzinho demais :P até parece tipo too easy to be working that well.
Me dá muita raiva ver gente num relacionamento em q uma vira mãe da outra e ainda n percebe o quanto as 2 se fazem mal. Imagina ter liberdade pra nunca assumir responsabilidade e, quando alguém finalmente cobra o mínimo, só largar tudo e ainda se sentir justificada p qualquer falta de consideração.
reviewed by Sebastian Graf. There are always a lot of tests for changes in the compiler and proofs to guarantee it’s correct, and it isn’t merged until it's in a very solid state.
LLMs are just tools we use to achieve results faster. Lean is not vibe coded. the compiler has hundreds of tests and theorems that would break if the code were just LLM garbage. PRs are always reviewed by other people on FRO. The PR for this commit was created by Kim, who is a really good dev, and +
Divisão 🎸🎸🎸🎸🎸🎸🎸🎸🎸🎸🎸🔥🔥🧨😫😠🤬
Mais 🤨
fico triste com a diferença gritante entre um dia bom e um dia normal meu.
agora faz todo sentido mt obg polvo
172 mil views
www.youtube.com/watch?v=M9CB...
Eu amava jogar essa no osu
com um tênis mizuno preto de corrida
Bumble só tem gente que gosta de formula 1 pq é um app que só tem universitário classe média pra cima, pelo menos em MG
E o otário fala que não é facilmente influenciado por propaganda só pq raramente clica em anúncio na Internet.
honestly a little embarrassed about how well todo lists work on me
Que fofo um carro filhote
Como assim um pouquinho doido? 🥲
queria saber soldar bonito, todas minhas soldas saem desgraçadas