Yaron (Ron) Minsky (@yminsky) / X

Yaron (Ron) Minsky

8,519 posts

Yaron (Ron) Minsky

@yminsky

Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky

Joined June 2009

Yaron (Ron) Minsky
@yminsky
Aug 3
I thought this was an illuminating thread about the current state of AI as it relates to both math and computer science
Shriram Krishnamurthi (primary: Bluesky)
@ShriramKMurthi
Aug 2
For a while programming looked most under AI threat, but suddenly mathematics has taken pole position. My theory for why is 2-fold: 1. Math has had 1000s of years to get to clean formulations. 2. Math is self-contained: no "network misconfigured", etc. to gum up the works. ↵
Yaron (Ron) Minsky
@yminsky
Jul 31
Ok, this is in fact amazingly good. claude.ai/share/1caa35ab…
Patrick McKenzie
@patio11
Jul 31
Underrated LLM use case: if you have an expert conversation in almost any context you can feed a transcript/notes to an LLM and ask some variant of “What didn’t they tell me” to explore around space at higher level than you’d have access to w/o the expert’s seed context.
Yaron (Ron) Minsky
@yminsky
Jul 31
This is a cool blog post: antithesis.com/blog/2026/find… The basic result is that running Antithesis on a bunch of Raft implementations still finds bug, despite formal verification at the protocol level.
Finding bugs in Raft implementations | Antithesis
From antithesis.com
Yaron (Ron) Minsky
@yminsky
Jun 24
A fun chat with with Jacob Baskin about software architecture, mechanism design, and systems design.
Yaron (Ron) Minsky
@yminsky
Jun 21
The latest OCaml release (5.5) has some great stuff. Module dependent functions are a big step, and we've been waiting for it to land foreeever. Polymorphic parameters is great too.
discuss.ocaml.org
OCaml 5.5.0 released
We have the pleasure of celebrating the birthday of Blaise Pascal by announcing the release of OCaml version 5.5.0. Some of the highlights in OCaml 5.5.0 are: Module-dependent Functions Modules can...