214
I will send you newest post from subreddit /r/programming
Why Generative AI Coding Tools and Agents Do Not Work For Me
https://www.reddit.com/r/programming/comments/1ldb16m/why_generative_ai_coding_tools_and_agents_do_not/
submitted by /u/gametorch (https://www.reddit.com/user/gametorch)
[link] (https://blog.miguelgrinberg.com/post/why-generative-ai-coding-tools-and-agents-do-not-work-for-me) [comments] (https://www.reddit.com/r/programming/comments/1ldb16m/why_generative_ai_coding_tools_and_agents_do_not/)
Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming
https://www.reddit.com/r/programming/comments/1ld47j1/hypershell_a_typelevel_dsl_for_shellscripting_in/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://contextgeneric.dev/blog/hypershell-release/) [comments] (https://www.reddit.com/r/programming/comments/1ld47j1/hypershell_a_typelevel_dsl_for_shellscripting_in/)
HTML spec change: escaping < and > in attributes
https://www.reddit.com/r/programming/comments/1ld46k1/html_spec_change_escaping_and_in_attributes/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://developer.chrome.com/blog/escape-attributes) [comments] (https://www.reddit.com/r/programming/comments/1ld46k1/html_spec_change_escaping_and_in_attributes/)
Solving LinkedIn Queens with APL
https://www.reddit.com/r/programming/comments/1ld4528/solving_linkedin_queens_with_apl/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://pitr.ca/2025-06-14-queens) [comments] (https://www.reddit.com/r/programming/comments/1ld4528/solving_linkedin_queens_with_apl/)
Open-Source RISC-V: Energy Efficiency of Superscalar, Out-of-Order Execution
https://www.reddit.com/r/programming/comments/1ld3yyi/opensource_riscv_energy_efficiency_of_superscalar/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://arxiv.org/abs/2505.24363) [comments] (https://www.reddit.com/r/programming/comments/1ld3yyi/opensource_riscv_energy_efficiency_of_superscalar/)
How Broken OTPs and Open Endpoints Turned a Dating App Into a Stalker’s Playground
https://www.reddit.com/r/programming/comments/1ld3dh1/how_broken_otps_and_open_endpoints_turned_a/
submitted by /u/CommunityWisdom (https://www.reddit.com/user/CommunityWisdom)
[link] (https://alexschapiro.com/blog/security/vulnerability/2025/04/21/startups-need-to-take-security-seriously) [comments] (https://www.reddit.com/r/programming/comments/1ld3dh1/how_broken_otps_and_open_endpoints_turned_a/)
GitHub Summer of Making has started
https://www.reddit.com/r/programming/comments/1lcyst7/github_summer_of_making_has_started/
<!-- SC_OFF -->If you’re in high school and want a free raspberry pi, laptop, or bunch of other cool stuff for spending time programming, join up. This is basically a summer reading program run by GitHub and HackClub to get highschoolers coding which is awesome You have to be 18 or younger to join <!-- SC_ON --> submitted by /u/ntindle (https://www.reddit.com/user/ntindle)
[link] (https://summer.hack.club/m0) [comments] (https://www.reddit.com/r/programming/comments/1lcyst7/github_summer_of_making_has_started/)
ReactOS Merges Better Support For Fullscreen Applications
https://www.reddit.com/r/programming/comments/1lcwlsr/reactos_merges_better_support_for_fullscreen/
submitted by /u/gametorch (https://www.reddit.com/user/gametorch)
[link] (https://www.phoronix.com/news/ReactOS-Fullscreen-Apps) [comments] (https://www.reddit.com/r/programming/comments/1lcwlsr/reactos_merges_better_support_for_fullscreen/)
CI/CD Observability with OpenTelemetry - A Step by Step Guide
https://www.reddit.com/r/programming/comments/1lcus5l/cicd_observability_with_opentelemetry_a_step_by/
submitted by /u/elizObserves (https://www.reddit.com/user/elizObserves)
[link] (https://signoz.io/blog/cicd-observability-with-opentelemetry/) [comments] (https://www.reddit.com/r/programming/comments/1lcus5l/cicd_observability_with_opentelemetry_a_step_by/)
Kent Beck with his talk on Tidy First
https://www.reddit.com/r/programming/comments/1lan3fa/kent_beck_with_his_talk_on_tidy_first/
submitted by /u/alex_pumnea (https://www.reddit.com/user/alex_pumnea)
[link] (https://youtu.be/SLqSUHFxBoE?si=5Z4ECWro6ZfEijWJ) [comments] (https://www.reddit.com/r/programming/comments/1lan3fa/kent_beck_with_his_talk_on_tidy_first/)
[link] (https://github.com/centrifugal/centrifugo) [comments] (https://www.reddit.com/r/programming/comments/1lal8mp/centrifugo_the_gobased_opensource_realtime/)
Читать полностью…
StarMalloc: verified memory allocator
https://www.reddit.com/r/programming/comments/1lal7h9/starmalloc_verified_memory_allocator/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://dl.acm.org/doi/10.1145/3689773) [comments] (https://www.reddit.com/r/programming/comments/1lal7h9/starmalloc_verified_memory_allocator/)
Quantum Computing without the Linear Algebra [pdf]
https://www.reddit.com/r/programming/comments/1lakaa5/quantum_computing_without_the_linear_algebra_pdf/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://eprint.iacr.org/2025/1091.pdf) [comments] (https://www.reddit.com/r/programming/comments/1lakaa5/quantum_computing_without_the_linear_algebra_pdf/)
Asterinas: A Linux ABI-compatible, Rust-based framekernel OS
https://www.reddit.com/r/programming/comments/1lak7st/asterinas_a_linux_abicompatible_rustbased/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://asterinas.github.io/2025/06/04/kernel-memory-safety-mission-accomplished.html) [comments] (https://www.reddit.com/r/programming/comments/1lak7st/asterinas_a_linux_abicompatible_rustbased/)
OxCaml - OCaml, Oxidized
https://www.reddit.com/r/programming/comments/1lajpew/oxcaml_ocaml_oxidized/
submitted by /u/yawaramin (https://www.reddit.com/user/yawaramin)
[link] (https://oxcaml.org/) [comments] (https://www.reddit.com/r/programming/comments/1lajpew/oxcaml_ocaml_oxidized/)
A meta-analysis of three different notions of software complexity
https://www.reddit.com/r/programming/comments/1ld47sc/a_metaanalysis_of_three_different_notions_of/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://typesanitizer.com/blog/complexity-definitions.html) [comments] (https://www.reddit.com/r/programming/comments/1ld47sc/a_metaanalysis_of_three_different_notions_of/)
How the Final Cartridge III Freezer works
https://www.reddit.com/r/programming/comments/1ld475i/how_the_final_cartridge_iii_freezer_works/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.pagetable.com/?p=1810) [comments] (https://www.reddit.com/r/programming/comments/1ld475i/how_the_final_cartridge_iii_freezer_works/)
The CI/CD Pipeline Architecture Framework: Systematic Approach to Pipeline Design
https://www.reddit.com/r/programming/comments/1ld46c1/the_cicd_pipeline_architecture_framework/
<!-- SC_OFF -->After two decades of building CI/CD pipelines, I've noticed teams repeatedly solving the same architectural challenges without a shared framework. I developed the "CI/CD Pipeline Architecture Framework" to provide structure: Golden Path (Sequential Foundation): 1. Code Commit 2. Automated Build 3. Automated Testing 4. Staging Deployment 5. Production Deployment 6. Monitoring & Feedback Pipeline Pillars (Flexible Capabilities): - 🟣 Multiple Environments & Promotion - 🟠 Feature Flags & Progressive Rollouts - 🟢 Metrics & Observability - 🔴 Advanced Testing Strategies - 🟡 Pipeline Control & Orchestration - 🔵 Multi-Platform & Multi-Cloud Support - 🟤 Access Control & Security Architecture Full guide with practical examples: https://cimatic.io/blog/cicd-pipeline-architecture How do you approach pipeline architecture decisions in your projects? <!-- SC_ON --> submitted by /u/kamilchm (https://www.reddit.com/user/kamilchm)
[link] (https://cimatic.io/blog/cicd-pipeline-architecture) [comments] (https://www.reddit.com/r/programming/comments/1ld46c1/the_cicd_pipeline_architecture_framework/)
Foundations of Computer Vision
https://www.reddit.com/r/programming/comments/1ld44e2/foundations_of_computer_vision/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://visionbook.mit.edu/) [comments] (https://www.reddit.com/r/programming/comments/1ld44e2/foundations_of_computer_vision/)
phkmalloc Saga
https://www.reddit.com/r/programming/comments/1ld3xpk/phkmalloc_saga/
submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (https://phk.freebsd.dk/sagas/phkmalloc/) [comments] (https://www.reddit.com/r/programming/comments/1ld3xpk/phkmalloc_saga/)
raylib vs SDL - A libraries comparison
https://www.reddit.com/r/programming/comments/1ld1nty/raylib_vs_sdl_a_libraries_comparison/
<!-- SC_OFF -->Hot Take: the comparison (written by the author of Raylib), succinctly explain the main reasons why raylib won't be considered by large games or can't scale in the internal-conventions (https://gist.github.com/raysan5/17392498d40e2cb281f5d09c0a4bf798#internal-conventions). Naming Prefixes(lack of), Pointers(raylib passes only by value), Error Codes(raylib doesn't, can create default objects instead), Backward-compatibility(raylib isn't) <!-- SC_ON --> submitted by /u/Professional-Ad3724 (https://www.reddit.com/user/Professional-Ad3724)
[link] (https://gist.github.com/raysan5/17392498d40e2cb281f5d09c0a4bf798) [comments] (https://www.reddit.com/r/programming/comments/1ld1nty/raylib_vs_sdl_a_libraries_comparison/)
Darklang Goes Open Source
https://www.reddit.com/r/programming/comments/1lcxp52/darklang_goes_open_source/
submitted by /u/gametorch (https://www.reddit.com/user/gametorch)
[link] (https://blog.darklang.com/darklang-goes-open-source/) [comments] (https://www.reddit.com/r/programming/comments/1lcxp52/darklang_goes_open_source/)
Programming's Greatest Mistakes • Mark Rendle
https://www.reddit.com/r/programming/comments/1lcwfql/programmings_greatest_mistakes_mark_rendle/
<!-- SC_OFF -->Most of the time when we make mistakes in our code, a message gets displayed wrong or an invoice doesn’t get sent. But sometimes when people make mistakes in code, things literally explode, or bankrupt companies, or make web development a living hell for millions of programmers for years to come. Join Mark on a tour through some of the worst mistakes in the history of programming. Learn what went wrong, why it went wrong, how much it cost, and how things are really funny when they’re not happening to you. <!-- SC_ON --> submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/Y9clBHENy4Q) [comments] (https://www.reddit.com/r/programming/comments/1lcwfql/programmings_greatest_mistakes_mark_rendle/)
Technical Blogging is Dying
https://www.reddit.com/r/programming/comments/1lb1s2u/technical_blogging_is_dying/
submitted by /u/delvin0 (https://www.reddit.com/user/delvin0)
[link] (https://medium.com/gitconnected/technical-blogging-is-dying-a217ce2fc668?sk=67b64ab31b0f8ecd0d628f3d0b340629) [comments] (https://www.reddit.com/r/programming/comments/1lb1s2u/technical_blogging_is_dying/)
Melanie Sumner: Why Continuous Accessibility Is a Strategic Advantage
https://www.reddit.com/r/programming/comments/1lalb5p/melanie_sumner_why_continuous_accessibility_is_a/
submitted by /u/robbyrussell (https://www.reddit.com/user/robbyrussell)
[link] (https://maintainable.fm/episodes/melanie-sumner-why-continuous-accessibility-is-a-strategic-advantage) [comments] (https://www.reddit.com/r/programming/comments/1lalb5p/melanie_sumner_why_continuous_accessibility_is_a/)
https://www.reddit.com/r/programming/comments/1lal8mp/centrifugo_the_gobased_opensource_realtime/
<!-- SC_OFF -->I’m part of a backend team at a fairly large organization (~10k employees), and I wanted to share a bit about how we ended up using Centrifugo for real-time messaging — and why we’re happy with it. We were building an internal messenger app for all the employees (sth like Slack), deeply integrated with our company's business nature and processes, and initially planned to use Django Channels (https://channels.readthedocs.io/en/latest/), since our stack is mostly Django-based. But after digging into the architecture and doing some early testing, it became clear that the performance characteristics just weren’t going to work for our needs. We even asked for advice in the Django subreddit (https://www.reddit.com/r/django/comments/1b7002m/building_a_messenger_app_for_a_large_organization/), and while the responses were helpful, the reality is that implementing real-time messaging at this scale with Django Channels felt impractical – complex and resource-heavy. One of our main challenges was that users needed to receive real-time updates from hundreds or even over a thousand chat rooms at once — all within a single screen. And obviously up to 10k users in each room. With Django Channels, maintaining a separate real-time channel per chat room didn’t scale, and we couldn’t find a way to build the kind of architecture we needed. Then we came across Centrifugo, and it turned out to be exactly what we were missing. Here’s what stood out for us specifically: Performance: With Centrifugo, we were able to implement the design we actually wanted — each user has a personal channel instead of managing channels per room. This made fan-out manageable and let us scale in a way that felt completely out of reach with Django Channels. WebSocket with SSE and HTTP-streaming fallbacks — all of which work without requiring sticky sessions. That was a big plus for keeping our infrastructure simple. It also supports unidirectional SSE/HTTP-streaming, so for simpler use cases, you can use Centrifugo without needing a client SDK, which is really convenient. Well-thought-out reconnect handling: In the case of mass reconnects (e.g., when a reverse proxy is reloaded), Centrifugo handles it gracefully. It uses JWT-based authentication, which is a great match for WebSocket connections. And it maintains a message cache in each channel, so clients can fetch missed messages without putting sudden load on our backend services when recovering the state. Redis integration is solid and effective, also supports modern alternatives like Valkey (to which we actually switched at some point), DragonflyDB, and it seems managed Redis like Elasticache offerings from AWS too. Exposes many useful metrics via Prometheus, which made monitoring and alerting much easier for us to set up. It’s language agnostic, since it runs as a separate service — so if we ever move away from Django in the future, or start a new project with other tech – we can keep using Centrifugo as a universal tool for sending WebSocket messages. We also evaluated tools like Mercure (https://mercure.rocks/), but some important for us features (e.g., scalability to many nodes) were only available in the enterprise version, so did not work for us. Finally, it looks like the project is maintained mostly by a single person — and honestly, the quality, performance, and completeness of it really shows how much effort has been put in. We’re posting this mainly to say thanks and hopefully bring more visibility to a tool that helped us a lot. We now in production for 6 months – and it works pretty well, mostly concentrating on business-specific features now. Here’s the project: 👉 https://github.com/centrifugal/centrifugo Hope this may be helpful to others facing real-time challenges. <!-- SC_ON --> submitted by /u/OriginalBaXX (https://www.reddit.com/user/OriginalBaXX)
Everything Multiplayer
https://www.reddit.com/r/programming/comments/1lakl07/everything_multiplayer/
<!-- SC_OFF -->I spent the last year learning everything I could about multiplayer. I go from basic socket programming to complex state synchronization, to creating a backend. My goal was to create a mega resource for making multiplayer games. It's a very long and dense video, so feel free to watch at x2. This was a massive project for me, so I'm really happy to have finally finished it. I've been sharing it around to people, and have been having really good conversations with industry veterans from it. Is there anything I missed, or points you disagree with? <!-- SC_ON --> submitted by /u/No_Examination_2616 (https://www.reddit.com/user/No_Examination_2616)
[link] (https://youtu.be/fOfT5cqvOdI) [comments] (https://www.reddit.com/r/programming/comments/1lakl07/everything_multiplayer/)
WebKit's Standards Positions
https://www.reddit.com/r/programming/comments/1laka1g/webkits_standards_positions/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://webkit.org/standards-positions/) [comments] (https://www.reddit.com/r/programming/comments/1laka1g/webkits_standards_positions/)
Rendering Crispy Text on the GPU
https://www.reddit.com/r/programming/comments/1lak6du/rendering_crispy_text_on_the_gpu/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://osor.io/text) [comments] (https://www.reddit.com/r/programming/comments/1lak6du/rendering_crispy_text_on_the_gpu/)
Building Web Apps from Scratch: HTTP Protocol Explained
https://www.reddit.com/r/programming/comments/1laixc9/building_web_apps_from_scratch_http_protocol/
submitted by /u/caromobiletiscrivo (https://www.reddit.com/user/caromobiletiscrivo)
[link] (https://coz.is/posts/004_http.html) [comments] (https://www.reddit.com/r/programming/comments/1laixc9/building_web_apps_from_scratch_http_protocol/)