Publications

Publications are texts and documents I have written over the years that are not blog posts. Typically they were part of some university course work or job.

2021

• Notes on Systems Programming 1 (German, Lecture 1, Lecture 2, Lecture 3, Lecture 4). In 2021, I taught a class on systems programming in C. For my students I created slides that emphasize the importance of proper error handling and easy to understand code.

2020

• ulo-storage: Indexing and Querying Organizational Data in Mathematical Libraries. Organizational knowledge extracted from existing formal libraries has the potential to be usable in the design of a universal search engine for mathematical research. ulo-storage is a suggested architecture for collecting such organizational knowledge and making it available for querying.

• Notes on Systems Programming 2 (German, Lecture 1, Lecture 2). In 2020, I taught a class on systems programming in C. I created two sets of slides that emphasize the importance of proper error handling (tricky in C) and how to avoid heap allocations by using static memory.

2019

• Discrete Alternatives to the Sines. This work focuses on one tidbit Donald Knuth mentions in his discussion of n-tuples, namely the theory of Rademacher and Walsh functions. They are similar to the well-known sines and can be used in some of the same applications.