Conal Elliott
@conal
Into correct, efficient engineering with precise & simple specifications. Play/work with me: github.com/conal/Collabor… .
mathstodon.xyz/@conal
ID: 2689861
http://conal.net 28-03-2007 17:03:53
5,5K Tweet
5,5K Followers
372 Following
Rúnar
@runarorama
Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Wil Chung
@iamwil
Programming & Local-first software ⁙ LLM zine forestfriends.tech ⁙ Startup lessons ⁙ Game design quips.
Paul Millerd
@p_millerd
Good Work: pmillerd.com/goodwork Pathless Path: pathlesspath.com Community: pathlesspath.com/membership 👉 newsletter.pathlesspath.com
davidad 🎇
@davidad
Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
John D. Cook
@johndcook
Simple kind of man
Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
NASA Universe
@nasauniverse
Your backstage pass to the universe and how NASA studies it. Verification: nasa.gov/socialmedia
NASA Webb Telescope
@nasawebb
The world's most powerful space telescope. Launched: Dec. 25, 2021. First images revealed: July 12, 2022. Verification: nasa.gov/socialmedia
Steve Stewart-Williams
@stevestuwill
Psychology, evolution, science. Author of "The Ape That Understood the Universe" (2018) and "Darwin, God and the Meaning of Life" (2010). Backup: @SteveStuWill2
〚Dan R. Ghica〛
@danghica
Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Andy Gordon
@andrewdgordon
Computer scientist focused on AI & HCI, esp programming languages. Chief science officer at Cogna. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Joachim Breitner
@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Derek Dreyer
@herrdreyer
Get used to disappointment.
Matti Palli 🧙♂️
@tritlo
uncertified haskell engineer
Conal MacMillan ⚾️
@conal_mac
Married to an artist. Father of 2. Uncle to 7. #BlueJays. #Oilers. MLB Stadiums: 22 of 30. Former journalist at @FortSaskRecord & @ShPk_News.
Well-Typed
@welltyped
The Haskell Consultants
Tikhon Jelvis
@tikhonjelvis
I like programming languages. A lot. Tools, types and functions.
Paolo Brasolin
@paolobrasolin
Mikhail Glushenkov
@refold
Elixir/Rust programmer.
Bettany Hughes💙
@bettanyhughes
Historian, author, broadcaster. Nervous tweeter. Creative Director @SandStoneGlobal
Yann Le Gall
@yann_legall
programming and code based art.
𝕐o̴g̴
@yoda4ever
Funny, good and upbeat videos of 🐶🐱🐻🐺🐨🐼🌏🐧🐬🐳🐾🐝🐟🐠🏞️👶
CircuitHub
@circuithub
We're building a future where hardware companies can design and iterate as fast as software companies.
Will Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.
Bad Lip Reading
@badlipreading
I put words into other people's mouths. The OFFICIAL Bad Lip Reading Twitter account
David Sancho
@davesnx
Software engineer at @ahrefs building open source tools with @reasonml and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
Lex Fridman
@lexfridman
Host of Lex Fridman Podcast. Interested in robots and humans.
Tamás Görbe
@tamasgorbe
Mathematician @univgroningen
Steven Strogatz
@stevenstrogatz
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.
Quanta Magazine
@quantamagazine
Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
Dr Eugenia Cheng --no advice please--
@dreugeniacheng
Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc.
Mark Hopkins
@antiselfdual
Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub Passionate thaumatoneirodule, entry-level hypnerotomachist
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 🏳️⚧️
@1bitsquared but not here
@1bitsquared
Fedi: social.1bitsquared.com/@1bitsquared Blue: bsky.app/profile/1bitsq… Discord Chat: 1bitsquared.com/pages/chat
Jeremy Gibbons
@jer_gib
Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Grant Sanderson
@3blue1brown
Pi creature caretaker. Contact/faq: 3blue1brown.com/faq
sunny
@thepiggsboson
Science writer. Tweets about Physics, Mathematics, Philosophy, and Books 🇳🇵
𝐓𝐡𝐞 𝐅𝐚𝐛𝐮𝐥𝐨𝐮𝐬 𝐖𝐞𝐢𝐫𝐝 𝐓𝐫𝐨𝐭𝐭𝐞𝐫s
@fabulousweird
🦇 Sometimes Fabulous, sometimes Weird, Every time Fabulous Weird.🕷️ Connect : Facebook 1,1M Followers
Jerry Swan
@radiofreemonad
Cyberneticist.
Fermat's Library
@fermatslibrary
A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: fermatslibrary.com/margins
Buitengebieden
@buitengebieden
The official positive side of 𝕏. I’m Sander from the Netherlands. All copyrights belong to their respective owners! DM for credits/removal/submission!
Science girl
@gunsnrosesgirl3
science in context, art history and some puzzles to solve
Good Books
@goodbooks_io
📚 Good Books is a collection of book recommendations from the world's most successful, influential and interesting people.
The Juggernaut Project
@juggernaut_pro
The Juggernaut Project is a progressive organization that uses grassroots activism to fight for change.
Physics In History
@physinhistory
Photos from the history of physics | © with mentioned Archives. Shared for educational purposes. Einstein portrait © Ullsteinbild. Subscribe for curated papers.
why you should have an animal
@shouldhaveanima
The Perfect account to show your parents when you want an animal 🦆
cats with jobs 🛠
@catworkers
Good cats being workers • Unionized • 🦋 also on Bsky! bsky.app/profile/catwor… • Buy me a coffee (link below)!
Topos Institute
@toposinstitute
Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
Speed & Scale
@speedandscale
In 2021, @johndoerr @rypan shared a plan to cut emissions to net zero by 2050. How’s it going? Dig into the latest data with our 2024 Global Climate Tracker.
Sam Palmer
@sjpalmer1994
🖼️ art account for @sampalmer1994 • 🏳️🌈 he/him • making objkt's since #2190 • fediverse @[email protected]
Math3ma Institute
@math3ma_inst
We are a small hub for science research and outreach at The Master's University (@mastersuniv) and an extension of @math3ma.
cats without context
@cat_gimmick
cats without context
cats being weird little guys 👅
@weirdlilguys
wlg fan club 🐈 dm for submissions + credit! • IG: @ catsbeingweirdlittleguys • partnerships: [email protected] • TEES N STICKERS 👇👇
Calaveras County Adoptable Animals
@calaverasadopts
Animals available for adoption at the Calaveras Co. Animal Shelter. Visit animal.calaverasgov.us for shelter info **a private account supporting the shelter**
Harikanth Lingutla
@hlingutla
MSEE➡️US Army veteran➡️ SAP Consultant ➡️Farmer➡️Building apps(Full stack) Built docvaultai.com , imagewizardry.com Building gifwala.com
100proof.org
@1_00_proof
Interested in software correctness. Cryptocurrency security researcher - immunefi.com/profile/IAm100… - code4rena.com/@100proof
PLRG :: Bristol
@plrg_bristol
This is the twitter of the Programming Languages Research Group at the University of Bristol. plrg-bristol.bsky.social
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
ZuriHac
@zurihac
Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Daniel
@danielschmach
Primary Updates via @ConsilienceNews Founder: consilienceproject.org | Blog: civilizationemerging.com Explorations on the future of civilization
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
elliot (deprecated)
@elliotokay
✍️ mastodon: @[email protected] ✍️ bluesky: @elliot.website
Category Witch
@jademastermath
Mathematics is fun