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/)
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/)
Application-Driven Infrastructure Deployment • Kief Morris
https://www.reddit.com/r/programming/comments/1vn9bgm/applicationdriven_infrastructure_deployment_kief/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/r06NY-heh-E?list=PLEx5khR4g7PINwOsYrkwz3lTTJUYoXC53) [comments] (https://www.reddit.com/r/programming/comments/1vn9bgm/applicationdriven_infrastructure_deployment_kief/)
https://www.reddit.com/r/programming/comments/1vn9bgm/applicationdriven_infrastructure_deployment_kief/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/r06NY-heh-E?list=PLEx5khR4g7PINwOsYrkwz3lTTJUYoXC53) [comments] (https://www.reddit.com/r/programming/comments/1vn9bgm/applicationdriven_infrastructure_deployment_kief/)
State-of-the-art Bytecode Interpreters in Java by Yudi Zheng
https://www.reddit.com/r/programming/comments/1vnckbr/stateoftheart_bytecode_interpreters_in_java_by/
submitted by /u/grashalm01 (https://www.reddit.com/user/grashalm01)
[link] (https://medium.com/graalvm/escaping-the-giant-switch-dec20b572139) [comments] (https://www.reddit.com/r/programming/comments/1vnckbr/stateoftheart_bytecode_interpreters_in_java_by/)
https://www.reddit.com/r/programming/comments/1vnckbr/stateoftheart_bytecode_interpreters_in_java_by/
submitted by /u/grashalm01 (https://www.reddit.com/user/grashalm01)
[link] (https://medium.com/graalvm/escaping-the-giant-switch-dec20b572139) [comments] (https://www.reddit.com/r/programming/comments/1vnckbr/stateoftheart_bytecode_interpreters_in_java_by/)
NP-overrated
https://www.reddit.com/r/programming/comments/1vnkrhc/npoverrated/
submitted by /u/ngruhn (https://www.reddit.com/user/ngruhn)
[link] (https://gruhn.me/blog/2026-08-13/) [comments] (https://www.reddit.com/r/programming/comments/1vnkrhc/npoverrated/)
https://www.reddit.com/r/programming/comments/1vnkrhc/npoverrated/
submitted by /u/ngruhn (https://www.reddit.com/user/ngruhn)
[link] (https://gruhn.me/blog/2026-08-13/) [comments] (https://www.reddit.com/r/programming/comments/1vnkrhc/npoverrated/)
Stop using JWTs
https://www.reddit.com/r/programming/comments/1vnyl5k/stop_using_jwts/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://gist.github.com/samsch/0d1f3d3b4745d778f78b230cf6061452) [comments] (https://www.reddit.com/r/programming/comments/1vnyl5k/stop_using_jwts/)
https://www.reddit.com/r/programming/comments/1vnyl5k/stop_using_jwts/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://gist.github.com/samsch/0d1f3d3b4745d778f78b230cf6061452) [comments] (https://www.reddit.com/r/programming/comments/1vnyl5k/stop_using_jwts/)
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/)
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/)
I thought I was building a C replacement. I was wrong
https://www.reddit.com/r/programming/comments/1vpxrcl/i_thought_i_was_building_a_c_replacement_i_was/
submitted by /u/Nuoji (https://www.reddit.com/user/Nuoji)
[link] (https://c3-lang.org/blog/i_thought_i_was_building_a_c_replacement/) [comments] (https://www.reddit.com/r/programming/comments/1vpxrcl/i_thought_i_was_building_a_c_replacement_i_was/)
https://www.reddit.com/r/programming/comments/1vpxrcl/i_thought_i_was_building_a_c_replacement_i_was/
submitted by /u/Nuoji (https://www.reddit.com/user/Nuoji)
[link] (https://c3-lang.org/blog/i_thought_i_was_building_a_c_replacement/) [comments] (https://www.reddit.com/r/programming/comments/1vpxrcl/i_thought_i_was_building_a_c_replacement_i_was/)
Protobuf finally has LSP support. You’re welcome. · Buf
https://www.reddit.com/r/programming/comments/1vq4pbv/protobuf_finally_has_lsp_support_youre_welcome_buf/
submitted by /u/esiy0676 (https://www.reddit.com/user/esiy0676)
[link] (https://buf.build/blog/protobuf-lsp) [comments] (https://www.reddit.com/r/programming/comments/1vq4pbv/protobuf_finally_has_lsp_support_youre_welcome_buf/)
https://www.reddit.com/r/programming/comments/1vq4pbv/protobuf_finally_has_lsp_support_youre_welcome_buf/
submitted by /u/esiy0676 (https://www.reddit.com/user/esiy0676)
[link] (https://buf.build/blog/protobuf-lsp) [comments] (https://www.reddit.com/r/programming/comments/1vq4pbv/protobuf_finally_has_lsp_support_youre_welcome_buf/)
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/)
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/)
Faster algorithms to compute weekday for date libraries
https://www.reddit.com/r/programming/comments/1vqndz5/faster_algorithms_to_compute_weekday_for_date/
submitted by /u/benjoffe (https://www.reddit.com/user/benjoffe)
[link] (https://www.benjoffe.com/fast-day-of-week) [comments] (https://www.reddit.com/r/programming/comments/1vqndz5/faster_algorithms_to_compute_weekday_for_date/)
https://www.reddit.com/r/programming/comments/1vqndz5/faster_algorithms_to_compute_weekday_for_date/
submitted by /u/benjoffe (https://www.reddit.com/user/benjoffe)
[link] (https://www.benjoffe.com/fast-day-of-week) [comments] (https://www.reddit.com/r/programming/comments/1vqndz5/faster_algorithms_to_compute_weekday_for_date/)
Fractal Architecture, Cognitive Load, Vertical Slices and other terms that do(n't) fit your head
https://www.reddit.com/r/programming/comments/1vqsufx/fractal_architecture_cognitive_load_vertical/
submitted by /u/Adventurous-Salt8514 (https://www.reddit.com/user/Adventurous-Salt8514)
[link] (https://www.architecture-weekly.com/p/fractal-architecture-cognitive-load) [comments] (https://www.reddit.com/r/programming/comments/1vqsufx/fractal_architecture_cognitive_load_vertical/)
https://www.reddit.com/r/programming/comments/1vqsufx/fractal_architecture_cognitive_load_vertical/
submitted by /u/Adventurous-Salt8514 (https://www.reddit.com/user/Adventurous-Salt8514)
[link] (https://www.architecture-weekly.com/p/fractal-architecture-cognitive-load) [comments] (https://www.reddit.com/r/programming/comments/1vqsufx/fractal_architecture_cognitive_load_vertical/)
Nothing like a Monday morning GitHub outage
https://www.reddit.com/r/programming/comments/1vqukkf/nothing_like_a_monday_morning_github_outage/
submitted by /u/Jwosty (https://www.reddit.com/user/Jwosty)
[link] (https://www.githubstatus.com/) [comments] (https://www.reddit.com/r/programming/comments/1vqukkf/nothing_like_a_monday_morning_github_outage/)
https://www.reddit.com/r/programming/comments/1vqukkf/nothing_like_a_monday_morning_github_outage/
submitted by /u/Jwosty (https://www.reddit.com/user/Jwosty)
[link] (https://www.githubstatus.com/) [comments] (https://www.reddit.com/r/programming/comments/1vqukkf/nothing_like_a_monday_morning_github_outage/)
A Preview of DuckDB v2.0
https://www.reddit.com/r/programming/comments/1vqxler/a_preview_of_duckdb_v20/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://duckdb.org/2026/08/17/duckdb-20-highlights) [comments] (https://www.reddit.com/r/programming/comments/1vqxler/a_preview_of_duckdb_v20/)
https://www.reddit.com/r/programming/comments/1vqxler/a_preview_of_duckdb_v20/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://duckdb.org/2026/08/17/duckdb-20-highlights) [comments] (https://www.reddit.com/r/programming/comments/1vqxler/a_preview_of_duckdb_v20/)
Can Haskell Become a Great Language for Data Science?
https://www.reddit.com/r/programming/comments/1vqyt0y/can_haskell_become_a_great_language_for_data/
submitted by /u/IcyAnywhere9603 (https://www.reddit.com/user/IcyAnywhere9603)
[link] (https://youtu.be/WpDVrUdbT2o?is=vfHORwQTTyQo9y-r) [comments] (https://www.reddit.com/r/programming/comments/1vqyt0y/can_haskell_become_a_great_language_for_data/)
https://www.reddit.com/r/programming/comments/1vqyt0y/can_haskell_become_a_great_language_for_data/
submitted by /u/IcyAnywhere9603 (https://www.reddit.com/user/IcyAnywhere9603)
[link] (https://youtu.be/WpDVrUdbT2o?is=vfHORwQTTyQo9y-r) [comments] (https://www.reddit.com/r/programming/comments/1vqyt0y/can_haskell_become_a_great_language_for_data/)
What if YOU Could Add Your Own Features to a Language?
https://www.reddit.com/r/programming/comments/1vrb433/what_if_you_could_add_your_own_features_to_a/
<!-- SC_OFF -->I made a video explaining a concept I love called macros, which allow you to add your own syntax to a language. Languages like Rust, Lean, and lisp have them. The goal with the video is to make you feel like you could've discovered macros yourself. I'm new at making educational content like this, but I'm planning on making many more programming language videos like this one on my channel. Any thoughts, constructive criticism, or advice is more than welcome! Hope you all enjoy <!-- SC_ON --> submitted by /u/quasar_tree (https://www.reddit.com/user/quasar_tree)
[link] (https://www.youtube.com/watch?v=LZO9Zs9w-tI) [comments] (https://www.reddit.com/r/programming/comments/1vrb433/what_if_you_could_add_your_own_features_to_a/)
https://www.reddit.com/r/programming/comments/1vrb433/what_if_you_could_add_your_own_features_to_a/
<!-- SC_OFF -->I made a video explaining a concept I love called macros, which allow you to add your own syntax to a language. Languages like Rust, Lean, and lisp have them. The goal with the video is to make you feel like you could've discovered macros yourself. I'm new at making educational content like this, but I'm planning on making many more programming language videos like this one on my channel. Any thoughts, constructive criticism, or advice is more than welcome! Hope you all enjoy <!-- SC_ON --> submitted by /u/quasar_tree (https://www.reddit.com/user/quasar_tree)
[link] (https://www.youtube.com/watch?v=LZO9Zs9w-tI) [comments] (https://www.reddit.com/r/programming/comments/1vrb433/what_if_you_could_add_your_own_features_to_a/)
We Ship Our UI Through a Subtitle System
https://www.reddit.com/r/programming/comments/1vrgbaa/we_ship_our_ui_through_a_subtitle_system/
submitted by /u/No_Value_6697 (https://www.reddit.com/user/No_Value_6697)
[link] (https://deadworks.net/blog/we-ship-our-ui-through-a-subtitle-system) [comments] (https://www.reddit.com/r/programming/comments/1vrgbaa/we_ship_our_ui_through_a_subtitle_system/)
https://www.reddit.com/r/programming/comments/1vrgbaa/we_ship_our_ui_through_a_subtitle_system/
submitted by /u/No_Value_6697 (https://www.reddit.com/user/No_Value_6697)
[link] (https://deadworks.net/blog/we-ship-our-ui-through-a-subtitle-system) [comments] (https://www.reddit.com/r/programming/comments/1vrgbaa/we_ship_our_ui_through_a_subtitle_system/)
"What if SQL was like Elm?"
https://www.reddit.com/r/programming/comments/1vrk1b8/what_if_sql_was_like_elm/
submitted by /u/wheatBread (https://www.reddit.com/user/wheatBread)
[link] (https://acadia.engineering/blog/rethinking-database-programming) [comments] (https://www.reddit.com/r/programming/comments/1vrk1b8/what_if_sql_was_like_elm/)
https://www.reddit.com/r/programming/comments/1vrk1b8/what_if_sql_was_like_elm/
submitted by /u/wheatBread (https://www.reddit.com/user/wheatBread)
[link] (https://acadia.engineering/blog/rethinking-database-programming) [comments] (https://www.reddit.com/r/programming/comments/1vrk1b8/what_if_sql_was_like_elm/)
How an immediate mode UI (Shirei) retains component identity and state
https://www.reddit.com/r/programming/comments/1vrtje0/how_an_immediate_mode_ui_shirei_retains_component/
submitted by /u/hasen-judi (https://www.reddit.com/user/hasen-judi)
[link] (https://judi.systems/shirei/blog/immediate-mode-retained-state/) [comments] (https://www.reddit.com/r/programming/comments/1vrtje0/how_an_immediate_mode_ui_shirei_retains_component/)
https://www.reddit.com/r/programming/comments/1vrtje0/how_an_immediate_mode_ui_shirei_retains_component/
submitted by /u/hasen-judi (https://www.reddit.com/user/hasen-judi)
[link] (https://judi.systems/shirei/blog/immediate-mode-retained-state/) [comments] (https://www.reddit.com/r/programming/comments/1vrtje0/how_an_immediate_mode_ui_shirei_retains_component/)
Modular: Mojo🔥 is now open source!
https://www.reddit.com/r/programming/comments/1vruda3/modular_mojo_is_now_open_source/
submitted by /u/eatonphil (https://www.reddit.com/user/eatonphil)
[link] (https://www.modular.com/blog/mojo-open-source) [comments] (https://www.reddit.com/r/programming/comments/1vruda3/modular_mojo_is_now_open_source/)
https://www.reddit.com/r/programming/comments/1vruda3/modular_mojo_is_now_open_source/
submitted by /u/eatonphil (https://www.reddit.com/user/eatonphil)
[link] (https://www.modular.com/blog/mojo-open-source) [comments] (https://www.reddit.com/r/programming/comments/1vruda3/modular_mojo_is_now_open_source/)
Odin's New Inline Assembly Templates
https://www.reddit.com/r/programming/comments/1vrzjdf/odins_new_inline_assembly_templates/
submitted by /u/gingerbill (https://www.reddit.com/user/gingerbill)
[link] (https://odin-lang.org/docs/inline-asm/) [comments] (https://www.reddit.com/r/programming/comments/1vrzjdf/odins_new_inline_assembly_templates/)
https://www.reddit.com/r/programming/comments/1vrzjdf/odins_new_inline_assembly_templates/
submitted by /u/gingerbill (https://www.reddit.com/user/gingerbill)
[link] (https://odin-lang.org/docs/inline-asm/) [comments] (https://www.reddit.com/r/programming/comments/1vrzjdf/odins_new_inline_assembly_templates/)
I unearthed my Am29000 C compiler and web browser from 1999. It still can surf through the emulator
https://www.reddit.com/r/programming/comments/1vs06if/i_unearthed_my_am29000_c_compiler_and_web_browser/
submitted by /u/nanochess (https://www.reddit.com/user/nanochess)
[link] (https://nanochess.org/am29000_c_compiler_web_browser.html) [comments] (https://www.reddit.com/r/programming/comments/1vs06if/i_unearthed_my_am29000_c_compiler_and_web_browser/)
https://www.reddit.com/r/programming/comments/1vs06if/i_unearthed_my_am29000_c_compiler_and_web_browser/
submitted by /u/nanochess (https://www.reddit.com/user/nanochess)
[link] (https://nanochess.org/am29000_c_compiler_web_browser.html) [comments] (https://www.reddit.com/r/programming/comments/1vs06if/i_unearthed_my_am29000_c_compiler_and_web_browser/)