Alecs P. Hacker
69 following
LightNews LightNews
Nicole Heinimann
Nicole Heinimann
@saltypeppermint.bsky.social
Olof❤️AI
Olof❤️AI
@olof-loves-ai.bsky.social
Martin Escardo
Martin Escardo
@martinescardo.mathstodon.xyz.ap.brid.gy
innocentzer0.bsky.social
innocentzer0.bsky.social
@innocentzer0.bsky.social
terrorjack.bsky.social
terrorjack.bsky.social
@terrorjack.bsky.social
rntz
@rntz.net
Γ ⊢ quartztz : bnuy
Γ ⊢ quartztz : bnuy
@jack.quartztz.com
boarders.bsky.social
boarders.bsky.social
@boarders.bsky.social
The C Programming Language
The C Programming Language
@c-official.bsky.social
Théophile فهيل (ꈍ ᴗ ꈍ✿)
Théophile فهيل (ꈍ ᴗ ꈍ✿)
@theophile.choutri.eu
Jan van Brügge
Jan van Brügge
@jvanbruegge.cerberus-systems.de
Oisín Kidney
Oisín Kidney
@doisinkidney.com
thelissimus.bsky.social
thelissimus.bsky.social
@thelissimus.bsky.social
Nicole
Nicole
@nikko98.bsky.social
TypeHoles
TypeHoles
@typeholes.bsky.social
Haskell Interlude
Haskell Interlude
@haskellinterlude.bsky.social
Andres Löh
Andres Löh
@kosmikus.bsky.social
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
Alex McLean
Alex McLean
@slab.org
arXiv cs.PL Programming Languages
arXiv cs.PL Programming Languages
@cspl-bot.bsky.social
Danilo Piazzalunga
Danilo Piazzalunga
@danilopiazza.bsky.social
Jonathan Aldrich
Jonathan Aldrich
@jonathanaldrich.bsky.social
Nathan🌸
Nathan🌸
@shimmermathlabs.com
Stephen
Stephen
@sp.degabrielle.name
asa
asa
@anglesideangle.dev
Komi (Cactus) Golov
Komi (Cactus) Golov
@jesyspa.bsky.social
Samir Rashid
Samir Rashid
@godsped.com
Type Theory Forall
Type Theory Forall
@ttforall.bsky.social
Freek Wiedijk
Freek Wiedijk
@freekwiedijk.bsky.social
least informed nerd
least informed nerd
@leastinformednerd.bsky.social
Sjoerd Visscher
Sjoerd Visscher
@sjoerdvisscher.w3future.com
Anil Madhavapeddy
Anil Madhavapeddy
@anil.recoil.org
andrew blinn
andrew blinn
@disconcision.com
Ernest Ng
Ernest Ng
@ngernest2.bsky.social
Mohammad Hossein Khoshechin
Mohammad Hossein Khoshechin
@khoshechin.bsky.social
Тsфdiиg
Тsфdiиg
@tsoding.bsky.social
Racket
Racket
@racket-lang.org
sai
sai
@texoport.in
oliver
oliver
@eikopf.com
lexa
lexa
@qexat.bsky.social
Joe Cutler
Joe Cutler
@alphaconvert.bsky.social
Mike Samuel 🟣
Mike Samuel 🟣
@mvsamuel.bsky.social
Marco Peressotti
Marco Peressotti
@mperessotti.bsky.social
Tom
Tom
@contextfree.bsky.social
Nate Foster
Nate Foster
@natefoster.bsky.social
Cody
Cody
@codyroux.bsky.social
Kiran
Kiran
@kirancodes.me
SIGPLAN
SIGPLAN
@sigplan.bsky.social
ICFP Conference
ICFP Conference
@icfp-conference.bsky.social
Load more