- Stack Overflow 3.7k 3.7k 2020 silver badges4848 bronze badges
- Academia 709 709 77 silver badges1010 bronze badges
- Computer Science 641 641 11 gold badge44 silver badges99 bronze badges
- Software Engineering 440 440 33 silver badges1010 bronze badges
- Theoretical Computer Science 433 433 22 silver badges1010 bronze badges
- View network profile
Top network posts
- 33 How to begin a class with humor
- 26 What characters are allowed in Haskell function names?
- 17 "Further, ..." versus "Furthermore, ..." at the beginning of a sentence (meaning the same thing)?
- 16 Function Composition in R (and high level functions)
- 15 Introductory books as preparation to read Voevodsky homotopy-theory (HoTT) book
- 15 I discovered a mistake in my own published workshop paper, how do I handle errata?
- 13 Modeling objects (OOP) in dependent type theory
- View more network posts →