rwnobrega@lemmy.world to Programming@programming.dev · 1 day agoNeovim 0.12.0 releasedplus-squaregithub.comexternal-linkmessage-square5linkfedilinkarrow-up165arrow-down12
arrow-up163arrow-down1external-linkNeovim 0.12.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 1 day agomessage-square5linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 4 months agoZig: Migrating from GitHub to Codebergplus-squareziglang.orgexternal-linkmessage-square34linkfedilinkarrow-up1195arrow-down11
arrow-up1194arrow-down1external-linkZig: Migrating from GitHub to Codebergplus-squareziglang.orgrwnobrega@lemmy.world to Programming@programming.dev · 4 months agomessage-square34linkfedilink
rwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 8 months agoHealthchecks.io: Throughput Upgrade (With Train Illustrations!)plus-squareblog.healthchecks.ioexternal-linkmessage-square2linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkHealthchecks.io: Throughput Upgrade (With Train Illustrations!)plus-squareblog.healthchecks.iorwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 8 months agomessage-square2linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 9 months agoAgda v2.8.0 releasedplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down11
arrow-up10arrow-down1external-linkAgda v2.8.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 9 months agomessage-square0linkfedilink
