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-...

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

A tosconf.lhc.net.br parece ser uma conferência hacker muito dahora (e muito no espírito @gambiconf.dev)! Conheci hoje e por isso não vou ter como me planejar para ir, mas quem estiver por Campinas nesse Sábado é uma boa ir lá prestigiar as talks, vai ter: - @coprodu.to - @monad.mom - @vepo.dev

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

No geral os que me atacam tentam esconder as suas próprias insignificâncias.

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 :)

Eu tenho 0 interesse em publicar puzzles ou tutoriais pra iniciantes. Mas ao mesmo tempo eu queria muito fazer vídeos ensinando programação de um jeito funny, sendo nao linear, mostrando possibilidades, as pessoas envolvidas, contexto histórico e até fofocas fúteis sobre essas pessoas.

Nossa bluecetar em ingles bêbada é 300x pior. Se eu já erro em coisas básicas imagina assim.

É BEM POSSIVEL QUE EU VÁ PRA HOLANDA ESSE ANO EU TO MT FELIZ :D

acho que to apaixonada por um médico com o braço fechado de tatuagem do estudio ghibli e cabelo de gente alt

junte suas coisas, vamos erguer uma pira.

nossa eu tô blucetando muito errado recentemente

Meu café da manhã ta sendo Iogurte natural, mel, granola e uva passa. Que combinação divina omgggggggg

Tem uma pessoa que eu considerava as opiniões extremamente valiosas, era o homem de mãos macias. Acho extremamente difícil achar gente assim.

A lot about the world starts making more sense when you realize that, for a lot of people, there's no real difference between aesthetics and ethics.

Eu sou melhor

Estou em ouro branco mg e toda hora que vejo algo eu falo "Já eh melhor que betim né"

No seu desgosto profundo. Nao me deixe agir de má-fé.

Eu sou inteira e metade

se vcs votarem no gusttavo lima eu vou ficar mto chateado.

As 2 ultimas semanas tiveram tanto feriado e tipo coisas comemorativas que eu só n consegui ficar seria trabalhando magod, sinto que eu n trabalhei quase que desgraça de sentimento.