Projects and works

The projects here either involve my education or FLOSS.

This page is available in English only.

Past projects

Talks

All my talks are published in talks.

titledatelocation / event
Introduction to Formal Verification01.05.2016pygraz
XeLaTeX30.04.2016Grazer Linuxtage 2016
Functional functions in python01.03.2016pygraz
Pattern matching (in python?)07.07.2015pygraz
How tux21b fixed my regex16.06.2015gograz
Reguläre Ausdrücke für Fortgeschrittene25.04.2015Grazer Linuxtage 2015
Lightning Talk: Force-directed graph drawing07.04.2015pygraz
RegEx in der Praxis27.11.2014public talk at university
IAIK JCE with python04.11.2014pygraz
Combinatorics in python04.03.2014pygraz
Die Python Programmiersprache05.04.2014Grazer Linuxtage 2014
The enum datatype (in python)06.08.2013pygraz
GnuPG - Weil wir etwas zu verbergen haben20.04.2013Grazer Linuxtage 2013
Literate programming (in python)04.09.2012pygraz
HID extension for the catroid project27.06.2012university context
Software paradigms and a small introduction to ASM29.02.2012school

Implementation

Documents

labelstitledateresources
 
Anki flashcards: Minna no nihongo: vocabulary list 2016 [0]
 
Anki flashcards: The first 250 Japanese Kanji 2016 [0]
PDF Differential cryptanalysis with SAT solvers 2016 [0]
PDF Do CNF files satisfy Benford's Law? 2016 [0]
PDF A continuous function in [0,1] with f(0) = f(1) has some ξ such that f(ξ) = f(ξ+½) 2016 [0]
PDF Proof that xⁿ is continuous in ℝ 2016 [0]
PDF Proof that 2x² + 5x - 3 is continuous in ℝ 2016 [0]
PDF About the kernel of vector spaces 2016 [0]
PDF A proof that (m³ - m)/3 is an integer for any odd m 2015 [0]
PDF A proof that Σₖ₌₀ⁿ k (n choose k) = n 2ⁿ⁻¹ 2015 [0]
PDF Lernkarten für die Amateurfunkprüfung in Österreich 2014 [0] [1]
PDF Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Characteristics" 2014 [0] [1]
PDF Lecture notes for the course “Foundations of Computer Science” 2014 [0]
HTML "All questions answered" session questions answered by Donald Knuth publicly 2014 [0]
HTML Dokumentation der BRGproj 2012 [0]
HTML "switch in amd64 assembly" 2011 [0]
HTML "Why I dislike PHP" 2011 [0]
HTML Grundlagen der Informatik – Lösungen & Skripte 2011 [0]
PDF "Zivildienst - Mein Erlebnis" 2010 [0] [1]
HTML Vim – Visual Improved text editor. talking about it's functionality 2010 [0]
HTML "The original hackers dictionary" in an HTML4 valid version (see wiki:Jargon_File) 2010 [0]
PDF "Zivildienst - Mein Erlebnis" 2010 [0] [1]
PDF Informatik/Mathematik Matura – Spezialgebiet "Kryptologie" 2009 [0] [1] [2]
PDF Sonate – Sonatenhauptsatzform-Analyse (maturaorientiert) 2009 [0] [1]
PDF Aussetzen eines Chorals 2009 [0] [1]
PDF Sokrates in der Philosophie 2009 [0] [1]
HTML Unterlagen zur Rettungssanitäter-Ausbildung beim Roten Kreuz 2009 [0]
PDF Informatik Kerngebiet Linux User and Filemanagement 2009 [0] [1]
PDF LebeAward 09 Jazzensemble Programm 2009 [0] [1]
HTML Lerngebiete für meine Matura 2009 [0]
HTML Informatikstoff 4 Jahre (Stichwortliste) 2009 [0]
HTML Mathematikstoff 4 Jahre (Stichwortliste) 2009 [0]
HTML Französischstoff 4 Jahre (Stichwortliste) 2009 [0]
HTML Englischstoff 4 Jahre (Stichwortliste) 2009 [0]
HTML Musikstoff 4 Jahre (Stichwortliste) 2009 [0]
PDFArchive Mathematik Matura Beispiele der vergangenen Jahre am BRG Viktring 2009 [0] [1]
PDF Informatik Matura - Kerngebiet Algorithmen 2009 [0] [1]
PDFTar.Gzip Mathematik Matura - Spezialgebiet "Komplexe Zahlen" 2009 [0] [1] [2] [3]
HTML A small introduction to RSS 2009 [0]
PDF Bezifferter Bass und Choral - Übungsbeispiele 2009 [0] [1] [2] [3]
PDF Abhandlung über die Gestaltung von Textinterpretationen 2009 [0] [1]
PDF "1984" by George Orwell (Plot summary, author, interpretation) 2009 [0]
PDF Dokument voller französischer Sätze (aus 4 Jahren FRZ-Unterricht) 2009 [0][1]
PDF Testfragen und Co. aus dem Informatikunterricht zusammengefasst 2009 [0] [1]
PDF Englisch Matura – Spezialgebiet "Internet" 2009 [0] [1]
PDF Informatik Matura – Spezialgebiet "Instant Messaging in python" 2009 [0] [1] [2]
PDF "FCE - Mein Erlebnis" 2008 [0]
PDFHTML "Abschied von Sidonie" von Erich Hackl 2008 [0] [1] [2] [3]
PDF Thema Kurvendiskussion 2008 [0] [1]
HTML Das Problem von "Achilles und die Schildkröte" 2008 [0]
PDF Singübungen aus meinen 4 Jahren Chorgesang in der AHS 2008 [0] [1]
PDF Thema Sigmund Freud 2008 [0] [1]
HTML "Der Schüler Gerber" von Friedrich Torberg 2008 [0]
HTML "Götz von Berlichingen mit der eisernen Hand" von Goethe 2008 [0]
PDF Spezifikation für die Spezialgebiete meiner Matura 2008 [0] [1]
PDF "Abhandlung über die Gestaltung von Textinterpretationen" 2008 [0] [1]
PDF Meine Lernunterlagen für das FCE 2007 [0]

University documents

In general exchange .pdf with .tex to get the TeX source file. If some resource is missing, feel free to mail me.

Some ressources (especially math related) are backed at github:

Cheatsheets

Elaborations

Course summaries

MOOCs

Latest graphics work

Penguin
Fig.1 Valentine's day penguin
Shisa dog/lion
Fig.2 Shisa – mixture of dog and lion
Filesystem illustration
Fig.3 Filesystem illustration
Volleyball rotation and positions
Fig.4 Volleyball rotation and positions
Asking for a regex in a pharmacy
Fig.5 Asking for RegEx in a drugstore

Notes

Various notes of books, I've read. The notation is specified informally in the Notesyntax file.

Buch "Extreme Programming Explained - Embrace Change" Buch "Der Besuch der alten Dame" von Friedrich Dürrenmatt Buch "Geheime Botschaften" von Simon Singh Buch "Just for fun" von Linus Torvalds Über unsere Musikmatura Buch "Schlafes Bruder" von Robert Schneider Vortrag "Sicherheitspolitik in Österreich" Buch "The Wave" von Morton Rhue Buch "Zeitmanagement für Systemadministratoren" von Thomas A. Limoncelli Buch "Anmerkungen zu Hitler" von Sebastian Haffner Vortrag "Sterne gehorchen den Zahlen" von Rudolf Taschner Vortragsreihe "Primzahlen" von Rudolf Taschner [ 2, 3, 4, 5 ] Buch "RSS und Atom"