Niki Vazou
@nikivazou
Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
ID: 464979933
http://nikivazou.github.io 15-01-2012 20:44:06
613 Tweet
2,2K Followers
465 Following
Sam Aaron (@samaaron.bsky.social)
@samaaron
Live Coding Artist. Creator of @Sonic_Pi, programmer, educator, musician, PhD, Sam 'transcends the present' - Rolling Stone. he/him [email protected]
Taylor T Johnson
@taylorjohnson
Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
deech
@deech
pepe Iborra
@iborrapepe
Haskell enabler @Facebook, all views expressed are my own
Gergő Érdi
@gergo_erdi
Finite-tape Turing machine
Rick the Tech Dad
@rickasaurus
2x Dad, Machine Learning Old-Timer, FP Enjoyer, Math for Fun, FinTech VP of Eng, Former Startup Leadership Roles in: AI Healthcare, AI RegTech.
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
{...} Phil de Joux
@philderbeast
Linking moves, deferring to the compilers
/Fay-lee-nuh/
@felienne
Moved to BlueSky permanently: bsky.app/profile/felien…
Tay 💖
@tayvano_
dont believe their lies 🦊 💖🗡️
Andrej Bauer
@andrejbauer
Mathematician, computer scientist, aikidoka
LASIGE
@lasige
LASIGE Computer Science and Engineering Research Centre Department of Informatics (@DIemCiencias) Faculty of Sciences of the University of Lisbon (@FC_UL).
Daan van Berkel
@daan_van_berkel
Enthralled by Life, the Universe and Everything. pronoun.is/he/him?or=they
Thomas Schilling
@nominolo
Rust & Haskell programmer, lindy hopper, occasional water colourist. Likes building JIT compilers, programming languages, tweaking performance and pixel art.
Joachim Breitner
@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Ivo ter Horst
@ivoterhorst
ASML
@asmlcompany
Get the latest news about ASML, our holistic lithography products and our people changing the world, one nanometer at a time.
Guidewire Software
@guidewire_pandc
Engage, Innovate, Grow Efficiently
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Xurxo Mariño
@xurxomar
Neurofisiólogo. Comunicación científica. Fotografía. Viajes. Amo los libros. Ahora estoy en bsky.app/profile/xurxom…
Stephen Diehl
@smdiehl
Left this hellsite for BlueSky. bsky.app/profile/www.st…
Andrey Mokhov
@andreymokhov
From engineering to abstract mathematics and back
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Stephen Kell @[email protected]
@stephenrkell
"Academic" "computer" "scientist" but really none of those things. I program, think, write, talk, teach... rarely in that order. Mostly I make software slower.
Erik Meijer
@headinthebox
Diomidis Spinellis
@coolsweng
Professor of software engineering @AUEB & Analytics @TUDelft, programmer, technology author. (Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
Neringa Young
@neringayoung
Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
Justin Lubin
@jplubin
PhD candidate researching PL+HCI applied to biology @Berkeley_EECS • previously undergrad @UChicago • math and music are cool, too! • he/him
Alexis King
@lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Sonic Pi
@sonic_pi
The Live Coding Music Synth for Everyone. Express yourself with code whilst learning core Computer Science concepts. Patreon: patreon.com/samaaron
miguel hurtado
@mhc_1982
Activista de Derechos Humanos. Mi meta es acabar con la pederastia en la Iglesia. Participé en el documental de Netflix Examen de Conciencia.
Matt Parsons
@mattoflambda
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Christiaan Baaij
@christiaanbaaij
Afonso (gafanhoto) 🌹🇵🇸
@_gafanhoto
🦗 Tienes que hablar despacio que es portugués | Compiler Engineer at @BSC_CNS | admin at @devPTorg | Visc a L’Hospitalet
Tim Sweeney
@timsweeneyepic
Epic Games founder and CEO
gabby
@gabriellag439
Author of @dhall_lang, haskellforall.com, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Stephen King
@stephenking
Author
Spyridoula Vazou
@spyridoulavazou
Associate Prof. ISU. Cognition, learning, integrated physical activity and motivation inside and outside the academic classroom. Developed: moveforthought.org
Marco Guarnieri
@marcoguarnier1
Assistant Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @[email protected]
Nico Lehmann
@nilehmann
Cerveza, música y computación.
paulette d. koronkevich @[email protected]
@koronkebitch
preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Dad×2_jack
@iceland_jack
Haskell
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Antonio Zegarelli
@antonioz9830
Tweag
@tweagio
The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
#Consensus2025
@consensus2025
Join us in Toronto May 14-16, 2025, for #Consensus2025 by @CoinDesk — the largest event covering all sides of crypto and Web3. t.me/consensusbycoi…
Facundo Domínguez
@facundodomngu12
Gergely Neu
@neu_rips
ML theory nerd & AI non-enthusiast. thinking a lot about online learning these days!
Catarina Gamboa
@catarinavgamboa
PhD Student 🖥️ Software Engineering @S3DatCMU and @lasige ✈️ Currently: Pittsburgh, US 📍From: Olhalvo, Lisbon, PT Check out LiquidJava!!
Shari Van Wittenberghe
@shari__vw
Bioengineer | Plant scientist at Image Processing Laboratory, University of Valencia
Rohan Mehta
@rohanme93264078
Sophomore @caltech studying physics. Also interested in ML, synthetic biology, and functional programming.
Stefanos Chaliasos
@schaliasosvons
PhD candidate @imperialcollege, security researcher @zksecurityXYZ. Exploring ZKPs.
There is no cat in this image
@thereisnocat_
Now on Facebook! facebook.com/profile.php?id… - see also @catworkers @translatedcats.
Guilherme Espada
@guiespada
PhD Student @lasige @FC_UL | Working on Static Resource Analysis with @alcides | Mastadon: @[email protected] | BlueSky: guipsp.bsky.social
Yes, But
@_yesbut_
Official YES, BUT series by @like_gudim instagram.com/_yes_but t.me/yesbut_official
Thodoris Sotiropoulos
@theosotir
Postdoctoral researcher in the Advanced Software Technologies group, ETH Zurich.
CONFIDENTIAL6G-eu
@c6g_eu
OpenAI
@openai
OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: openai.com/jobs
Haskell Weekly
@haskellweekly
Haskell Weekly is a hand-picked weekly digest of Haskell news.
Enyinnaya
@dialaeke
Fatherhood is truly life's greatest experience - @zebulgar. Uchechukwu's husband. Jidenna's dad.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
WTM Madrid
@wtmmadrid
Comunidad de Women Techmakers Madrid. 🥳 💜 📆IWD25 25/04: lu.ma/6mu78ooj📆
Lyk Mast
@lykmast
Adrian Herrera
@0xadr1an
Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Vanessa McHale
@vamchale
Mainly Haskell, sometimes J/?