Reddit Programming
190 subscribers
1.22K photos
127K links
I will send you newest post from subreddit /r/programming
Download Telegram
A Preview of Roc 0.1.0 by Richard Feldman
https://www.reddit.com/r/programming/comments/1vn7t7t/a_preview_of_roc_010_by_richard_feldman/

<!-- SC_OFF -->Roc’s first numbered release, 0.1.0, is on the horizon. This talk previews what we’re aiming to include, the key language and tooling milestones needed to get there, and what the release will mean for people interested in trying, using, or contributing to Roc. <!-- SC_ON --> submitted by /u/MagnusSedlacek (https://www.reddit.com/user/MagnusSedlacek)
[link] (https://youtu.be/a7qEOtkkDb8) [comments] (https://www.reddit.com/r/programming/comments/1vn7t7t/a_preview_of_roc_010_by_richard_feldman/)
GitHub’s reliability and design problems are getting hard to ignore in 2026
https://www.reddit.com/r/programming/comments/1vovj9y/githubs_reliability_and_design_problems_are/

<!-- SC_OFF -->Over the past year I’ve noticed a clear shift in how people talk about GitHub. What used to be occasional complaints about downtime has turned into a more consistent pattern: Multiple multi-hour outages affecting Actions, the API, pull requests, and core Git operations Large-scale spam (tens of millions of fake commits hitting the public feed) Security incidents, including malware in Microsoft’s own repositories and prompt-injection issues with their AI agent features A growing mismatch between the platform’s original design (human accounts + tokens) and the reality of autonomous AI agents that need to push code, open PRs, and collaborate without constant human babysitting Even long-time power users are reacting. Mitchell Hashimoto (user #1299, creator of Vagrant/Terraform/Ghostty) publicly announced he’s moving Ghostty off GitHub after 18 years, saying it’s “no longer a place for serious work.” This raises an interesting question: is the problem just temporary capacity issues, or is there a deeper architectural limitation? GitHub was built for a world of human developers with browsers and personal access tokens. AI coding agents don’t fit that model cleanly. They either borrow human credentials or require awkward workarounds. That feels increasingly fragile as agents become more capable. While looking into alternatives, I came across Gitlawb, a decentralized Git network that takes a different approach. It uses cryptographic identities (DIDs) instead of accounts, signed pushes by default, content-addressed storage, and treats AI agents as first-class participants that can own repositories and manage permissions natively. I’m not saying it’s production-ready for everyone tomorrow, but the design direction is interesting given the current pain points on GitHub. Would be good to hear different perspectives. <!-- SC_ON --> submitted by /u/amu4biz (https://www.reddit.com/user/amu4biz)
[link] (https://gitlawb.com/) [comments] (https://www.reddit.com/r/programming/comments/1vovj9y/githubs_reliability_and_design_problems_are/)
Pony's Arena Allocator
https://www.reddit.com/r/programming/comments/1vq4rr0/ponys_arena_allocator/

<!-- SC_OFF -->I recently discovered that Pony (https://www.ponylang.io/)'s still alive. I had discovered Pony a few years ago while browsing tech forums. Its focus on memory safe & lock-free MT was interesting. I kept up with the weekly development for a brief period but then kind of forgot about the language until recently when I rediscovered it when I was chatting about Crystal's MT (https://crystal-lang.org/2026/07/16/1.21.0-released/). I just wanted to share the latest blog post here in case someone else remembers this language. Looks like the development has been progressing steadily. Which is impressive because the project lacks any big sponsors (https://opencollective.com/ponyc#backer). <!-- SC_ON --> submitted by /u/Bassfaceapollo (https://www.reddit.com/user/Bassfaceapollo)
[link] (https://www.ponylang.io/blog/2026/08/ponys-arena-allocator/) [comments] (https://www.reddit.com/r/programming/comments/1vq4rr0/ponys_arena_allocator/)