Aside from the contact information in my CV, here are where you can find me online.
dblp · Google Scholar · Semantic Scholar · ResearchGate · ACM
| types.pl | @ionchy | StoryGraph | ionchy | GitHub | @ionathanch |
| Bluesky | @ionchy.ca | Letterboxd | ionchy | Codeberg | @ionchy |
| @ionathanch | Simkl | ionchy | Gitbert | @ionchy | |
| @ionchyeats | Backloggd | ionchy | |||
| last.fm | ionchy | Beli | ionchy | ||
| Listenbrainz | ionchy | Flickr | ionchy |
LaTeX
- latexrun — LaTeX wrapper similar to
latexmk - BibTeX Tidy — prettifier for BibTeX entries
- The Comprehensive LaTeX Symbol List — 30 MB PDF containing an index of symbols from all LaTeX packages
- Detexify — handwritten symbol recognizer & symbol macro search
- LaTeX Font Catalogue — fonts available with most LaTeX distributions
- tikzcd-editor — simple UI for creating commutative diagrams in TikZ
- quiver — fancier UI for creating commutative diagrams in TikZ
- Temml — convert TeX to MathML
- pdfsizeopt — shrink size of PDFs
research
- sci-hub.se, sci-hub.st, sci-hub.ru — paywalled published articles by DOI
- archive.today — paywalled news articles by original URL
- 12ft.io — paywalled news articles by original URL
- libgen.rs, libgen.is, libgen.st — mostly textbooks and ebooks
- z-lib — more textbooks and ebooks
- Anna’s Archive — comprehensive archive encompassing much of the above
- Web of Science (UBC, UPenn) — institution-paid (if you’re lucky) article index
- CS PhD Stipend Rankings: stipend and cost of living data for CS PhDs at US universities
media
- cobalt — download media anywhere
- How to Convert — in-browser file conversion
- Songlink/Odesli — link to a song on all streaming services
- remove.bg — remove background from images
- Dither Me This — various dithering methods
- gifiddle — correct-to-spec GIF viewer
- Subtitle Tools — sync, convert, and combine subtitle files
- MapartCraft — Minecraft mapart generator
- tumelune — viewer for Mastodon and Twitter archives
- PDSls — AT protocol explorer
#posting
- Shapecatcher — handwritten symbol recognizer for Unicode characters
- Unicode Toys — find and transform Unicode text
- You wouldn’t steal a meme — generator for “You wouldn’t steal a car” template
- Zohran for New York City — generator for Zohran Mamdani’s mayoral campaign logo template
- Carbon — generate syntax highlighted code as images
- markdown PLUS — extended markup for cohost (may it rest in peace)
- prechoster — preprocessor for HTML + CSS in cohost (may it rest in peace)
- pointfree-wasm — convert Haskell into pointfree Haskell (wasm version)
CLI tools
wikis
- PL Conferences — dates and deadlines for upcoming PL conferences
- 1lab — univalent mathematics in Cubical Agda
- PLS lab — programming, logic, and semantics encyclopedia
- Camera-wiki — reference guide for all cameras
- IMSLP — public domain sheet music
- TripSit — guides and information for harm reduction
- Megathread — anything and everything
webpages
- syntax across languages — comparison of syntaxes categorized by feature
- Cantor’s attic — infinite ordinals and cardinals
- Erich’s Packing Center — packing 2D shapes within other shapes
- sphere distribution problem — arranging points evenly on a sphere
- TLCA List of Open Problems — open problems on typed lambda calculi
- Logic Matters – guides to resources for (and, recently, textbooks on) logic and category theory
- Is My MP a Landlord? — database of Canadian MPs and their investments
- CameraQuest — profiles of cameras, mostly rangefinders and SLRs
- 125px Tech Documents — technical documents from various photographic film manufacturers
- CleanAirCrew — resources for air filtration, ventilation, and masking
- Optimize your Biology — product reviews for lighting products
- PinLord — guides for making custom enamel pins and other merch
Rocq
Agda
Lean
Haskell
Conor McBride
- Epilogue (previously here) — posts by the Epigram team from 2005 – 2011
- pigworker in a space — blog posts
- websites at Strathclyde and strictlypositive.org
other
- Non-regular Parameters are OK — Guillaume Allais, Feburary 2025
- Why must inductives be strictly positive? — Vilhelm Sjöberg, 9 April 2015
- Inductive–Recursive Descriptions — Larry Diehl, 4 August 2014
(anti)tech
- You no longer need JavaScript — lyra rebane, 28 August 2025
- To Kill a Dragon: Video Games and Addiction — Joey Schutz, 23 February 2025
- The hardest working font in Manhattan — Marcin Wichary, 14 February 2025
- The Subprime AI Crisis — Edward Zitron, 16 September 2024
- I Will Fucking Piledrive You If You Mention AI Again — Ludicity, 19 June 2024
- Why I Lost Faith in Kagi — lori, 2 April 2024
- A guide to potential liability pitfalls for people running a Mastodon instance — Denise, 20 November 2022
- A look at search engines with their own indexes — Seirdy, 10 March 2021
- Here is the article you can send to people when they say “But the environmental issues with cryptoart will be solved soon, right?” — Everest Pipkin, 3 March 2021
- Ditherpunk — The article I wish I had about monochrome image dithering — Surma, 4 January 2021
- Text Rendering Hates You — Aria Desires, 28 September 2019
- A Spectre is Haunting Unicode — Paul O’Leary McCann, 29 July 2018
- Return of the Obra Dinn (forum post on dithering) — Lucas Pope, 23 November 2017
- The mystery of the phantom reference — Anne-Wil Harzing, 26 October 2017
- A guide to PNG optimization — Cosmin Truţa, 10 May 2008
medicine
- Vitamin D & Omega-3 have a larger effect on depression than antidepressants — nicky case, 28 January 2026
- You Have Seen This Before — emymin, 10 June 2024
- How 3M Executives Convinced a Scientist the Forever Chemicals She Found in Human Blood Were Safe — Sharon Lerner, 20 May 2024
- Breaking Off My Chemical Romance — P.E. Moskowitz, 23 March 2022
- Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine — Bert Hubert, 25 December 2020
society
- The Dark Secrets Behind the Neil Gaiman Allegations — Lila Shapiro, 13 January 2025
- ACM Profits Considered Harmful — William J. Bowman, 25 July 2024
- The Syncophant — Lorna Finlayson, 21 September 2023
- Why Legal Immigration is Nearly Impossible — David J. Bier, 13 June 2023
- So you want to apologize… now what? — Sage A. Sharp, 20 April 2021
- Wealth, shown to scale — Matt Korostoff, 3 April 2021
- Everyone Is Beautiful and No One Is Horny — Raquel S. Benedict, 14 February 2021
other
- Coffee in Vancouver — James Yoo, 24 August 2023
- How Millennials Killed Mayonnaise — Sandy Hingston, 11 August 2018
- Things I Won’t Work With, Derek Lowe, series
accumulative lists
- board games — started 3 November 2022
- metazooa — started 7 June 2025
- coffee + ice cream — started 3 January 2025
- apples — started 30 October 2024
- gummy candies — started 18 June 2025
- film photos (via quotes) — started 7 November 2024
- music stats — started 20 November 2024
- picrew — started 27 August 2022
- top tweets — list is complete
topics
- xmpp — February 2026
- The Pitt — January 2026
- Letterkenny — January 2026
- Hades — September 2025
- neovim — July 2025
- CDNs — July 2025
- Dredge — July 2025
- plastics — May 2025
- House MD — December 2024
- boots — January – June 2022
discussions
- constructivity & Lean’s type theory — 6 February 2026
- Haskell HUGS — 25 September 2025
- intersection types — 14 August 2025
- registers — 13 September 2024
- quotient inductive types — 20 May 2024
- refinement types — 11 May 2024
- quotient types — 21 March 2024
software
- this website: Jekyll (maybe Zola one day??)
- fonts ⬎
- this website: Atkinson Hyperlegible Next, Julia Mono, STIX2Math
- locally: IBM Plex Sans, Fira Code Mono, Iosevka, MLModern
- CJK: open 粉圓, 自由香港
- browser: Librewolf, IronFox
- terminal: kitty + Oh My Zsh
- editor: Neovim (for now…) + Obsidian
- PDF viewer: Okular BUT Evince has link previews
- reference management: Zotero
- password management: Bitwarden
- media:
VLCit broke on me :( so I’m using Haruna in the meantime - keyboard layouts: Fcitx with Rime and a custom LaTeX table
- Minecraft: Prism Launcher
ℹ️ The below are mostly paid products; none of them are sponsored!
goods
- camera film: Dirt Cheap Film
- coffee grinder: 1Zpresso Q2/S mini
- soy milk: Edensoy
- jeans: swrve
- shoes: Allbirds ReRun, Canada West Boots
- pencil: Pilot 2020 Super Grip 0.5mm
services
- film lab: Kerrisdale Cameras (Vancouver), PhotoLounge (Philly)
- puzzles: Puzzmo
- domain name registrar: Glauca Digital
- VPN: CCrypto VPN (dw it’s not cryptocurrency) with WireGuard
- website hosting: NearlyFreeSpeech† (dw it’s not freeze peach)
- streaming entertainment: Dropout
†not currently in use