Home

Hi there! I am Anton Lorenzen, currently a student at the University of Bonn. I am mostly interested in type theory and functional programming (and some other stuff, see my contacts page).

I sometimes write tutorials. Please tell me if you don’t understand something; I’ll try to make them better:

• A Spreadsheet in Reflex

General stuff, mostly showcases:

• Tracking club attendance in Flutter

Code that is easy enough to understand to not merit a tutorial and is too short for Github:

• Putting operators between numbers
• Successive shortest paths in C++
• Push-relabel in C++
• Kruskals algorithm in C++

Some ideas for projects I might start (but probably won’t have the time to do):

• Bimodal mobile markdown editors
• Generate flashcards from an API
• Store ideas for more interesting conversations