Michael Chavinda

ulwazi-exh9dbh2exbzgbc9.westus-01.azurewebsites.net/lab/tree/Iri...

Bro you speak like 13 languages.

Does Marimo support languages outside of Python? Also what’s the integration process?

Continuing the series on program synthesis:

mchav.github.io/an-introduct...

As cultural beings, we are echoes of the past: even our most personal thoughts, emotions, and experiences are mediated by words, images, and ideas we inherited from previous generations. Your mind was born and started growing many thousands of years before your body.” Francois Chollet

Wrote a new article where I checkpoint the work we’ve done so far enabling Kaggle style EDA-to-model workflows in Haskell.

Covers Jupyter notebooks, dataframes, charting and machine learning with the iris dataset as the working example.

mchav.github.io/iris-classif...

It’s telling that we use this as meaningless filler text for the internet - a system driven almost entirely by the pursuit and marketing of pleasures.

Lorem ipsum is taken from an excerpt about stoicism which says:

“The wise man, therefore, always holds in these matters to this principle of selection: he rejects pleasures to secure other greater pleasures, or else he endures pains to avoid worse pains.”

Polars helps coping with black swan events at La Mobilière DataFrames for the new era

Swiss insurer La Mobilière refactored their risk model to Polars, achieving 5-10x speedups and enabling actuaries to run millions of simulation years on laptops. A scale previously unfeasible with pandas due to memory and single-core limitations.

pola.rs/posts/case-m...

The MIT program synthesis class finally has problem sets. I’ll dedicate most of the fall/winter to completing it.

people.csail.mit.edu/asolar/Synth...

On the bright side the things I’m good at are things I’ve inadvertently dedicated a lot of time to. Maybe the trick is just to be more aware of how my time is spent.

There are a lot of things I wish I had the discipline to learn over the years. I convinced myself I needed the right mentor or book. Years later, more has been lost from indecision than wrong decision.

Thanks for that context. @nickseagull.bsky.social i didn’t know you were basically a serial entrepreneur.

Rebooting the work started by @ocramz.bsky.social with dataHaskell

Come through: discord.gg/UXcv5Eaz

This is such a subtle bug. In code this dense I tend to try and be as explicit as possible about my structures and types. Maybe the wrong takeaway but it would have been less of a headache to either: show explicitly what the two tuples components are and/or have a separate function this this.

“When a full-service grocer leaves a neighborhood, it doesn’t just take away a shopping option; it reshapes the local food landscape. Competition shrinks, which means prices rise and choices narrow. Families end up paying more whether they stay local or spend extra time and money traveling farther.”

Everything is converging to the same syntax.

Doing important things with AI is misguided. We use tasks to build context. That context begets creativity and problem solving in the future. Doing stuff is both a creational and transformative process. AI is faster but using it undercuts the most important investment you could make in your task.

YouTube video by Samthing Soweto - Topic Come Duze

Samthing Soweto to start the morning

youtu.be/42mq448-arg?...

dataframe/app/Main.hs at feature_engineering · mchav/dataframe A fast, safe, and intuitive DataFrame library. Contribute to mchav/dataframe development by creating an account on GitHub.

Have some pretty cool examples of feature engineering using program synthesis on Haskell data frames.

Give a function space, we run a breadth first search to find what functions (and their compositions) have the highest correlation with a target variable.

github.com/mchav/datafr...

The Inaugural North America Haskell Hackathon North American Hackathon The Haskell Foundation is proud to announce the inaugural AmeriHac, a two day haskell hackathon, with this iteration being in New York City! Jane Street has kindly offered to ...

#AmeriHac – The hackathon by the #Haskell Foundation in New York City has been announced for the 7th and 8th of February 2026!

discourse.haskell.org/t/the-inaugu...

Starting a series on program synthesis:

mchav.github.io/an-introduct...

Starting my foray into program synthesis and data wrangling.

Currently trying to implement some interesting papers.

Check out @andrewlamb1111.bsky.social 's talk at the recent Iceberg meetup for a condensed overview of the the new Variant type coming to Parquet #apacheparquet #apachearrow

Considering deleting my LinkedIn. I’ve never liked the app and it’s kind of a cesspool.

I asked ChatGPT to roast me and it actually hurt my feelings. lol.

That’s fair actually.

Sure but Americans also over-consume. So a tax on consumption is fine for a cultural reset.

“The beginning” by them is really cinematic!

Thank you!