About Jakob

Hi! I’m Jakob 👋

I am interested in algebraic geometry, locale theory and category theory.
Some programming languages which I like are Rust, Agda and Haskell.
I enjoy reading books by Simone de Beauvoir, Thomas Bernhard, Miguel de Cervantes and many other authors.
Some composers whose music I enjoy are Sergei Rachmaninoff, Lili Boulanger, Giacomo Puccini and Johann Sebastian Bach.
Some software projects which I like are GNU/Linux, NixOS, GNOME, LaTeX, neovim, helix and more.

Lists

Timeline

jdw has no activity yet