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@mschav.bsky.social
Curious about many things
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 ๐ 0Where 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 ๐ 0Small 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...
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 ๐ 0All is data science
www.datahaskell.org/blog/2025/12...
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 ๐ 0Okay. 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 ๐ 0The 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.
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 ๐ 0I 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 ๐ 0In 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 ๐ 0Great 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 ๐ 0Just 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...
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 ๐ 1That 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 ๐ 0Learning 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 ๐ 0Pivoting a lazy frame is such a crazy feat. Congratulations.
10.12.2025 07:44 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Layoutz โ 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-...
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:
Great article that gives a quick run through of Hasktorch.
www.stackbuilders.com/insights/has...
Article to checkpoint where we are with the Haskell Jupyter kernels.
www.datahaskell.org/blog/2025/11...
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 ๐ 0You 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โ
Great to see Ingo still looking into the project.
19.11.2025 21:13 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Thereโs something beautiful at the end of all this. I just know it.
12.11.2025 01:40 โ ๐ 7 ๐ 1 ๐ฌ 0 ๐ 0ulwazi-exh9dbh2exbzgbc9.westus-01.azurewebsites.net/lab/tree/Iri...
07.11.2025 14:11 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Bro you speak like 13 languages.
06.11.2025 21:28 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0Does Marimo support languages outside of Python? Also whatโs the integration process?
05.11.2025 22:59 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Continuing 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
20.10.2025 01:53 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0