James Dawson Brock
Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
@cheater00.bsky.social
@coopcoding.bsky.social
Loves programming; with an interest in functional programming. Current language: purescript https://www.coopcoding.top/
@www.stephendiehl.com
Softwares, maths, physics and bears. https://www.stephendiehl.com/
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@mjj8.bsky.social
🇵🇸 roboticist@toyota. he/him. previously at the bretl robotics lab https://bretl.csl.illinois.edu mars rover science team http://pancam.sese.asu.edu https://types.pl/@mjj8 on mastodon
@eduserrano.com
Editor. Hellcife, Brasil. || Bacurau, Aquarius, Boi Neon, War Pony || https://www.imdb.com/name/nm3810896/
@lancelet.bsky.social
AI, deep learning, numerical, functional programmer. Looking for a job! Uilleann piper, highland piper, extreme Gaelic music enthusiast. https://jmerritt.blog
@timshorrock.bsky.social
Journalist, writer, musician, DC since 1982. Living with grief since losing my daughter Roxanne in March 2024. Writing on Korea, Japan, Cold War, Capitalism. Crazy Bob Dylan fan. Twitter/X refugee. Author of SPIES FOR HIRE. Soon on Substack.
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@tbrunner.bsky.social
irl i provide care to dependent adults and read algebra. i don't need followers. i don't care. email: tbrunner@uoregon.edu commandeer, usnr 1971-1973 pronouns: thee/thou #mathsky #autism
@asmodaie.bsky.social
Likes to shuffle bits. Shares and/or likes don't mean endorse but mean interesting to me. Programming languages enthusiast. https://egel-lang.github.io
@noteed.bsky.social
@spavel.bsky.social
Raised gifted; non-practicing. 🌐 productpicnic.beehiiv.com 💼 UX Design 🟦 Sick of rectangles 🧑 he/him
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@joao.omg.lol
Research Engineer at Google DeepMind A special snowflake existing in 196883 dimensions #ActuallyAutistic He/Him
@josharnold.bsky.social
incubating neural ventures + accelerating ambitious companies. prev @wharton / @beondeck / @patronusai / @patronusai / @strategyand お前はもう死んでいる with applied ai.
@davidcayjohnston.bsky.social
Rochester Institute of Technology professor of practice: journalism, criminal justice, law, & public policy; Pulitzer Prize for NYTimes tax reporting; 4 NYT best sellers; DCReport.org co-founder; 8 grown kids; AKA Mr. Jennifer Leonard since 1982.
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@jmeechy.bsky.social
@tpflug.bsky.social
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@arianvp.me
Working on banking infra at @mercury@twitter.com prev: @feeldco@twitter.com, @wire@twitter.com Opinions are my own and do not reflect that of my (past) employer(s)
@currentaffairs.bsky.social
A delightful print magazine of politics and culture. Like the New Yorker, but readable. Making life joyful again. https://linkin.bio/currentaffairsmag
@volkadav.bsky.social
software wrangler, chemist, bricoleur, anarcho-socialist, texpat, husband, father. anti-bigotry in any form. equal rights for all!
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@fabiomog.bsky.social
A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783