rwnobrega@lemmy.world to Programming@programming.dev · 6 months agoNeovim 0.12.0 releasedplus-squaregithub.comexternal-linkmessage-square19linkfedilinkarrow-up185arrow-down12
arrow-up183arrow-down1external-linkNeovim 0.12.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 6 months agomessage-square19linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 10 months agoZig: Migrating from GitHub to Codeberg ziglang.orgexternal-linkmessage-square34linkfedilinkarrow-up1228arrow-down11
arrow-up1227arrow-down1external-linkZig: Migrating from GitHub to Codeberg ziglang.orgrwnobrega@lemmy.world to Programming@programming.dev · 10 months agomessage-square34linkfedilink
rwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 1 year 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 · 1 year agomessage-square5linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 1 year 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 · 1 year agomessage-square0linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 1 year 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 · 1 year agomessage-square0linkfedilink
