Sofia

as vezes penso que enquanto vc se limitar a oq vc acha que vc é, vc nunca vai ser oq é

Esqueço quão venvanse me ajuda as vezes

Pra quem gosta de banda pequena brasileira, tomem :D merece muito mais reconhecimento. E a letra é tão absurda de boa... www.youtube.com/watch?v=BImR...

mesmo em épocas de LLM que ninguem mais liga em escrever codigo, eu sinto uma enorme gratidão aos pesquisadores que deram a vida pra criar linguagens tipo Haskell. É bizarro como criaram algo tão complexo que todo mundo vê como inútil, mas no final teve contribuições CONCRETAS pra computação.

compiladores nunca veem os próprios erros... sempre vêm me culpando de tudo 🥲

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

🙂👍

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.

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.

fico triste com a diferença gritante entre um dia bom e um dia normal meu.

honestly a little embarrassed about how well todo lists work on me

Haskell loves you too, little lesbian!

Essa apresentação da @monad.mom sobre Lean ficou muito boa youtube.com/live/gaxLw9-...

www.youtube.com/live/SHxAgaR...

Amo a estética transfem dev com Nix, Lean, Haskell, Rust, rices de linux e coisas do gênero

Ser bloqueada por alguem que eu respeitava é meio triste sinceramente :c

We're building a more responsive #LeanLang experience! UI upgrades include better performance, auto-completion and clearer error messages. Backend enhancements bring parallelism for faster builds, reduced latency, and soon a new module system for quicker recompilation times. #leanprover #programming

A forma que eu me comunico tá cada vez ficando pior. Oq será que tá acontecendo?

I'm firmly on team "type erasure is good" and most people who don't like type erasure just don't like the way Java did it

beware the type theorist to domme pipeline

As vezes existe um limiar bem sutil entre ser babaca e estar confrontando.

i want to be an abstract concept like a monad.

- complains that life was devastated by people not talking and just jumping to conclusions instead of talking to eachother and discussing things - does the exact same thing to me in the exact same type of situation quite funny

mt cute ela tentando fazer uma piada com Monad sem nem saber oq eh uma monad, so sabendo que eh um burrito.

O Bluesky é pequeno né.

Eu tô falando com tanto Haskeller recentemente que fala sobre como eles pegaram todo o codigo deles e enfiaram 300 monads... sério tipo n precisa disso.

ta achano que eu so uma palhasa?

Shes the gay demon inside my head making me gay

to gripada aaaaa.

my heart beats in a sick and different way for the monad girl,,

Uma das coisas que mais me deixa feliz hoje em dia é saber que trabalhar na Lean FRO é muito bom. Eu trabalho com algo que amo e que importa pra mim, poucas coisas seriam melhores. Eu sinto feliz por poder me trancar no meu quarto e ficar programando LEAN e C++ sem sentir que tem amanhã.

Eu gosto daquela música do Twenty One Pilots que fala que é mais difícil dizer que viveria por alguém do que dizer que morreria. Acho que só disse isso uma vez na vida, e foi num momento em que eu tava genuinamente feliz por estar com a pessoa, que não sentia que nada substituia ela.

i’m so in love with the tomato girl... if only her spawn point was closer to mine, so i could idk just ask her to be my gf or smth aaaa

Eu acho mt engraçado que eu fui ver meu last.fm né e ai eu vi que minha top track eu só escutei em 2023 em todas vezes que eu tava mal. Em segundo lugar ficou a que eu escutava quando eu tava gay por alguem em 2024.

Nossa me sinto que nem a Sue do filme 'A substância' na cena do dente caindo toda vez que a progressiva começa a perder efeito

O Viktor de Arcane está fazendo delivery de gloriosa evolução.

minha namorada chegou toda fofa com essa florzinha pitica de meio cm 🥰👉👈

Eu tô meio perdida nos trendings de tecnologia web. Agora isso daq vai ser a nova moda? skiplabs.io

Pera, quer dizer que ninguem aqui faz poema usando o sistema de tipos de alguma linguagem?

Nina Maia precisa de mais reconhecimento. Magod INTEIRA é um albuum MUIIITO BOM. Tipo... a musica MAR ADENTRO eh absurda.

uma coisa que me destrói dms é abrir o bluesky fazer um post comecando com "uma coisa que me destrói dms" e esquecer qual era o desabafo random que eu ia fazer e ficar feliz :)