41554 blogs · [ { "id": "01a087a3-2df3-7357-80cf-d4599af10754", "title": "Context complexity: what is the Big-O of an agent API?", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/context-complexity/", "published_at": "2026-08-26T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599b6793a3", "title": "A first look at token efficiency", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/a-first-look-at-token-efficiency/", "published_at": "2026-04-24T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599bce564c", "title": "Pandas feels clunky coming from R. What about Haskell?", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/being-less-clunky/", "published_at": "2026-04-18T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599c3f7fe8", "title": "Grow and mow: interpretable models with boosting, symbolic regression and e-graphs", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/grow-and-mow/", "published_at": "2026-04-09T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599cbafb1a", "title": "Type-level programming is still programming", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/type-level-programming-is-still-programming/", "published_at": "2026-04-04T00:00:00+00:00" }, { "id": "01a087ac-de76-724b-9fc5-476f73f289b9", "title": "Linklog | What Category Theory Teaches Us About DataFrames", "url": "https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/", "published_at": "2026-03-29T12:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599cc5e42f", "title": "What Category Theory Teaches Us About DataFrames", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/what-category-theory-teaches-us-about-dataframes/", "published_at": "2026-03-28T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599d3c782d", "title": "Learning better decision tree splits - LLMs as Heuristics for Program Synthesis", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/learning-better-decision-tree-splits/", "published_at": "2026-01-16T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599e338274", "title": "Installing docker on a Chromebook", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/installing-docker-on-chromebook/", "published_at": "2025-11-20T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599f1780c3", "title": "An introduction to program synthesis (Part II) - Automatically generating features for machine learning", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/an-introduction-to-program-synthesis-part-ii/", "published_at": "2025-11-04T00:00:00+00:00" }, { "id": "01a087a3-2df3-7357-80cf-d4599ff0c632", "title": "Progress towards Kaggle-style workflows in Haskell", "url": "https://mchav.github.io/mchav.github.io/context-complexity/mchav.github.io/iris-classification-in-haskell/", "published_at": "2025-10-13T00:00:00+00:00" } ] posts Claim your blog

Back to Michael Chavinda – A collection of my thoughts on the various topics I find myself interested in.

Blog · corpus.blog/blogs/mchav.github.io/posts

Michael Chavinda – A collection of my thoughts on the various topics I find myself interested in.

mchav.github.io

2026

Context complexity: what is the Big-O of an agent API?original ↗

26 Aug 2026

A first look at token efficiency original ↗

24 Apr 2026

Pandas feels clunky coming from R. What about Haskell?original ↗

18 Apr 2026

Grow and mow: interpretable models with boosting, symbolic regression and e-graphs original ↗

9 Apr 2026

Type-level programming is still programming original ↗

4 Apr 2026

Linklog | What Category Theory Teaches Us About DataFrames original ↗

29 Mar 2026

What Category Theory Teaches Us About DataFrames original ↗

28 Mar 2026

Learning better decision tree splits - LLMs as Heuristics for Program Synthesis original ↗

16 Jan 2026

2025

Installing docker on a Chromebook original ↗

20 Nov 2025

An introduction to program synthesis (Part II) - Automatically generating features for machine learning original ↗

4 Nov 2025

Progress towards Kaggle-style workflows in Haskell original ↗

13 Oct 2025