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
mastoturk.org
mathstodon.xyz
flipboard.social
occm.cc
nrw.social
tech.lgbt
mastodonapp.uk
defcon.social
universeodon.com
masto.es
mstdn.ca
c.im
sueden.social
mastodon.sdf.org
toot.community
det.social
sfba.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
indieweb.social
mastodon.au
muenchen.social
mastodon.eus
social.linux.pizza
social.cologne
mastodon.bida.im
social.anoxinon.de
mastodon.green
ioc.exchange
mastodont.cat
ruby.social
nerdculture.de
mindly.social
metalhead.club
uri.life
cyberplace.social
masto.nu
dresden.network
mastodon.ml
phpc.social
m.otter.homes
mastodontti.fi
toot.wales
sunny.garden
climatejustice.social
mstdn.plus
noc.social
freiburg.social
blorbo.social
furry.engineer
sciences.social
mastodon.me.uk
hostux.social
tooting.ch
rollenspiel.social
bonn.social
privacysafe.social
bark.lgbt
mastodon.com.pl
mast.lat
urbanists.social
fairy.id
rheinneckar.social
masto.pt
todon.nl
wehavecookies.social
mapstodon.space
discuss.systems
mstdn.games
expressional.social
ursal.zone
rivals.space
snabelen.no
wien.rocks
hcommons.social
cupoftea.social
lgbtqia.space
gaygeek.social
mastodon-belgium.be
mastodon.gal
tilde.zone
retro.pizza
sakurajima.moe
shelter.moe
h4.io
woof.tech
mastorol.es
mastodon.berlin
darmstadt.social
ludosphere.fr
glasgow.social
muenster.im
bookstodon.com
freeradical.zone
kanoa.de
peoplemaking.games
veganism.social
pawb.fun
qdon.space
socel.net
mastodon.uy
union.place
urusai.social
toot.aquilenet.fr
vmst.io
famichiki.jp
oslo.town
mast.dragon-fly.club
witter.cz
toad.social
mstdn.dk
masto.nyc
stranger.social
xarxa.cloud
machteburch.social
dizl.de
theblower.au
hear-me.social
tooot.im
4bear.com
mstdn.business
thecanadian.social
musicworld.social
disabled.social
fandom.ink
mountains.social
qaf.men
graphics.social
gardenstate.social
burningboard.net
pnw.zone
bahn.social
toot.kif.rocks
drumstodon.net
ciberlandia.pt
furries.club
musicians.today
musician.social
mustard.blog
cultur.social
babka.social
fedi.at
tea.codes
archaeo.social
tuiter.rocks
dmv.community
mastodon.pnpde.social
ani.work
vkl.world
libretooth.gr
frikiverse.zone
mastodon.energy
muri.network
gamepad.club
drupal.community
tyrol.social
social.seattle.wa.us
fulda.social
social.politicaconciencia.org
masto.nobigtech.es
lou.lt
mast.hpc.social
toot.si
donphan.social
tchafia.be
bzh.social
is.nota.live
norcal.social
puntarella.party
social.silicon.moe
hometech.social
toot.funami.tech
lsbt.me
mograph.social
datasci.social
wargamers.social
opencoaster.net
toot.re
mastodon.africa
hispagatos.space
mastodon.london
mastodon.vlaanderen
epicure.social
elekk.xyz
genealysis.social
leipzig.town
mstdn.animexx.de
est.social
toot.garden
theatl.social
friendsofdesoto.social
mastodon.pirateparty.be
esq.social
indieauthors.social
mastodon.cr
mastodon.education
opalstack.social
hoosier.social
mastodon.wien
techtoots.com
kurry.social
apobangpo.space
fribygda.no
frontrange.co
mastodon.bot
raphus.social
ruhrpott.social
burma.social
seocommunity.social
colorid.es
arvr.social
rheinhessen.social
planetearth.social
library.love
fairmove.net
mastodon.sg
h-net.social
rail.chat
khiar.net
poweredbygay.social
mastodon-swiss.org
elizur.me
cwb.social
mastodon.free-solutions.org
bologna.one
devianze.city
stereodon.social
masto.yttrx.com
okla.social
growers.social
mastodon.hosnet.fr
biplus.social
birdon.social
squawk.mytransponder.com
mastodon.babb.no
ailbhean.co-shaoghal.net
episcodon.net
epsilon.social
paktodon.asia
skastodon.com
mastodon.frl
cville.online
balkan.fedive.rs
kcmo.social
social.diva.exchange
mastodon.ph
mastodon.iow.social
kzoo.to
mcr.wtf
douzepoints.social
mikumikudance.cloud
synapse.cafe
silversword.online
voi.social
mastodon.bachgau.social
nfld.me
lounge.town
23.illuminati.org
social.ferrocarril.net
fpl.social
mastodon.bahia.no
mastodon.mg
polsci.social
ms.maritime.social
mastodon.ee
social.sndevs.com
nomanssky.social
troet.fediverse.at
nautical.social
bvb.social
darticulate.com
kjas.no
nwb.social
dariox.club
nutmeg.social
netsphere.one
ceilidh.online
learningdisability.social
wxw.moe
computerfairi.es
Log In
Evan Prodromou
5d ago
Is it OK to use AI to analyze code and documents for errors?
#EvanPoll
#poll
#ai
Yes
37.3%
Yes, but...
39.3%
No, but...
6.4%
No
17%
Poll ended at
May 11 at 4:53pm
.
24
20
8
Show thread
Nadia/Надя/नाडिया/娜迪亚/ نادية
@evan
It may help with exploring the space of potential proofs of correctness for formal verification tools. Ultimately, something needs to check that it's doing the right thing somehow.
0
0
0
Evan Prodromou
Nadia/Надя/नाडिया/娜迪亚/ نادية