Michael Chavinda

@mschav.bsky.social

Curious about many things

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.

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.

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.

Bild

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.

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...

[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...

discourse.haskell.org

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.

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).