Mathematics, Programming
https://blog.fmap.fr/
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Cohomology enthusiast. I've seen rings you people wouldn't believe.
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Writer, Artist, Creator of Sam & Max
Learning to code since 1978. Creator of #TiddlyWiki
Free range yak farmer. @richcarl@mastodon.nu
i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Software developer at http://hyraxbio.com. 0x20 supporter. λ
RTÉ News and Current Affairs - Irish and International News
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/
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
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
Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes
