four seasons joe (not the hotel)
Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
@justinwolfers.bsky.social
Econ professor at Michigan ● Senior fellow, Brookings and PIIE ● Intro econ textbook author ● Think Like An Economist podcast ● An economist willing to admit that the glass really is half full.
@wired.com
At wired.com where tomorrow is realized || Sign up for our newsletters: https://wrd.cm/newsletters Find our WIRED journalists here: https://bsky.app/starter-pack/couts.bsky.social/3l6vez3xaus27
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@merriam-webster.com
noun | a reference source containing words alphabetically arranged along with information about their forms, pronunciations, functions, and etymologies
@michaelemann.bsky.social
Scientist/Author/Speaker; Presidential Distinguished Prof/Director Center for Science, Sustainability & the Media/Vice Provost for Climate, U. Penn; National Academy of Sciences; Royal Society; Tyler Prize
@tobioloke.com
haskell, game dev and graphics enthusiast | want to make 3D video games with haskell
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@robstewartuk.bsky.social
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware. https://www.macs.hw.ac.uk/~rs46/
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@sestoft.bsky.social
Computer science professor and recovering department head, IT University of Copenhagen. Homepage (1995 style) at https://www.itu.dk/people/sestoft/ Mail sestoft@gmail.com and sestoft@itu.dk
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@nishiorain.bsky.social
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
@desisurvey.bsky.social
The DESI Survey will measure the properties of Dark Energy using a survey of 30+ million galaxy redshifts.
@tribelaw.bsky.social
After teaching constitutional law at Harvard for 50 yrs, I decided it was time to teach in a classroom without walls — helping people understand the rapidly unfolding threat to our democracy’s survival and joining the struggle to preserve the rule of law
@petebuttigieg.bsky.social
Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
@jasonkander.bsky.social
Afghan vet. Sorta ran for president. Veterans Community Project Exec, bestselling author, Majority54 host, founder of Let America Vote & American Rescue Project, aging baseball player, occasional international rescuer. Diana’s dude. True & Bella’s driver.
@davidhogg.bsky.social
@auschwitzmemorial.bsky.social
Former German Nazi concentration & extermination camp Auschwitz. Official account. We commemorate victims, educate about history & preserve the authentic site. www.auschwitz.org | lesson.auschwitz.org | podcast.auschwitz.org
@marisakabas.bsky.social
journalist / founder @ thehandbasket.co email: MKwrites4000@proton.me signal: https://signal.me/#eu/VssgH88q6WQu7MtH5wF-08JdgWh4iAPWD13eXiOcXQNGdZUXijJBZInD-UtLJKFG venmo: venmo.com/u/Marisa-Kabas ko-fi: https://ko-fi.com/marisakabas
@lawrenceodonnell.msnbc.com
@lastword.msnbc.com MSNBC 10PM Author of 2 books: Deadly Force & Playing With Fire Former Executive Producer & Writer of NBC’s drama series The West Wing lastworddesks.msnbc.com
@maddow.msnbc.com
Mondays at 9pmET on MSNBC MaddowBlog.com From Russia with Lev: MSNBC.com/Lev Ultra podcast: MSNBC.com/Ultra Prequel: MSNBC.com/Prequel
@mbhunzaker.bsky.social
Researcher just doing her best to build toward kinder, healthier online spaces | Currently: Staff Researcher @ New_ Public | Previously: Safety/Integrity Research @ Facebook, Twitter x Birdwatch, Google; Sociology @ NYU, Duke
@anntelnaes.bsky.social
Pulitzer prize winning Editorial Cartoonist Open Windows at http://anntelnaes.substack.com Archived work at http://anntelnaes.com
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@clairelamman.bsky.social
PhD student at Harvard's Center for Astrophysics, expert in cosmology and procrastibaking ClaireLamman.com
@ricksteves.bsky.social
Guidebook author, TV & radio host, business owner, Lutheran, and NORML Board Member. Fanatically positive and militantly optimistic.
@mapcenter.com
'Peddler of Wheres' at The Map Center in Pawtucket RI- it's like a vintage record store but for maps. www.mapcenter.com Cartographer, GIS specialist and educator Linktr.ee/ecoandrewtrc
@lizcheney.bsky.social
Proud rodeo mom, soccer mom, baseball mom, hockey mom, constitutional conservative.
@hendroid.io
Principal Engineer & AI Lead @juxt.pro AI/ML • data intensive applications • product Author of Clojure for Data Science https://cljds.com/book Maintainer of Clojure(Script) library kixi.stats {London | Cambridge | Brighton}, UK
@ianarawjo.bsky.social
Asst Prof at Université de Montréal, Associate Member of Mila-Quebec AI Institute. PhD from Cornell InfoSci. Creator of ChainForge. Programming and culture, LLM evaluation tooling.
@shraddhaag.dev
Senior Software Engineer at Ceph, IBM You’ll find me talking about computers, databases, fiction books, movies, music, photography, building Lego and puzzles! 🌐 shraddhaag.dev
@lukezettlemoyer.bsky.social
Professor at UW; Researcher at Meta. LMs, NLP, ML. PNW life.
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@gabrielpeyre.bsky.social