Documentation for Online Z3 Guide | Online Z3 Guide
https://www.reddit.com/r/programming/comments/1wix1tx/documentation_for_online_z3_guide_online_z3_guide/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://microsoft.github.io/z3guide/) [comments] (https://www.reddit.com/r/programming/comments/1wix1tx/documentation_for_online_z3_guide_online_z3_guide/)
https://www.reddit.com/r/programming/comments/1wix1tx/documentation_for_online_z3_guide_online_z3_guide/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://microsoft.github.io/z3guide/) [comments] (https://www.reddit.com/r/programming/comments/1wix1tx/documentation_for_online_z3_guide_online_z3_guide/)
The sort that can't have the best case
https://www.reddit.com/r/programming/comments/1wiywtu/the_sort_that_cant_have_the_best_case/
submitted by /u/0xAX (https://www.reddit.com/user/0xAX)
[link] (https://0xax.dev/cs-inside/the-sort-that-cant-have-a-best-case/) [comments] (https://www.reddit.com/r/programming/comments/1wiywtu/the_sort_that_cant_have_the_best_case/)
https://www.reddit.com/r/programming/comments/1wiywtu/the_sort_that_cant_have_the_best_case/
submitted by /u/0xAX (https://www.reddit.com/user/0xAX)
[link] (https://0xax.dev/cs-inside/the-sort-that-cant-have-a-best-case/) [comments] (https://www.reddit.com/r/programming/comments/1wiywtu/the_sort_that_cant_have_the_best_case/)
Mojo 1.1 released, now accepting community contributions to the compiler
https://www.reddit.com/r/programming/comments/1wizhuv/mojo_11_released_now_accepting_community/
submitted by /u/Fcking_Chuck (https://www.reddit.com/user/Fcking_Chuck)
[link] (https://www.phoronix.com/news/Mojo-1.1-Released) [comments] (https://www.reddit.com/r/programming/comments/1wizhuv/mojo_11_released_now_accepting_community/)
https://www.reddit.com/r/programming/comments/1wizhuv/mojo_11_released_now_accepting_community/
submitted by /u/Fcking_Chuck (https://www.reddit.com/user/Fcking_Chuck)
[link] (https://www.phoronix.com/news/Mojo-1.1-Released) [comments] (https://www.reddit.com/r/programming/comments/1wizhuv/mojo_11_released_now_accepting_community/)
Needed 1+1, Built a Functional Programming Language
https://www.reddit.com/r/programming/comments/1wizj2e/needed_11_built_a_functional_programming_language/
<!-- SC_OFF -->I started by building a little evaluator and the scope creep just got me writing a FPL runtime <!-- SC_ON --> submitted by /u/Tasty_Classic_3496 (https://www.reddit.com/user/Tasty_Classic_3496)
[link] (https://prnvdsi-blog.vercel.app/blog/need-one-plus-one-built-programming-lang/) [comments] (https://www.reddit.com/r/programming/comments/1wizj2e/needed_11_built_a_functional_programming_language/)
https://www.reddit.com/r/programming/comments/1wizj2e/needed_11_built_a_functional_programming_language/
<!-- SC_OFF -->I started by building a little evaluator and the scope creep just got me writing a FPL runtime <!-- SC_ON --> submitted by /u/Tasty_Classic_3496 (https://www.reddit.com/user/Tasty_Classic_3496)
[link] (https://prnvdsi-blog.vercel.app/blog/need-one-plus-one-built-programming-lang/) [comments] (https://www.reddit.com/r/programming/comments/1wizj2e/needed_11_built_a_functional_programming_language/)
Be alert: targeted attacks on prominent Rustaceans | Rust Blog
https://www.reddit.com/r/programming/comments/1wj1x9m/be_alert_targeted_attacks_on_prominent_rustaceans/
submitted by /u/mareek (https://www.reddit.com/user/mareek)
[link] (https://blog.rust-lang.org/2026/09/17/targeted-attacks/) [comments] (https://www.reddit.com/r/programming/comments/1wj1x9m/be_alert_targeted_attacks_on_prominent_rustaceans/)
https://www.reddit.com/r/programming/comments/1wj1x9m/be_alert_targeted_attacks_on_prominent_rustaceans/
submitted by /u/mareek (https://www.reddit.com/user/mareek)
[link] (https://blog.rust-lang.org/2026/09/17/targeted-attacks/) [comments] (https://www.reddit.com/r/programming/comments/1wj1x9m/be_alert_targeted_attacks_on_prominent_rustaceans/)
Introducing TIN: full-text search for Postgres — PlanetScale
https://www.reddit.com/r/programming/comments/1wj3ois/introducing_tin_fulltext_search_for_postgres/
submitted by /u/Ok_Stomach6651 (https://www.reddit.com/user/Ok_Stomach6651)
[link] (https://planetscale.com/blog/introducing-tin) [comments] (https://www.reddit.com/r/programming/comments/1wj3ois/introducing_tin_fulltext_search_for_postgres/)
https://www.reddit.com/r/programming/comments/1wj3ois/introducing_tin_fulltext_search_for_postgres/
submitted by /u/Ok_Stomach6651 (https://www.reddit.com/user/Ok_Stomach6651)
[link] (https://planetscale.com/blog/introducing-tin) [comments] (https://www.reddit.com/r/programming/comments/1wj3ois/introducing_tin_fulltext_search_for_postgres/)
The scourge of x86 emulation
https://www.reddit.com/r/programming/comments/1wjicct/the_scourge_of_x86_emulation/
submitted by /u/lelanthran (https://www.reddit.com/user/lelanthran)
[link] (https://fex-emu.com/Scourge-of-emulation/) [comments] (https://www.reddit.com/r/programming/comments/1wjicct/the_scourge_of_x86_emulation/)
https://www.reddit.com/r/programming/comments/1wjicct/the_scourge_of_x86_emulation/
submitted by /u/lelanthran (https://www.reddit.com/user/lelanthran)
[link] (https://fex-emu.com/Scourge-of-emulation/) [comments] (https://www.reddit.com/r/programming/comments/1wjicct/the_scourge_of_x86_emulation/)
How Many More Programming Languages Do We Really Need?
https://www.reddit.com/r/programming/comments/1wjiukq/how_many_more_programming_languages_do_we_really/
submitted by /u/derjanni (https://www.reddit.com/user/derjanni)
[link] (https://programmers.fyi/how-many-more-programming-languages-do-we-really-need) [comments] (https://www.reddit.com/r/programming/comments/1wjiukq/how_many_more_programming_languages_do_we_really/)
https://www.reddit.com/r/programming/comments/1wjiukq/how_many_more_programming_languages_do_we_really/
submitted by /u/derjanni (https://www.reddit.com/user/derjanni)
[link] (https://programmers.fyi/how-many-more-programming-languages-do-we-really-need) [comments] (https://www.reddit.com/r/programming/comments/1wjiukq/how_many_more_programming_languages_do_we_really/)
~2min bites C# courses that keep you sharp on code reviews
https://www.reddit.com/r/programming/comments/1wjjqc7/2min_bites_c_courses_that_keep_you_sharp_on_code/
<!-- SC_OFF -->Lately, I've felt the desire to share more of what I've learned. And I must say, teaching is a skill that's much harder to develop than I expected... I'm experimenting with this series of C# mini-challenge / mini-courses, trying to create bite-sized capsules based on code review and debugging skills that will teach something about C#. Sometimes serious, sometimes edgy, or even using funny contexts. There is a full playlist of it as I publish a new one every week. Would love to get your feedbacks on the latest one. Thanks for reading. <!-- SC_ON --> submitted by /u/Coding-Mojo (https://www.reddit.com/user/Coding-Mojo)
[link] (https://youtu.be/J27gidcV8OA) [comments] (https://www.reddit.com/r/programming/comments/1wjjqc7/2min_bites_c_courses_that_keep_you_sharp_on_code/)
https://www.reddit.com/r/programming/comments/1wjjqc7/2min_bites_c_courses_that_keep_you_sharp_on_code/
<!-- SC_OFF -->Lately, I've felt the desire to share more of what I've learned. And I must say, teaching is a skill that's much harder to develop than I expected... I'm experimenting with this series of C# mini-challenge / mini-courses, trying to create bite-sized capsules based on code review and debugging skills that will teach something about C#. Sometimes serious, sometimes edgy, or even using funny contexts. There is a full playlist of it as I publish a new one every week. Would love to get your feedbacks on the latest one. Thanks for reading. <!-- SC_ON --> submitted by /u/Coding-Mojo (https://www.reddit.com/user/Coding-Mojo)
[link] (https://youtu.be/J27gidcV8OA) [comments] (https://www.reddit.com/r/programming/comments/1wjjqc7/2min_bites_c_courses_that_keep_you_sharp_on_code/)
Conway's Law and Programming Languages
https://www.reddit.com/r/programming/comments/1wjl4rq/conways_law_and_programming_languages/
<!-- SC_OFF --> I was intrigued by Casey's comments (https://www.youtube.com/watch?v=jHLbL1Eg4gM&t=4799s) on Conway's Law, and reading the original paper, Conway was mapping the relationship between information flow among designers and system structure. The paper argues that interfaces (APIs, documentation, etc.) form where communication has to cross boundaries between humans or teams, so taken as a whole, interfaces in a program mirror the communication graph among the programmers, and as a consequence, products reflect the org chart. When I try to apply the same model to agents, I don't think it maps cleanly even if the underlying analysis is sound, because agents don't operate the same way humans do. Agents communicate at a much higher speed than humans, but have no project-specific shared prior with the user, because while human memory accumulates across time, an agent's context window is a fixed space with a token budget that resets each session. Once training is completed, agents can only learn about their environment through tool calls and what's loaded into the context window. <!-- SC_ON --> submitted by /u/Shadowys (https://www.reddit.com/user/Shadowys)
[link] (https://danieltan.weblog.lol/2026/09/conways-law-and-programming-languages) [comments] (https://www.reddit.com/r/programming/comments/1wjl4rq/conways_law_and_programming_languages/)
https://www.reddit.com/r/programming/comments/1wjl4rq/conways_law_and_programming_languages/
<!-- SC_OFF --> I was intrigued by Casey's comments (https://www.youtube.com/watch?v=jHLbL1Eg4gM&t=4799s) on Conway's Law, and reading the original paper, Conway was mapping the relationship between information flow among designers and system structure. The paper argues that interfaces (APIs, documentation, etc.) form where communication has to cross boundaries between humans or teams, so taken as a whole, interfaces in a program mirror the communication graph among the programmers, and as a consequence, products reflect the org chart. When I try to apply the same model to agents, I don't think it maps cleanly even if the underlying analysis is sound, because agents don't operate the same way humans do. Agents communicate at a much higher speed than humans, but have no project-specific shared prior with the user, because while human memory accumulates across time, an agent's context window is a fixed space with a token budget that resets each session. Once training is completed, agents can only learn about their environment through tool calls and what's loaded into the context window. <!-- SC_ON --> submitted by /u/Shadowys (https://www.reddit.com/user/Shadowys)
[link] (https://danieltan.weblog.lol/2026/09/conways-law-and-programming-languages) [comments] (https://www.reddit.com/r/programming/comments/1wjl4rq/conways_law_and_programming_languages/)
Understanding Raft By Implementing It From Scratch - Part 2
https://www.reddit.com/r/programming/comments/1wjlfk0/understanding_raft_by_implementing_it_from/
submitted by /u/Fantastic_Wave1982 (https://www.reddit.com/user/Fantastic_Wave1982)
[link] (https://sushantdhiman.dev/blog/raft-2/) [comments] (https://www.reddit.com/r/programming/comments/1wjlfk0/understanding_raft_by_implementing_it_from/)
https://www.reddit.com/r/programming/comments/1wjlfk0/understanding_raft_by_implementing_it_from/
submitted by /u/Fantastic_Wave1982 (https://www.reddit.com/user/Fantastic_Wave1982)
[link] (https://sushantdhiman.dev/blog/raft-2/) [comments] (https://www.reddit.com/r/programming/comments/1wjlfk0/understanding_raft_by_implementing_it_from/)
Make Code Review Your Default Next Task
https://www.reddit.com/r/programming/comments/1wjont5/make_code_review_your_default_next_task/
submitted by /u/warren5236 (https://www.reddit.com/user/warren5236)
[link] (https://phpdeveloperstv.substack.com/p/make-code-review-your-default-next) [comments] (https://www.reddit.com/r/programming/comments/1wjont5/make_code_review_your_default_next_task/)
https://www.reddit.com/r/programming/comments/1wjont5/make_code_review_your_default_next_task/
submitted by /u/warren5236 (https://www.reddit.com/user/warren5236)
[link] (https://phpdeveloperstv.substack.com/p/make-code-review-your-default-next) [comments] (https://www.reddit.com/r/programming/comments/1wjont5/make_code_review_your_default_next_task/)
Reverse Engineering ChatGPT Web: How OpenAI Built for a Billion Users
https://www.reddit.com/r/programming/comments/1wjptug/reverse_engineering_chatgpt_web_how_openai_built/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://performance.dev/chatgpt) [comments] (https://www.reddit.com/r/programming/comments/1wjptug/reverse_engineering_chatgpt_web_how_openai_built/)
https://www.reddit.com/r/programming/comments/1wjptug/reverse_engineering_chatgpt_web_how_openai_built/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://performance.dev/chatgpt) [comments] (https://www.reddit.com/r/programming/comments/1wjptug/reverse_engineering_chatgpt_web_how_openai_built/)
Leave the Class Path in the Rearview Mirror
https://www.reddit.com/r/programming/comments/1wjurwy/leave_the_class_path_in_the_rearview_mirror/
<!-- SC_OFF -->We've been working for some time on closing the tooling gaps to allow working with the Java Module System seamless and make agents work better with the Java language. This post gives some background on the project and announces a preview of the tools. <!-- SC_ON --> submitted by /u/BinaryRage (https://www.reddit.com/user/BinaryRage)
[link] (https://netflixtechblog.com/leave-the-class-path-in-the-rearview-mirror-67a85b15b6be) [comments] (https://www.reddit.com/r/programming/comments/1wjurwy/leave_the_class_path_in_the_rearview_mirror/)
https://www.reddit.com/r/programming/comments/1wjurwy/leave_the_class_path_in_the_rearview_mirror/
<!-- SC_OFF -->We've been working for some time on closing the tooling gaps to allow working with the Java Module System seamless and make agents work better with the Java language. This post gives some background on the project and announces a preview of the tools. <!-- SC_ON --> submitted by /u/BinaryRage (https://www.reddit.com/user/BinaryRage)
[link] (https://netflixtechblog.com/leave-the-class-path-in-the-rearview-mirror-67a85b15b6be) [comments] (https://www.reddit.com/r/programming/comments/1wjurwy/leave_the_class_path_in_the_rearview_mirror/)
iceoryx2 0.10 released: full flatbuffer integration, zero copy ipc with unbounded data, robust events
https://www.reddit.com/r/programming/comments/1wjxzv9/iceoryx2_010_released_full_flatbuffer_integration/
submitted by /u/elfenpiff (https://www.reddit.com/user/elfenpiff)
[link] (https://ekxide.io/blog/iceoryx2-0.10-release/) [comments] (https://www.reddit.com/r/programming/comments/1wjxzv9/iceoryx2_010_released_full_flatbuffer_integration/)
https://www.reddit.com/r/programming/comments/1wjxzv9/iceoryx2_010_released_full_flatbuffer_integration/
submitted by /u/elfenpiff (https://www.reddit.com/user/elfenpiff)
[link] (https://ekxide.io/blog/iceoryx2-0.10-release/) [comments] (https://www.reddit.com/r/programming/comments/1wjxzv9/iceoryx2_010_released_full_flatbuffer_integration/)
Building an ASCII 3D Renderer
https://www.reddit.com/r/programming/comments/1wkglyj/building_an_ascii_3d_renderer/
submitted by /u/kciter (https://www.reddit.com/user/kciter)
[link] (https://kciter.so/posts/ascii-3d-renderer/en/) [comments] (https://www.reddit.com/r/programming/comments/1wkglyj/building_an_ascii_3d_renderer/)
https://www.reddit.com/r/programming/comments/1wkglyj/building_an_ascii_3d_renderer/
submitted by /u/kciter (https://www.reddit.com/user/kciter)
[link] (https://kciter.so/posts/ascii-3d-renderer/en/) [comments] (https://www.reddit.com/r/programming/comments/1wkglyj/building_an_ascii_3d_renderer/)
The Void Job
https://www.reddit.com/r/programming/comments/1wkqj9y/the_void_job/
submitted by /u/Either_Collection349 (https://www.reddit.com/user/Either_Collection349)
[link] (https://yusufaytas.com/the-void-job) [comments] (https://www.reddit.com/r/programming/comments/1wkqj9y/the_void_job/)
https://www.reddit.com/r/programming/comments/1wkqj9y/the_void_job/
submitted by /u/Either_Collection349 (https://www.reddit.com/user/Either_Collection349)
[link] (https://yusufaytas.com/the-void-job) [comments] (https://www.reddit.com/r/programming/comments/1wkqj9y/the_void_job/)
You can run git on object storage if you re-make packfiles
https://www.reddit.com/r/programming/comments/1wkrfqw/you_can_run_git_on_object_storage_if_you_remake/
submitted by /u/Either_Collection349 (https://www.reddit.com/user/Either_Collection349)
[link] (https://www.tigrisdata.com/blog/objgit-packfiles/) [comments] (https://www.reddit.com/r/programming/comments/1wkrfqw/you_can_run_git_on_object_storage_if_you_remake/)
https://www.reddit.com/r/programming/comments/1wkrfqw/you_can_run_git_on_object_storage_if_you_remake/
submitted by /u/Either_Collection349 (https://www.reddit.com/user/Either_Collection349)
[link] (https://www.tigrisdata.com/blog/objgit-packfiles/) [comments] (https://www.reddit.com/r/programming/comments/1wkrfqw/you_can_run_git_on_object_storage_if_you_remake/)
Good Tools Are Invisible
https://www.reddit.com/r/programming/comments/1wkugvr/good_tools_are_invisible/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/) [comments] (https://www.reddit.com/r/programming/comments/1wkugvr/good_tools_are_invisible/)
https://www.reddit.com/r/programming/comments/1wkugvr/good_tools_are_invisible/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/) [comments] (https://www.reddit.com/r/programming/comments/1wkugvr/good_tools_are_invisible/)
We still maintain a development tool first released in 1993. Here’s what 30+ years of backwards compatibility looks like
https://www.reddit.com/r/programming/comments/1wpuggf/we_still_maintain_a_development_tool_first/
submitted by /u/luissinlios (https://www.reddit.com/user/luissinlios)
[link] (https://visualneo.com/visualneo-win/from-neobook-to-visualneo-win-30-years-of-keeping-a-development-tool-alive) [comments] (https://www.reddit.com/r/programming/comments/1wpuggf/we_still_maintain_a_development_tool_first/)
https://www.reddit.com/r/programming/comments/1wpuggf/we_still_maintain_a_development_tool_first/
submitted by /u/luissinlios (https://www.reddit.com/user/luissinlios)
[link] (https://visualneo.com/visualneo-win/from-neobook-to-visualneo-win-30-years-of-keeping-a-development-tool-alive) [comments] (https://www.reddit.com/r/programming/comments/1wpuggf/we_still_maintain_a_development_tool_first/)
Microservices are organizational debt disguised as architecture.
https://www.reddit.com/r/programming/comments/1wq8nbw/microservices_are_organizational_debt_disguised/
<!-- SC_OFF -->Every time I’ve seen microservices pitched, it sounds great on paper. Independent teams, clean ownership, scale only what you need. Then a year later you’ve got dozens of services, three different deployment patterns, tracing everywhere, and nobody really understands the whole thing anymore. Maybe I’ve just seen bad implementations, but I’m starting to think way fewer companies actually need microservices than we pretend. <!-- SC_ON --> submitted by /u/Mustela__ (https://www.reddit.com/user/Mustela__)
[link] (https://martinfowler.com/bliki/MonolithFirst.html) [comments] (https://www.reddit.com/r/programming/comments/1wq8nbw/microservices_are_organizational_debt_disguised/)
https://www.reddit.com/r/programming/comments/1wq8nbw/microservices_are_organizational_debt_disguised/
<!-- SC_OFF -->Every time I’ve seen microservices pitched, it sounds great on paper. Independent teams, clean ownership, scale only what you need. Then a year later you’ve got dozens of services, three different deployment patterns, tracing everywhere, and nobody really understands the whole thing anymore. Maybe I’ve just seen bad implementations, but I’m starting to think way fewer companies actually need microservices than we pretend. <!-- SC_ON --> submitted by /u/Mustela__ (https://www.reddit.com/user/Mustela__)
[link] (https://martinfowler.com/bliki/MonolithFirst.html) [comments] (https://www.reddit.com/r/programming/comments/1wq8nbw/microservices_are_organizational_debt_disguised/)