Andrey Mokhov @andreymokhov
From engineering to abstract mathematics and back blogs.ncl.ac.uk/andreymokhov England Joined January 2011-
Tweets2K
-
Followers2K
-
Following180
-
Likes26K
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…
@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!
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…
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… https://t.co/OHAtnuQ09j
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…
@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…
New James Somers! Not a drill. Perfect weekend read. newyorker.com/magazine/2024/…
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.
I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…

Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Dmitrii Kovanikov @ChShersh
42K Followers 205 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Yaron (Ron) Minsky @yminsky
15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Ty Overby @tyroverby
1K Followers 817 Following There is a three car pile-up at the intersection of Art and Technology
Luc Tielen @luctielen
1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Виталий Бра... @_bravit
16K Followers 1K Following Автор Haskell in Depth. JetBrains. @VBragilevsky (en), https://t.co/D4PmysRyUM (ru)
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
João Forte Carvalho ... @bgamari
2K Followers 315 Following Director of Product @Constellation Network
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Elijah Shen @ElijahShen1
5 Followers 68 Following
poletphilter @PoletPhilter
0 Followers 520 Following
arge12 @geier_1
0 Followers 78 Following
contemporary pervert @pervert002
2 Followers 267 Following
Ada obi Loveth @AdaobiLove10353
28 Followers 621 Following
Yongming Han @yongming_han
31 Followers 2K Following
Richard Warburton ☕ @RichardWarburto
7K Followers 1K Following Cofounder of @OpsianApp, Maintainer of Artio (High Performance Open Source FIX engine), Software Developer, Book Author, PhD, Londoner
Oreshnik @oreshnik__
16 Followers 292 Following
K.C.Brawley / Softwar... @kcb_swe
5 Followers 39 Following Father of two lively, vibrant children and 4 rescue dogs. I enjoy spending time with my family and learning.
Ywhorxi @Ywhorxi455
46 Followers 3K Following
Bas @basketticode
4 Followers 675 Following
Saeid Akbari @saeidscorp
6 Followers 20 Following
James Mattly @MattlyJame20975
32 Followers 1K Following
Will Lynas @will_lynas_9
71 Followers 478 Following
Abdouliejarju @jarjua530
703 Followers 7K Following A young boy who cares about my family and trying to make ends meet and live a good life
Jorge Zaccaro · 张�... @boolpath
529 Followers 1K Following blazing trails in search for the memex · writing #Clojure @griffinbank · native 🇨🇴 speak 🇺🇸🇨🇳 learn #elixirlang 🇮🇹🇰🇷
Dmitry Skvortsov @DVSkvortsov
4 Followers 141 Following
David De Vargas @DavidDeVargas
80 Followers 616 Following Frontend Web Dev • https://t.co/a3nq1U8qSZ • ✝️
Robin Nabel @RobinNabel
13 Followers 367 Following
Yashika Badaya ☀️ @YashikaBadaya
2K Followers 2K Following Software Engineer - ex-@AWS, @JuniperNetworks | she/her 👧 | Opinions my own ✨🧡 | On a mission to help engineers get their dream jobs
GV @govenkat2022
9 Followers 364 Following Building cool AI infra @anyscalecompute Machine Learning Engineer Ex-@Meta, ex-@MSFT thoughts my own
TimeSeriesTigress @Bubamara420
95 Followers 657 Following successfully submitted application to HRT, SIG, JS, DRW, JT, 2S 👑
leo poulson @leo___poulson
284 Followers 676 Following
Alex @AleKra__
12 Followers 580 Following
Manish Gill @mgill25
3K Followers 6K Following Databases | Kubernetes | Compilers | EM @ClickHouseDB | https://t.co/12g8segwjE | https://t.co/worpODcnLt | Prev: AI Research @TomTom |
a @AsherMancinelli
222 Followers 617 Following NVIDIA compiler engineer, these opinions are exclusively my own
Belackarad @belackarad
3 Followers 106 Following
David Pritchard @dapritchard_
92 Followers 297 Following Causal inference, machine learning, and Bayesian statistics. Aspiring programmer in R, Haskell, C++, and Python, master of none. Linux and Emacs user.
Kunal @aroralanuk
770 Followers 1K Following eng @eco | past @hyperlane @ucsandiego | always learning
geoff @GeoffreyHuntley
55K Followers 3K Following looking for my next role. no longer @ampcode? email [email protected]
Tejas Saboo @tejassaboo
316 Followers 1K Following ML Researcher at MD Anderson Cancer Center | Prev Trader at North Cut Trading (Quantlab)
fathead @jo_cl06
2K Followers 934 Following PL and Comp. Intelligence. I write software for tablets in your fav hotels
James Thompson @jamesjamtho
355 Followers 4K Following High performance data, particularly array processing, time series, graph stores, geospatial and finance. Latency nut, metaprogramming obsessive.
Joe Ward @BoxCarLabs
620 Followers 3K Following Techie with a hankering for great food, competitive sports, and all things cloud/AI☁️Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Dmitrii Kovanikov @ChShersh
42K Followers 205 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Yaron (Ron) Minsky @yminsky
15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Ty Overby @tyroverby
1K Followers 817 Following There is a three car pile-up at the intersection of Art and Technology
Luc Tielen @luctielen
1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Виталий Бра... @_bravit
16K Followers 1K Following Автор Haskell in Depth. JetBrains. @VBragilevsky (en), https://t.co/D4PmysRyUM (ru)
Tikhon Jelvis @tikhonjelvis
3K Followers 249 Following I like programming languages. A lot. Tools, types and functions.
Jakub Bachurski @JakubBachurski
17 Followers 27 Following
Lawrence Wong @LawrenceWongST
103K Followers 338 Following Prime Minister of Singapore, Minister for Finance and Member of Parliament for Marsiling–Yew Tee GRC.
teej dv 🔭 @teej_dv
75K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG
Tom Schrijvers @schrijvers_tom
460 Followers 121 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"
Joel Shepherd Author @ShepJoel
4K Followers 1K Following Author of 22 Science Fiction & Fantasy novels, most recently 'The Spiral Wars'. Volunteer firefighter. International Relations, science, cool stuff.
Max Bautin @MaxBautin
216 Followers 190 Following Partner/cofounder at IQ Capital, leading early stage deeptech VC in London/Cambridge.
Alexander Vershilov @qnikst_en
53 Followers 107 Following Head of software development department at https://t.co/JMsMOwPngp. Making a full featured education platform. Techlist: Haskell, Nix, k8s, TypeScript, Python.
leehsienloong @leehsienloong
895K Followers 29 Following Senior Minister in the Prime Minister’s Office and Member of Parliament for Ang Mo Kio GRC. I sign off my own posts with my initials LHL.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Andy Gordon @AndrewDGordon
2K Followers 996 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Borys Minaiev @bminaiev
1K Followers 260 Following Building reasoning models @OpenAI. ICPC World Champion
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
ARCHIVED - NASA's Per... @NASAPersevere
3.0M Followers 39 Following This account has been archived. Follow @NASAMars to get the latest updates on the Perseverance rover’s mission.
Nathan Mishra-Linger @rnml0
39 Followers 126 Following Our animal. The good doctor. Opinions are not property
Shane Fleming @0x0000002a
93 Followers 119 Following Welsh/Irish (Wirish) Dad/Researcher@AMD/Honorary Lecturer @CompFoundry. Interested in building tools for custom digital hardware for HPC and edge.
Альпинистк�... @morgon_god
3K Followers 243 Following горы, кошка Флиска. телеграм со всяким там моим https://t.co/2LLjgkEEV7
Richard Eisenberg @RaeHaskell
3K Followers 149 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Егор @borisov103
8K Followers 89 Following Упоение сражением часто превращается в сильную и неизлечимую зависимость, потому, что Война - это наркотик. 🚑
Sandra Dylus @ichistmeinname
282 Followers 399 Following Computer Science PhD student with interest in functional programming languages
Emilio J. Gallego Ari... @ejgallego
480 Followers 724 Following Researcher. ejgallego @ https://t.co/omifD2hrhR and https://t.co/ZmOOsqM0fP ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
Jorge Vicente Cantero @jvican
2K Followers 339 Following Compulsive learner, eater and powerlifter. I work on large-scale ML feature infrastructure, currently at @netflix, formerly a developer tools and compilers guy.
Anton Trunov @falsenov
745 Followers 591 Following Compiler and formal methods engineer (Coq, TLA+, Rust, OCaml); now building @tact_language, previously @swaylang, @zilliqa and @IMDEA_Software
Geoff Merrett @g_merrett
164 Followers 66 Following Professor of Electronic and Software Systems and Deputy Head of School (Research) in @ECSUoS at @UniSouthampton. https://t.co/VjYCY2e2yV
Ludmila Glinskih @lglinskih
502 Followers 89 Following Doctor of Philosophy in Theoretical Computer Science, ex-princess
Jacques Carette @jjcarett2
2K Followers 934 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Timothy Gowers @wtgow... @wtgowers
48K Followers 183 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 728 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 505 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator