ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
@terrorjack.bsky.social @terrorjack.bsky.social 
@infinisil.bsky.social @infinisil.bsky.social 
Simon Marlow @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.
OCaml @ocaml.org https://ocaml.org
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
@andrherr.bsky.social @andrherr.bsky.social 
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Functional Architecture @funarch.bsky.social ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architecture.org/
Software Heritage @softwareheritage.org We collect, preserve, and share #software #sourcecode for present and future generations. #swh #softwarecommons #freesoftware #opensource
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Flavio 🏴☠️ @flaviocorpa.com 👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Arian van Putten @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)
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
NixOS Foundation @nixos.org The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Edwin Brady @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/
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
@smelc.bsky.social @smelc.bsky.social 
@torhovland.bsky.social @torhovland.bsky.social 
andrii @unorsk.com L∃ⱯN ∩ VEGEMITE
Aloïs Cochard @aloiscochard.bsky.social United we stand, divided we fall.
aborgna @aborgna.bsky.social Making quantum compilers @ Quantinuum and rusty open source libs.
Richard Bullington-McGuire @obscurerichard.bsky.social Vegan cyclist. Proud father of 4. Technology versatilist. Author. YIMBY. Obscure.org founder. Sailor.