Max Mynter

python mines @mistralAI || rust oss when I have time || vim, nix, and haskell when i feel like it

[Max Mynter @MaxMynter]

You asked, I deliver (2 weeks late).

A blogpost about what I did over the last 18 months to sign as a research engineer at a foundation model lab.

Link and summary below

1/n

[Max Mynter @MaxMynter]

Today I signed with @MistralAI as a Research Engineer.

Hard to put into words how excited I am.

[Max Mynter @MaxMynter]

Simpler times...

[Max Mynter @MaxMynter]

Haskell Day 30

Haskell and the real world.

Worked with IO Monads, DB connections and HTTP servers.

[Max Mynter @MaxMynter]

Maybe hybris, but once I know the codebase, I don’t think AI is a better programmer than I am…

Didn’t feel that way a year ago, despite the models getting better. Kinda nice

[Max Mynter @MaxMynter]

Let me create 13 oneline helpers and a 3 focused unit tests that the booleans are actually saved in the dataclass.

I’ll also reformat this file so the linter doesn’t have to.

[David Cramer @zeeg]

codex writes the most digusting code

idk who's responsible for pre-training over there but you gotta flip the script

[Max Mynter @MaxMynter]

@typecraft_dev Tell me more

[Max Mynter @MaxMynter]

@teodorio Dude, thats 20 mins from where I am right now. Dm’d you if you wanna go for a coffee or smth

[Max Mynter @MaxMynter]

@FemboyFounder @oofdere Iirc Detectors write petabytes per second (exabytes per year) into ringbuffers but throws pit like quadruple nines with highly optimised heuristic triggers to save about a Gig per second (most of which is still uninteresting)

[Max Mynter @MaxMynter]

Why is it that instead of learning something monetizable I’m consistently drawn to studying Haskell, fluid dynamics , or shower thoughts of some old timey dudes?

[Max Mynter @MaxMynter]

@Schlaui7798458 @boersenbelfort Du kannst unemdlich viel mehr verdienen aber maximal dein ganzes einkommen Sparen…

[Max Mynter @MaxMynter]

@igorhansachat Also once you move, you will also learn to appreciate the things that were nice(r) back where you came from...

[Max Mynter @MaxMynter]

I hate that claude switches to "automatically accept edits" when you allow it to do some bash ops.

Like why would i ever want this setting to silently change?

[Max Mynter @MaxMynter]

Universal approximation theorem ?

(Though it’s not pretty…)

[Mandy Lu @mandylu]

we still have no satisfying theory for why AI works

[Max Mynter @MaxMynter]

@gabriel1 My guy….

[Max Mynter @MaxMynter]

Ironically, this paved my future career then.

The class was fun and I felt bad for not having given it an honest shot.

So a year or so later, i sat down to properly study it.

I liked it so much I ended up working at some small German AI co and now Mistral.

[Max Mynter @MaxMynter]

ML in Physics was an oral exam in my masters.
So, my lazy ass only grinded theory and then they pull up a laptop.

Couldn’t even code up an MLP. Worst grade I got in my masters (rightfully)

[Max Mynter @MaxMynter]

ML in Physics was an oral exam in my masters.
So, my lazy ass only grinded theory and then they pull up a laptop.

Couldn’t even code up an MLP. Worst grade I got in my masters (rightfully)

[Neal Parikh @npparikh]

The PhD exams are different. At Stanford I had one of these. The topics were machine learning, graphical models, and convex optimization, broad to the point of meaninglessness and my committee was Andrew Ng, Daphne Koller, and Stephen Boyd, and it was an oral so they stare.

[Max Mynter @MaxMynter]

@teodorio @DeepDishEnjoyer which one ?

"Money has always been a symbol of power and leaders put their faces on it to underline their legitimacy since antiquity" or smth like that is a sentence that really stuck with me since I read it in a book about a decade ago

[Max Mynter @MaxMynter]

Good software gives so much joy

[Max Mynter @MaxMynter]

@hkakutalua 🫡

[Max Mynter @MaxMynter]

Now stop the procrastination and back to distributed training

[Max Mynter @MaxMynter]

After 8 months of a hiatus (perils of newfound employment), I've finally implemented closures and thus finished up my Rust implementation of @thorstenball MonkeyLang

[Max Mynter @MaxMynter]

@enjojoyy goals

[Max Mynter @MaxMynter]

After 8 months of a hiatus (perils of newfound employment), I've finally implemented closures and thus finished up my Rust implementation of @thorstenball MonkeyLang