Andrey Mokhov
@andreymokhov
From engineering to abstract mathematics and back
You might like
Excited to say that we're looking to hire someone to focus on OxCaml education! We're doing enough to change the language that we have a pretty big internal education task ahead of us, and we want to hire someone to focus on it! Please share this with others!
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.
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…
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 :)
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…
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.
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
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.
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
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:
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.
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…
A fun post about using HardCaml for solving Advent of Code on an FPGA. blog.janestreet.com/advent-of-hard…
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!
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…
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…
What programming languages do you think are the most beautiful and the ugliest? For me: Most beautiful: Haskell Ugliest: Python
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…
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…
New James Somers! Not a drill. Perfect weekend read. newyorker.com/magazine/2024/…
United States Trends
- 1. Thanksgiving 362K posts
- 2. Fani Willis 8,124 posts
- 3. Trumplican 2,386 posts
- 4. Golesh 1,478 posts
- 5. Elijah Moore N/A
- 6. Hong Kong 72.6K posts
- 7. Stranger Things 153K posts
- 8. #wednesdaymotivation 6,367 posts
- 9. Ruth 13.6K posts
- 10. #Wednesdayvibe 3,370 posts
- 11. #WednesdayWisdom 1,105 posts
- 12. Khabib 5,304 posts
- 13. Karoline Leavitt 27.3K posts
- 14. Nuns 9,911 posts
- 15. Mora 22.3K posts
- 16. Ribs 11.3K posts
- 17. #BurnoutSyndromeSeriesEP1 268K posts
- 18. #Thankful 1,463 posts
- 19. Guinea-Bissau 11.8K posts
- 20. Good Wednesday 35.2K posts
You might like
-
João Forte Carvalho @Conste11ation
@bgamari -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Graham Hutton
@haskellhutt -
Joachim Breitner
@nomeata -
Nikita Volkov
@NikitaYVolkov -
Phil Freeman
@paf31 -
Andres Löh
@kosmikus -
Matt Parsons
@mattoflambda -
gelisam
@haskell_cat -
Vladislav Zavialov
@int_index -
Veronika Romashkina
@vrom911 -
Tikhon Jelvis
@tikhonjelvis -
Jeremy Gibbons
@jer_gib -
Dominic Orchard
@dorchard -
Dad×2_jack
@Iceland_jack
Something went wrong.
Something went wrong.