“Measuring programming progress by lines of code is like measuring aircraft building progress by weight.”
— Bill Gates
Apart from these practical interests, more theoretical subjects such as type and proof theories fascinate me as well. Especially their application to (automated) theorem provers (Coq, Metamath) and to real-world programming languages.
... either because they are funny, stunning or the best factually correct explanation I've ever found!
- Simulation of a whole CPU in Conway's Game of Life
- Primality testing with regex
- Not enough jQuery
If you're that far: here are some nice code snippets I've written
JS (& jQuery): searchFirstTextOccurence() in DOM: http://stackoverflow.com/a/19523124/603003
PHP: addQueryParameters() for adding query parameters to an existing URI string: http://stackoverflow.com/a/19984204/603003
Some funny names other people gave me
- ComFreak (with "ae")