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"
@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.
https://t.co/uyuug86Keq
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