Viewing profile — hkopp

The notation is really not that frightening, once you get it. Just read the wikipedia article: https://en.wikipedia.org/wiki/Algebraic_notation_(chess) Don't bother with that large…

The title should probably be "Is TikTok safe?" to reduce clickbait.

I think it is due to the homotopy type theory book. There is an elegant connection between category theory and type theory. I guess most of the people submitting category theory to…

I have studied math and was in some lectures about category theory. I still don't get what the project is about and that fact intrigues me.

- the "shin jin mei" of sen ts'an - "On Zen" by Daio Kokuchi - "Shobogenzo" by Dogen. I especially venerate the loose translation (or paraphrasing) by Brad Warner.

The precise mathematical definition of obfuscation and what is considered obfuscation for an average software engineer are two very different things. In fact, the article is only a…

I am much more familiar with the development in the chess world. Since Deep Blue beat Kasparov in 1997, there was a lot of progress in the development and the architecture of chess…

The argumentation is faulty. Users cannot be enumerated using the login, but using the signup. The author then argues that they should add the user enumeration function to the logi…

I always use https://gitignore.io .