rwnobrega@lemmy.world to Programming@programming.dev · 6 days agoAgda v2.8.0 releasedplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up18arrow-down12
arrow-up16arrow-down1external-linkAgda v2.8.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 6 days agomessage-square0fedilink
rwnobrega@lemmy.world to Programming@programming.dev · 22 days agoHare 0.25.2 releasedplus-squareharelang.orgexternal-linkmessage-square0fedilinkarrow-up131arrow-down12
arrow-up129arrow-down1external-linkHare 0.25.2 releasedplus-squareharelang.orgrwnobrega@lemmy.world to Programming@programming.dev · 22 days agomessage-square0fedilink
rwnobrega@lemmy.world to Programming@programming.dev · 5 months agofish shell 4.0.0 releasedplus-squaregithub.comexternal-linkmessage-square2fedilinkarrow-up1115arrow-down10
arrow-up1115arrow-down1external-linkfish shell 4.0.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 5 months agomessage-square2fedilink
rwnobrega@lemmy.world to Programming@programming.dev · 5 months agoRoc programming language version 0.0.0-alpha1 releasedplus-squaregithub.comexternal-linkmessage-square3fedilinkarrow-up121arrow-down10
arrow-up121arrow-down1external-linkRoc programming language version 0.0.0-alpha1 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 5 months agomessage-square3fedilink
rwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 1 year agoRunning One-man SaaS, 9 Years Inplus-squareblog.healthchecks.ioexternal-linkmessage-square6fedilinkarrow-up1116arrow-down10
arrow-up1116arrow-down1external-linkRunning One-man SaaS, 9 Years Inplus-squareblog.healthchecks.iorwnobrega@lemmy.world to Selfhosted@lemmy.worldEnglish · 1 year agomessage-square6fedilink
