@mevenlennonbertrand@lipn.info
Post #1349142
2026-03-21 09:39 UTC
@koronkebitch 🫂 You're not alone! My main motivation when doing this job is to create something for others: a tool, theorem, a library, a lecture, an idea... I have fun solving the puzzles too and am addicted to the proof assistant rush, but the real deal is when someone comes and says "hey, that's neat, can I use it?". Many of us are like this, doing what they do for the humans rather than against them. Maybe right now they're a bit quiet in the midst of all the noise, but they won't go away, I'm sure of it.
Replies (2)
-
@lindsey@recurse.social 2026-03-21 11:09
@mevenlennonbertrand @koronkebitch This reminds me of something that I think Neel Krishnaswami once said. Neel was in turn relating something that John Reynolds had once said, and I don't remember the exact wording, but it was something like: a programming language design is a success if it enables someone to do something with the language that the language designer hadn't imagined. It's a really nice take on language design, because it centers people. I should ask Neel for the actual quote!
-
@koronkebitch@types.pl 2026-03-21 16:12
@mevenlennonbertrand ♥️ ♥️ ♥️