This is what the tattoo on my arm looks like (well – looked like right after I got it. You can still see the skin being noticably red/pale around it). It’s been designed by my flatmate at the time, Gwen. Without the arm it looks like this: Probably still not too legible, so let’s get…
How to piss of the guitar-guy at the music shop (Also: how guitars work)
My baby I recently brought my baby to the hospital. And by baby, I mean favorite guitar. And by hospital, I mean music shop. The reason being that I wanted to tune down quite a lot and it needed to be readjusted. The guitar in question is an Ibanez Universe 7-String guitar, which I wanted…
What am I doing here? (My research topic)
In this post, I will try to explain what my Ph.D. is going to be about – of course, you can just read my proposal, but I assume that’s not really accessible to a lay-person. The broad topic is knowledge management across formal libraries, specifically libraries of formal mathematics obtained from (mostly) various computer-supported theorem…
How did I get here? (CV)
So, given that my CV is a bit more… non-linear than most people’s, I figured that might be worth a post on its own: I graduated (the german equivalent of) high school in Garmisch-Partenkirchen 2006, majoring in Math and English, at which point my plan was to study jazz guitar and make a living as…
Pages
-
Recent Posts
- Math Crankery with John Gabriel – “Cauchy’s Kludge”
- Math Crankery with John Gabriel – Calculus 102 (Cauchy Sequences and the Real Numbers)
- Math Crankery with John Gabriel – Calculus 101 (Convergence and Derivatives)
- Math Crankery with John Gabriel – The Dunning-Krüger Effect in a Nutshell
- SAT Solving: DPLL, Clause Learning and Implication Graphs
Categories
Meta