User: LeCompteSftware

• Created: 3 hours ago
• Karma: 6
• 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. Learning Ada. 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 am a freelance nonprofit guy. I actually make more money in my real job as a jazz guitarist. I plan on releasing something with very unsafe C and I will swallow my pride: in 2026 it is irresponsible to put C out into the world without having Claude take a look at it

submissions | comments