Sofia

Uma coisa que eu tenho vontade de fazer é montar uma telephone exchange caseira, fazer todo o circuito pra comunicação entre telefones antigos e conectar com umas coisas legais tipo: e se eu fizer uma TV antiga renderizar o texto do que tá sendo dito na conversa com um etc e etc

@erisblee como assi onde leio sobre isso

Todas as coisas que você acha mais legais na sua vida começaram com alguém tendo uma ideia que parecia impossível e decidindo ver quão longe dava pra ir ainda assim. Buscar sempre "saber" que vai dar certo antes de tentar algo só vai te levar a ter uma vida chata.

Você conhece Lean, a linguagem criada por um brasileiro para provar teoremas? E que dá para fazer muito mais além disso?? Assista já a palestra da @algebraic_dev, que trabalha na Lean FRO, para entende como! "LEAN Fullstack: Codando no Assistente de Provas"

From the beginning of time, Haskell has mogged Golang.

Coe, a type class mais carioca.

Fiquei decepcionado quando descobri que vibecoding era codigo feito com IA, eu pensei que era codar tranquilamente sem preocupações

@leandronsp @nicolasmelo @Grazinascito @hermogenesfpn vi que seu código ta usando a lib Sockets, mas agora já temos o mínimo de TCP com LibUV em Lean (se quiser deixar seu servidor async) e estamos quase lá para fazer o merge de um servidor HTTP na Std. github.com/leanprover/lea…

@nicolasmelo @Grazinascito @hermogenesfpn @algebraic_dev qdo ela fez o webserver pra rinha eu tava la de cheerleader. inclusive usei o repo dela tbm pro meu agente pegar contexto, nao tem mta coisa de lean por aí

Ai vem falar aqui: "Quem não usar IA hj vai ficar pra trás" Corta pro mano sendo mandado embora mesmo sendo heavy user de IA De novo. Era pra ficarmos animados com o desemprego em massa? Ficar pra trás no que exatamente se o fim de TODO MUNDO vai ser o desemprego?

Futures made of Virtual insanity

@coproduto Cláudio

Como vocês pronunciam Claude?

If you’ve only used Lean as a proof assistant, and not as a programming language, you’re missing out. It’s a great programming language!

It's kinda of disappointing, but now I have ways to fix my brain x..x

I went to a neuropsychologist to find out what was wrong with my brain and got incredibly high and incredibly low scores on tests for things I was sure I had no issues with :p maybe idk myself as well as I thought and just kept denying every possible sign of a disorder

@erisblee .

@erisblee atemorizante

@wesleyfc21 Sim ksks

@algebraic_dev Hikaru?

@coproduto Feliz ano novo

@coproduto Obg :)

Em 2026, eu desejo que você tenha mais confiança que o que você cria tem valor e que você tenha menos medo de falar sobre as coisas que você gosta, e que você crie mais, e mostre o que criar para os outros sem medo de julgamento. O medo que a gente sente de rejeição é irracional. Ele vem de uma época em que era muito custoso ser rejeitado, em um mundo pouco conectado, onde você precisava que o lugar onde você nasceu te aceitasse em tudo. Mas a gente não vive mais nesse mundo. Hoje o mundo todo pode ver o que você faz. E mesmo se não gostarem disso no lugar de onde você veio, com certeza suas criações vão chegar em gente que pensa como você. E mesmo que as pessoas riam ou falem mal, elas só vão dar mais alcance pra que chegue em quem gostar do mesmo que você. Então crie sem medo, mostre sem receio, compartilhe sua mente com o mundo. E eu tenho certeza que o mundo vai te abraçar de volta.

@erisblee eu eu eu