__avik's profile picture. Creator of @flowtype. Hacker on @PyTorch compiler. ML explorer. Rusty PL researcher. Amateur chef. Soccer dad. 

Blogging at https://t.co/KRv2Q5Adsd

Avik Chaudhuri

@__avik

Creator of @flowtype. Hacker on @PyTorch compiler. ML explorer. Rusty PL researcher. Amateur chef. Soccer dad. Blogging at https://t.co/KRv2Q5Adsd

Joined March 2014
Similar User
leeb's profile picture. Making ChatGPT at @openai • @GraphQL Person • Weird photographer • 
https://t.co/XhA7RWv46y

@leeb

en_JS's profile picture. React team at Meta

@en_JS

_chenglou's profile picture. Worked on: @reactjs, @messenger, @reasonml, @rescriptlang & @midjourney

@_chenglou

tomocchino's profile picture. engineering ▲ @vercel

@tomocchino

yuzhiz's profile picture. Eng Manager supporting React, React Native, Relay teams @Meta. Previously Engineer on Relay.

@yuzhiz

zpao's profile picture. Eng Manager working on Meta's Open Source Program. Previously: React core, Firefox. he/him. Mostly retired from Twitter. Find me on Threads.

@zpao

schrockn's profile picture. Founder of Dagster Labs. Creator of Dagster. GraphQL co-creator.

@schrockn

jeremysiek's profile picture. Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @jeremysiek@types.pl

@jeremysiek

kc_srk's profile picture. CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5PSZ2.

@kc_srk

plumlab's profile picture. Programming Languages at the University of Maryland

@plumlab

dlschafer's profile picture. https://t.co/DQK7ghrHdm

@dlschafer

rg9119's profile picture. Transmogrifies coffee into LaTeX at University of British Columbia

@rg9119

LeoLambro's profile picture. Assistant Professor at UMD | Programming languages, random testing, and formal verification

@LeoLambro

wincent's profile picture. Staff Engineer at @datadoghq, Ex-@github, Ex-@facebook

@wincent

krismicinski's profile picture. @krismicinski@types.pl. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.

@krismicinski

Paella de Mariscos. 🐙🦐🦑💯🥘

__avik's tweet image. Paella de Mariscos. 🐙🦐🦑💯🥘
__avik's tweet image. Paella de Mariscos. 🐙🦐🦑💯🥘
__avik's tweet image. Paella de Mariscos. 🐙🦐🦑💯🥘
__avik's tweet image. Paella de Mariscos. 🐙🦐🦑💯🥘

A possible way to evaluate whether you truly know a subject is, can you explain why a new idea is wrong (vs. merely explain why an old idea is right). My BS detector is way more advanced in math than in physics. Unfortunately, I feel the same way about PL vs. ML. Coincidence?


Avik Chaudhuri Reposted

Who called it bidirectional typing and not stereotypes?


Avik Chaudhuri Reposted

My @Google colleague and longtime @UCBerkeley faculty member David Patterson has a great essay out in this month's Communications of the ACM (@TheOfficialACM):🎉 "Life Lessons from the First Half-Century of My Career Sharing 16 life lessons, and nine magic words." I saw an…

JeffDean's tweet image. My @Google colleague and longtime @UCBerkeley  faculty member David Patterson has a great essay out in this month's Communications of the ACM (@TheOfficialACM):🎉

"Life Lessons from the First Half-Century of My Career
Sharing 16 life lessons, and nine magic words."

I saw an…

Avik Chaudhuri Reposted

Rafa, one post is not enough to express the respect I have for you and what you have done for our sport. You have inspired millions of children to start playing tennis and I think that’s probably greatest achievement anyone can wish for. Your tenacity, dedication, fighting spirit…

DjokerNole's tweet image. Rafa, one post is not enough to express the respect I have for you and what you have done for our sport. You have inspired millions of children to start playing tennis and I think that’s probably greatest achievement anyone can wish for. Your tenacity, dedication, fighting spirit…

Avik Chaudhuri Reposted

👋🏻✨ Leo Messi on Andrés Iniesta: “One of the teammates with the most magic and one of those I enjoyed playing with the most”. “The ball is going to miss you, and so will all of us”. “I wish you the best always, you’re a phenomenon”.

FabrizioRomano's tweet image. 👋🏻✨ Leo Messi on Andrés Iniesta: “One of the teammates with the most magic and one of those I enjoyed playing with the most”.

“The ball is going to miss you, and so will all of us”.

“I wish you the best always, you’re a phenomenon”.

Fascinating article on the person, the company, and the future of warfare.


The video of our #PyTorchConf talk on "What's new in torch.export?" is now up! youtube.com/watch?v=ap1TOf…

Thanks for the tremendous interest in torch.export yesterday! Loved all the questions and chatting with so many others after the talk. Something good is brewing here!

__avik's tweet image. Thanks for the tremendous interest in torch.export yesterday! Loved all the questions and chatting with so many others after the talk. Something good is brewing here!
__avik's tweet image. Thanks for the tremendous interest in torch.export yesterday! Loved all the questions and chatting with so many others after the talk. Something good is brewing here!


Avik Chaudhuri Reposted

"How to train a model on 10k H100 GPUs?" has now been immortalized on my blog: soumith.ch/blog/2024-10-0…

There's three parts. 1. Fitting as large of a network and as large of a batch-size as possible onto the 10k/100k/1m H100s -- parallelizing and using memory-saving tricks. 2. Communicating state between these GPUs as quickly as possible 3. Recovering from failures (hardware,…



<3

Happy to share that I did a lot of bfloat16 enablement work in ExecuTorch and TorchChat recently, and as a result you should be able to run llama3.2 1B and 3B in bfloat16! As always, you can follow along on GitHub: github.com/pytorch/execut… github.com/pytorch/torchc…



Mind = blown. Check out the announcement: youtube.com/watch?v=l_QruJ…

We just unveiled Orion, our full AR glasses prototype that we’ve been working on for nearly a decade. When we started on this journey, our teams predicted that we had a 10% chance (at best) of success. This was our project to see if our dream AR glasses—wide FOV display, less…

boztank's tweet image. We just unveiled Orion, our full AR glasses prototype that we’ve been working on for nearly a decade. When we started on this journey, our teams predicted that we had a 10% chance (at best) of success.

This was our project to see if our dream AR glasses—wide FOV display, less…


Avik Chaudhuri Reposted

I'll be involved in two more cool talks today (back to back actually)! 1. Some cool new activation checkpointing APIs in PyTorch (w/ Jeffrey Wan), giving you lots of control over memory vs. throughput tradeoffs. sched.co/1fHmo 2. FlexAttention! (I presume most people…

cHHillee's tweet image. I&apos;ll be involved in two more cool talks today (back to back actually)!

1. Some cool new activation checkpointing APIs in PyTorch (w/ Jeffrey Wan), giving you lots of control over memory vs. throughput tradeoffs. sched.co/1fHmo

2. FlexAttention! (I presume most people…

Thanks for the tremendous interest in torch.export yesterday! Loved all the questions and chatting with so many others after the talk. Something good is brewing here!

__avik's tweet image. Thanks for the tremendous interest in torch.export yesterday! Loved all the questions and chatting with so many others after the talk. Something good is brewing here!
__avik's tweet image. Thanks for the tremendous interest in torch.export yesterday! Loved all the questions and chatting with so many others after the talk. Something good is brewing here!

torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!

__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!
__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!
__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!
__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!


torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!

__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!
__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!
__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!
__avik's tweet image. torch.export combines with AoTInductor / ExecuTorch in #PyTorchConf keynote on LLM deployment!

I’ll be talking about “What’s new in torch.export?” today at #PyTorchConf at 11:10 (Festival Pavilion Breakout Room A). Hope to see you there, and hit me up if you want to chat!



I’ll be talking about “What’s new in torch.export?” today at #PyTorchConf at 11:10 (Festival Pavilion Breakout Room A). Hope to see you there, and hit me up if you want to chat!


Like human pros do in chess, soon IMO teams will probably also practice using AI assistants.

Google DeepMind have produced a program that in a certain sense has achieved a silver-medal peformance at this year's International Mathematical Olympiad. 🧵 deepmind.google/discover/blog/…



Avik Chaudhuri Reposted

Introducing Deduce, a proof checker for teaching proofs of correctness of functional programs: github.com/jsiek/deduce Deduce is in currently in development, but it can already handle its primary use cases, which are proofs about lists and trees.


Off to San Diego to do a PyTorch tutorial at ASPLOS! Hit me up if you’re attending and want to talk about compiler stuff, a bunch of people in the team are also going to be there. pytorch.org/blog/pytorch-2…


Loading...

Something went wrong.


Something went wrong.