Sites

Tools, visualizations, and small experiments.

Erdős problems in the AI era

Explore recorded resolutions and formalized proofs over time, alongside AI model releases
AMT Calculator

Estimate alternative minimum tax from income and stock option exercises.
Hiragana Quiz

Practice reading Japanese hiragana.
Elixir Flashcards

Elixir questions and answers. Navigate with the arrow keys.
Movie & TV Database

Browse movies and TV series by title, year, and rating.