This is the website of the programmer Pontus Sundqvist. I am currently working for Kili Technology, teaching AI models to solve math using Lean.

As I am bilingual, this website is too; switching between English and Swedish can be done at the top of the website.