Joona Piirainen

I'm a programmer based in Helsinki, Finland, currently working as a software engineer at @Taito.ai, a local software startup. My passion for writing correct, reliable software has driven me to explore programming languages, proof assistants, and mathematics.

Recent Blog Posts

Tips for excelling with Python and TypeScript
2024-07-27
There are no dynamic type systems
2024-07-26
Monoid Homomorphisms
2023-08-07
Monoids as a tool for writing composable and reusable programs
2023-08-05
Polynomial interpolation
2023-06-11
Influential papers #0
2023-01-30
Hello, world!
2023-01-23

Software

Software written by me can be found from my GitHub page.

CV

Here is my CV as a PDF (updated 05.09.2024).