corpus.blog
41554 blogs · [ { "id": "01a0874a-bab5-7396-8187-dd60e3eba190", "title": "All about Servant", "url": "https://blog.metatheorem.org/published/2025-11-20-Servant.html", "published_at": "2025-12-08T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c3209daeee6", "title": "Some notes on programming with Linear Haskell", "url": "https://blog.metatheorem.org/published/linear-haskell.html", "published_at": "2025-08-20T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320ab2d6ad", "title": "A review of “E-coaching Ecosystem: Design and Effectiveness Analysis of the Engagement of Remote Coaching on Athletes”", "url": "https://blog.metatheorem.org/published/2022-12-13-ECoaching-Ecosystem.html", "published_at": "2022-12-13T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320b372dc7", "title": "Movement Correction and Remote Coaching: A New Research Program", "url": "https://blog.metatheorem.org/published/2022-11-12-Correction.html", "published_at": "2022-12-07T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320be5e97c", "title": "Fitness: What is a movement?", "url": "https://blog.metatheorem.org/published/2022-09-10-What-is-a-movement.html", "published_at": "2022-09-10T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320c8fc6a5", "title": "Open Questions in the Accessibility of Programming with Vision Impairments", "url": "https://blog.metatheorem.org/published/2022-09-09-Blind-PL-Lit-Review.html", "published_at": "2022-09-09T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320cab82ee", "title": "Glanceable Visualizations on Smartwatches", "url": "https://blog.metatheorem.org/published/2022-09-01-Smartwatch-Viz.html", "published_at": "2022-09-01T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320cfce5b7", "title": "SODBeans: A debugger for people with vision impairments", "url": "https://blog.metatheorem.org/published/2022-08-25-SODBeans.html", "published_at": "2022-08-25T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320d96b3c9", "title": "Indexed Operations", "url": "https://blog.metatheorem.org/published/2022-08-25-Indexed-Ops.html", "published_at": "2022-05-04T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320e12f8a1", "title": "I’m Recruiting a PhD Student", "url": "https://blog.metatheorem.org/published/2021-30-04-PhD-Student-Ad.html", "published_at": "2021-04-26T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320e9762c3", "title": "From monads to comonads and back", "url": "https://blog.metatheorem.org/published/Monads-From-Comonads.html", "published_at": "2021-01-29T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320f045834", "title": "A brief history of graded modalities", "url": "https://blog.metatheorem.org/published/Graded-History.html", "published_at": "2021-01-27T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320a483622", "title": "Who came up with semantic brackets?", "url": "https://blog.metatheorem.org/published/Semantic-Brackets.html", "published_at": "2021-01-18T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320e51d9b1", "title": "Universal Properties", "url": "https://blog.metatheorem.org/published/Universal_Properties.html", "published_at": "2021-01-02T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c3210326bf8", "title": "New Blog Infrastructure", "url": "https://blog.metatheorem.org/published/2020-12-15-Blog-Infrastructure.html", "published_at": "2020-12-15T00:00:00+00:00" }, { "id": "01a0874a-bab6-700e-b133-1c320dc76b39", "title": "An update on CHI 2022", "url": "https://medium.com/@harley.eades/an-update-on-chi-2022-73042ad8d51a", "published_at": null }, { "id": "01a0874a-bab6-700e-b133-1c320f57cb88", "title": "Category Theory Notes", "url": "https://blog.metatheorem.org/published/CT-Notes.html", "published_at": null } ] posts Claim your blog
Back to blog.hde.design
Blog · corpus.blog/blogs/blog.hde.design/posts

blog.hde.design

blog.hde.design

2025

All about Servantoriginal ↗
8 Dec 2025
Some notes on programming with Linear Haskelloriginal ↗
20 Aug 2025

2022

A review of “E-coaching Ecosystem: Design and Effectiveness Analysis of the Engagement of Remote Coaching on Athletes”original ↗
13 Dec 2022
Movement Correction and Remote Coaching: A New Research Programoriginal ↗
7 Dec 2022
Fitness: What is a movement?original ↗
10 Sept 2022
Open Questions in the Accessibility of Programming with Vision Impairmentsoriginal ↗
9 Sept 2022
Glanceable Visualizations on Smartwatchesoriginal ↗
1 Sept 2022
SODBeans: A debugger for people with vision impairmentsoriginal ↗
25 Aug 2022
Indexed Operationsoriginal ↗
4 May 2022

2021

I’m Recruiting a PhD Studentoriginal ↗
26 Apr 2021
From monads to comonads and backoriginal ↗
29 Jan 2021
A brief history of graded modalitiesoriginal ↗
27 Jan 2021
Who came up with semantic brackets?original ↗
18 Jan 2021
Universal Propertiesoriginal ↗
2 Jan 2021

2020

New Blog Infrastructureoriginal ↗
15 Dec 2020

Undated

An update on CHI 2022original ↗
—
Category Theory Notesoriginal ↗
—