m1tuland

Home mituposting About
Follow Astro on Mastodon Follow Astro on Twitter Go to Astro's GitHub repo

  • how to come up with problems

    Feb 3, 2026

  • a randomized algorithm for graph 3-coloring

    Feb 2, 2026

© 2026 m1tu.
my twitter my github