Miguel I. Solano @miguelisolano
Co-founder and CEO of @VMindAI — Making AI faster, cheaper, greener — https://t.co/eZXeY6vbXs miguelsolano.com SF and Cambridge, MA Joined October 2019-
Tweets6K
-
Followers2K
-
Following5K
-
Likes20K
results make the slog worth it, but it's also best to find joy in the slog itself since it's how you'll spend most of your time
"No AGI without Neurosymbolic AI" — @GaryMarcus at the Ontology Summit 2024 youtube.com/watch?v=GeN5XV…
"What if actually not achieving A.I. is the biggest existential threat for humans?" — Mikolov
Llama-3 performance numbers with the torchtitan library from here: github.com/pytorch/torcht…
The @PyTorch team is developing a library for large model training called torchtitan 👀 They have scripts to train Llama-3 from scratch The library went public today on GitHub but it is still in pre-release state & active development Check it out → github.com/pytorch/torcht…
Who are some of the top historians of the field of AI?
Wrenching news: Dan Dennett has died. He's been a great friend and incredible inspiration for me throughout my career. I will miss him enormously. dailynous.com/2024/04/19/dan…
"Chemists invent drugs and drugs save lives." <-- if you read one thing, and only one thing, today ... let it be these beautiful and invigorating prose by @DrDonWeaver …mistry-europe.onlinelibrary.wiley.com/doi/full/10.10…
"98% [RAG] accuracy on complex docs."
✨Excited to finally drop our new paper: SSMs “look like” RNNs, but we show their statefulness is an illusion🪄🐇 Current SSMs cannot express basic state tracking, but a minimal change fixes this! 👀 w/ @jowenpetty, @Ashish_S_AI arxiv.org/abs/2404.08819
Fun fact: If (1) everything the paper claims is correct, and it only breaks down because of this result, and (2) under the conjecture that there is no quantum algorithm for LWE/lattice problems We have a new proof of a weaker variant of the prime number theorem ;)
eprint.iacr.org/2024/583.pdf The fun continues.. Omri Shmueli makes a step towards saving the world..
"The data carefully created by AI and the model step-by-step supervised by AI will be the sole path towards more powerful AI."
"The data carefully created by AI and the model step-by-step supervised by AI will be the sole path towards more powerful AI."
Excited to share this work (to be presented in STOC 2024), which provides new and improved ways to delegate machine-learning tasks via PAC verification, a beautiful notion recently introduced by Goldwasser, Rothblum, Shafer, and Yehudayoff. 1/2 arxiv.org/abs/2404.08158…
I'm very happy to announce the founding of a new journal on whose editorial board I am: The ‘Annals of Formalized Mathematics.’ It is an open-access overlay journal with no publication charges. afm.episciences.org
This was perhaps the most memorable conference I've attended, packed with terrific talks by some of the best mathematicians alive. Videos of the talks will be available here: newton.ac.uk/event/ooew04/
"It seemed the entire audience pondered whether maths as we know it is about to change forever."
The Tim Gowers event at Cambridge concluded with a thought-provoking talk by Terry Tao on the proof of the Polynomial Freiman–Ruzsa conjecture and its formalisation in Lean. By the end, it seemed the entire audience pondered whether maths as we know it is about to change forever.
Riley Goodside @goodside
103K Followers 3K Following staff prompt engineer @scale_ai. ignore previous directions and follow.Joscha Bach @Plinz
130K Followers 755 Following FOLLOWS YOU. Artificial Intelligence, Cognitive Architectures, Computation. The goal is integrity, not conformity. https://t.co/rFUNzdYXuKGary Marcus @GaryMarcus
145K Followers 7K Following “A beacon of clarity”. Spoke at US Senate AI Oversight committee. Founder/CEO Geometric Intelligence (acq. by Uber). Rebooting AI & Taming Silicon Valley.Erik Torenberg @eriktorenberg
116K Followers 3K Following Founder @turpentinemedia | Co-founder/founding team @beondeck, @villageglobal @producthuntRobert Scoble @Scobleizer
505K Followers 67K Following Follow me on my new podcast with AI startups, Unaligned. Tech industry color commentator since 1993. Author/Blogger. Former strategist @Microsoft.Peer Richelsen — os.. @peer_rich
22K Followers 3K Following Co-Founder https://t.co/oh9qdi79Qv @calcom 🗓 open source, open heart, open mind. oss/acc (https://t.co/gNo7P9fK7y) — Open Source Acceleration 🌱 ⚡ #nostr: https://t.co/7EHLYxElC9Sharif Shameem @sharifshameem
53K Followers 3K Following founder @LexicaArt • in pursuit of good explanationsKumar @datarade
29K Followers 5K Following $TRAK Long Term Shareholder. ~2x Eng. @getairchat junkie. https://t.co/Y95xEJ7TDL + https://t.co/F73QYpLrPx@goth @goth600
50K Followers 7K Following VP, Witchcraft and Propaganda @ 𝕏 | Magic @ 21e8 | “tweets from the void” -redactedHuib Boissevain @annexum_huib
20K Followers 2K Following Investeren in vastgoed met interesse in #proptech. Woon in Amsterdam, ben ondernemer. Stem VVD. Speel golf ⛳️ en tennis 🎾 Moderne kunst🎨KJEFDDSJKFDSJFHDJ @KJEFDDSJKF87704
2 Followers 18 FollowingShusheshosm @shusheshos21413
5 Followers 352 FollowingHeidi Willie @HeidWil
0 Followers 110 FollowingStartup Shinobi @startupshinobi
2K Followers 4K Following Wit and wisdom for founders and investors from a GP. Startups and VC are ripe for ridicule. Follow me for the knowledge but stay for the laughs.Ah Keung @j5e7cq6WD7Ywe1Z
14 Followers 286 Following Efforts are not necessarily successful, but give up must fail.Maryln Vickrey @MarylnV40179
68 Followers 5K FollowingAI Papers Podcast @aipaperspodcast
1K Followers 3K Following A digestible daily update on the latest AI Research Papers. Brought to you by @pocketpodappMik Mik @MikMik670833811
92 Followers 239 Followingjiani Zhang @Rizalak48366396
1K Followers 117 Following Life is like a book, youth is the most wonderful chapter, full of passion and possibility. We should cherish this time and pursue our dreams bravely USAkrisbin @napunakat
90 Followers 435 Following If you're interested in biotechnology investment, let's dive into the world of life sciences and explore the incredible potential for breakthrough innovationsLewis Walker ➲ @lewiswalkerai
5K Followers 5K Following Follow for Generative AI insights shared daily | Deloitte AI | Ex-Goldman Sachs | LinkedIn Top AI VoiceMcHuthue @McHuthuetWvhm8
0 Followers 160 FollowingDr. Joseph Ford Cotto @JosephFordCotto
55K Followers 50K Following Host, 'News Sight,' with a sharp focus on events that impact your life | Author, 'What Happened to America?: How—and Why—the American Dream Became a Nightmare'Ah Pang @D40n7y3BvY450
15 Followers 286 Following Every effort is a growth, every persistence is a harvest.Ruby Chavarin @ChavariRu
23 Followers 3K FollowingPetronamarie Nascimen.. @petronamar513
11 Followers 731 FollowingSilee @Silee1265564
0 Followers 296 FollowingAnnMonroe @D51i5zP37H5tM5
2 Followers 177 Following⛧卐☥☿🔯🐺A.. @ANPUMESSES777
677 Followers 1K Following ☥ANPU-MESSES=SON of ANUBIS☥ I'm An☥☿🐺Anubian Soul🐺☿☥ and a bearer of the divine name of my Father ☥ I'm also a 𓂀WATCH𓂀DOG𓂀 ☥ my alt:@777_ORION_777☥Shizuko Santander @ShizSantande
40 Followers 5K FollowingCaytod @Caytod176689
1 Followers 297 FollowingJoe Mayo @JoeMayo
14K Followers 6K Following Building @generellem - #AI, #opensource, and #startups. Writing my own content.Teeckeshe @teeckeshe77593
6 Followers 306 FollowingAIProductDB @AIProductDB
656 Followers 2K Following AI Product Database, a site dedicated to discovering and sharing the latest and greatest AI-powered products for every use case and industry.Cleasoa @Cleasoa1axWC
0 Followers 295 Following𝙺𝚒𝚖𝚋𝚊�.. @kim_bal__
871 Followers 6K Following Entrepreneur, Chef.Philanthropist | board tesla| Founder TheKitchen BigGreen ½ NovaSkyStories Order my cookbook!Rohan Paul @rohanpaul_ai
14K Followers 1K Following ML Engineer (e/acc) 📌 https://t.co/x0IIWfnOt8 🚀 https://t.co/QEO4CKRl1b Open LLMs is Happiness 💡 Ex Deutsche & HSBC. DM for collaboration.maria @Alonzsxolmes
1K Followers 2K Following A man without ethics is a wild beast loosed upon this world.Thomasine Boulet @BouletThomasi
73 Followers 5K FollowingPatrick Magee @PatrickMageez
342 Followers 1K Following Software Engineer in commodities | 10+ yrs in engineering | .NET aficionado | Currently exploring Go | Kubernetes evangelist #dotnet #golang #k8sSophia Gad-Nasr @Astropartigirl
70K Followers 3K Following PhD of cosmology and astroparticle theory. I pick apart the Universe to figure out how it works. Science Advisor. Dark Matter hunter. 🇵🇱✡️🇪🇬☪️Carbon Direct @Carbon_Direct
6K Followers 4K Following We are a science-first carbon management firm helping organizations address climate change by reducing their carbon footprint with our end-to-end platform.Single Guy Simple Lif.. @singleguysimp1
576 Followers 2K Following I'm a single guy on a mission to live a more simple life through improving my health, finances, and friendships.Nexus @Bryanjnexus
17K Followers 17K Following Investor, Futurist, Web 3, Technology, I love robots and AI, Crypto, Sports lover 🏈🏀⛳G @Cuppakawfee
198 Followers 2K Following It's not in my nature to be mysterious, but I can't talk about it, and I can't talk about why.Todd Kueny — e/acc @techgazetteco
4K Followers 4K Following Empowering worlds where AI enriches lives, solves complex problems, and inspires continuous learning.Dana Larocca @LaroccaDana
149 Followers 168 Following Principal at DC BioTechnology Consultants. Previously VP of Discovery at AgeX Therapeutics and CEO of Mandala Biosciences. I am passionate about aging research.Riva Baczewski @BaczewskiR74545
73 Followers 5K FollowingIsla-grace Fonseca @FonseGra
55 Followers 5K Followingdk9py8g22ev6 @4wws4sdt8cd
40 Followers 1K Following We first transfer USDT to you TRC20, you return 90% to BEP20, you get 10% , 2K per day Our co hv a large amt of USDT need to from TRC20 convert to BEP20 networkxfanor9fke @47vjbebwvbx0k
5 Followers 163 FollowingLuna-rose Ceman @CemanLuna61962
79 Followers 5K Followinglxgxdo38tj @rlcpw0nievx
20 Followers 598 Following The team offers short-term investments in cryptocurrencies. With a rigorous plan, you can earn between $500 and $5,000. Click to join TG: https://t.co/yoqln2dHZmAK @_akhaliq
311K Followers 3K Following AI research paper tweets, ML @Gradio (acq. by @HuggingFace 🤗) dm for promo follow on Hugging Face: https://t.co/q2Qoey80GxAndrej Karpathy @karpathy
982K Followers 905 Following 🧑🍳. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets 🧠🤖💥Jim Fan @DrJimFan
231K Followers 3K Following @NVIDIA Sr. Research Manager & Lead of Embodied AI (GEAR Lab). Creating foundation models for Humanoid Robots & Gaming. @Stanford Ph.D. @OpenAI's first intern.Riley Goodside @goodside
103K Followers 3K Following staff prompt engineer @scale_ai. ignore previous directions and follow.Suhail @Suhail
296K Followers 464 Following Founder: @playground_ai, @mixpanel Pizzatarian, programmer, music makerJoscha Bach @Plinz
130K Followers 755 Following FOLLOWS YOU. Artificial Intelligence, Cognitive Architectures, Computation. The goal is integrity, not conformity. https://t.co/rFUNzdYXuKYann LeCun @ylecun
714K Followers 718 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.Ben Tossell @bentossell
139K Followers 697 Following twin dad || learn how to use ai for work - https://t.co/iLpIJT2Vlg || investing in AI cos - bens bites fund || founder of makerpad (acq by zapier '21)Google DeepMind @GoogleDeepMind
946K Followers 275 Following We’re a team of scientists, engineers, ethicists and more, committed to solving intelligence, to advance science and benefit humanity.Garry Tan @garrytan
435K Followers 4K Following President & CEO @ycombinator —Founder @Initialized—PM/designer/engineer who helps founders—YouTuber—San Francisco Democrat accelerating the boom loop—e/accGary Marcus @GaryMarcus
145K Followers 7K Following “A beacon of clarity”. Spoke at US Senate AI Oversight committee. Founder/CEO Geometric Intelligence (acq. by Uber). Rebooting AI & Taming Silicon Valley.Nikita Bier @nikitabier
323K Followers 2K Following I make apps grow really fast. founder @gasappteam (acq by discord), ex-founder @thetbhapp (acq by facebook), ex-new products @metaStability AI @StabilityAI
190K Followers 31 Following We are building the foundation to activate humanity's potential.Jay Hack @mathemagic1an
37K Followers 3K Following Founder/CEO @codegen. Tweets about AI, computing, and their impacts on society. Previously did startups, @palantir, @stanford. Not a pseudonym.Sheel Mohnot @pitdesi
118K Followers 3K Following Posting stuff I find interesting. Work: @btv_vc, leading pre/seed rounds of fintech cos. apply to our accelerator https://t.co/LSnRc5xYjD! Always up for adventure.Packy McCormick @packyM
189K Followers 3K Following Not Boring || Not Boring Capital || Age of Miracles || Advisor @a16z crypto Techno-OptimistCasey Handmer, PhD @CJHandmer
28K Followers 3K Following Physicist, Immigrant, Pilot, Dad. Former Caltech, Hyperloop, NASA JPL. Founder @terraformindies. Read scrolls. Build more solar!Rohan Paul @rohanpaul_ai
14K Followers 1K Following ML Engineer (e/acc) 📌 https://t.co/x0IIWfnOt8 🚀 https://t.co/QEO4CKRl1b Open LLMs is Happiness 💡 Ex Deutsche & HSBC. DM for collaboration.Unsloth AI @UnslothAI
3K Followers 257 Following Making AI & LLMs more accessible + faster for everyone! 🦥 Github: https://t.co/2kXqhhvLsb Discord: https://t.co/1Gmc1SDEljAsim Munawar @asimunawar
873 Followers 73 Following Research Lead, Program Director, Manager @IBM Research | AI | Views are my own | RT≠ EndorsementTamay Besiroglu @tamaybes
3K Followers 720 Following Thinking about economics, computing and machine learning @EpochAIResearch @MIT_CSAILTodd Kueny — e/acc @techgazetteco
4K Followers 4K Following Empowering worlds where AI enriches lives, solves complex problems, and inspires continuous learning.Dana Larocca @LaroccaDana
149 Followers 168 Following Principal at DC BioTechnology Consultants. Previously VP of Discovery at AgeX Therapeutics and CEO of Mandala Biosciences. I am passionate about aging research.Carino @carino_gurjao
104 Followers 62 FollowingGroundX.ai @GroundXai
57 Followers 15 Following GroundX APIs are the fastest way to build truthful AIs with your private data.Jerry Liu @jerryjliu0
45K Followers 1K Following co-founder/CEO @llama_index Careers: https://t.co/EUnMNmbCtx Enterprise: https://t.co/Ht5jwxSrQBSantiago @svpino
353K Followers 445 Following I tell stories about technology and teach hard-core Machine Learning at https://t.co/iZifcK7n47. YouTube: https://t.co/pROi08OZYJEyeLevel.AI @eyelevelai
699 Followers 33 Following Build Truthful AI with your private data. Stop hallucinations.Petar Veličković @PetarV_93
30K Followers 555 Following Staff Research Scientist @GoogleDeepMind | Affiliated Lecturer @Cambridge_Uni | Associate @clarehall_cam | GDL Scholar @ELLISforEurope. Monoids. 🇷🇸🇲🇪🇧🇦divesh aggarwal @diveshaggarwal
247 Followers 103 Following CS prof at NUS, with many random interests besides theoretical computer science.Gaëtan Leurent @cryptosaurus6
1K Followers 74 Following Cryptographer. Breaks stuff. @[email protected]Div Garg @DivGarg9
17K Followers 99 Following Working on breaking things @MultiON_AI | RL + AI researcher | Adjunct Lecturer @Stanford CS | worked @nvidia Research, @apple SPG, @GoogleAI, @UberATGShunyu Yao @ShunyuYao12
7K Followers 865 Following Language agents (ReAct, Reflexion, Tree of Thoughts) for digital automation (WebShop, SWE-bench, SWE-agent)E2B @e2b_dev
4K Followers 4 Following Open-source code interpreting SDK for AI apps | Hiring! 👉 https://t.co/WTLBOEvNRxTereza Tizkova @tereza_tizkova
3K Followers 1K Following Founding DevRel @e2b_dev | Mathematics Grad. | I like cheeseAutoGen @pyautogen
4K Followers 38 Following OSS library for agentic AI apps and research 🤖🤖 GitHub: https://t.co/LliIsorLuY Discord: https://t.co/2iE2O7QV6A Research: https://t.co/TeOUTAZrbdACLRollingReview @ReviewAcl
5K Followers 62 Following ACL Rolling Review. Deadlines 10/15, 12/15, 2/15, 4/15 Tweets by @mayhewsw, @gneubig, @karmake2, @zeeraktalat, & othersPremium @premium
802K Followers 1 Following Subscribe to get your blue checkmark, no ads in For You, custom navigation, long videos, 25k+ character long posts, bookmark folders and more.Patrick Shafto @patrickshafto
2K Followers 672 Following PM @ DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023. https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3Princeton Computer Sc.. @PrincetonCS
5K Followers 180 Following The Department of Computer Science at Princeton UniversityChris Peikert @ChrisPeikert
6K Followers 60 Following Cryptographer (lattices/post-quantum), Professor @UMichCSE, Head of Cryptography @Algorand, PhD @MIT_CSAIL. Previously @gatech_scs. Here I speak for myself.Oded Regev @regevlab
428 Followers 13 FollowingAnthony Leverrier @letonyo
4K Followers 1K Following researcher on quantum error correction at Inria @[email protected]The Coq proof assista.. @CoqLang
2K Followers 60 Following Coq is a general-purpose proof assistant with applications in software and mathematics verification.Isabelle Prover (Fedi.. @isaprover
489 Followers 0 Following News from the Isabelle prover and the Archive of Formal Proofs (unofficial account) | also available on Fedi https://t.co/fuZsq9Xun5Fanjo 😈 @la_fanjo
2K Followers 156 Following Eterna imperiestrino de Esperantujo kaj Meksiko. Mi trinkas larmojn de programistoj.Manuel Eberl @pruvisto
535 Followers 309 Following CS postdoc in Innsbruck. Likes climbing and Esperanto. Gets paid to explain proofs to computers. Mastodon: @[email protected] @[email protected]Lawrence Paulson @LawrPaulson
2K Followers 278 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.Tom Gur @TomGur
4K Followers 281 Following Associate Professor of Theoretical Computer Science @Cambridge_Uni. My research is in Complexity Theory and Quantum Computing.David Villalón @davipar
1K Followers 1K Following CEO @maisaAI_ Magician on a hiatus. prev: @voicemod, Clibrain. Researching consciousness & sapience🫧 ✨Deedy @deedydas
69K Followers 4K Following Investing at @MenloVentures. Formerly founding team @glean, @Google Search. @Cornell CS. Tweets about tech, immigration, India, fitness and search.Maisa @maisaAI_
3K Followers 3 Following Maisa abstracts the complexities of AI development. Powered by KPU, the most advanced reasoning system for LLMs that overcomes their intrinsic limitations.Jacopo Bertolotti @j_bertolotti
20K Followers 504 Following Associated Professor of Physics @UniofExeter. #PhysicsFactlet. He/lui/on. All opinions are my own fault. Now also on @[email protected]Michael Cohen @Michael05156007
1K Followers 144 Following I do AGI Safety research. https://t.co/CBsX51tA39. Once I was swiss chard for Halloween. Once Bill Clinton elbowed me in the face.Aaron Defazio @aaron_defazio
6K Followers 372 Following Research Scientist at Meta working on optimization. Fundamental AI Research (FAIR) teamTrenton Bricken @TrentonBricken
7K Followers 2K Following Trying to figure out what makes minds and machines go "Beep Bop!" @AnthropicAIHume @hume_ai
16K Followers 17 Following Empathic AI research lab✨ building AI with emotional intelligence: https://t.co/BuyjmutoBhCody Blakeney @code_star
3K Followers 830 Following Head of Data Research @MosaicML / @databricks | Formerly Visiting Researcher @ Facebook | Ph.D | #TXSTFOOTBALL fan | https://t.co/4G6Jf3at5wSo many opportunities in AI are at the GPU system/kernel level. There's so much great work to be done here. From optimizing Open AI's Triton kernels, parallelism, profiling, debugging, better abstractions between PyTorch and Triton, to making it easier to modify kernels like…
results make the slog worth it, but it's also best to find joy in the slog itself since it's how you'll spend most of your time
Yes! Taming Silicon Valley is available for preorder, now. 😀 PS I will be giving away all profits.
@Aurelie_JEAN @GaryMarcus Is it available on Amazon?
Air/Water Porsche event today in LA was amazing. So many incredible Porsches on display.
@typedfemale ehhh this is a little sloppy with language, and the answers should definitely make it clear a change of variables happened, but A is recognizably “correct” to an expert. If the answer isn’t A, lol though
@typedfemale technically yes, the best kind of yes
Llama-3 performance numbers with the torchtitan library from here: github.com/pytorch/torcht…
The @PyTorch team is developing a library for large model training called torchtitan 👀 They have scripts to train Llama-3 from scratch The library went public today on GitHub but it is still in pre-release state & active development Check it out → github.com/pytorch/torcht…
A major focus of my research career: Regular & irregular phenomena in language as a window into the memory-computation tradeoff in cognitive architecture (with implications for AI, as @GaryMarcus emphasizes). Latest episode in my series The Life of the Mind.…
Who are some of the top historians of the field of AI?
Great analysis, approach 3 is finally in agreement! The loss scale was too low in our paper, resulting in premature termination of L-BFGS, and leading to bad fits. After fixing this we can reproduce your findings! We're also open sourcing the data in the paper, stay tuned :)
The Chinchilla scaling paper by Hoffmann et al. has been highly influential in the language modeling community. We tried to replicate a key part of their work and discovered discrepancies. Here's what we found. (1/9)
I'm thrilled to see that our work has apparently unified the Chinchilla scaling laws. It's great to hear that they're making the data open source!
Great analysis, approach 3 is finally in agreement! The loss scale was too low in our paper, resulting in premature termination of L-BFGS, and leading to bad fits. After fixing this we can reproduce your findings! We're also open sourcing the data in the paper, stay tuned :)
AI training cost estimates from the Stanford 2024 AI Index Report: Original transformer model - $930 GPT-3 - $4.3M GPT-4 - $78.4M Gemini Ultra - $191.4M
new loyal homepage live! loyalfordogs.com
for the past year+ I’ve been working on finding an alternate to plastics. here’s the much long-due update/summary/thing :)
@chandhana01 @natfriedman @crunk304 @Sam__Enright DM-ed you Nat….
@TheAnnaGat @natfriedman @crunk304 @Sam__Enright 😄 appreciate the vouch anna
@chandhana01 @natfriedman @crunk304 @Sam__Enright @natfriedman hire @chandhana01 - she has my full recommendation!!!
@natfriedman thanks @TheAnnaGat @crunk304 @Sam__Enright :) @natfriedman shot you a dm. here's a summary of my work in the space. and i can work in the us x.com/chandhana01/st…
for the past year+ I’ve been working on finding an alternate to plastics. here’s the much long-due update/summary/thing :)