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
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
eita que código esquisito, é pra detectar ataque em coisas envolvendo protocolo TCP?
nem eh tao dificil tudo eh compilador, full adder e uns flip flop no final
As you said, they are probably not going to use ethically created LLMs, but the probability of them using an ethically created LLM for math is higher than with other types of things, like art :S.
(When I talked about LEAN I just skipped the part that you said "probably" 'e.e)
Fico mt bonitinho parabens :D
It depends on how it's going to be trained. With LEAN, e.g., you can create some kind of feedback loop where LEAN says the proof is incorrect and let the LLM learn how to make a proof :P But to make them look better, it will need proofs written by humans, and it can be done ethically too.
