Sofia

I work with Lean

[el hombre pulpo @coproduto]

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.

[GambiConf @gambiconf]

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"

[The Institute for Type Safe Memetic Research @typememetics]

From the beginning of time, Haskell has mogged Golang.

[Sofia @algebraic_dev]

Coe, a type class mais carioca.

[tiny violet @tiny_violet]

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

[Sofia @algebraic_dev]

@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

[Sofia @algebraic_dev]

Futures made of
Virtual insanity

[Sofia @algebraic_dev]

@coproduto Cláudio

[George Pîrlea @GeorgePirlea]

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!

[Sofia @algebraic_dev]

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

[Sofia @algebraic_dev]

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

[Sofia @algebraic_dev]

@erisblee .

[Sofia @algebraic_dev]

@erisblee atemorizante

[Sofia @algebraic_dev]

@wesleyfc21 Sim ksks

[Sofia @algebraic_dev]

@coproduto Feliz ano novo

[Sofia @algebraic_dev]

@coproduto Obg :)

[Sofia @algebraic_dev]

@erisblee eu eu eu

[Sofia @algebraic_dev]

@coproduto To assim com teoria musical que coisa chata de aprender nossa

[Sofia @algebraic_dev]

Keep trying