Avik Chaudhuri

Episode 1 of a new video series on #PyTorch Compiler topics is now out! In future episodes I'll be hosting other people on the team to share tips and tricks that help you get the max out of torch.compile, torch.export, and related technologies, while enjoying a glimpse into all the cool engineering work that goes on behind the scenes. Stay tuned! We will drop new videos pretty frequently on this channel. Lots of great content incoming.

@stevenstrogatz I suppose this is the solution to cos x = x (classic fix point stuff)?

If you set your calculator to radian mode and then repeatedly press the cosine button, you always end up with numbers approaching 0.739…, no matter what number you started with. Do you understand why?

@Anthony_Bonato Gosh, kids these days. Don’t care about “whither”, jumping to “whence”, the nerve!

Reading math papers is like reading Dickens or Austen or Brontë: -henceforth -whence -therein -thereof -whereby -herein -thereupon -whereupon -whilst -indeed -evidently -hence -shall …

Thanks. I'm frankly at a loss on what she should be doing with her life, but she's very into math and physics right now. Strangely (relative to her peers), not into coding - I mean she can code, but not with passion, you know, the kind I had when I was young. I'll just let her fly, of course - what do I know about the future. But if you have any wisdom to share, do let me know. :)

@__avik Wow!!!

My daughter recently heard she’s getting a prize in the name of this great mathematician. When we got the news she didn’t know about her. I told her “it is one of your life’s greatest honors to see your name below hers, treasure it.”

This is a great release. Here’s how to migrate from mypy: pydevtools.com/handbook/how-t…

Today is Maryam Mirzakhani’s birthday, a day to celebrate women in mathematics. Her life and work remind us of the power of imagination, courage, and beauty.

It’s also interesting to note that Rust took off in Meta much more than OCaml partly during the time the Rust team broke off at Mozilla Research and Meta hired some key contributors. While at the same time rewriting some of the core DevInfra tooling around source control and other highly scalable stuff from Python to Rust. Coincidences galore.

Choosing OCaml initially for Hack/Flow frankly was more random than you think. The original author of Hack (@JulienVerlaguet) is French; the original author of Flow (me) happened to do an internship during undergrad at INRIA, and my mentor happened to be one of the academic ancestors of OCaml and Rocq. One cannot underestimate cultural bias. Zooming out of Rust vs. OCaml, there was another trend at the time to "bootstrap" a language implementation in itself - something that TypeScript followed. We rejected that option in Flow because of scaling requirements at the time, although it came with significant difficulty - having to "replicate" core libraries in your implementation language instead of just "calling into" them (think module resolution as an example). This is something to think about in Pyrefly as well. E.g., the recent tensor shapes implementation allows writing some specifications in a subset of Python, which would be sweet to "dynamically load" instead of compiling into a binary.

In August 2024, @ndm_haskell and I announced "minipyre" internally. A new Rust-based Python type checker that would replace Pyre, our existing OCaml-based one. Very proud to announce Pyrefly v1.0 is available now, ready for production use! pyrefly.org/blog/v1.0/

@satnam6502 Your happy place.

Maki di roti and saag was my actual 60th birthday dinner, which I had at my mum's house along with my sister Churnjeet. It was important for me to celebrate this significant birthday with my mum, and reflect upon the journey we've taken together, and apart.

We’re thrilled to share that Pyrefly, our open source type checker and language server for Python, has officially reached v1.0! This has been a huge team effort. Since our beta release last November, we've shipped over 60 updates, fixed hundreds of bugs, and added features the community has been asking for. Check out our latest video and blog walking through what you can expect from the latest release: Video: youtube.com/watch?v=_o0TZG… Blog: pyrefly.org/blog/v1.0/ We also want say a huge thank-you to the open-source community for helping us get here. 🙏

The #Pyrefly v1.0 release announcement video by @javabster is now up on YT and @MetaOpenSource: youtube.com/watch?v=_o0TZG…

Tomorrow at @pycon Typing Summit (us.pycon.org/2026/events/ty…), I'll be presenting our recent work on tensor shapes in #Pyrefly. Come check it out! Tracking tensor shapes through your @PyTorch models has never been easier. Super excited to see how model development evolves with tool use in the age of AI.

It has been an immense pleasure working with @nontrivialzeros, @ndm_haskell, and others on this huge milestone! We announced experimental support for tensor shapes in #Pyrefly as part of this release: pyrefly.org/en/docs/tensor…. A hobby project I started in November led to a demo to the team in December - and it's so exciting to see that just a few months later, we can release it to the world to play with. With just a few annotations at module boundaries, @PyTorch developers can now enjoy inlay typehints showing tensor shapes throughout their code. Check out the examples linked in the docs, which include 28 OSS models with a variety of architectures with end-to-end coverage. No longer do you need to track tensor shapes in your head as you type. And you can let your AI agent refactor your code with the peace of mind that comes with static verification! Fun story - I hired Sam into working with me on @flowtype a decade back. How life comes full circle - couldn't be prouder to work with Sam again.

Meta’s fast new Python type checker is now 1.0. If you’re on mypy, it’s an easy migration. Highly recommend checking this out. pydevtools.com/blog/pyrefly-1…

Pyrefly is now 1.0! It's been such a joy rolling this out at @poolsideai :D Super excited for the new tensor type checking features pyrefly.org/blog/v1.0/

The cute part comes out in the second half, where things like composition of layouts reduce to composition of diagrams modulo some factoring. Paper here: arxiv.org/pdf/2601.05972

This video is a gem, well worth the time to view, with several nested pause+reflect+review loops.

@TreforBazett @stevenstrogatz Constructive logicians will cite use of excluded middle lol. Great proof!

Cool and simple proof: Are there two irrationals a & b such that a^b is rational? Consider √2^√2. If it's rational, we're done. If it's irrational then √2^√2^√2=√2^2=2 is rational, we're done. This is a non-constructive existence proof!