Simply Typed
  • cv
  • personal
  • projects
  • blog
  • tags
  • archive

Blog

  • 28th July 2023

Generating Orthogonal Set Partitions

theory math sets partitions combinatorics
Read more →
  • 15th July 2023

How to Stop Being a Couch Potato

personal health fitness
Read more →
  • 14th July 2023

Goodbye Hakyll / Haskell, hello Zola / Rust!

tools programming
Read more →
  • 7th December 2021

From Metaphysics via Self-Dual Hypergraphs to Non-Well-Founded Set Theory

theory math graphs
Read more →
  • 7th March 2021

Experience Report: Doing a PhD in Theoretical Computer Science

personal essay academia
Read more →
  • ← Prev
  • 4 of 6
  • Next →
  • feed
  • email
  • ORCID
  • github
  • last.fm
  • PayPal

© 2025 Anton Pirogov • Unless otherwise noted, the content in this website is available under the CC BY-SA 4.0 license.

Powered by Zola & tabi