Érik Martin-Dorel
370 following
LightNews LightNews
Wikipedia PotD Context
Wikipedia PotD Context
@potd-context.bsky.social
Type Theory Forall
Type Theory Forall
@ttforall.bsky.social
arXiv cs.SE Software Engineering
arXiv cs.SE Software Engineering
@csse-bot.bsky.social
Stéphane Nicoll
Stéphane Nicoll
@snicoll.be
Roy van Rijn
Roy van Rijn
@royvanrijn.com
Thomas (lipsum.dev)
Thomas (lipsum.dev)
@lipsum.dev
Nidouille
Nidouille
@nidouille.bsky.social
Hugo Lassiège
Hugo Lassiège
@eventuallycoding.com
pr00f
pr00f
@smith.fo
Martin Jambon
Martin Jambon
@mjambon.bsky.social
Michael (compiler-errors) Goulet
Michael (compiler-errors) Goulet
@errs.io
The Stack Overflow Blog - Stack Overflow
The Stack Overflow Blog - Stack Overflow
@stackoverflow.blog.web.brid.gy
Laurent Cheylus
Laurent Cheylus
@lcheylus.bsky.social
Matej Cerny
Matej Cerny
@matejcerny.bsky.social
ORCID
ORCID
@orcid.org
Yann Salmon
Yann Salmon
@yannsalmon.fr
FunctionalProgramming
FunctionalProgramming
@functionalprogramming.activitypub.awakari.com.ap.brid.gy
arxiv cs.PL
arxiv cs.PL
@arxiv-cs-pl.bsky.social
SIGPLAN
SIGPLAN
@sigplan.bsky.social
Noam Zeilberger
Noam Zeilberger
@noamzoam.mathstodon.xyz.ap.brid.gy
Junrui Liu
Junrui Liu
@junrui-liu.bsky.social
Sam Tobin-Hochstadt
Sam Tobin-Hochstadt
@samth.bsky.social
serpent7776.bsky.social
serpent7776.bsky.social
@serpent7776.bsky.social
Eduardo Rafael
Eduardo Rafael
@eduardorfs.com
Nitrokey
Nitrokey
@nitrokey.bsky.social
Tangled
Tangled
@tangled.org
Hacker News 20
Hacker News 20
@betterhn20.e-work.xyz
Stéphane TRÉBEL (Le Permacodeur)
Stéphane TRÉBEL (Le Permacodeur)
@permacodeur.fr
Julien 🐧
Julien 🐧
@dju.bsky.social
Jared Forsyth
Jared Forsyth
@jaredforsyth.com
Alexander Bandukwala
Alexander Bandukwala
@bandukwala.me
Théo Winterhalter
Théo Winterhalter
@theowinterhalter.bsky.social
Formal Methods Europe
Formal Methods Europe
@formalmtds.bsky.social
Guillaume Claret
Guillaume Claret
@guillaume-claret.bsky.social
Formal Land
Formal Land
@formalland.bsky.social
Sacha Greif
Sacha Greif
@sachagreif.com
SE4FP Workshop
SE4FP Workshop
@se4fp.github.io
France 3 Occitanie
France 3 Occitanie
@france3occitanie.bsky.social
CNRS en Occitanie Est
CNRS en Occitanie Est
@cnrsoccitanieest.bsky.social
Région Occitanie
Région Occitanie
@occitanie.bsky.social
franckec.bsky.social
franckec.bsky.social
@franckec.bsky.social
Chukwuma
Chukwuma
@fearful-odds.rocks
DAVx⁵
DAVx⁵
@davx5.com
Ben Kadel
Ben Kadel
@benkadel.com
Bits from the Debian Project
Bits from the Debian Project
@bits.debian.org.web.brid.gy
GOTO Conferences
GOTO Conferences
@gotocon.com
ReScript
ReScript
@rescript-lang.org
David Moon
David Moon
@dm0ney.bsky.social
SimonR
SimonR
@simon-r07.bsky.social
ICFP Conference
ICFP Conference
@icfp-conference.bsky.social
Load more