×
You are not logged in
Bluesky Follows
Tweag by Modus Create
Follows by @tweag.io
ZuriHac
Registered:11 Dec 2024 22:28
Follow date:10 Feb 2026 09:11
The official Bluesky account for ZuriHac
zurihac.info
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:28 Oct 2025 14:13
infinisil.bsky.social
Registered:8 Sep 2025 16:02
Follow date:9 Sep 2025 08:45
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:20 Aug 2025 09:55
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
OCaml
Registered:7 Feb 2024 17:22
Follow date:15 Jul 2025 15:03
Alice β¨
Registered:19 May 2023 21:58
Follow date:15 Jul 2025 09:24
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
Registered:11 Jul 2025 07:40
Follow date:14 Jul 2025 06:26
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:1 Jul 2025 09:01
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Functional Architecture
Registered:9 Feb 2024 10:46
Follow date:9 Jun 2025 14:23
ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architectur...
Software Heritage
Registered:7 May 2025 09:43
Follow date:13 May 2025 08:50
We collect, preserve, and share #software #sourcecode for present and future generations. #swh #softwarecommons #freesoftware #opensource
Arnaud Spiwack
Registered:5 Dec 2023 15:05
Follow date:13 May 2025 07:40
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Manuel Chakravarty
Registered:3 Jul 2023 10:41
Follow date:7 May 2025 07:15
π₯ Lambda Scientist
π‘ Functional programming
π‘ Programming languages
π‘ Cryptography
π¨π½βπ» Swift, Haskell & Agda
π Volt πͺπΊ policy shaper: digital affairs
π Utrecht π³π±π©πͺπͺπΊ
Flavio π΄ββ οΈ
Registered:6 May 2023 20:27
Follow date:7 May 2025 07:15
π¨πΌβπ» Senior Software Engineer
π¦₯ Haskell/Elm at Scrive
βοΈ First #chesspunks on this app
π― ζ₯ζ¬θͺγεεΌ·δΈ(N3)
π On a mission to reach 2000 FIDE before 2031
Sjoerd Visscher
Registered:4 Sep 2023 11:28
Follow date:7 May 2025 07:14
Arian van Putten
Registered:26 Apr 2023 14:19
Follow date:22 Apr 2025 13:52
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
Registered:21 Jun 2023 04:30
Follow date:22 Apr 2025 13:48
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
Registered:3 Mar 2025 17:22
Follow date:22 Apr 2025 13:46
The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
Rust Language
Registered:28 Jun 2023 20:17
Follow date:21 Apr 2025 07:18
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/@...
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:21 Apr 2025 07:11
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...
https://www.lambda-miners.org....
Tikhon Jelvis
Registered:15 Nov 2024 02:46
Follow date:21 Apr 2025 07:05
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:21 Apr 2025 07:02
Committed to a welcoming, vibrant & ο¬ourishing #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
Registered:18 Apr 2025 13:22
Follow date:20 Apr 2025 22:47
torhovland.bsky.social
Registered:23 Nov 2024 14:40
Follow date:11 Apr 2025 01:41
andrii
Registered:4 Aug 2023 12:54
Follow date:4 Apr 2025 02:20
haskell β© vegemite
AloΓ―s Cochard
Registered:18 Oct 2024 12:13
Follow date:4 Apr 2025 02:20
United we stand, divided we fall.
aborgna
Registered:21 Nov 2023 17:42
Follow date:2 Apr 2025 08:01
Making quantum compilers @ Quantinuum and rusty open source libs.
Richard Bullington-McGuire
Registered:2 Oct 2023 18:31
Follow date:11 Mar 2025 13:25
Vegan cyclist. Proud father of 4. Technology versatilist. Author. YIMBY. Obscure.org founder. Sailor.