Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
social.vivaldi.net
piaille.fr
hachyderm.io
mastodon.world
troet.cafe
mastodon.uno
m.cmx.im
mastodon.gamedev.place
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
kolektiva.social
mathstodon.xyz
mastoturk.org
nrw.social
tech.lgbt
occm.cc
defcon.social
mstdn.ca
mastodonapp.uk
universeodon.com
c.im
masto.es
sueden.social
toot.community
mstdn.party
det.social
sfba.social
mastodon.scot
tkz.one
ohai.social
mastodon.ie
ruhr.social
hessen.social
mastodontech.de
mastodon.nu
mastodon.sdf.org
pouet.chapril.org
livellosegreto.it
mastodon.au
social.linux.pizza
mastodont.cat
social.cologne
ioc.exchange
indieweb.social
mastodon.eus
ieji.de
mastodon.bida.im
muenchen.social
mastodon.green
feuerwehr.social
social.anoxinon.de
wehavecookies.social
masto.nu
ruby.social
nerdculture.de
mindly.social
cyberplace.social
mastodon.ml
metalhead.club
phpc.social
uri.life
m.otter.homes
dresden.network
mastodontti.fi
toot.wales
qaf.men
sunny.garden
climatejustice.social
noc.social
sciences.social
privacysafe.social
mstdn.plus
bark.lgbt
freiburg.social
tooting.ch
furry.engineer
blorbo.social
rollenspiel.social
hostux.social
mastodon.me.uk
rivals.space
mastodon.com.pl
bonn.social
urbanists.social
mastoart.social
gaygeek.social
mast.lat
rheinneckar.social
mastodon-belgium.be
expressional.social
wien.rocks
discuss.systems
masto.pt
ursal.zone
h4.io
mapstodon.space
todon.nl
mstdn.games
hcommons.social
sakurajima.moe
snabelen.no
fairy.id
lgbtqia.space
cupoftea.social
shelter.moe
darmstadt.social
tilde.zone
urusai.social
mastodon.gal
retro.pizza
ludosphere.fr
bookstodon.com
mastorol.es
qdon.space
muenster.im
peoplemaking.games
toot.aquilenet.fr
socel.net
mast.dragon-fly.club
mastodon.berlin
pawb.fun
vmst.io
veganism.social
famichiki.jp
kanoa.de
mstdn.dk
union.place
machteburch.social
witter.cz
toad.social
mastodon.uy
theblower.au
xarxa.cloud
oslo.town
eupolicy.social
musicworld.social
tooot.im
burningboard.net
masto.nyc
fandom.ink
stranger.social
gardenstate.social
mstdn.business
tea.codes
graphics.social
mountains.social
cultur.social
4bear.com
disabled.social
thecanadian.social
pnw.zone
furries.club
mustard.blog
hear-me.social
mastodon.pnpde.social
fedi.at
bahn.social
toot.kif.rocks
musician.social
dizl.de
libretooth.gr
archaeo.social
musicians.today
ciberlandia.pt
babka.social
dmv.community
toot.re
ani.work
vkl.world
tyrol.social
mastodon.energy
tuiter.rocks
frikiverse.zone
masto.nobigtech.es
lou.lt
gamepad.club
drupal.community
social.seattle.wa.us
donphan.social
mast.hpc.social
social.silicon.moe
tchafia.be
fulda.social
is.nota.live
mastodon.vlaanderen
toot.si
puntarella.party
norcal.social
social.politicaconciencia.org
muri.network
hometech.social
datasci.social
wargamers.social
mograph.social
lsbt.me
toot.funami.tech
opencoaster.net
theatl.social
devianze.city
mastodon.africa
drumstodon.net
hispagatos.space
epicure.social
est.social
toot.garden
elekk.xyz
mastodon.pirateparty.be
mastodon.education
apobangpo.space
indieauthors.social
mastodon.london
mstdn.animexx.de
mastodon.cr
kurry.social
lewacki.space
friendsofdesoto.social
hoosier.social
colorid.es
ruhrpott.social
planetearth.social
leipzig.town
esq.social
fikaverse.club
library.love
fairmove.net
frontrange.co
burma.social
techtoots.com
mastodon.bot
toots.nu
fribygda.no
raphus.social
cwb.social
mastodon.wien
arvr.social
khiar.net
h-net.social
rheinhessen.social
opalstack.social
mastodon-swiss.org
rail.chat
paktodon.asia
poweredbygay.social
seocommunity.social
mastodon.sg
epsilon.social
bologna.one
k8s.social
birdon.social
camp.smolnet.org
okla.social
stereodon.social
elizur.me
masto.yttrx.com
growers.social
episcodon.net
biplus.social
squawk.mytransponder.com
skastodon.com
mastodon.babb.no
mastodon.frl
cville.online
silversword.online
balkan.fedive.rs
lounge.town
23.illuminati.org
mastodon.ph
kzoo.to
mastodon.iow.social
mcr.wtf
mastodon.bachgau.social
social.diva.exchange
kcmo.social
synapse.cafe
mastodon.ee
social.ferrocarril.net
nfld.me
freeradical.zone
voi.social
darticulate.com
mastodon.bahia.no
nautical.social
polsci.social
troet.fediverse.at
fpl.social
mastodon.mg
mikumikudance.cloud
dariox.club
nomanssky.social
social.sndevs.com
kjas.no
ms.maritime.social
nwb.social
bvb.social
ceilidh.online
netsphere.one
nutmeg.social
wxw.moe
learningdisability.social
computerfairi.es
Log In
Taneb
Mar 18
Losing my job, wondering if I can make a living implementing Agda libraries
3
0
0
Show thread
Daphne Preston-Kendal
@
Taneb
Yes, but only if you want to work with cryptocurrency 😬
1
0
0
Show thread
Taneb
Mar 18
@dpk
Alas, I still have my principles
1
0
0
Show thread
Daphne Preston-Kendal
Mar 18
@
Taneb
Yeah … (see my own recent toots)
0
0
0
Taneb
Daphne Preston-Kendal