post
|
death to pseudocode
|
2018-04-06 22:29:09 +02:00 |
wiki
|
cmder profile, typo
|
2017-06-09 13:12:31 +02:00 |
about.md
|
update about me
|
2017-12-30 08:25:04 +01:00 |
books.md
|
updates in disqus, navigation and footer
|
2017-06-06 16:29:48 +02:00 |
teaching.md
|
new blog post
|
2018-03-25 21:09:33 +02:00 |