https://blog.metatheorem.org2025-12-8https://blog.metatheorem.org2025-12-08Notes on how servant works.https://blog.metatheorem.org2025-12-02Notes on how servant works.https://blog.metatheorem.org2025-12-02Notes on how servant works.https://blog.metatheorem.org2025-11-29Notes on how servant works.https://blog.metatheorem.org2025-11-29Notes on how servant works.https://blog.metatheorem.org2025-11-29Notes on how servant works.https://blog.metatheorem.org2025-11-25Notes on how servant works.https://blog.metatheorem.org2025-11-25Notes on how servant works.https://blog.metatheorem.org2025-11-21Notes on how servant works.https://blog.metatheorem.org2025-08-20So I’m learning about Linear Haskell for some new project ideas I have brewing, and I thought, why not just add it to a note on the OLD blog!https://blog.metatheorem.org2021-01-18A short post about the history of semantic brackets.https://blog.metatheorem.org2022-12-13A brief overview of the paper “e-coaching ecosystem: design and effectiveness analysis of the engagement of remote coaching on athletes” by Boratto et.~al.https://blog.metatheorem.org2022-12-07How does the correction of fitness movements methodology transfer to remote coaching?https://blog.metatheorem.org2021-01-18A short post about the history of semantic brackets.https://blog.metatheorem.org2022-11-12How does the correction of fitness movements methodology transfer to remote coaching?https://blog.metatheorem.org2022-09-10On the abstract characterization of fitness-training movements.https://blog.metatheorem.org2022-09-10On the abstract characterization of fitness-training movements.https://blog.metatheorem.org2022-09-10On the abstract characterization of fitness-training movements.https://blog.metatheorem.org2022-09-10On the abstract characterization of fitness-training movements.https://blog.metatheorem.org2022-09-10On the abstract characterization of fitness-training movements.https://blog.metatheorem.org2022-09-09I collect open questions of interest in the area of accessibility of programming with vision impairments. The questions are extracted from the paper: ‘Addressing Accessibility Barriers in Programming for People with Visual Impairments: A Literature Review’.https://blog.metatheorem.org2022-09-01About the paper ‘Glanceable Visualizations: Studies of Data Comparison Performance on Smartwatches’.https://blog.metatheorem.org2022-08-25My notes on the paper SODBeans introducing a debugger for those with vision impairments.https://blog.metatheorem.org2022-05-04Discusses a very useful combinator that combines folds and maps.https://blog.metatheorem.org2022-05-04Discusses a very useful combinator that combines folds and maps.https://blog.metatheorem.orgMedium post on my CHI 2022 trip.2022-05-04https://blog.metatheorem.orgMedium post on my CHI 2022 trip.2022-05-04https://blog.metatheorem.org2021-04-26I’m actively recruiting a PhD student for Fall 2021. Read more for the details.https://blog.metatheorem.org02-01-2021A note on universal properties and the Yoneda lemma. Updates: Added example showing representability for adjoint functors.https://blog.metatheorem.org2021-01-29A brief review of the paper ‘Monads from Comonads, Comonads from Monads’ by Ralf Hinze.https://blog.metatheorem.org2021-01-29A brief review of the paper ‘Monads from Comonads, Comonads from Monads’ by Ralf Hinze.https://blog.metatheorem.org2021-01-29A brief review of the paper ‘Monads from Comonads, Comonads from Monads’ by Ralf Hinze.https://blog.metatheorem.org2021-01-29A brief review of the paper ‘Monads from Comonads, Comonads from Monads’ by Ralf Hinze.https://blog.metatheorem.org2021-01-29A brief review of the paper ‘Monads from Comonads, Comonads from Monads’ by Ralf Hinze.https://blog.metatheorem.org2021-01-29A brief review of the paper ‘Monads from Comonads, Comonads from Monads’ by Ralf Hinze.https://blog.metatheorem.orghttps://blog.metatheorem.org2021-01-27I give a brief introduction to the history around graded modalities (graded (co)monads). Updated 2021-01-29: added Wadler:2003, Petricek:2013, and Petricek:2014.https://blog.metatheorem.org2021-01-27I give a brief introduction to the history around graded modalities (graded (co)monads).https://blog.metatheorem.org2021-01-27I give a brief introduction to the history around graded modalities (graded (co)monads).https://blog.metatheorem.org2021-01-27I give a brief introduction to the history around graded modalities (graded (co)monads).https://blog.metatheorem.org2021-01-27I give a brief introduction to the history around graded modalities (graded (co)monads).https://blog.metatheorem.orgA note on universal properties and the Yoneda lemma. Updates: Added example showing representability for adjoint functors.https://blog.metatheorem.orgA note on universal properties and the Yoneda lemma. Updates: Added example showing representability for adjoint functors.https://blog.metatheorem.org2021-01-18A short post about the history of semantic brackets.https://blog.metatheorem.org2021-01-18A short post about the history of semantic brackets.https://blog.metatheorem.orgA place for me to actively write about category theory. I’ll be writing these here on my blog rather than thinking about finished products. This makes sharing my notes eaiser, and is more fun. You are already able to follow along if you are intereted, because I’ll post updates to my RSS feed.https://blog.metatheorem.orgA place for me to actively write about category theory. I’ll be writing these here on my blog rather than thinking about finished products. This makes sharing my notes eaiser, and is more fun. You are already able to follow along if you are intereted, because I’ll post updates to my RSS feed.https://blog.metatheorem.orgA place for me to actively write about category theory.https://blog.metatheorem.orgA place for me to actively write about category theory.Xhttps://blog.metatheorem.orgA place for me to actively write about category theory.https://blog.metatheorem.orgA place for me to actively write about category theory.https://blog.metatheorem.org2020-12-15This post introduces Metatheorem’s new blog infrastructure using Pandoc, GNU Make, and a new tool called Panfeed.