Tyler Hou's blog

Programming languages, algorithms, and databases

tylerhou.com ↗RSS feed ↗5 posts

Latest posts

What is Type_equal for?

Aug 3, 2024

The "missing" graph datatype was invented in the '70s

Mar 5, 2024

How does foldr/build elimination work?

Jan 24, 2024

Binary search, revisited

Mar 5, 2022

Binary search with confidence

Oct 21, 2019