⚡️Come check out how we scale LLM decoding parallelism! Excited to present learned asynchronous decoding with @ellieyhc for DLCT @ml_collective tomorrow at 10am PST! Thanks to @jasonyo@savvyRL for organizing.
⚡️Come check out how we scale LLM decoding parallelism! Excited to present learned asynchronous decoding with @ellieyhc for DLCT @ml_collective tomorrow at 10am PST! Thanks to @jasonyo@savvyRL for organizing.
If you have a natural transformation between two interpretation functors, does that signal anything of interest? For the example I'm thinking of, it seems to show the source functor is "finer-grained" (separates more programs), but not sure in general.
For anyone who has experience with theorem provers and is interested in learning Lean 4, I'd recommend the slides and associated exercises here: github.com/IPDSnelting/tb…
422 Followers 8K FollowingYogini| IT Professional| Believer of doing Good Karmas| धर्मो रक्षति रक्षितः|ॐ नमः पार्वती पतये हर हर महादेव| Meditation & Yoga| Sanatan Dharma is a way of Life
1K Followers 1K FollowingSenior Research Scientist @NVIDIA | Formerly @FlatironCCM, @PolymathicAI & @ENS_ULM | GenAI (for Science) | Views are my own, not my employer's.
9K Followers 3K Followingtweets about AI and other fun stuff. currently @foundationcap; previously McKinsey, @georgiatech alum, @stackfolio (acquired), @peak6, @raymondjames
1K Followers 105 FollowingAssistant Professor @mldcmu. Formerly: Postdoc @MITEECS, PhD @Berkeley_EECS, Math Undergrad @Princeton. New to Twitter. https://t.co/67bMOAyqK6
120 Followers 98 FollowingQuantum information theory with Prof. Thomas Vidick. Working on quantum cryptography, non-local games, and quantum machine learning.
603K Followers 5K FollowingPresident & CEO @ycombinator —Founder @Initialized—designer/engineer who helps founders—San Francisco Dem accelerating the boom loop—e/acc—technology brother
10K Followers 43 FollowingSolving Machine Learning at Microsoft in New York.
https://t.co/ZpdQV4IsHY pandemic past president.
https://t.co/MkluiHpWF7 makes RL real.
https://t.co/wK8xQaQGwf for thinking out loud.
163K Followers 166 FollowingCo-founder of Thinking Machines Lab @thinkymachines; Ex-VP, AI Safety & robotics, applied research @OpenAI; Author of Lil'Log