Andrey Mokhov @andreymokhov

From engineering to abstract mathematics and back blogs.ncl.ac.uk/andreymokhov England Joined January 2011

Tweets

2K
Followers

2K
Following

181
Likes

26K

Math, Inc. @mathematics_inc

3 weeks ago

Fields Medallist Terence Tao and Alex Kontorovich set this formalization challenge in January 2024. After 18 months, they announced intermediate progress in July 2025 but were blocked by core difficulties in complex analysis. Gauss broke through these barriers autonomously.

3 15 346 39K 16

Yaron (Ron) Minsky @yminsky

4 weeks ago

All in, I think of this as a really exciting space for language work. It's worth listening to Chris talk about it if you're interested! signalsandthreads.com/why-ml-needs-a…

0 3 13 2K 5

Neil Mitchell (neildmitchell @🪡) @ndm_haskell

3 months ago

Today I spent 8 hours to change 2 lines of code (github.com/facebook/pyref…). That involved: * 30,342,810 line example that caused a crash * 97 compilations * 1.3Gb of log files * 6 historic diffs * 3 computers * 2 whiteboards of notes It's like a day long logic puzzle :)

2 6 50 3K 11

Yaron (Ron) Minsky @yminsky

4 months ago

A new Signals and Threads just dropped, with @ianthehenry! 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: signalsandthreads.com/building-tools…

2 20 133 9K 47

Yaron (Ron) Minsky @yminsky

4 months ago

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 methodologically rigorous.

10 12 98 8K 22

Mike Dodds @miike

4 months ago

New-ish @galois blog: “What Works (and Doesn't) Selling Formal Methods”. The boring truth: engineers are rational and adoption is all about cost/benefit tradeoffs

1 6 31 3K 16

Download Image

Yaron (Ron) Minsky @yminsky

4 months ago

A periodic reminder: Jane Street is hiring front-end devs! janestreet.com/join-jane-stre… 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 ergonomic and reliably help you get things right.

5 15 121 14K 31

ICFP Programming Contest 2025 @icfpcontest2025

7 months ago

This year's contest will be held from Friday 5th Semptember 2025 at 12:00 UTC to Monday 8th September 2025 at 12:00 UTC. There will be a lightning division, ending on Saturday 6th September 2025 at 12:00 UTC. Details at icfpcontest2025.github.io

2 18 30 4K 3

One Happy Fellow @onehappyfellow

5 months ago

devs: “look at my code, it’s so modular, split into so many files!” me jumping between 17 files trying to find where the actual logic lives, navigating the layers of virtual function calls:

55 129 2K 89K 158

Download Gif

Yaron (Ron) Minsky @yminsky

5 months ago

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.

9 27 211 16K 54

Andrey Mokhov @andreymokhov

5 months ago

We're hosting Build Meetup 2025 in Jane Street London! If you're interested in build systems, please join us on 22nd May. There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Check out the programme and register here: share.hsforms.com/2-kAtpya7SouXm…

3 13 36 9K 13

Yaron (Ron) Minsky @yminsky

6 months ago

A fun post about using HardCaml for solving Advent of Code on an FPGA. blog.janestreet.com/advent-of-hard…

1 21 141 8K 62

Graham Hutton @haskellhutt

6 months ago

@tritlo Monads are a simple algebraic structure with two operations and three laws. That’s it. No maths student ever complained that groups are too difficult to understand, and they have more things to remember. CS just need to grow up and stop demonising simple abstractions!

17 31 240 11K 35

effectfully @effectfully

8 months ago

20 31 579 22K 21

Download Image

Andrey Mokhov @andreymokhov

8 months ago

I don't recommend developing two build systems, and then switching from one to the other, but that's what we at Jane Street accidentally did. And what a journey it was! In the end, we're finally using Dune to build all our 70M+ lines of OCaml & Python 🙌 blog.janestreet.com/how-we-acciden…

5 9 152 19K 62

Edward Kmett @kmett

10 months ago

As if any Haskeller is going to be content with just that... The solution will devolve into one of three other derangements: fib = 0:1:zipWith(+) fib (tail fib) A longer pointfree version of the same using fix and zipWith (+) <*> tail. Let me guess, now that that puzzle has…

zack (in SF) @zack_overflow

10 months ago

234 30 873 303K 222

Download Image

13 12 115 18K 43

Download Image

Graham Hutton @haskellhutt

10 months ago

FP folks - 10 fully funded PhD studentships available in Nottingham! Please share, and pass on to excellent students who may be interested in joining the Functional Programming Lab. people.cs.nott.ac.uk/pszgmh/10-phds…

0 16 25 3K 4

Thomas D @tthomasdd

10 months ago

@int_index following the money allows you to follow many interests outside of programming. there is more to life than programming in Haskell. I used to be like you, but haven't touched Haskell in years, and I have to say, my life is so much better. if you insist on being a "Haskell…

3 4 11 2K 1

Thorsten Ball @thorstenball

10 months ago

New James Somers! Not a drill. Perfect weekend read. newyorker.com/magazine/2024/…

0 2 26 5K 21

Yaron (Ron) Minsky @yminsky

11 months ago

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.