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
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
mast.lat
gaygeek.social
rheinneckar.social
mastodon-belgium.be
expressional.social
wien.rocks
discuss.systems
masto.pt
ursal.zone
h4.io
mapstodon.space
todon.nl
mstdn.games
glasgow.social
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
socel.net
toot.aquilenet.fr
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
oslo.town
xarxa.cloud
eupolicy.social
musicworld.social
tooot.im
burningboard.net
masto.nyc
fandom.ink
stranger.social
gardenstate.social
mstdn.business
tea.codes
mountains.social
graphics.social
cultur.social
disabled.social
4bear.com
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
musicians.today
archaeo.social
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
toot.si
mastodon.vlaanderen
puntarella.party
social.politicaconciencia.org
muri.network
norcal.social
hometech.social
datasci.social
mograph.social
wargamers.social
lsbt.me
toot.funami.tech
theatl.social
devianze.city
opencoaster.net
mastodon.africa
drumstodon.net
hispagatos.space
epicure.social
est.social
toot.garden
elekk.xyz
mastodon.pirateparty.be
apobangpo.space
indieauthors.social
mastodon.education
mstdn.animexx.de
mastodon.london
mastodon.cr
lewacki.space
friendsofdesoto.social
kurry.social
hoosier.social
colorid.es
ruhrpott.social
planetearth.social
leipzig.town
esq.social
fikaverse.club
library.love
fairmove.net
frontrange.co
techtoots.com
burma.social
mastodon.bot
toots.nu
fribygda.no
raphus.social
mastodon.wien
arvr.social
rheinhessen.social
opalstack.social
khiar.net
h-net.social
rail.chat
paktodon.asia
seocommunity.social
poweredbygay.social
mastodon.sg
epsilon.social
bologna.one
birdon.social
k8s.social
camp.smolnet.org
okla.social
growers.social
elizur.me
masto.yttrx.com
stereodon.social
mastodon.hosnet.fr
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
kzoo.to
mastodon.ph
mastodon.iow.social
mcr.wtf
mastodon.bachgau.social
social.diva.exchange
kcmo.social
synapse.cafe
social.ferrocarril.net
mastodon.ee
nfld.me
voi.social
freeradical.zone
darticulate.com
mastodon.bahia.no
polsci.social
nautical.social
troet.fediverse.at
fpl.social
mastodon.mg
mikumikudance.cloud
nomanssky.social
social.sndevs.com
dariox.club
nwb.social
kjas.no
ms.maritime.social
ceilidh.online
bvb.social
netsphere.one
nutmeg.social
computerfairi.es
wxw.moe
learningdisability.social
Log In
Alex Nedelcu
1d ago
Keynote by Martin Odersky
#ScalarConf
#Scala
3
3
4
Show thread
Rob Norris
22h ago
@alexelcu
Safe mode is interesting. Was it implemented to prevent you from casting to defeat the capture-checker?
1
0
1
Show thread
Jakub Kozłowski
@tpolecat
@alexelcu
pretty much. Now if only it also made vars illegal, we'd finally have scala the good parts 😅
1
0
3
Show thread
arosien
21h ago
@kubukoz
@tpolecat
@alexelcu
who would dare to use unsafe features? WHO
1
0
1
Show thread
Rob Norris
21h ago
@arosien
@kubukoz
@alexelcu
I learned the hard way that caring about programming languages is bad for my soul, so this is more a matter of amusement than anything else.
0
0
4
Alex Nedelcu
Rob Norris
Jakub Kozłowski
arosien