Tyler Hou's blogProgramming languages, algorithms, and databaseshttps://tylerhou.com/What is Type_equal for?https://tylerhou.com/posts/type-equals/https://tylerhou.com/posts/type-equals/Sat, 03 Aug 2024 00:00:00 GMTThe "missing" graph datatype was invented in the '70shttps://tylerhou.com/posts/datalog-go-brrr/https://tylerhou.com/posts/datalog-go-brrr/Tue, 05 Mar 2024 20:00:00 GMTHow does foldr/build elimination work?https://tylerhou.com/posts/foldr-build-elimination/https://tylerhou.com/posts/foldr-build-elimination/Wed, 24 Jan 2024 20:00:00 GMTBinary search, revisitedhttps://tylerhou.com/posts/binary-search-revisited/https://tylerhou.com/posts/binary-search-revisited/Sat, 05 Mar 2022 20:00:00 GMTBinary search with confidencehttps://tylerhou.com/posts/binary-search-with-confidence/https://tylerhou.com/posts/binary-search-with-confidence/Mon, 21 Oct 2019 20:00:00 GMT