Aside from the contact information in my CV, here are where you can find me online.

academic

social

LaTeX

• 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

media

• cobalt — download media anywhere
• 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

#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
• 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.io — convert Haskell into pointfree Haskell

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

• Rocq manual
  • SSReflect manual
• Ott manual
• Coqhammer

Agda

• Agda manual
  • emacs mode
• agda-stdlib index

Lean

• Lean documentation
• Lean reference
• mathlib4 documentation
• Lean 4 Web

Haskell

• Hoogle
• GHC user’s guide
• Haskell 2010 report
  • Precedences and fixities of prelude operators
• Haskell 98 report

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
  • Let’s see how things unfold: reconciling the infinite with the intensional
  • Grins from my Ripley Cupboard
  • The Derivative of a Regular Type is its Type of One-Hole Contexts
  • Perhaps Not The Answer You Were Expecting But You Asked For It (An Accidental Blook)

other

• Why must inductives be strictly positive? — Vilhelm Sjöberg, 9 April 2015
• Inductive–Recursive Descriptions — Larry Diehl, 4 August 2014

(anti)tech

• 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) — 23 November 2017
• A guide to PNG optimization — Cosmin Truţa, 10 May 2008

medicine

• 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