Michael Chavinda's Avatar

Michael Chavinda

@mschav.bsky.social

Curious about many things

54 Followers  |  45 Following  |  124 Posts  |  Joined: 15.02.2024  |  2.0276

Latest posts by mschav.bsky.social on Bluesky


I gotta starting taking cold showers before a job interview for a job that I want - wash off the smell of desperation.

22.01.2026 00:10 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Where would Haskell sit here? There's a way to write it such that you can balance human and machine readability.

20.01.2026 16:49 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
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...

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

17.01.2026 06:24 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.

29.12.2025 05:21 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
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...

All is data science

www.datahaskell.org/blog/2025/12...

26.12.2025 14:55 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

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.

24.12.2025 09:55 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.

24.12.2025 09:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.

24.12.2025 03:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I write go at work and I think itโ€™s a great language in general. What do you dislike about it?

23.12.2025 14:45 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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.

21.12.2025 05:38 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

21.12.2025 05:38 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Great article! The fix also really outlines that contributions donโ€™t have to be hundreds of lines of code to be impactful.

20.12.2025 13:00 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
dataframe-persistent Persistent database integration for the dataframe library

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

18.12.2025 11:30 โ€” ๐Ÿ‘ 10    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
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...

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.

10.12.2025 20:14 โ€” ๐Ÿ‘ 27    ๐Ÿ” 19    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

That said Iโ€™ve been procrastinating writing this Parquet writer for months cause hand rolling thrift is so painful. Also implementing RLE/bit packing + the whole dremel level stuff is tiring. But it is the boring thing that must be done.

10.12.2025 07:48 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Learning how to do the necessary but boring skill is underrated. It pays off so much in the long run.

10.12.2025 07:46 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Pivoting a lazy frame is such a crazy feat. Congratulations.

10.12.2025 07:44 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
@hackage โ€บ layoutz โ€” Flora.pm Simple, beautiful CLI output for Haskell

Layoutz โ€“ A tiny zero-dep lib for beautiful #Elm-style TUI's in #Haskell ๐Ÿชถ

flora.pm/packages/@ha...

www.reddit.com/r/haskell/co...

discourse.haskell.org/t/layoutz-0-...

05.12.2025 21:59 โ€” ๐Ÿ‘ 11    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Haskell IS a Great Language for Data Science Iโ€™ve been learning Haskell for a few years now and I am really liking a lot of the features, not least the strong typing and functional approach. I thought it was lacking some of the things I missed from R until I found the dataHaskell project. In this post Iโ€™ll demonstrate some of the features and explain why I think it makes for a good (great?) data science language.

Perhaps you saw the post series "Python is not a great language for data science"... well, here's

Haskell IS a Great Language for Data Science

https://jcarroll.com.au/2025/12/05/haskell-is-a-great-language-for-data-science/

#haskell :haskell:
#rstats :rstats:

05.12.2025 06:07 โ€” ๐Ÿ‘ 31    ๐Ÿ” 11    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 3
Preview
Hasktorch: LibTorch Haskell bindings for deep learning using FFI This blog post will introduce Hasktorch, a Haskell binding for deep learning. We'll explore how Hasktorch leverages Foreign Function Interface (FFI) to integrate with Libtorch. The post will demonstra...

Great article that gives a quick run through of Hasktorch.

www.stackbuilders.com/insights/has...

02.12.2025 19:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
A tale of two kernels Overview

Article to checkpoint where we are with the Haskell Jupyter kernels.

www.datahaskell.org/blog/2025/11...

26.11.2025 07:53 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

These are all really great improvements! Do you have a sense of which change proportionally drove this number down the most?

26.11.2025 07:51 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

You just reminded me to call my mother.

I usually type in variations of โ€œhereโ€, โ€œnow Iโ€™m hereโ€ or โ€œbet you thought you wouldnโ€™t find me hereโ€

21.11.2025 16:01 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Great to see Ingo still looking into the project.

19.11.2025 21:13 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Thereโ€™s something beautiful at the end of all this. I just know it.

12.11.2025 01:40 โ€” ๐Ÿ‘ 7    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
JupyterLab

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

07.11.2025 14:11 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Bro you speak like 13 languages.

06.11.2025 21:28 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Does Marimo support languages outside of Python? Also whatโ€™s the integration process?

05.11.2025 22:59 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
An introduction to program synthesis (Part II) - Automatically generating features for machine learning Introduction This post kicks off the second part of a hands-on series about program synthesis. Weโ€™ll apply the previously explored technique (an enumerative bottom-up search) to a slightly more realis...

Continuing the series on program synthesis:

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

05.11.2025 15:06 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

20.10.2025 01:53 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@mschav is following 20 prominent accounts