Usuário: LeCompteSftware

Criado: 18 dias atrás
Karma: 163
Freelance nonprofit mathematician and software engineer. Radical progressive, but I'll try to keep a lid on some of that. Into literate programming, Scheme, C. I actually like fancier tools too - Idris, Lean, F# - but these days I prefer to write my own hacky type systems.
I don't care for LLMs, but I actually make more money in my real job as a jazz guitarist.