The Curious Engineer

All blogs / Functional / PL theory

Jonathan Chan

ionathan.ch

CS PhD student @ UPenn

Functional / PL theoryEssays / personalGeneral

Posts
62 from 28 Oct 2017 to 28 Sep 2026
Posting
monthly (10 in the last year)
Kind
personal blog
Feed
https://ionathan.ch/feed.xml

2026 8

  1. Thulium, Cerium, Coelacanth, Medusa
  2. Boston
  3. Little LaTeX Pearls
  4. Why I don’t use generative AI
  5. Paper Ephemera
  6. U+237C ⍼ is Azimuth
  7. Part 1
  8. Timeline of songs in Heated Rivalry

2025 8

  1. HOAS using CBPV with dependency tracking
  2. Modelling laziness with a little bit of strictness
  3. Antihistamines
  4. More …
  5. More …
  6. More …
  7. More …
  8. More …

2024 7

  1. More …
  2. Part 4
  3. More …
  4. More …
  5. More …
  6. More …
  7. Part 3

2023 10

  1. More …
  2. More …
  3. More …
  4. More …
  5. More …
  6. Part 2
  7. More …
  8. More …
  9. More …
  10. More …

2022 7

  1. More …
  2. More …
  3. my previous post
  4. More …
  5. More …
  6. More …
  7. More …

2021 8

  1. More …
  2. More …
  3. More …
  4. More …
  5. More …
  6. More …
  7. Latex in jekyll
  8. More …

2020 2

  1. last posted
  2. More …

2019 2

  1. More …
  2. More …

2018 5

  1. More …
  2. More …
  3. part 3
  4. part 2
  5. More …

2017 5

  1. More …
  2. More …
  3. More …
  4. More …
  5. More …