Ozan Erdem @ozanerdem
Principal Engineer @CerebrasSystems. PhD in AI, Satisfiability and Constraint Satisfaction Problems. Tweets don't necessarily represent my employer's opinions. ozanerdem.com Toronto, Ontario Joined June 2009-
Tweets1K
-
Followers624
-
Following1K
-
Likes5K
Paper showing LLMs can't solve planning problems gets shared. Reveals success rate <5% for LLMs, humans achieve 80%. AI enthusiast, unaware of planning and not reading the paper, replies: "Yeah, I know, LLMs can't plan, but neither can humans."
Me when moving in my 20s: Let me stack all the boxes and carry them. No need for food or water till I’m done for the day. In my 30s: I’ll kneel down gently so I won’t trigger my acid reflux. Kneeling on my knee with the brace makes me hungry, so I’ll need to eat after I stand up
[LLaMAI with Synthetic Derivational Information is still LLaMAI] ( eclipsed #SundayHarangue ) A new type of LLaMAI has been on the rise. Instead of fine-tuning LLMs on the synthetic solution data (as sent up in the LLaMAI thread below👇), the "new" idea is to fine tune them on…
[LLaMAI with Synthetic Derivational Information is still LLaMAI] ( eclipsed #SundayHarangue ) A new type of LLaMAI has been on the rise. Instead of fine-tuning LLMs on the synthetic solution data (as sent up in the LLaMAI thread below👇), the "new" idea is to fine tune them on…
Can AI ace law exams? Last year, OpenAI announced GPT-4 got 90th percentile on the bar. Here we (a) refute 90th percentile claim; (b) replicate/extend recent work on GPT capabilities; (c) discuss implications for law profession. Now open, AI&Law: link.springer.com/article/10.100… 1/
This is not an April Fools joke.
@AndrewYNg Ahh.. the tragedy of "LLM Reflection" hopes.. Just because people can self-verify, there is no reason to believe that LLMs can self-verify. Some actual results and papers in the thread below.. x.com/rao2z/status/1…
@AndrewYNg Ahh.. the tragedy of "LLM Reflection" hopes.. Just because people can self-verify, there is no reason to believe that LLMs can self-verify. Some actual results and papers in the thread below.. x.com/rao2z/status/1…
Thanks @AnastasiInTech for your recent episode discussing why Bigger is Best when it comes to AI Accelerators. Learn more about Cerebras CS3, the world’s largest and most powerful AI processor, in Anastasi’s latest review: youtu.be/zXNUBFoNPX0?si…
sedat kapanoğlu @esesci
125K Followers 1K Following author of @street_coder · founder of @sozluk · ex-@microsoft · blog/bluesky: https://t.co/9k9eO1u8YV · https://t.co/GNELdjDuah · [email protected] · mastodon: @[email protected]Mehmet Hakan Satman @mhsatman
5K Followers 1K Following Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)Orhan Ozalp @ocozalp
467 Followers 286 FollowingEmre Sevinç @EmreSevinc
6K Followers 3K Following Founder @tm_data_ict | https://t.co/sDhjGt1zOB | https://t.co/4LAvSvJ5Mq ➡ AI | Data | Architecture | Science | Math | Linux | Music | PhilosophyDemirbaş Fail @failasaservice
248 Followers 241 Following programlama dili ve edebiyatı, hobi olarak dürümcü, acm sigfail kurucu önderi, demirbaş.Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Madonnanin Zencisi �.. @madyaglizencisi
30K Followers 3K Following Ph.D. in Marketing Namuslu, okumuş, kültürlü, iyi aile eğitimi almış, vergisini ödeyen sorumlu vatandaş. Tövbe zenciliğime, zencilikten istifa ediyorum.joomy @joomy
2K Followers 956 Following Formal verification researcher @Bloomberg & PhD candidate @Princeton. Tweets about types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)merve @mervenoyann
56K Followers 4K Following open-sourceress at @huggingface 🧙🏻♀️ proud mediterrenean 🍋 I do TL;DR on ML papersShriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSedat Gokcen @gokcensedat
153 Followers 1K FollowingLibby Panitz @LibbyPanit
35 Followers 5K FollowingSarge Rogatch @SoftwareCompre1
49 Followers 422 FollowingMyrnaMoll @FM3dmFEROD4VQ
0 Followers 106 FollowingAlayna Dunleavy @DunleaAlayn
41 Followers 5K Following_E_thereal @Ethereal956091
30 Followers 2K FollowingVenusKeynes @3jv39ZO1G1967k7
0 Followers 88 FollowingTairsore @tairsore92302
2 Followers 183 FollowingSnestair @snestair22962
1 Followers 192 FollowingShanita Bradt @BradtShani80596
86 Followers 5K FollowingAlexandria Krain @AlexandriKr
88 Followers 5K FollowingFrankie Samii @FrankieS75042
32 Followers 5K FollowingBuffy Severtson @BuffySever40165
94 Followers 5K FollowingJillian Burin @BurinJilli98823
73 Followers 5K Followingoxfordsemantic @oxfordsemantic
2K Followers 2K Following The creators and developers of RDFox, a high performance knowledge graph and semantic reasoning engine. https://t.co/AmHBorZmuzMeta Braithwaite @Braithwait61560
83 Followers 5K FollowingShisoon @Shisoon278357
29 Followers 2K FollowingDashDart @dash_dart77248
22 Followers 2K FollowingAnton Lavrentyevich @lavrentyevich
19 Followers 152 FollowingJoshua Saxe @joshua_saxe
3K Followers 982 Following AI+cybersecurity at Meta; past lives in academic history, labor / community organizing, classical/jazz piano, hacking sceneCaglar Gulcehre @caglarml
4K Followers 1K Following ML Researcher Prof @ EPFL, PI @ CLAIRE lab Ex: Staff Research Scientist @ Deepmind, MSR, IBM Research Follow me on Mastodon: https://t.co/LZ5sWt7AsjDelilah Laborin @DLaborin74787
95 Followers 5K FollowingJoe Mayo @JoeMayo
14K Followers 6K Following Building @generellem - #AI, #opensource, and #startups. Writing my own content.Matilda Kotey @matil_ko
68 Followers 5K FollowingMachelle Lewis @MachelleLe17664
67 Followers 5K FollowingGsmrGze_29 @gsmrgze88316
35 Followers 2K FollowingArina Dudik @arin_du
23 Followers 3K FollowingSiri GV @gv_siri
1 Followers 59 FollowingShoghoti @shoghoti59580
43 Followers 2K FollowingOrlagh Zook @ZooOrla
88 Followers 5K FollowingAnarşist Demokrat @AnarsisDemokrat
38 Followers 99 Followingsports freak @sports_freak3
70 Followers 158 Following 🚫 bullshit, ⛔️ political correctness. avid believer of holy 🥬 prehistoric grad of odtü 👾Yagmur 🌧 @yagmurxyildiz
904 Followers 538 Following full time curious • works on genAI • data scientist @ AI Division • gtü electronics eng • entrepreneur • KadıköylüYakup Aydın @yakupydin
81 Followers 993 FollowingAyhan Bilgin @BilginAyhan5
128 Followers 450 Followingeray @aga_maho_34
15 Followers 162 FollowingJonathan Swift @swiftjon2
194 Followers 1K FollowingKham Fesleğen @rustudede
254 Followers 5K Following Geçen gün babamla ben balık tutmak için çiftliğinize gelmiştik. Derede bu kadar eğlendiğimiz başka bir gün hatırlamıyorum.Burak @burakozturkkkkk
128 Followers 1K Followingars_lnga_vta @ars_lng_vta_brs
115 Followers 1K Following "Ars longa, vita brevis, occasio praeceps, experimentum periculosum, iudicium difficile"semihkaya @improving_myslf
4 Followers 328 Followingakin moroglu @akinmoroglu
2K Followers 2K Following Focused on human-centric solutions & seamless communication. Enthusiast for music, reading, and the wonders of neuroscience. #Innovation #UXsedat kapanoğlu @esesci
125K Followers 1K Following author of @street_coder · founder of @sozluk · ex-@microsoft · blog/bluesky: https://t.co/9k9eO1u8YV · https://t.co/GNELdjDuah · [email protected] · mastodon: @[email protected]Fularsız Entellik @imTolstoyevski
169K Followers 551 Following Halk için halka rağmen entellik. Kitap: https://t.co/78FpUIVFZk | Podcast: https://t.co/lLov9atKxV | Bonus: https://t.co/56INXbqv2q |Emrah Safa Gürkan @jeandpardaillan
457K Followers 2K Following Prof.Dr./Georgetown'12-Bilkent'03&06 TUBA Young Scientist Award/14th Kadir Has Promising Scientist Aw./TUBA Monograph Aw. - İletişim: [email protected]Mehmet Hakan Satman @mhsatman
5K Followers 1K Following Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)Orhan Ozalp @ocozalp
467 Followers 286 FollowingFrançois Chollet @fchollet
470K Followers 769 Following Deep learning @google. Creator of Keras. Author of 'Deep Learning with Python'. Opinions are my own.Yann LeCun @ylecun
712K Followers 719 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.Emre Sevinç @EmreSevinc
6K Followers 3K Following Founder @tm_data_ict | https://t.co/sDhjGt1zOB | https://t.co/4LAvSvJ5Mq ➡ AI | Data | Architecture | Science | Math | Linux | Music | PhilosophyJohn Carmack @ID_AA_Carmack
1.1M Followers 241 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo AerospaceDemirbaş Fail @failasaservice
248 Followers 241 Following programlama dili ve edebiyatı, hobi olarak dürümcü, acm sigfail kurucu önderi, demirbaş.Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}John D. Cook @JohnDCook
52K Followers 208 Following I turn business problems into math problems then solve them.Madonnanin Zencisi �.. @madyaglizencisi
30K Followers 3K Following Ph.D. in Marketing Namuslu, okumuş, kültürlü, iyi aile eğitimi almış, vergisini ödeyen sorumlu vatandaş. Tövbe zenciliğime, zencilikten istifa ediyorum.Quanta Magazine @QuantaMagazine
323K Followers 657 Following Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.Gary 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.Andrej Karpathy @karpathy
980K Followers 905 Following 🧑🍳. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets 🧠🤖💥joomy @joomy
2K Followers 956 Following Formal verification researcher @Bloomberg & PhD candidate @Princeton. Tweets about types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)James Lindsay, full v.. @ConceptualJames
489K Followers 481 Following Pro-America. Anti-Communist. Based af. 🇺🇲🇺🇲🇺🇲OCaml @ocaml_org
530 Followers 10 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds | @sabine_s_Ilya Sergey @ilyasergey
5K Followers 965 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Community Notes @CommunityNotes
935K Followers 0 Following Empowering users to create a better-informed world. We're open source and data is publicly available: https://t.co/Te3IjR10Ix Q? Reply/DMVivek Haldar @vivekhaldar
2K Followers 4K Following Tinkerer. Google TLM. YouTuber. Opinions my own. https://t.co/dwHg7IG2WgJoshua Saxe @joshua_saxe
3K Followers 982 Following AI+cybersecurity at Meta; past lives in academic history, labor / community organizing, classical/jazz piano, hacking sceneSubject to @Subjectto_
3K Followers 260 Following "Subject to" offers a series of informal conversations with relevant figures in the fields of #orms, combinatorial #optimization and #logistics.Ashutosh Mehra @ashutoshmehra
1K Followers 5K Following Senior Principal Scientist at Adobe. Working on Acrobat AI Assistant, LLMs, and document ML.Salomé Sibonex @SalomeSibonex
20K Followers 783 Following Get in loser, we’re 𝕋ℝ𝔸ℕ𝕊𝐶𝔼ℕ𝔻𝕀ℕ𝔾. Artist + advisor seeking freedom, truth, love, beauty, & divine madness. Black Sheep Shepherd at @wtblacksheep 🖤Bob Komin @BobKomin
367 Followers 1K Followingmurat 🍥 @mayfer
15K Followers 5K Following programmer / designer • governance / generative art / neural nets / music / physics / mathMal @malware_yml
12K Followers 298 Following memes & shit posts 👩🏽💻 mediocre analytics dev & even worse content creator ⚠️ warning: sarcasm ahead 🩷Spack @spackpm
2K Followers 3K Following A flexible package manager designed to support multiple versions, configurations, platforms, and compilers. Join us at https://t.co/aT6zWYxXKz!BurcuAgma @BurcuAgma
914 Followers 459 Following Founder & Chief Insight Hunter @ BBA Strategic Brand Consulting | Startup Advisor | Speaker | Ex-Publicis @performics | @NorthwesternU AlumniRichard Eisenberg @RaeHaskell
3K Followers 161 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/himMichael Levin @drmichaellevin
40K Followers 2K Following Scientist at Tufts University; my lab studies anatomical and behavioral decision-making at multiple scales of biological, artificial, and hybrid systems.ServiceOntario @ServiceOntario
23K Followers 451 Following Official account of ServiceOntario. Terms of use: https://t.co/FwSUGwHGdE . En français : @ServiceONTVolkan İlbeyli @Varaquilex
626 Followers 633 Following Software Engineer, Real-time 3D & Performance 📊 Investing 📈 Finance 💵 Music 🎸 ex GPU DevTech Engineer @AMD Tools @Unity Opinions are my own.Ferhat Erata 🦀 @ferhaterata
482 Followers 2K Following PhD Student @Yale • Applying automated reasoning to software engineering & cryptographic code • Applied Scientist Intern @AmazonScience @AWSCloud • Views my ownBo Winegard @EPoe187
60K Followers 2K Following Amicus Plato, sed magis amica veritas. When you make a mistake, it's not reactionary to correct it. Executive editor: https://t.co/XiUa7KiQawNish Sinnadurai @NishSinnadurai
5 Followers 94 FollowingTom Froese, Embodied .. @DrTomFroese
5K Followers 465 Following Dr. Froese heads the ECSU-Team at the Okinawa Institute of Science and Technology (OIST). We research life and mind as complex agent-environment interaction.Pablo Samuel Castro @pcastr
10K Followers 813 Following Señor swesearcher @ Google DeepMind. Adjunct prof @ U de Montreal & Mila. Musician. From 🇪🇨 living in 🇨🇦.Tom Schrijvers @schrijvers_tom
465 Followers 127 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"Neurodivergent_lou @neuro_lou
18K Followers 184 Following Lou (she/her)🌈 Autism | Finding a place in a neurotypical world 🌎| 📧[email protected]Retro Tech Dreams @RetroTechDreams
173K Followers 246 Following Retro tech, early web & vintage computing. 80s, 90s, 2000s nostalgia. Follow for daily posts.No Nonsense Neurodive.. @NoNonsenseND
27K Followers 344 Following Providing relatability, insights, & lots of memes as a staunchly pro-#Neurodiversity paradigm, Late-discovered #AuDHD+ 2e ND (He/him)Timefold @TimefoldAI
368 Followers 45 Following - Planning optimization made easy - Timefold is the fork of @optaplanner. We are an Open Source company, co-founded by the OptaPlanner creator @GeoffreyDeSmetEkin Dogus Cubuk @ekindogus
3K Followers 380 Following Research scientist at Google DeepMind, working on machine learning and materials science.Felipe O. Carvalho @_Felipe
4K Followers 2K Following SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. Imperative prog. heathen. C++/OCaml/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADIKara Swisher @karaswisher
1.5M Followers 2K Following “Vitriolic” and now “shrill”media lady, though dogs can hear me loud and clearzayenz 🐀 @zayenz
127 Followers 576 Following Optimization and constraint programming. building personnel scheduling at https://t.co/DH5U4HUPqmg² @geraldgamrath
93 Followers 93 FollowingJane Street @JaneStreetGroup
6K Followers 0 Following Jane Street is a global trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.Julie Shin Choi (she/.. @juliechoi
1K Followers 566 Following SVP & CMO @cerebrassystems Priors: VP & CMO @MosaicML, VP @Intel AIFortran @fortranlang
4K Followers 0 Following Fortran programming language. Powering the world since 1956. Latest edition is Fortran 2023.Formal Land 🌲 @LandFoobar
648 Followers 1K Following Formal verification for everyday-life applications 🏇 Helping you build code with zero bugs. https://t.co/QxW99gscgTxAI @xai
997K Followers 36 FollowingDr. Rhonda Patrick @foundmyfitness
554K Followers 201 Following Ph.D in biomedical science interested in nutrition, brain & aging. Host of FoundMyFitness podcast https://t.co/rirQwqebxLLean @leanprover
4K Followers 35 Following Lean is a dependently-typed programming language and theorem prover.Noah Smith 🐇🇺�.. @Noahpinion
321K Followers 1K Following Writes about economics, posts about rabbits. For serious opinions/analysis, read my blog: https://t.co/KfUxUlCYPzDr. M. Murat Kubilay @mmkubilay
280K Followers 792 Following Epey Finans, yanına Matematik, üstüne İktisat. Eski Akademisyen, geçmişte Fon Yöneticisi, bugün Danışman. Önce Hürriyet, yanına Sosyal Adalet, sonuna Laiklik.Fabio Filasieno @FilasienoF
239 Followers 132 Following On compiler and database system implementation. On system programming pragmatics. I share papers that I love.@ozanerdem @barismeric @failasaservice @ocozalp oradaki d, daemon mı?
@failasaservice @ozanerdem @ocozalp Clang öncesinde tüm ide/editör ortamları template görünce bozuluyordu çoğunlukla. Normalde std::vector<T> için T'yi tamamlaması gerekirken vector'ü tamamlamaya çalışıyorsa bu durumdan mustarip demekti.
Latex templates are like sourdough starter. You've been copy pasting a template from an old doc on your overleaf for years. You got it from a collaborator who got theirs from some other collaborator, and legends will say that an ancestral collaborator got it from Donald Knuth.
There’s an art to distilling these to the absolute minimal necessary text. The human brain can’t comprehend how stupid these things are without practice.
An area #AI guy is spreading buzz because some anonymous chatbot is able to solve (erm... recall) a solution to a problem that is available on the Internet and literally first google result on the problem statement. I'm so tired of this BS.
WHOA! Stunning reasoning capabilities on the missionaries and cannibals problem that has never ever been openly discussed anywhere on the web! What next? Should we go for the big guns and ask "Why are manhole covers round?" #AGIntimations
A mysterious chatbot has appeared on lmsys called "gpt2-chatbot". Many are speculating that this could be GPT-5. No one really knows, but its reasoning capabilities are absolutely stunning. We may be closer to ASI than ever before.
@miriadamm Akademi modelinin başarısı buna dayanıyor ama zaten. Hangi %10’un önemli olduğunu baştan bilmek çok mümkün değil, onu öğrenmek için boşa giden %90’ı, hatta belki de %99’u kabul etmek gerekiyor.
@GregKamradt I don't see LLMs as systems that can to create new knowledge, I see them as a tool I can use to help ME create new knowledge
This is the way.
@GregKamradt I don't see LLMs as systems that can to create new knowledge, I see them as a tool I can use to help ME create new knowledge
Değer üretmek böyle bir şey değil derdim ama bu bakış açısında daha derin bi sorun var. Akademisyenliğin müstakil bir iş olarak görülmemesi sorunu.
Bugün akademideki insanları akademiden çıkar kendi alanlarında iyi bir işe yerleştir ve değer üretmelerini bekle. Sadece %2’si hayatta kalarak bir şeyler ortaya koyabilir.
@GaelVaroquaux @JeffDean Google follows the same path as IBM, only 20 year later, since they hired a Wall Street CFO in 2018. They progressively cut everything without short term ROI. This cut is not exception. As a result best people leave.
Lise matematik eğitimimizde eksik bulduğum en temel üç beceri: 1. Kendini yazılı ifade edebilme, 2. Kendini sözlü ifade edebilme, 3. Temel mantığa hakimiyet. Bu eksikler üniversite başında öğrencilerle aramızdaki iletişimi çok zorluyor, matematik öğrenmeyi çok yavaşlatıyor.
@ZerenuzOmer İki milyon öğrencinin çok büyük bir kısmı hayatında doğru denklemi de yazmayacak, türev de kullanmayacak, logaritma da almayacak, yamuk alanı da hesaplamayacak vs. diyerek tüm lise eğitimini kaldırabiliriz. Matematiksel kavramları bir işe yaraması için öğretmezsiniz ki.…
Yapılması gereken bence lise müfredatının içeriğinin iyi bir precalculus + temel kavramsal seviyede türev ve integral öğretimi. Burada integralden kastım ters türev (yani belirsiz integral) değil. Lisedeki öğrencinin, lafın gelişi, trigonometrik dönüşümle ters türev almayı…
1999-2002’de türevi, integrali lisede öğrenmiştim. Üniversitede de 1. sınıftaki matematik derslerini yata yata geçip AA almıştım. ABD’de pek çok lisede başarılı öğrenciler precalculus vb ileri matematik, fizik derslerini alarak neredeyse üniversitenin 1. sınıfını atlayabiliyor.…
The real threat to LLM chatbots isn't that adoption levels have stalled -- greater capabilities could reignite adoption. It's the fact that 1.5 years of massive investments haven't resulted in meaningfully better models, that would make a real difference in adoption potential.