Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
ID: 715582520197156865
https://dependenttyp.es 31-03-2016 16:52:22
107,107K Tweet
28,28K Followers
6,6K Following
Trevor Loy
@trevorloy
VC @FlywheelVC. Lecturer, entrep mgmt fin & VC @Stanford. Expert witness. Prev: @NVCA @KauffmanFellows @Intel & 3x founder. I am "trevorloy" on all other apps.
mnzaki
@mnzakisol
#decentralize #coop #solarpunk
Krishna
@krish240574
Founder at - brainymachines.com Agentic AI teams for various verticals. Advertising, Accounting, Management consulting, Private Equity.
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Dan Izhaky
@danizhaky
Founder at United Safety Technology Inc. We are reshoring manufacturing of PPE back to the USA.
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
davo
@davoclavo
plants, concurrency, embedded systems, scala, haskell, rust
Gautam Kamath
@thegautamkamath
Assistant Prof of CS @UWaterloo, Faculty @VectorInst, Canada @CIFAR_News AI Chair. Co-EiC @TmlrOrg. I lead @TheSalonML. Privacy, robustness, machine learning.
Derek Dreyer
@herrdreyer
Get used to disappointment.
Oguz
@selengha
Engineer , Istanbul
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Sagar Kamble
@kamble_sagar001
Father | Software Engineer | Technologist | Entrepreneur
Will Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.
Matteo Capucci
@mattecapu
🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Terrell
@omnlogos
Think Critically, Be Benevolent
Sydney Gibson 🚛 🤖
@sydgibs
Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Akhil Arora (@akhilarora.bsky.social)
@aroraakhilcs
Asst Prof @csaudk | Fellow @CPH_SODAS • NLP | Agentic AI | Causality | Graph ML • Previous: @ICepfl @americanexpress @Xerox @Intel • 🥾🏔️🚴♂️🏋️♂️🎸
Chi Jin
@chijinml
Assistant Prof @Princeton. Previously: ML theory, RL & optimization. Now: AI for math, games & decision making.
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Alexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social
Egbert Rijke
@egbertrijke
Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Boaz Barak
@boazbaraktcs
Computer Scientist. See also windowsontheory.org . @harvard @openai opinions my own.
Deb Rovine
@rovine_deb
Scientary Ally Meetings
@scientaryally
Scientary Ally Meetings organizes conferences from different fields like Engineering, Medical, Physics, Chemistry, Pharma and Science.
smile
@smilex_p
matt
@mech2code
quantum swe, grad @purdue
Akshit Varmora
@varmoraakshit
jay
@tenbianism
31 ✧ he/him ✧ metalhead ✧ bands ✧ kpop ✧ d&d ✧ politics ✧ cats ✧ annoying idiot
Lawrence Paulson
@lawrpaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Cooldj Snow
@cooldj_snow
Professional Disc Joker
Celtic Lad🇲🇽🇨🇦🇪🇺🇺🇦
@jerseylibop
Regime bureaucrat. Elitist cosmopolitan, YIMBY+Urbanist freak🌆 he/him. 22🔰🥑🚰🚴🏼♂️🇮🇪🇺🇦🇬🇪🇦🇲🇵🇸🇱🇧🇲🇲
naomi (forgetful functor)
@fixedpointfae
25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | octodon.social/@naomi
Abdurrahman Coşkun, MD
@coskun_bv
Professor of Clinical Biochemistry, #ChemicalPathology, #PersonalizedMedicine, #Phylosophy, #AI, #Astrobiology, Forever Lerner
David Smith
@david_h_smithiv
PhD @ UIUC 🟧🟦 | Incoming faculty @ Virginia Tech 🦃 | Computing Education researcher 🧠💻
Mo 🍉
@movegabond
سلامٌ لأرض خُلقت للسلام، وما رأت يومًا سلامًا
Dhruv Nayar
@dhruv_nayar
Building @ build.withpi.ai to make it easier to start evaluating your AI Would love to chat! Grab time: calendar.app.google/tyfJtt6RUUQT7v…
7thWardMadeMe
@7thwardmademe
On a tinkerer to doer journey. Join me as I work for wins, fight through failures & hopefully we all succeed in learning something new through it all.
Chai
@chainames
gph87
@gph87276267
(((yuri master nocturne))) 🍉
@yurimaxed
₍ᐢ..ᐢ₎ ✧ #HIMEJOSHI | novels | video games | comic books | 🕎+☪️ raised interfaith | הִיא/هي/she/ella | i talk a lot on the clock | read carrd to learn more ᰔ
Rahul
@rthakur97141
Software developer
NOFire AI
@nofireai
90% Faster MTTR with an AI SRE
Aarush
@aarush1003
4th year Undergraduate Computer Science student. Interested in pursuing research in NLP and Multi Modality. Attempting to gaslight LLMs
john.michael.iam
@johnmadden73
.Vox Populi. iam.TRUTH.IAM human=love, follow all. 🚫F.A.F.O +×=÷🚫 ,2a1a2r 3% DM? KNOWLEDGE ONLY. !
Adams Smith
@adamss67618
Techno optimistic, independent AGI researcher, have a clear idea how AGi will be created, student of knowledge. #Agi #robotics
The Craftsman
@icraft_code
Software Engineering | Data Science | ML | AI
Robin Phylipo
@cliffordbr50623
Oil and gas engineering
Kia Ghods
@kiaghods
math + cs @princeton. excited about ml and intelligence.
Smart Workforce AI
@smart_workforc
Revolutionizing workforce scheduling with AI solutions that save time, reduce costs & boost efficiency! Join the Waitlist Now!
Mohamed zein fiorelli bachari
@fannullone82
Rhea
@in_a_quiet_wood
Jérien
@jerosien
un cave parmi tant d'autres
Lasanna
@muhammad1019171
he is the greatest ☝️ I’m a orphan 19 age, from The Gambia 🇬🇲
Callisto
@callisto399542
Large, he/him, often overlooked, heavily cratered, bisexual
capitão América
@stevenrogers10
melhor vingador
Oumivvui
@oumivvui7263
Silver Surfer Life
@silversurfersg
An over 50s community founded in Singapore and powered by NFTs.
Kievui
@kievui26723
Lee Greenholtz
@greenholtz12181
Amdq
@the_gl4diat0r
Greenboat
@greenboat88
Scott Williams
@scottwilli25396
life is easy 😇just feel free and the nature will show you the parts 🏖
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Surdeaph
@surdeaph
julesh
@_julesh_
Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Rakesh
@rgl4bjp
Some Tech, Some Politics.