Linklist #1 - April 2018


This is the first of (hopefully) a run of blog posts that have the speaking title “Linklist” - because they’re lists of links to interesting, fun or educating blogposts, websites or other stuff on the internet. I find them while browsing and would for one thing save them for myself in some way, for the other thing I’d like to share with the world. That is why I’ll collect them as a list from now on and once the list is long enough (and the month is over) I’ll post them online. I arbitrarily constrained myself to 10 links a month to keep everything neat and clean.

  1. Experimental Graphical Proof Assistant for Category Theory
    I haven’t looked into it yet, but it seems fun. If any of my category-savvy readers try this, please let me know.

  2. Practical Typography
    This web book contains all you have to know about typography. It’s well-written, nicely layouted (what else would you expect from a typographer) and has a lot of texts not about typography but read-worthy nevertheless.

  3. Joint Routing Protocol
    The RFC to overcome problems arising during gatherings of more than one entity participating in the application of certain gifts of nature.

  4. The Rules (of cycling etiquette)
    While I do not agree with all of these, I definitely had a good time reading them. If you consider yourself somewhat of a bicycle enthusiast or just enjoy cycling, treat yourself.

  5. How To Conquer Tensorphobia

  6. How To Be Polite
    Quite a long read and doesn’t really get to the point, but here’s one key point to take away:
    “If [another person’s] name is now Susan, it’s Susan.”

  7. Subtle Background Patterns

  8. Habits of Highly Mathematical People
    Contains (the/an) answer to “But where does maths apply to real life???”.

  9. C++ Frequently Questioned Answers

  10. Consistent Hashing If you haven’t read about consistent hashing yet, do it now. It’s a simple enough concept, he provides a working python implementation and it shouldn’t take you more than half an hour to read and understand it (given a decent maths and computer science background).