Joined June 2009
- Tweets 8,469
- Following 365
- Followers 21,670
- Likes 1,795
195 Photos and videos
Jun 12
An interesting sub-thread on the value (or lack thereof) of language integration
Jun 12
"Language integrated" is a drum I've been beating on for a while [e.g. with refinement types youtube.com/watch?v=F2tYCxb3…] but in the age of LLMs I wonder if *really* matters, if the AIs are going to also be generating the proofs?
1
1
28
7,775
Yaron (Ron) Minsky retweeted
Jun 12
Hell yes
Jun 11
Our goals here are ambitious! Our hope is to make formal methods as pervasively useful of a tool for building software as sophisticated type systems are for us today.
blog.janestreet.com/formal-m…
1
1
35
7,128
Yaron (Ron) Minsky retweeted
Jun 11
Even a mixed approach is still ambitious, but it will likely be worth the effort. There are a lot of unexpected nuances to formal verification. It's a very fun field to work in!
1
6
3,186
Jun 11
Our goals here are ambitious! Our hope is to make formal methods as pervasively useful of a tool for building software as sophisticated type systems are for us today.
blog.janestreet.com/formal-m…
16
36
245
21,620
Yaron (Ron) Minsky retweeted
Jun 11
Also, it's a nice place to work, can't leave that out!
1
3
1,427
Jun 11
One natural question if you're a formal methods person: why is Jane Street the right place to do this kind of work?
I think we have two things going for us: deep control of the language we're using, and a community of programmers who are ready for this.
blog.janestreet.com/formal-m…
7
9
131
7,770
Jun 11
Of course, we can do some pretty cool things with type systems! Here's a nice talk from Dolan on that:
youtube.com/watch?v=W5li5LBY…
Indeed, our experience with agents and types is part of what makes us excited to see what we can do with yet more powerful methods.
14
93
9,058
Yaron (Ron) Minsky retweeted
Jun 11
This is super-exciting. It's a great moment for formal methods.
1
23
4,152
Jun 11
I've been telling people for 25 years that Jane Street is not interested in formal methods.
No more!
And we're actively hiring to form a new formal methods team!
29
72
1,067
120,016
Yaron (Ron) Minsky retweeted
1. In my experience, the art is in constraining agents just enough and no more.
1
1
3
1,284
Yaron (Ron) Minsky retweeted
Jun 2
Had an interview with Jane Street in 2026...
...the other kind of interview😂
Jun 1
Much fun talking with @natefoster about networks, BGP, programming languages, formal methods, and what it's like being a visiting researcher at Jane Street.
1
3
83
8,790
Jun 1
Much fun talking with @natefoster about networks, BGP, programming languages, formal methods, and what it's like being a visiting researcher at Jane Street.
5
7
110
14,788
Yaron (Ron) Minsky retweeted
Nice! And purely out of self interest, this is a nice collection of examples that I can try `bombadil terminal` on. Trying to get the opam stuff to run on NixOS now...
1
1
9
2,214
Jun 1
A fun post about the renaissance we've been seeing in terminal UIs, and some of the things we've built in service of that.
blog.janestreet.com/strace-u…
4
20
191
11,483
Yaron (Ron) Minsky retweeted
May 28
I am a huge fan of Bonsai and Bonsai_term is an incredible extension. It's an amazing way to build rich TUIs in OCaml!
blog.janestreet.com/strace-u…
2
2
46
3,735
Yaron (Ron) Minsky retweeted
May 29
BadUserBench, where all the prompts are contradictory or bad and the model has to figure out what to actually do
10
6
106
18,190
Yaron (Ron) Minsky retweeted
May 25
Expect tests are amazing for AI code review.
1
8
2,796