Currently a Master's student in the field of Programming Language (Theory).
- Stack Overflow 1.2k 1.2k 11 gold badge1212 silver badges3030 bronze badges
- Ask Ubuntu 670 670 11 gold badge77 silver badges1414 bronze badges
- Computer Science 667 667 44 silver badges2020 bronze badges
- Mathematics 463 463 44 silver badges1010 bronze badges
- Unix & Linux 390 390 22 silver badges1010 bronze badges
- View network profile
Top network posts
- 49 Can I add metadata to git commits? Or can I hide some tags in gitk
- 26 What does "Key to choose 5th level" in gnome-keyboard-properties do?
- 25 What is the purpose of free variables in first order logic?
- 24 What is the Sign Off feature in Git for?
- 12 What do f(x) and g(x) represent in Big O notation?
- 11 When are binary trees better than hashtables in real world applications?
- 10 Why can I curry one of the patterns but not the other in my pattern matching?
- View more network posts →