Post #723192
2026-03-20 22:55 UTC
Replies (15)
-
@atsuzaki@types.pl 2026-03-20 23:05
@koronkebitch this really resonates with me bc what primarily drew me into research was how it's essentially a big conversation between a bunch of people. the tech and the math is cool and interesting but it's so secondary to the connections, the Lore and Drama, the enthusiasm, the kindness
-
@atsuzaki@types.pl 2026-03-21 03:05
@va2lam @regehr @koronkebitch the kiwis are fine but shrug, i have feelings about canada and dirty work (among many things, supported the dutch with munitions in the ridiculous 4 years of war after our independence from them before suddenly changing their tune and acting like a savior?? as well as very publicly, with the rest of the hegemon, backing the 1965 indonesian genocides)
-
@ratherforky@types.pl 2026-03-20 23:26
@koronkebitch beautifully put. it's so easy for students to shortcut and ask the bot, robbing themselves (and us) of real connection and dialogue. it's alienating and dehumanising, but it's the path of least (initial) resistance, so it's the one many students choose
-
@xameer@mathstodon.xyz 2026-03-21 03:02
@koronkebitch @redmp Ahmed thesis broken link
-
@lindsey@recurse.social 2026-03-21 04:33
@koronkebitch ❤️❤️❤️ I'm also in it for the people and always have been. The ideas are also cool, but it's mostly about the people who have them. I'm pretty sure that in the end, only people and relationships matter.
-
@jac@types.pl 2026-03-21 05:10
@koronkebitch The existence of genAI for coding has brought me significant anguish. One of the things that was always a passion for me was the way that PL was fundamentally informed by human usability, education and communication. I have become somewhat more comfortable for the benefit of accessibility, but terrified of worsening connection between humans.
-
@bhaktishh@types.pl 2026-03-21 05:20
@koronkebitch this is rly nice <3
-
@markusde@mathstodon.xyz 2026-03-21 05:38
@koronkebitch > writing little HTML web pages, but I quickly got bored of this and didn't even manage to create even a single website. The most relatable sentence ever written
-
@secretasianman@types.pl 2026-03-21 07:26
@koronkebitch this.
-
@mevenlennonbertrand@lipn.info 2026-03-21 09:39
@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.
-
@mkerjean@lipn.info 2026-03-21 12:31
@koronkebitch Thank you for writing this article! I am also here for the people you might meet at a conference or during a research visit. My best memories are those sparks of joy that light up in someone’s eyes when they grasp something new during a discussion, whether it’s a colleague, a student or myself. Happy to read that I am not the only one who thinks the best part of a thesis is the acknowledgements page (and I’m absolutely depressed to see that they’re becoming increasingly rare in recent theses).
-
@raphaelp@types.pl 2026-03-21 17:57
@koronkebitch Yes, I realize that my own field started as a way of automating and making logical arguments "objective" under some system. some parts of cs yes, but i see pl specifically as very human oriented. it's making the tool (the computer) actually usable by humans. like how do we preserve the predictable and fast nature of electronic circuits but also make it something humans can do human things with. (the "preserving" part requires a lot of formalisms and proofs and all that, but the proof is only useful in that it allows you to confidently write correct doc/specs which is for humans.) it's really telling that the answer to automate the human part of writing software is "use something which approximates a human-like behaviour (language)". (a bit like if the way to make a mechanical piano was to make a pair of mechanical hands.) anyway, love the blogpost
-
@gwozniak@discuss.systems 2026-03-22 17:35
@koronkebitch I really liked this. And I agree with it. The people are why I got into, and stuck with, what I do. My biggest worry is that the people who made me love it are the same people who are starting to make me not love it. That's why I'm happy here on Mastodon with the PL and compiler folks, even if I'm just hanging out, looking in the window.
-
@edwinb@types.pl 2026-03-22 20:25
@koronkebitch this made me smile. PL people are the best :). Also may have been more inspiring than you realise.
-
@burakemir@discuss.systems 2026-03-23 17:33
@koronkebitch great post, if slightly pessimistic. Towards the end of my thesis, I came toward a similar realization that the scientific process comes down to interactions of people. Many things require a look beyond the homo oeconomicus perspective and real engineering requires a concern for safety and sustainability, not only efficiency. Yet, there is also a place for looking at economic factors because solving problems for humanity does require looking at cost.