Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Michael Chavinda

@mchav@mastodon.social
mastodon 4.8.0-nightly.2026-10-06
  • Open on mastodon.social

I enjoy conversations about local politics, languages, pan Africanism, and software development.

0 Followers
0 Following
11 Posts
Joined September 25, 2023
Threads:
https://www.threads.net/@insta.chav?xmt=AQGzcOdTYpLLpI7Mb0NiisCrqSqOFiQ4Wqgix8LY7UXJU3w
Open post
Michael Chavinda @mchav@mastodon.social
· 10mo ago
Replying to
@defuneste@fosstodon.org @jonocarroll@fosstodon.org that comment thread was quite the ride.
2
0
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 10mo ago
Replying to
@haskell@fosstodon.org @dburke@mastodon.social you down to dust off hvega?
1
1
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 11mo ago

@jonocarroll@fosstodon.org would appreciate if you joined as an advisor or tastemaker of sorts.

https://datahaskell.org/blog/2025/11/11/welcome-to-datahaskell.html

datahaskell.org
1
2
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 25mo ago
Replying to
@davidzipper I think people know this and consider it a safety feature. I pointed it out to a friend and they said "well other people should get bigger cars too."
3
4
1
0
Open post
Michael Chavinda @mchav@mastodon.social
· 25mo ago
Replying to
@swope @davidzipper agreed but sadly ethics can't regulate people's behavior at scale. Probably need better legislation.
2
1
1
0
Open post
Michael Chavinda @mchav@mastodon.social
· 17mo ago
Replying to
Tutorials in the repo: https://github.com/mchav/dataframe
github.com
0
0
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 6mo ago

I’ve been thinking a lot about how to scale symbolic regression: this seems like a plausible direction.

https://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?

0
0
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 11mo ago

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

https://mchav.github.io/iris-classification-in-haskell/

mchav.github.io
0
0
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 12mo ago

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

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

https://github.com/mchav/dataframe/blob/feature_engineering/app/Main.hs#L32

github.com
0
0
0
0
Open post
Michael Chavinda @mchav@mastodon.social
· 13mo ago

Starting a series on programming synthesis

https://mchav.github.io/an-introduction-to-program-synthesis/

mchav.github.io
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 18:06:04 UTC