Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
social.vivaldi.net
hachyderm.io
piaille.fr
mastodon.world
troet.cafe
m.cmx.im
mastodon.uno
mastodon.gamedev.place
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
kolektiva.social
mastoturk.org
mathstodon.xyz
nrw.social
occm.cc
tech.lgbt
defcon.social
mastodonapp.uk
mstdn.ca
universeodon.com
c.im
masto.es
sueden.social
toot.community
mstdn.party
sfba.social
mastodon.scot
det.social
mastodon.sdf.org
mastodon.ie
tkz.one
ohai.social
ruhr.social
hessen.social
mastodontech.de
mastodon.nu
pouet.chapril.org
livellosegreto.it
mastodon.au
social.linux.pizza
muenchen.social
ieji.de
social.cologne
mastodon.eus
indieweb.social
mastodon.bida.im
ioc.exchange
mastodon.green
mastodont.cat
feuerwehr.social
wehavecookies.social
social.anoxinon.de
nerdculture.de
masto.nu
ruby.social
mindly.social
mastodon.ml
cyberplace.social
metalhead.club
phpc.social
uri.life
dresden.network
mastodontti.fi
m.otter.homes
toot.wales
sunny.garden
climatejustice.social
sciences.social
noc.social
mstdn.plus
privacysafe.social
tooting.ch
freiburg.social
mastodon.me.uk
furry.engineer
hostux.social
blorbo.social
rollenspiel.social
mastodon.com.pl
bonn.social
urbanists.social
rheinneckar.social
mast.lat
mastoart.social
rivals.space
wien.rocks
ursal.zone
discuss.systems
expressional.social
mapstodon.space
mstdn.games
mastodon-belgium.be
masto.pt
todon.nl
h4.io
hcommons.social
fairy.id
snabelen.no
lgbtqia.space
cupoftea.social
darmstadt.social
glasgow.social
tilde.zone
sakurajima.moe
shelter.moe
urusai.social
mastodon.gal
bark.lgbt
retro.pizza
ludosphere.fr
muenster.im
qdon.space
mastodon.berlin
peoplemaking.games
socel.net
pawb.fun
bookstodon.com
toot.aquilenet.fr
veganism.social
mast.dragon-fly.club
union.place
vmst.io
kanoa.de
mstdn.dk
theblower.au
toad.social
eupolicy.social
witter.cz
oslo.town
freeradical.zone
mastodon.uy
masto.nyc
famichiki.jp
tooot.im
xarxa.cloud
machteburch.social
musicworld.social
fandom.ink
stranger.social
mstdn.business
gardenstate.social
thecanadian.social
disabled.social
burningboard.net
cultur.social
graphics.social
pnw.zone
mountains.social
furries.club
hear-me.social
mustard.blog
mastorol.es
bahn.social
dizl.de
musician.social
tea.codes
mastodon.pnpde.social
toot.kif.rocks
fedi.at
ciberlandia.pt
archaeo.social
babka.social
tuiter.rocks
libretooth.gr
musicians.today
vkl.world
ani.work
dmv.community
mastodon.energy
frikiverse.zone
4bear.com
tyrol.social
drupal.community
masto.nobigtech.es
gamepad.club
mast.hpc.social
social.seattle.wa.us
donphan.social
hometech.social
lou.lt
toot.si
fulda.social
tchafia.be
is.nota.live
bzh.social
muri.network
qaf.men
social.politicaconciencia.org
puntarella.party
toot.re
social.silicon.moe
mastodon.vlaanderen
lsbt.me
wargamers.social
mograph.social
norcal.social
datasci.social
opencoaster.net
theatl.social
toot.funami.tech
mastodon.africa
hispagatos.space
epicure.social
burma.social
elekk.xyz
mastodon.london
devianze.city
apobangpo.space
friendsofdesoto.social
est.social
kurry.social
planetearth.social
mastodon.pirateparty.be
lewacki.space
toot.garden
mastodon.education
leipzig.town
mastodon.cr
mstdn.animexx.de
genealysis.social
esq.social
colorid.es
ruhrpott.social
indieauthors.social
fikaverse.club
hoosier.social
fairmove.net
mastodon.bot
mastodon.wien
toots.nu
techtoots.com
library.love
fribygda.no
frontrange.co
opalstack.social
mastodon-swiss.org
h-net.social
paktodon.asia
rheinhessen.social
raphus.social
mastodon.sg
rail.chat
poweredbygay.social
arvr.social
cwb.social
seocommunity.social
epsilon.social
episcodon.net
bologna.one
stereodon.social
camp.smolnet.org
elizur.me
mastodon.cipherbliss.com
biplus.social
okla.social
k8s.social
mastodon.free-solutions.org
birdon.social
growers.social
masto.yttrx.com
mastodon.hosnet.fr
khiar.net
squawk.mytransponder.com
skastodon.com
mastodon.babb.no
silversword.online
mastodon.frl
balkan.fedive.rs
23.illuminati.org
cville.online
ailbhean.co-shaoghal.net
social.diva.exchange
mastodon.ph
lounge.town
mastodon.bachgau.social
mastodon.iow.social
kcmo.social
kzoo.to
synapse.cafe
mcr.wtf
nfld.me
darticulate.com
mastodon.ee
voi.social
mastodon.bahia.no
social.ferrocarril.net
troet.fediverse.at
nwb.social
dariox.club
polsci.social
fpl.social
nautical.social
mikumikudance.cloud
nomanssky.social
mastodon.mg
social.sndevs.com
bvb.social
ms.maritime.social
kjas.no
ceilidh.online
netsphere.one
nutmeg.social
learningdisability.social
wxw.moe
computerfairi.es
Log In
Jeff Trull
Super neat work by the team behind Rosette found 82 bugs in the eBPF interpreter/JIT engines via formal verification
https://
youtu.be/CU0fmBnCqWM?si=ncEh1l
yUrC-X-Mib
Prof. Emina Torlak | Solver-aided verification for systems software
YouTube
0
2
1
Jeff Trull