Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
hachyderm.io
piaille.fr
social.vivaldi.net
mastodon.world
troet.cafe
m.cmx.im
mastodon.uno
mastodon.gamedev.place
techhub.social
social.tchncs.de
norden.social
mastodon.nl
flipboard.social
mastoturk.org
kolektiva.social
mathstodon.xyz
occm.cc
tech.lgbt
nrw.social
mastodonapp.uk
defcon.social
universeodon.com
mstdn.ca
masto.es
c.im
mastodon.sdf.org
sueden.social
toot.community
sfba.social
det.social
mastodon.scot
mstdn.party
tkz.one
mastodon.ie
ruhr.social
hessen.social
ohai.social
mastodontech.de
pouet.chapril.org
mastodon.nu
ieji.de
livellosegreto.it
social.linux.pizza
indieweb.social
muenchen.social
mastodon.au
mastodon.eus
social.cologne
mastodon.bida.im
mastodon.green
ioc.exchange
social.anoxinon.de
mastodont.cat
ruby.social
nerdculture.de
mindly.social
masto.nu
metalhead.club
cyberplace.social
mastodon.ml
m.otter.homes
dresden.network
uri.life
phpc.social
mastodontti.fi
toot.wales
sunny.garden
climatejustice.social
wehavecookies.social
noc.social
mstdn.plus
sciences.social
freiburg.social
mastodon.me.uk
furry.engineer
tooting.ch
blorbo.social
hostux.social
fairy.id
bark.lgbt
rollenspiel.social
bonn.social
mastoart.social
mastodon.com.pl
rheinneckar.social
urbanists.social
mast.lat
privacysafe.social
expressional.social
todon.nl
mstdn.games
rivals.space
masto.pt
mapstodon.space
discuss.systems
wien.rocks
hcommons.social
snabelen.no
lgbtqia.space
mastodon-belgium.be
gaygeek.social
cupoftea.social
ursal.zone
retro.pizza
mastodon.gal
sakurajima.moe
shelter.moe
darmstadt.social
tilde.zone
woof.tech
ludosphere.fr
mastorol.es
h4.io
peoplemaking.games
muenster.im
mastodon.berlin
glasgow.social
urusai.social
kanoa.de
qdon.space
socel.net
freeradical.zone
bookstodon.com
pawb.fun
veganism.social
union.place
vmst.io
mastodon.uy
mast.dragon-fly.club
toot.aquilenet.fr
oslo.town
witter.cz
toad.social
eupolicy.social
masto.nyc
theblower.au
stranger.social
xarxa.cloud
mstdn.dk
famichiki.jp
thecanadian.social
tooot.im
machteburch.social
mstdn.business
musicworld.social
fandom.ink
disabled.social
4bear.com
hear-me.social
dizl.de
graphics.social
mountains.social
burningboard.net
pnw.zone
tea.codes
toot.kif.rocks
archaeo.social
gardenstate.social
bahn.social
mustard.blog
musicians.today
furries.club
ciberlandia.pt
cultur.social
qaf.men
musician.social
babka.social
fedi.at
ani.work
tuiter.rocks
libretooth.gr
dmv.community
vkl.world
frikiverse.zone
mastodon.energy
drumstodon.net
gamepad.club
masto.nobigtech.es
drupal.community
social.seattle.wa.us
muri.network
fulda.social
tyrol.social
mast.hpc.social
tchafia.be
lou.lt
toot.si
donphan.social
bzh.social
is.nota.live
social.politicaconciencia.org
social.silicon.moe
puntarella.party
mograph.social
toot.funami.tech
norcal.social
mastodon.pnpde.social
wargamers.social
hometech.social
opencoaster.net
mastodon.africa
genealysis.social
toot.re
lsbt.me
hispagatos.space
est.social
epicure.social
leipzig.town
mastodon.london
elekk.xyz
mastodon.vlaanderen
toot.garden
mstdn.animexx.de
indieauthors.social
friendsofdesoto.social
mastodon.pirateparty.be
planetearth.social
esq.social
mastodon.education
mastodon.cr
techtoots.com
lewacki.space
kurry.social
apobangpo.space
mastodon.wien
colorid.es
raphus.social
frontrange.co
hoosier.social
mastodon.bot
opalstack.social
toots.nu
fribygda.no
library.love
burma.social
rheinhessen.social
ruhrpott.social
rail.chat
h-net.social
seocommunity.social
poweredbygay.social
mastodon.free-solutions.org
mastodon.sg
fairmove.net
camp.smolnet.org
mastodon-swiss.org
cwb.social
masto.yttrx.com
stereodon.social
arvr.social
khiar.net
bologna.one
elizur.me
okla.social
k8s.social
mastodon.cipherbliss.com
devianze.city
growers.social
biplus.social
mastodon.hosnet.fr
birdon.social
episcodon.net
skastodon.com
mastodon.babb.no
paktodon.asia
squawk.mytransponder.com
ailbhean.co-shaoghal.net
mastodon.frl
epsilon.social
balkan.fedive.rs
mastodon.iow.social
social.diva.exchange
kcmo.social
lounge.town
mastodon.ph
kzoo.to
mastodon.bachgau.social
cville.online
douzepoints.social
mcr.wtf
nfld.me
23.illuminati.org
voi.social
silversword.online
synapse.cafe
mastodon.mg
social.ferrocarril.net
mastodon.bahia.no
nautical.social
fpl.social
polsci.social
mastodon.ee
nomanssky.social
dariox.club
ms.maritime.social
mikumikudance.cloud
bvb.social
kjas.no
social.sndevs.com
troet.fediverse.at
nwb.social
darticulate.com
netsphere.one
nutmeg.social
ceilidh.online
wxw.moe
theatl.social
learningdisability.social
computerfairi.es
Log In
CF Bolz-Tereick
Andreas Rossberg is live coding a small language specification in his keynote 'Engineering a Formal Language Specification' at PLSS. Quite the flex!
#ecoop
2
4
9
Show thread
CF Bolz-Tereick
Jul 4, 2025
There were proper typos and errors from the tools and everything!
0
0
5
Show thread
Stefan Marr
Jul 4, 2025
@cfbolz
hmmm. Sounds like I should have attended that one too 😶
1
0
2
Show thread
CF Bolz-Tereick
Jul 4, 2025
@smarr
it was recorded, I think
0
0
1
CF Bolz-Tereick
Stefan Marr