🇨🇦 Joey Eremondi
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@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/
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@fullmoon.id
Author of Dhall, http://haskellforall.com, professional doggirl, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@ccshan.woof.group.ap.brid.gy
He misses theorizing and practicing in a leather bar. 📍PEAMSBOSAARNYCBZOITHTYOSFOINDT [bridged from https://woof.group/@ccshan on the fediverse by https://fed.brid.gy/ ]
@ian.stark.scot
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@johanjeuring.bsky.social
Professor of Software technology for learning and teaching, Utrecht University
@umartin.bsky.social
Knows a lot about Ada Lovelace's science. University of Edinburgh and Wadham College Oxford and Oxford Maths.
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@noamzoam.mathstodon.xyz.ap.brid.gy
Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique. [bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
@timsweeneyepic.bsky.social
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @[email protected] 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@fredriknf.com
Senior Lecturer University of Strathclyde. Hiking, orienteering, running, etc.
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@hlissner.bsky.social
I've doomed us all. (Posts are mirrored from https://mastodon.social/@hlissner)
@doomemacs.bsky.social
A configuration framework for GNU Emacs, maintained by @hlissner.bsky.social. (Posts are mirrored from https://fosstodon.org/@doomemacs)
@sachachua.com
Interests include: #Emacs, #OrgMode, #elisp, #nodejs, #python, #sketchnotes, #parenting, #cooking, #gardening, #knitting, #sewing, #captioning. Originally from Manila, now in Toronto. Married to a Vim guy, raising an 8-year old (editor?) sachachua.com
@orgmode.bsky.social
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@perezjorgea.bsky.social
Fundamental Computing (http://rug.nl/fse/fc) University of Groningen (NL) Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/) Father (x2)
@oliviersb.bsky.social
@ohoeber.bsky.social
Professor of Interactive Information Retrieval (IIR) | Head of the Department of Computer Science at the University of Regina | Traveller
@joey.mathstodon.xyz.ap.brid.gy
PL Researcher. Assistant Professor at the University of Regina. 🇨🇦 Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/ […] [bridged from https://mathstodon.xyz/@joey on the fediverse by https://fed.brid.gy/ ]
@smbc-bot.bsky.social
A bot for BlueSky that posts SMBC comics and shows the alt text. By @perevillega.com
@zachweinersmith.bsky.social
Author of Bea Wolf, A City on Mars, and the comic SMBC Website: www.smbc-comics.com Patreon: https://www.patreon.com/ZachWeinersmith?ty=h New book: http://www.acityonmars.com/
@xkcd.com
@simrob.com
boston, cats, computers? he/him profile pic by chrisamaphone The good stuff is at https://social.wub.site/@simrob
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]