Hello!
You have reached the personal website of Jacob Walters. I'm an incoming Ph.D. student at the University of Edinburgh, specialising in programming language theory. Find out more about me using the links at the top, or read through some of my posts to see what I've been thinking about.
Posts
Here's my recent blog posts:
- Life Stack - March 16, 2024
- Installing idris2-pack on NixOS - January 7, 2024
- Serving Websites with Org - May 17, 2023
- Making a website with Org mode, Hakyll, and NixOS - May 12, 2023
…and you can find more in the archives.
Here's a collection of learning resources and other links that I found to be very useful.
You can browse this site using Org mode! Find out how here.
Want to see how this site was made? Find out generally here, and see my literate CSS and JavaScript files too!