Gary Trakhman
banner
gtrak.bsky.social
Gary Trakhman
@gtrak.bsky.social
20 years of 2004 experience.

Software Engineer, owns a 3d printer, tries to work out sometimes. Pretty good at VR table tennis.

Currently learning Rust. Programming should be fun.

mastodon.social/@gtrak
hellsite/@gtrakGT
Also traits. Sometimes I miss ocaml functors in rust, but in ocaml I always missed all kinds of polymorphism. FCMs were too awkward to use regularly.
November 5, 2025 at 9:25 PM
I worked in Ocaml for five years, and I had a lot of surface criticisms but mostly liked it and would again.

Rust can do most of the same stuff and is more productive on some key dimensions that have nothing to do with memory safety or the borrow checker. Libraries, community, and flexibility.
November 5, 2025 at 6:53 PM
Why call other build systems instead of rewrite them?
October 22, 2025 at 7:28 PM
I've seen this in ocaml, eg starting up an async scheduler:

let () =
don't_wait_for (main ());
never_returns (Scheduler.go ())

never_returns is an uninhabited type.

I don't know how it works in rust.
October 21, 2025 at 1:04 PM
I work there but I would like to know more about the camera
October 14, 2025 at 11:39 PM
HM type inference is a set of defaults you work within, not something you have expend mental load to keep doing like tests.

I don't want to forget to handle an error case, I don't have to remember to write any test assertions that types give me for free.

Less smug, more fear.
September 30, 2025 at 2:55 AM
Some people simply can't take a week off, but if you can, you're making more money that week.
September 26, 2025 at 1:31 PM
The nerdiest part of me loves that i get linter warnings in rust when one variant is too big, advising me to box.
September 25, 2025 at 7:51 PM
Yeah, I guess if I were that kid, I would think of nothing else than getting the hell out of there for years. It's a sad situation, I agree that the gauntlet of requirements isn't the best this can go.
September 24, 2025 at 11:56 PM
I don't think that's common knowledge, at least I didn't know it.
September 24, 2025 at 11:32 PM
Fair, didn't consider that puberty could be something to fear or that there is some time sensitivity to it at all.
September 24, 2025 at 11:30 PM
There's a few more years to go
September 24, 2025 at 11:26 PM
Genuine question as a dad, sometimes my kids don't know what they're doing (4 and 2, maybe it gets better). Should you make sure they don't do something they regret, and when exactly would you call it?

But my take is at 18, they're adults and can take my advice or not and do what they want with it.
September 24, 2025 at 1:52 PM
intersecting sets
September 10, 2025 at 8:43 PM
TIL
May 29, 2025 at 12:20 PM
dank - missing nOse - God - Eww
April 30, 2025 at 3:33 PM
Forbidden crepe
April 7, 2025 at 11:08 AM