Sign in

Michael Chavinda

@mschav.bsky.social
81 followers 59 following 153 posts

Curious about many things

PostsRepliesMedia
Michael Chavinda @mschav.bsky.social · 22/09/2026
Haskell parquet features now tracked on the official parquet site: parquet.apache.org/docs/file-fo...
parquet.apache.org
Implementation status
This page summarizes the features supported by different Parquet implementations. Note: If you find out of date information, please help us improve the accuracy of this page by opening an issue or sub...
063
Michael Chavinda @mschav.bsky.social · 30/08/2026
It was an amazing talk.
120
Michael Chavinda @mschav.bsky.social · 26/08/2026
Some thoughts on what I call context complexity: mchav.github.io/context-comp...
mchav.github.io
Context complexity: what is the Big-O of an agent API?
TLDR; small, local models are a good instrument for measuring what a harness costs an agent. an API is only as good as its outputs’ specificity, parsimony, and truthfulness. obvious code repair...
020
Michael Chavinda @mschav.bsky.social · 17/08/2026
I just watched the whole of this. I think ideas are canonicalized in a few different ways. E.g in Haskell the handle pattern as an architectural pattern. Sometimes things will transcend languages and become more general patterns e.g mapreduce
110
Michael Chavinda @mschav.bsky.social · 15/08/2026
Zurihac talk is up: youtu.be/WpDVrUdbT2o?...
youtu.be
Can Haskell Become a Great Language for Data Science? | Michael Chanvinda | ZuriHac 2026
YouTube video by OST – Ostschweizer Fachhochschule
031
Reposted by Michael Chavinda
Haskell programming language @haskell.org · 28/07/2026
On the blog: "Quick tips for fast iteration in #Haskell" by Tom Ellis & Laurent P. René de Cotret blog.haskell.org/quick-tips-f...
blog.haskell.org
Quick tips for fast iteration in Haskell | The Haskell Programming Language's blog
Quick tips about tools and techniques for fast iteration when developing Haskell
0124
Michael Chavinda @mschav.bsky.social · 24/07/2026
Prompting is really a form a brainrot.
040
Reposted by Michael Chavinda
Gordon Padelford @gordonofseattle.bsky.social · 08/07/2026
Who needs some good news today? @pikeplacemarket.bsky.social is introducing a "Locals Night" every Wednesday evening through September 9th where there will be a farmers market on the street and many businesses will be open later than usual! You love to see it. www.pikeplacemarket.org/events-calen...
produce on pike flyerBusinesses staying open late on Wednesdays include:

Grocery & Shops
Darras – until 7pm
Delaurenti Food & Wine – until 6pm
Don & Joe’s Meats – until 6pm
Golden Age Collectables – until 7pm
Le Panier – until 6pm
Made in Washington – until 6pm
Pike and Western Wine – until 6pm
Ventures Marketplace – until 7pm
Woodring Northwest – until 6pm

Restaurants & Entertainment Venues
Alibi Room – until 2am
Bottega Gelato – until 9pm
El Borracho – until 9pm
Lonely Siren – until 12am
Pike Place Bar & Grill – until 10pm
Il Bistro – until 2am
Le Pichet – until 9pm
Matt’s in the Market – until 10pm
Maximilien – until 9pm
Mee Sum Pastry – until 7pm
Old Stove Brewing – until 10pm
Pike Place Chinese Cuisine – until 9pm
Piroshky Piroshky – until 7pm
Pizza and Pasta Bar – 9:30pm
Rachel’s Ginger Beer – until 9pm
Radiator Whiskey –  until 10pm
Taproom at Pike Place – until 10pm
The Rabbit Box – until 12am
The Pink Door – 11:30pm
Unexpected Productions – 10pm
Urara – until 8pm
Virginia Inn – until 9pm
16316
Michael Chavinda @mschav.bsky.social · 02/07/2026
Models are programs A motivation and brief tour of dataframe-learn. At its best DataHaskell is a place for these kind of cross-cutting experiments. www.datahaskell.org/blog/2026/07...
datahaskell.org
Models are programs
OverviewWe present dataframe-learn, a machine learning library where the output of training models is symbolic expressions. We first motivate why symbolic mo...
000
Reposted by Michael Chavinda
Flavio 🏴‍☠️ @flaviocorpa.com · 24/06/2026
I recently really enjoyed @mschav.bsky.social's talk at #ZuriHac so I tried to reproduce this chart in Sabela (a Jupyter-notebook-like project for #Haskell) seems like this Mbappé guy is not so bad either! 🤭
094
Michael Chavinda @mschav.bsky.social · 22/06/2026
Before we solve data workflows in Haskell we have to teach people Haskell. sabela.datahaskell.com/c/1ea40000
sabela.datahaskell.com
Learn You a Haskell for Great Good!
Curated reactive Haskell notebooks.
0184
Michael Chavinda @mschav.bsky.social · 14/06/2026
sabela.datahaskell.com Sabela now has a community gallery. The highlighted examples show that Haskell can be a good tool for exploratory work.
sabela.datahaskell.com
Sabela Community Gallery
Curated reactive Haskell notebooks.
042
Michael Chavinda @mschav.bsky.social · 30/05/2026
Great read. How’d you see the biology parallel to begin with?
110
Michael Chavinda @mschav.bsky.social · 30/05/2026
It’s pretty annoying that LLMs like to use the construction “X is real”.
000
Michael Chavinda @mschav.bsky.social · 25/04/2026
A small experiment comparing token efficiency between Haskell and Python. Not rigorous at all but I’ll follow it up eventually. mchav.github.io/a-first-look...
mchav.github.io
A first look at token efficiency
A while ago I saw the article Which languages are most token efficient. The article was largely discredited since it didn’t have a clear methodology. Unfortunately, I haven’t come up with one yet but ...
020
Michael Chavinda @mschav.bsky.social · 23/04/2026
So I guess the lesson, in the end, was mine to learn. Don’t try and sell people a tool. Try and solve their problems and always lead with that.
000
Michael Chavinda @mschav.bsky.social · 23/04/2026
Not a profound lesson but it’s good to remind oneself. People (usually) care about solving problems and learning about the world. Tools are secondary. Any narrative that flips this setup won’t stick.
130
Michael Chavinda @mschav.bsky.social · 23/04/2026
Whereas something like this (a more general topic that uses Haskell as a conduit for an idea) does well: mchav.github.io/what-categor...
mchav.github.io
What Category Theory Teaches Us About DataFrames
Every dataframe library ships with hundreds of operations. pandas alone has over 200 methods on a DataFrame. Is pivot different from melt? Is apply different from map? What about transform, agg, apply...
120
Michael Chavinda @mschav.bsky.social · 23/04/2026
Something like this post works poorly because it makes people antagonistic: mchav.github.io/being-less-c...
mchav.github.io
Pandas feels clunky coming from R. What about Haskell?
Some years ago I came across an issue in the Frames repo that mentioned a blog post titled “Why pandas feels clunky when coming from R.” The article showed a side-by-side of simple data exploration in...
110
Michael Chavinda @mschav.bsky.social · 23/04/2026
I’ve been doing a small social experiment on how to best to market Haskell (dataframe) to non Haskell programmers. It seems engagement and stars go up when the article doesn’t foreground Haskell but instead uses it as a conduit for a larger concept.
140
Michael Chavinda @mschav.bsky.social · 15/04/2026
Anyone work with time series data professionally? Either modeling or data engineering? Have some questions and would appreciate a call.
000
Reposted by Michael Chavinda
Seattle Streets Alliance @streetsalliance.bsky.social · 13/04/2026
Lake Washington Blvd will be open to people & closed to car traffic every weekend this summer from Memorial Day to Labor Day! The predictable schedule makes it easier walk, bike, roll, along, or drive to the boulevard. Thank you Mayor Wilson, community advocates, and Rainier Valley Safe Streets.
Illustrated poster from Seattle Parks & Recreation promoting “Bicycle Weekends 2026.” 

The scene shows a person riding a bike and another walking along a scenic path with mountains, trees, and flowers. Text reads: “Bike, walk, or roll with us on Lake Washington Blvd! No cars on select dates,” followed by dates in May through September.
0183
Michael Chavinda @mschav.bsky.social · 10/04/2026
Will this be streamed?
010
Michael Chavinda @mschav.bsky.social · 10/04/2026
Why do I take this personally? www.reddit.com/r/dataengine...
reddit.com
sisyphus's comment on "Why is everything in Java & Scala?"
Explore this conversation and more from the dataengineering community
010
Reposted by Michael Chavinda
April Verrett @seiupres.bsky.social · 09/04/2026
Using your debt, your search history, and your private data to decide how much you’re worth? Hell no. This is what happens when technology is built to serve profit instead of people. This is why every worker needs a union.
25161472138
Michael Chavinda @mschav.bsky.social · 09/04/2026
I’ve been thinking a lot about how to scale symbolic regression: this seems like a plausible direction. mchav.github.io/grow-and-mow/
mchav.github.io
Grow and mow: interpretable models with boosting, symbolic regression and e-graphs
This post is the convergence of two ideas that have been floating in my head for about a year. Can we learn messy stochastic models and use algorithmic/algebraic tools to rein in model complexity to make models interpretable?
010
Michael Chavinda @mschav.bsky.social · 03/04/2026
With more and more code being written by AI I think human coding will mostly be for prototyping and brain storming. Notebooks will become a much more important developer interface. So I mixed interactivity, Lean, Haskell, and Python into a single notebook runtime sabela.datahaskell.com
sabela.datahaskell.com
Sabela
020
Michael Chavinda @mschav.bsky.social · 29/03/2026
I took a crack at category theory + dataframes. I find the difficulty with reading and writing about this kind of stuff is that it's really hard to communicate what the "point" is. Hopefully it all makes sense: mchav.github.io/what-categor...
mchav.github.io
What Category Theory Teaches Us About DataFrames
Every dataframe library ships with hundreds of operations. pandas alone has over 200 methods on a DataFrame. Is pivot different from melt? Is apply different from map? What about transform, agg, apply...
1144
Michael Chavinda @mschav.bsky.social · 27/03/2026
I've been looking at symbolic regression for some time now. I think most genetic approaches would benefit from large e graph databases to reduce the search space. Having to start every search from scratch every time seems silly.
010
Reposted by Michael Chavinda
Haskell programming language @haskell.org · 22/03/2026
Today is a great day for some major news! DataFrame v1.0.0.0 has been officially released! Step up your exploratory data analysis in #Haskell with Typed data frames, direct connection to HuggingFace data sets, and Python integration through Apache Arrow. discourse.haskell.org/t/ann-datafr...
discourse.haskell.org
[ANN] dataframe 1.0.0.0
It’s been roughly two years of work on this and I think things are in a good enough state that it’s worth calling this v1. Features Typed dataframes We got there eventually and I think we got there i...
0283
Michael Chavinda @mschav.bsky.social · 13/03/2026
Either is fine. Anything that won't be infected
000
Michael Chavinda @mschav.bsky.social · 13/03/2026
Anyone know what could be a good second career? Even if coding makes it out of the AI era I fear it won’t be interesting.
101
Michael Chavinda @mschav.bsky.social · 11/03/2026
This is almost exactly how you'd do in Haskell dataframes with some macro trickery though.
000
Michael Chavinda @mschav.bsky.social · 03/03/2026
Started a new position @coreweave.bsky.social working on @marimo.io
000
Michael Chavinda @mschav.bsky.social · 02/03/2026
Sometimes you gotta do the boring thing that gets the job done. www.datahaskell.org/blog/2026/03...
datahaskell.org
Sabela: A Reactive Haskell Notebook
Overview
091
Reposted by Michael Chavinda
Haskell programming language @haskell.org · 24/02/2026
Sabela - A reactive Notebook for #Haskell by the DataHaskell project Announcement: discourse.haskell.org/t/ann-sabela... Github Repository: github.com/DataHaskell/...
discourse.haskell.org
[ANN] sabela - A reactive Notebook for Haskell
Sabela is a reactive notebook environment for Haskell. The name is derived from the Ndebele word meaning “to respond.” The project has two purposes. Firstly, it is an attempt to design and create a mo...
094
Michael Chavinda @mschav.bsky.social · 22/01/2026
I gotta starting taking cold showers before a job interview for a job that I want - wash off the smell of desperation.
010
Michael Chavinda @mschav.bsky.social · 20/01/2026
Where would Haskell sit here? There's a way to write it such that you can balance human and machine readability.
000
Michael Chavinda @mschav.bsky.social · 17/01/2026
Small experiment: treat feature engineering as program synthesis, then use an LLM as a lightweight prior over which derived quantities are “nameable.” The learner stays classical; the artifact gets way more readable. mchav.github.io/learning-bet...
mchav.github.io
Learning better decision tree splits - LLMs as Heuristics for Program Synthesis
A lot of tabular modeling gets easier the moment you stumble onto the right derived quantity. Not something mysterious or “deep.” It’s usually something you can name: a ratio that turns two raw column...
000
Michael Chavinda @mschav.bsky.social · 29/12/2025
Symbolic AI is built on the premise that models should be presented in terms that are understandable to us. When you interact with a symbolic system you learn something about the reality that it tries to model. That alone makes symbolic approaches worth betting on in the long term.
000
Michael Chavinda @mschav.bsky.social · 26/12/2025
All is data science www.datahaskell.org/blog/2025/12...
datahaskell.org
Exploring GHC profiling data in Jupyter
Exploratory data analysis (EDA) isn’t just for data scientists. Anyone that uses a system that emits data can benefit from the tools of EDA. And since charit...
062
Michael Chavinda @mschav.bsky.social · 24/12/2025
On the flip side some Haskell can get extremely dense and people can do crazy with types. Enough so that they become a distraction from the actual logic. Same with inheritance in Java. Line by line go is typically very readable. More broadly would be a matter of experience and taste.
000
Michael Chavinda @mschav.bsky.social · 24/12/2025
Okay. I guess we agree that it’s readable by some definition. I think the broader definition of readability (blocks of code) depends on style guide, domain knowledge, and team context more than programming language.
010
Michael Chavinda @mschav.bsky.social · 24/12/2025
The trade off is that you get: - very readable code - good, predictable performance - fast compile times - a lot of built in tooling (go profile + bench are great) I admit that it’s easy to write bad code but we invested in linters a style guide and tests so we don’t deal with the ugly parts.
111
Michael Chavinda @mschav.bsky.social · 23/12/2025
I write go at work and I think it’s a great language in general. What do you dislike about it?
100
Michael Chavinda @mschav.bsky.social · 21/12/2025
I find that working with Haskell developers often involves trying to make them think more like engineers - conversely working with Go and Python developers often involves trying to make them think like scientists.
030
Michael Chavinda @mschav.bsky.social · 21/12/2025
In software it’s often important to distinguish between solving the scientific problem (how do we make this generalize for all instances of the problem) versus the engineering problem (how do we make this work for the environment we anticipate it’ll be used in).
130
Michael Chavinda @mschav.bsky.social · 20/12/2025
Great article! The fix also really outlines that contributions don’t have to be hundreds of lines of code to be impactful.
020
Michael Chavinda @mschav.bsky.social · 18/12/2025
Just updated the dataframe SQL library to auto generate expression bindings from the table types. The read input surface is looking pretty great now: CSV, JSON lines, Parquet and now various SQL DBs. hackage.haskell.org/package/data...
hackage.haskell.org
dataframe-persistent
Persistent database integration for the dataframe library
1101
Reposted by Michael Chavinda
Haskell programming language @haskell.org · 10/12/2025
The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.
discourse.haskell.org
State of Haskell 2025
Hello everyone! The Haskell Foundation is reviving @taylorfausak’s State of Haskell Survey. It’s been a few years and so we’re doing it a bit differently, but the plan is to start doing this yearly a...
12819