Hi, fediverse!
I'm currently studying #CS. My interests include #FP, especially #Haskell, #verification and #plt. I also work with #Coq.
Outside of academics, I do a lot of sports. Mainly #running, #cycling, #bouldering and #swimming.
@abs welcome! :)
@miwilc Thank you π
@abs Welcome !
@Ytrezar Thanks! π
@abs A warm welcome to you 
@ninmi Thank you π
@abs bouldering ? like sisyphis?
@autonomous_hippopotamus It can sometimes feel like that, yes. π
@dtluna I don't get what you mean with that.
Do you mean "applied mathemitcs" as in "uses formal logic"?
@dtluna Which is just applied philosophy, yeah.
@dtluna I don't know how what you want out of this? I guess I'm sorry you feel like that?
@dtluna I don't really feel like I'm wasting my time as I'm enjoying myself. But I guess the experiences in academics can vary greatly.
@dtluna I don't study to find employment. IMO that's a bad motivation for studying something (most of the people who come in because of that drop out by the second semester).
I study because I enjoy learning and understanding these ideas.
@dtluna Isn't enjoyment the ultimate reason to do anything? I think being happy is an end in itself.
@dtluna My parents seem okay with it (they did the same when they were young). I of course wouldn't be doing it if it was a huge financial burden.
@dtluna Yeah, pretty much.
@abs π sounds like you're in the right place ^_^