Log inSign up
Neil Mitchell (neildmitchell @🪡)
3,885 posts
Neil Mitchell (neildmitchell @🪡) profile banner
@ndm_haskell

Neil Mitchell (neildmitchell @🪡)

@ndm_haskell
Haskell/Rust programmer. Views expressed are my own.
Cambridge/London, UK
ndmitchell.com
Joined March 2010
163
Following
5,351
Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • @ndm_haskell
    Neil Mitchell (neildmitchell @🪡)
    @ndm_haskell
    Jul 4, 2025
    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 :)
    Image
    Avoid cycles when inferring return types · facebook/pyrefly@cec0850
    From github.com
    2
  • @ndm_haskell
    Neil Mitchell (neildmitchell @🪡)
    @ndm_haskell
    May 15, 2025
    Pyrefly (our Python type checker) got a blog post (engineering.fb.com/2025/05/15/dev…) and podcast (open.spotify.com/episode/4JhEid…) today. Available from pyrefly.org if you want to give it a try.
    Image
    Introducing Pyrefly: A new type checker and IDE experience for Python
    From engineering.fb.com
    1
  • @ndm_haskell
    Neil Mitchell (neildmitchell @🪡)
    @ndm_haskell
    May 14, 2025
    Heading off to PyCon to talk about Pyrefly, the Python type checker I've been working on for the past 9 months.
    us.pycon.org
    High-Performance Python: Faster Type Checking and Free Threaded Execution (Sponsor: Meta)
    Meta's Commitment to the Python Community: Empowering Innovation and Collaboration At Meta, we're dedicated to advancing the Python ecosystem through … Presented by: Sam Gross, Neil Mitchell
    1
  • @ndm_haskell
    Neil Mitchell (neildmitchell @🪡)
    @ndm_haskell
    Apr 28, 2025
    I'll be talking at this about Buck2
    @engflow
    EngFlow
    @engflow
    Apr 28, 2025
    🎉 Build Meetup London - May 22 @ 11 AM! Expert insights on Bazel migration & scaling, Buck2, & build strategies. Plus, a hands-on unconference session. Register: share.hsforms.com/2-kAtpya7SouXm… ❤️ Hosted by EngFlow, @JaneStreetGroup, and @tweagio. #Bazel #Buck2 #BuildSystems #DevOps
    London Build Meetup on 22 May 2025 at 11 AM. Hosted by Tweag, Jane Street, and EngFlow.
  • @ndm_haskell
    Neil Mitchell (neildmitchell @🪡)
    @ndm_haskell
    Feb 2, 2025
    HLint (Haskell linter) v3.10 out, which now works with GHC 9.8-9.12. A few little hints here and there too.
    hackage.haskell.org
    hlint
    Source code suggestions
    1
Advertisement
Advertisement