ethermal.eth (ethermal)

• 0 replies
• 0 recasts
• 4 reactions

• 1 reply
• 0 recasts
• 4 reactions

Excited for advent of code this year, gonna try to do it in lean4 :))

• 1 reply
• 0 recasts
• 2 reactions

I'm being boosted, so I will take this opportunity to introduce myself: I'm a passionate crypto software developer. I enjoy coding, maths and visual arts. I'm especially interested in zero knowledge atm (I wrote circom-lsp out of frustration) gm/gn <3

• 8 replies
• 87 recasts
• 169 reactions

A lot of times it is recommended to start learning topics from the bottom up, but personally I think that's a really boring way. I prefer a more boomerang-like approach: start with something overly ambitious, exciting and ultimately unachievable, work your way down to what would it require you to learn, disect everything to the very basics, and then gradually work your way up to the original goal.

• 4 replies
• 10 recasts
• 24 reactions

"normality is a paved road: it's comfortable to walk, but no flowers grow" -van gogh

• 1 reply
• 4 recasts
• 6 reactions

Forgot to post finished

• 2 replies
• 2 recasts
• 9 reactions