• Skip to primary navigation
  • Skip to content
  • Skip to footer
Sarah Hong Sarah Hong
  • Blog
  • Projects
    Sarah Hong

    Sarah Hong

    CS + math @ Columbia

    • New York, NY
    • GitHub
    • Instagram
    • Spotify
    • Email

    Theorems are like libraries

    March 25, 2025 less than 1 minute read

    Theorems are like libraries

    Theorems are like libraries,
    propositions are its functions,
    lemmas are the private methods,
    and algorithms are huge proofs.

    Tags: algorithms, cs, math, stupid

    Updated: March 25, 2025

    Share on

    Twitter Facebook LinkedIn
    Previous Next

    Leave a comment

    You may also enjoy

    Tightrope Walker

    September 25, 2025 2 minute read

    Visual analysis essay written for my Art Humanities class at Columbia.

    Splash?

    September 10, 2025 less than 1 minute read

    Splash?

    Jellyfish

    August 29, 2025 less than 1 minute read

    Jellyfish

    Summer 2025

    August 27, 2025 less than 1 minute read

    Through Columbia’s Work Exemption Program, I’ve had the unique opportunity to spend my 2025 summer working at the Gang Lab in New York.

    • Follow:
    • GitHub
    • Instagram
    • Feed
    © 2025 Sarah Hong. Powered by Jekyll & Minimal Mistakes.