|
|
| user: | LeCompteSftware | | created: | 10 days ago | | karma: | 153 | | about: | 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. | | submissions | | comments | | favorites |
|
