mao@lemmy.sdf.org to Selfhosted@lemmy.worldEnglish · 14 days agoA Short IPv6 Guide for Home IPv4 Adminsplus-squaregist.github.comexternal-linkmessage-square43fedilinkarrow-up1361arrow-down15
arrow-up1356arrow-down1external-linkA Short IPv6 Guide for Home IPv4 Adminsplus-squaregist.github.commao@lemmy.sdf.org to Selfhosted@lemmy.worldEnglish · 14 days agomessage-square43fedilink
mao@lemmy.sdf.org to Python@programming.dev · 1 month agoStatically Typed Functional Programming with Python 3.12plus-squarewickstrom.techexternal-linkmessage-square12fedilinkarrow-up143arrow-down11
arrow-up142arrow-down1external-linkStatically Typed Functional Programming with Python 3.12plus-squarewickstrom.techmao@lemmy.sdf.org to Python@programming.dev · 1 month agomessage-square12fedilink
minus-squaremao@lemmy.sdf.orgOPtoPython@programming.dev•Pyright can check exhaustiveness of match statements on unionslinkfedilinkarrow-up2arrow-down2·2 months agoI feel like Python is coming to its senses in the recent years, with releases focusing on typing constructs and the match statement. I think they’re on the path to be a great statically typed language, don’t you think? linkfedilink
mao@lemmy.sdf.org to Python@programming.dev · 2 months agoPyright can check exhaustiveness of match statements on unionsplus-squarelemmy.sdf.orgimagemessage-square11fedilinkarrow-up180arrow-down10
arrow-up180arrow-down1imagePyright can check exhaustiveness of match statements on unionsplus-squarelemmy.sdf.orgmao@lemmy.sdf.org to Python@programming.dev · 2 months agomessage-square11fedilink
minus-squaremao@lemmy.sdf.orgtoSelfhosted@lemmy.world•Why is Matrix mentioned more often than XMPP in self hosted forums?linkfedilinkEnglisharrow-up6·2 months agoHow did you manage to convince friends and (especially) family to actually use Matrix? Quite impressive! linkfedilink
minus-squaremao@lemmy.sdf.orgtoKDE@lemmy.kde.social•KDE-Rounded-Corners desktop effect now supports Plasma 6 in the new releaselinkfedilinkarrow-up3·5 months agoOh yeah linkfedilink
I feel like Python is coming to its senses in the recent years, with releases focusing on typing constructs and the match statement. I think they’re on the path to be a great statically typed language, don’t you think?