• The Coinbase post was 100% right. Here's what you can do about it https://parametricity.com/posts/2020-power/ 21 comments 30/9/2020
• Show HN: Walk around unusual geometries http://parametricity.com/pages/diffgeo/Main.html 34 comments 29/7/2015

• Using complexity theory to prove things in representation theory https://parametricity.com/posts/rep-theory-np.html 8 comments 8/6/2017 math
• A "type theoretic" principle for reasoning about smooth bundles over manifolds http://parametricity.com/posts/riemannian-manifolds.html 5 comments 21/9/2016 math
• Walk around unusual geometries http://parametricity.com/pages/diffgeo/main.html 25 comments 28/7/2015 math
• String diagrams, traversables, and positive braids http://parametricity.com/posts/2015-07-18-braids.html 11 comments 20/7/2015 haskell
• Exhaustiveness checking in n + 2 easy steps http://parametricity.com/posts/2015-05-04-exhausting.html 7 comments 5/5/2015 haskell