paulette d. koronkevichsince blogs are trendy
https://koronkevi.ch/posts/humanity.html
https://koronkevi.ch/posts/humanity.html
Meven Lennon-Bertrand@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.
Lindsey Kuper@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!