rwnobrega

joined 2 years ago

224

Zig: Migrating from GitHub to Codeberg (ziglang.org)

submitted 1 week ago by rwnobrega@lemmy.world to c/programming@programming.dev

34 comments fedilink

57

Healthchecks.io: Throughput Upgrade (With Train Illustrations!) (blog.healthchecks.io)

submitted 4 months ago by rwnobrega@lemmy.world to c/selfhosted@lemmy.world

5 comments fedilink

6

Agda v2.8.0 released (github.com)

submitted 5 months ago by rwnobrega@lemmy.world to c/programming@programming.dev

0 comments fedilink

30

Hare 0.25.2 released (harelang.org)

submitted 5 months ago by rwnobrega@lemmy.world to c/programming@programming.dev

0 comments fedilink