@bsky.app.profile.yminsky.bsky.social@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Site URL: bsky.app/profile/yminsky.bsky.social
Feed URL: bsky.app/profile/did:plc:jhnchvs2ckihq2w5nz5oioxm/rss
Posts: 12
Followers: 1
https://bsky.app/profile/yminsky.bsky.social/post/3lrf4u25bys2a
Published: June 12, 2025 04:52
Fun talk preparation trick: use Claude Code to create HTML animations for complex diagrams I want. Talk it through, explain in English, maybe even share a snapshot of a hand-draw diagram to get it going. It takes some babysitting, but the results are…
https://bsky.app/profile/yminsky.bsky.social/post/3lrchcqtsts2n
Published: June 11, 2025 03:22
I was recently reminded of this old post, highlighting how broken IEEE NaNs are. Really, ML and its descendents had the right idea here, and everything else is kinda broken. …
https://bsky.app/profile/yminsky.bsky.social/post/3lqapwmpfss2p
Published: May 28, 2025 17:25
A new Signals and Threads just dropped, with @ianthehenry.bsky.social! This one is about building tools for traders, but it also has some fun dives into Ian's personal projects, including bauble.studio and janet.guide. Anyway, more here: …
https://bsky.app/profile/yminsky.bsky.social/post/3lq5khglyls2m
Published: May 27, 2025 11:09
I'm curious if anyone could summarize for me the state of evidence on the utility of type systems in reducing software faults. I'm aware of and even the source of some of the anecdotal evidence, but I'm curious if there's anything even vaguely…
https://bsky.app/profile/yminsky.bsky.social/post/3lq3bsk7dua22
Published: May 26, 2025 13:29
Wild stuff. [contains quote post or other embedded content]
https://bsky.app/profile/yminsky.bsky.social/post/3lpzidqj5uc2w
Published: May 25, 2025 20:21
I've been talking with @avsm.bsky.social about this, and he makes a cool point about OCaml and AI-assisted programming. Which is that OCaml's beautiful interface language gives you a nice way to interact with an agent: first make mli's, then write…
https://bsky.app/profile/yminsky.bsky.social/post/3lpzie4w5xk2w
Published: May 25, 2025 20:21
The other great thing about AI-assisted programming in OCaml is expect tests. They give you a great way of making the behavior of your program visible, both to you, and to the AI. It provides a valuable feedback loop that the AI can leverage in all sorts…
https://bsky.app/profile/yminsky.bsky.social/post/3lprgrhjzw22g
Published: May 22, 2025 15:32
A periodic reminder: Jane Street is hiring front-end devs! https://janestreet.com/join-jane-street/position/6184529002/ It's a different flavor of front-end work than you might see elsewhere, but it's great if you love UIs, FP, and type systems that are…
https://bsky.app/profile/yminsky.bsky.social/post/3lpmchlm4hs2x
Published: May 20, 2025 14:31
An epic hack, getting OCaml running on a TI-84+ CE calculator. https://farlow.dev/2025/05/17/ocaml-on-calculator
https://bsky.app/profile/yminsky.bsky.social/post/3lorrro6nds2f
Published: May 10, 2025 01:23
Such a pleasure hosting this at Jane Street! [contains quote post or other embedded content]
https://bsky.app/profile/yminsky.bsky.social/post/3loll3jv7kc2t
Published: May 7, 2025 14:08
And please repost/share with folk you think might be interested! [contains quote post or other embedded content]
https://bsky.app/profile/yminsky.bsky.social/post/3lolkxpamn22t
Published: May 7, 2025 14:05
If you're interested in editors and developer tools, consider applying to Jane Street! It might be an especially good fit if you're an excited vim or vscode user who would love working on making those experiences better for a den of functional programmers.