Yaron (Ron) Minsky
@yminskyOccasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2
Similar User
@kc_srk
@kmett
@headinthebox
@tweagio
@tarides_
@welltyped
@bgamari
@avsm
@galois
@GabriellaG439
@lexi_lambda
@BartoszMilewski
@icfp_conference
@haskellhutt
@racketlang
I’ve been wishing I could rewatch this one — it was such a crowd pleaser at the Jane Street PL day last year! So glad it’s on YouTube now.
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. youtu.be/I_TtMk5z0O0?si…
I think engineers greatly underestimate the importance of developer marketing. We instinctively dislike the idea that a project's success could be impacted by anything other than technical merit. But explaining what your project is / why it matters is like... very important!
@yminsky apparently it is impossible for our industry to collectively agree on a single term for this type of testing 😂
I think programmers struggle to have civil debates about the tradeoffs between different programming languages because we tend to consider the ecosystem we work in to be part of our identity. It’s good to avoid that kind of thinking.
Jane Street has started up our tech talk series after a pandemic-driven hiatus. Our first talk is from @charliermarsh of Ruff fame, talking about how they made uv, their new package manager for Python, so fast! youtu.be/gSKTfG1GXYQ?si…
Paper idea: "The unreasonable effectiveness of lambda calculus"
A fun page on some of the kinds of performance engineering work we do at Jane Street. janestreet.com/performance-en…
On the subject of ML models, Jane Street is sponsoring a kaggle! kaggle.com/competitions/j…
I had a lot of fun talking with @yminsky about GPU performance (go brrr!) and the common pitfalls to avoid. signalsandthreads.com/the-uncertain-…
A new Signals and Threads! This one is an interview with the great @GuggerSylvain, all about making GPUs go brrr... signalsandthreads.com/the-uncertain-…
A new Signals and Threads episode, this one about how Production Engineering works at Jane Street, with the excellent Liora Friedberg: signalsandthreads.com/solving-puzzle…
A fun post about how we approach developer education at Jane Street. You know, just the usual things: how to use perf and magic-trace to understand performance, how to use awk, strace, and gdb, defunctionalization and continuation-passing style... blog.janestreet.com/developer-educ…
PyTorch has historically been super slow for a lot of "small" RL workloads, but the reason is kinda dumb. RL often uses tiny neural networks, and end up ridiculously CPU overhead bound. Luckily, with cudagraphs and torch.compile, we often see >5x speedups! I remember the first…
Today we're opensourcing a LeanRL, a simple RL library that provides recipes for fast RL training using torch.compile and cudagraphs. Using these, we get >6x speed-ups compared to the original CleanRL implementations. github.com/pytorch-labs/l… A thread ⬇️
Big day for @open_phil yesterday! We launched the Lead Exposure Action Fund, a new partnership between 10 philanthropies that have jointly committed over $100 million to a pooled fund to address lead exposure. Less importantly, I also convinced my coworkers that I own a suit. 🧵
One of Open Philanthropy’s goals is to collaborate more often with other funders. Today, we’re excited to announce our biggest collaboration to date – the Lead Exposure Action Fund (LEAF). Lead exposure causes an estimated 1.5 million deaths each year. But until recently, total…
If you live in a polyglot distributed hellscape then debuggers will be less useful, but distilling your problems into a single task and using a debugger is a superpower.
some other changes: 2D SDFs custom cameras multisampled repetition anti-aliasing tons of new primitives async compilation and rendering GLSL escape hatch better quad view lights are better in every way more flexible notation mesh export i'm tired
So glad we got to host this. Also, as part of the workshop, Brian Nigito gave a short talk about Netkit, our high performance networking library, a pure OCaml library that lets you plug in multiple backends, including our own user-level TCP/IP stack. Fun stuff...
We had a fun time selecting the program at the hybrid PC Meeting for HotNets ‘24, with east and west-coast “pods” hosted by Microsoft and Jane Street respectively. Here’s the great @avsm presenting during the post-PC Meeting Workshop, and the amazing view out our window🗽
Great stuff here!
OCaml platform newsletter covering activities from Jun to Aug is here! discuss.ocaml.org/t/ocaml-platfo… Lots of excellent work from @tarides_ folks towards improving the OCaml platform tools.
More working with @evilkid than me! Very excited about this.
📢 I'll be spending time at @JaneStreetGroup working with @yminsky and co. building tools for high-performance hardware design before starting at @MIT_CSAIL! JS folks combine a deep appreciation for formalisms with high-performance design goals; a perfect fit for my research!
United States Trends
- 1. Jake Paul 1,02 Mn posts
- 2. #Arcane 209 B posts
- 3. Jayce 43,1 B posts
- 4. #SaturdayVibes 2.557 posts
- 5. Serrano 244 B posts
- 6. Vander 13,8 B posts
- 7. Good Saturday 22,6 B posts
- 8. #HappySpecialStage 81,8 B posts
- 9. maddie 18,2 B posts
- 10. #saturdaymorning 1.825 posts
- 11. Jinx 99,9 B posts
- 12. Isha 32,4 B posts
- 13. #SaturdayMood 1.205 posts
- 14. Canelo 17,6 B posts
- 15. Rizwan 7.754 posts
- 16. Woop Woop 1.214 posts
- 17. Father Time 10,7 B posts
- 18. The Astronaut 29,2 B posts
- 19. Super Tuna 21,5 B posts
- 20. Babar 11,2 B posts
Who to follow
-
KC Sivaramakrishnan
@kc_srk -
Edward Kmett
@kmett -
Erik Meijer
@headinthebox -
Tweag
@tweagio -
Tarides
@tarides_ -
Well-Typed
@welltyped -
Ben Gamari
@bgamari -
Anil Madhavapeddy
@avsm -
Galois
@galois -
gabby
@GabriellaG439 -
Alexis King
@lexi_lambda -
Bartosz Milewski
@BartoszMilewski -
ICFP Conference
@icfp_conference -
Graham Hutton
@haskellhutt -
Racket
@racketlang
Something went wrong.
Something went wrong.