Yaron (Ron) Minsky
8,437 posts
Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads.
@[email protected]
@yminsky.bsky.social
threads.net/@yaronminsky
Joined June 2009
- I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
- Your periodic reminder that Jane Street is an amazing place to work, especially if you're interested in programming languages.
- Just blew my 17yo kid's mind. Had him benchmark walking an array in linear order vs randomized order, to bypass prefetching. He thought he knew how a computer works, kind of. Now he knows he doesn't. (And I don't really, either.)
- Can someone explain why copilot is a good idea? My expectation is that it will write plausible looking code that is fairly often wrong, sometimes subtly so. I guess it's appealing if you're in a painfully verbose language, but it doesn't seem like any way to live.
- A paper on Jane Street's work on modal memory management has been accepted at ICFP! Read on if you want to see how we're trying to bring Rust style memory management to OCaml, in a simpler and lighter style, with interference that works reliably! antonlorenzen.de/mode-inference…
- Jane Street loves Python, and we're looking to hire people with deep experience building dev tools for Python at scale. More here! janestreet.com/join-jane-stre…
- Want to help build the future of functional programming? The OCaml Language team at Jane Street is doing groundbreaking work on making OCaml a better language for high-performance programming, while preserving the ease-of-use that makes OCaml great today.
- A fun page on some of the kinds of performance engineering work we do at Jane Street. janestreet.com/performance-en…
- I'm pleased to announce that Signals and Threads is back for a new season! This time I got a chance to talk with Richard Eisenberg, who works on our compilers team.
- A thing that people may not realize is how new some of the OxCaml extensions are. We are on the verge of rolling our very first data race free parallel program into production. Almost no one at Jane Street knows how to use this stuff yet!
- So, this is cool: treecalcul.us A very simple intensional calculus. A simple, privileged programming language where functions can be analyzed, serialized, etc.
- This is. such a fun talk from @ixyene! All about system jitter and how to hunt it down. Also, it features a cameo appearance from magic-trace.org, my favorite profiling tool that no one has heard of.
- Hot take: currying is bad.
