https://sorilee.github.io/posts/2020/a-proof-of-krafts-inequality/ 2023-11-05T12:54:00+00:00 https://sorilee.github.io/posts/2023/strict-bilimit-and-its-proper-examples/ 2023-12-30T00:00:00+00:00 https://sorilee.github.io/posts/2024/birepresentations-are-not-strictifiable/ 2024-02-10T00:00:00+00:00 https://sorilee.github.io/posts/ https://sorilee.github.io/ https://sorilee.github.io/files/bsc.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/cscat2025-slides.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/kias-autumn2024-sorilee.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/pls14-extended-abstract-sorilee.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/pls14-slides-sorilee.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/pssl107-sorilee.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/types2024-slides-sorilee.pdf 2026-03-22T05:41:53+00:00 https://sorilee.github.io/files/zulip-7aug2024-sorilee.pdf 2026-03-22T05:41:53+00:00