Jens Petersen
19 following
LightNews LightNews
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
idris-lang.org
idris-lang.org
@idris-lang.org
Unison
Unison
@unison-lang.org
Zanzi Tangle
Zanzi Tangle
@zanzi.bsky.social
boarders.bsky.social
boarders.bsky.social
@boarders.bsky.social
Rebecca Skinner
Rebecca Skinner
@cercerilla.bsky.social
Jaana Dogan ヤナ ドガン
Jaana Dogan ヤナ ドガン
@rakyll.org
Janus Troelsen
Janus Troelsen
@januuus.bsky.social
Andres Löh
Andres Löh
@kosmikus.bsky.social
Bartosz Milewski
Bartosz Milewski
@bartoszmilewski.bsky.social
Arian van Putten
Arian van Putten
@arianvp.me
Mihai Maruseac
Mihai Maruseac
@mihai.page
Lambda Days
Lambda Days
@lambdadays.bsky.social
gabby
gabby
@fullmoon.id
Haskell programming language
Haskell programming language
@haskell.org
The Linux Foundation
The Linux Foundation
@linuxfoundation.org
Fyra Labs
Fyra Labs
@fyralabs.com
Ultramarine Linux
Ultramarine Linux
@ultramarine-linux.org
Bluesky
Bluesky
@bsky.app