rwnobrega@lemmy.world to Programming@programming.dev · 18 days agoZig: Migrating from GitHub to Codebergplus-squareziglang.orgexternal-linkmessage-square34linkfedilinkarrow-up1227arrow-down11
arrow-up1226arrow-down1external-linkZig: Migrating from GitHub to Codebergplus-squareziglang.orgrwnobrega@lemmy.world to Programming@programming.dev · 18 days agomessage-square34linkfedilink
rwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 5 months agoHealthchecks.io: Throughput Upgrade (With Train Illustrations!)plus-squareblog.healthchecks.ioexternal-linkmessage-square5linkfedilinkarrow-up160arrow-down13
arrow-up157arrow-down1external-linkHealthchecks.io: Throughput Upgrade (With Train Illustrations!)plus-squareblog.healthchecks.iorwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 5 months agomessage-square5linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 5 months agoAgda v2.8.0 releasedplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up18arrow-down13
arrow-up15arrow-down1external-linkAgda v2.8.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 5 months agomessage-square0linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 6 months agoHare 0.25.2 releasedplus-squareharelang.orgexternal-linkmessage-square0linkfedilinkarrow-up132arrow-down12
arrow-up130arrow-down1external-linkHare 0.25.2 releasedplus-squareharelang.orgrwnobrega@lemmy.world to Programming@programming.dev · 6 months agomessage-square0linkfedilink
