|
|
| user: | LeCompteSftware | | created: | 13 days ago | | karma: | 178 | | 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. Though I actually make more money in my real job as a jazz guitarist, so don't take my word for anything. | | submissions | | comments | | favorites |
|
