Reddit Programming

The Cost of Certainty: Why Perfect is the Enemy of Scale in Distributed Systems
https://www.reddit.com/r/programming/comments/1qokaan/the_cost_of_certainty_why_perfect_is_the_enemy_of/

Even in 2026, no AI can negotiate with the speed of light. ⚛️ As an architect, I’ve realized our biggest expense isn't compute—it’s the Certainty Tax. We pay a massive premium to pretend the world isn't chaotic, but production is pure entropy. I just wrote a deep dive on why we need to stop chasing 100% consistency at scale. Using Pokémon GO as a sandbox, I audited: The Math: Why adding a sidecar can cost you 22 hours of sleep a year. The Sandbox: Why catch history can lie, but player trading must be painfully slow. The Law: How Little’s Law proves that patience in a concurrent system is a liability. If you’ve ever wrestled with PACELC or consensus algorithms, I’d love to hear your thoughts on where you choose to relax your constraints.  submitted by /u/Level-Sink3315 (https://www.reddit.com/user/Level-Sink3315)
[link] (https://open.substack.com/pub/qianarthurwang/p/the-cost-of-certainty-why-perfect?r=6wytu0) [comments] (https://www.reddit.com/r/programming/comments/1qokaan/the_cost_of_certainty_why_perfect_is_the_enemy_of/)

2 views02:55

Reddit Programming

4 Pyrefly Type Narrowing Patterns that make Python Type Checking more Intuitive
https://www.reddit.com/r/programming/comments/1qolknv/4_pyrefly_type_narrowing_patterns_that_make/

Since Python is a duck-typed language, programs often narrow types by checking a structural property of something rather than just its class name. For a type checker, understanding a wide variety of narrowing patterns is essential for making it as easy as possible for users to type check their code and reduce the amount of changes made purely to “satisfy the type checker”. In this blog post, we’ll go over some cool forms of narrowing that Pyrefly supports, which allows it to understand common code patterns in Python. To the best of our knowledge, Pyrefly is the only type checker for Python that supports all of these patterns. Contents: 1. hasattr/getattr 2. tagged unions 3. tuple length checks 4. saving conditions in variables Blog post: https://pyrefly.org/blog/type-narrowing/ Github: https://github.com/facebook/pyrefly  submitted by /u/BeamMeUpBiscotti (https://www.reddit.com/user/BeamMeUpBiscotti)
[link] (https://pyrefly.org/blog/type-narrowing/) [comments] (https://www.reddit.com/r/programming/comments/1qolknv/4_pyrefly_type_narrowing_patterns_that_make/)

1 view02:56

Reddit Programming

The Age of Pump and Dump Software
https://www.reddit.com/r/programming/comments/1qon4yu/the_age_of_pump_and_dump_software/

A new worrying amalgamation of crypto scams and vibe coding emerges from the bowels of the internet in 2026  submitted by /u/Gil_berth (https://www.reddit.com/user/Gil_berth)
[link] (https://tautvilas.medium.com/software-pump-and-dump-c8a9a73d313b) [comments] (https://www.reddit.com/r/programming/comments/1qon4yu/the_age_of_pump_and_dump_software/)

1 view02:57

Reddit Programming

Glaze is getting even faster – SIMD refactoring and crazy whitespace skipping in the works
https://www.reddit.com/r/programming/comments/1qoonvl/glaze_is_getting_even_faster_simd_refactoring_and/

submitted by /u/PalpitationUnlikely5 (https://www.reddit.com/user/PalpitationUnlikely5)
[link] (https://github.com/stephenberry/glaze/pull/2270) [comments] (https://www.reddit.com/r/programming/comments/1qoonvl/glaze_is_getting_even_faster_simd_refactoring_and/)

1 view02:58

Reddit Programming

GNU C Library moving from Sourceware to Linux Foundation hosted CTI
https://www.reddit.com/r/programming/comments/1qophgl/gnu_c_library_moving_from_sourceware_to_linux/

submitted by /u/Fcking_Chuck (https://www.reddit.com/user/Fcking_Chuck)
[link] (https://www.phoronix.com/news/GNU-C-Library-To-CTI-LF) [comments] (https://www.reddit.com/r/programming/comments/1qophgl/gnu_c_library_moving_from_sourceware_to_linux/)

1 view02:59

Reddit Programming

Panoptic Segmentation using Detectron2
https://www.reddit.com/r/programming/comments/1qopi7p/panoptic_segmentation_using_detectron2/

For anyone studying Panoptic Segmentation using Detectron2, this tutorial walks through how panoptic segmentation combines instance segmentation (separating individual objects) and semantic segmentation (labeling background regions), so you get a complete pixel-level understanding of a scene. It uses Detectron2’s pretrained COCO panoptic model from the Model Zoo, then shows the full inference workflow in Python: reading an image with OpenCV, resizing it for faster processing, loading the panoptic configuration and weights, running prediction, and visualizing the merged “things and stuff” output. Video explanation: https://youtu.be/MuzNooUNZSY Medium version for readers who prefer Medium : https://medium.com/image-segmentation-tutorials/detectron2-panoptic-segmentation-made-easy-for-beginners-9f56319bb6cc Written explanation with code: https://eranfeit.net/detectron2-panoptic-segmentation-made-easy-for-beginners/ This content is shared for educational purposes only, and constructive feedback or discussion is welcome. Eran Feit  submitted by /u/Feitgemel (https://www.reddit.com/user/Feitgemel)
[link] (https://eranfeit.net/detectron2-panoptic-segmentation-made-easy-for-beginners/) [comments] (https://www.reddit.com/r/programming/comments/1qopi7p/panoptic_segmentation_using_detectron2/)

1 view03:00

Reddit Programming

Introducing Script: JavaScript That Runs Like Rust
https://www.reddit.com/r/programming/comments/1qosew5/introducing_script_javascript_that_runs_like_rust/

submitted by /u/SecretAggressive (https://www.reddit.com/user/SecretAggressive)
[link] (https://docs.script-lang.org/blog/introducing-script) [comments] (https://www.reddit.com/r/programming/comments/1qosew5/introducing_script_javascript_that_runs_like_rust/)

2 views03:01

Reddit Programming

JSON vs XML in Embedded Linux - system design trade-offs
https://www.reddit.com/r/programming/comments/1qp07z1/json_vs_xml_in_embedded_linux_system_design/

Data formats define whether systems are lean or bloated. I explored how JSON and XML flow through embedded Linux: - Hardware → Driver → Kernel → Middleware → Application - Real code examples (I²C, sysfs, cJSON, libxml2) - Debugging strategies at every layer - Performance insights: JSON vs XML. Curious how others here approach data structuring in embedded or system-level projects — JSON, XML, or custom formats?  submitted by /u/ImaginaryPin1768 (https://www.reddit.com/user/ImaginaryPin1768)
[link] (https://codewafer.com/blogs/json-xml-in-embedded-linux-full-stack-guide-with-drivers-middleware/) [comments] (https://www.reddit.com/r/programming/comments/1qp07z1/json_vs_xml_in_embedded_linux_system_design/)

2 views05:53

Reddit Programming

I tried learning compilers by building a language. It got out of hand.
https://www.reddit.com/r/programming/comments/1qp1j5m/i_tried_learning_compilers_by_building_a_language/

Hi all, I wanted to share a personal learning project I’ve been working on called sr-lang. It’s a small programming language and compiler written in Zig, with MLIR as the backend. I started it as a way to learn compiler construction by doing. Zig felt like a great fit, and its style/constraints ended up influencing the language design more than I expected. For context, I’m an ML researcher and I work with GPU-related stuff a lot, which is why you’ll see GPU-oriented experiments show up (e.g. Triton). Over time the project grew as I explored parsing, semantic analysis, type systems, and backend design. Some parts are relatively solid, and others are experimental or rough, which is very much part of the learning process. A bit of honesty up front I’m not a compiler expert. I used LLMs occasionally to explore ideas or unblock iterations. The design decisions and bugs are mine. If something looks awkward or overcomplicated, it probably reflects what I was learning at the time. It did take more than 10 months to get to this point (I'm slow). Some implemented highlights (selected) Parser, AST, and semantic analysis in Zig MLIR-based backend Error unions and defer / errdefer style cleanup Pattern matching and sum types comptime and AST-as-data via code {} blocks Async/await and closures (still evolving) Inline MLIR and asm {} support Triton / GPU integration experiments What’s incomplete Standard library is minimal Diagnostics/tooling and tests need work Some features are experimental and not well integrated yet I’m sharing this because I’d love feedback on design tradeoffs and rough edges help spotting obvious issues (or suggesting better structure) contributors who want low-pressure work (stdlib, tests, docs, diagnostics, refactors) Repo: https://github.com/theunnecessarythings/sr-lang Thanks for reading. Happy to answer questions or take criticism.  submitted by /u/theunnecessarythings (https://www.reddit.com/user/theunnecessarythings)
[link] (https://github.com/theunnecessarythings/sr-lang) [comments] (https://www.reddit.com/r/programming/comments/1qp1j5m/i_tried_learning_compilers_by_building_a_language/)

4 views05:54

Reddit Programming

Selectively Disabling HTTP/1.0 and HTTP/1.1
https://www.reddit.com/r/programming/comments/1qp7yqj/selectively_disabling_http10_and_http11/

submitted by /u/self (https://www.reddit.com/user/self)
[link] (https://markmcb.com/web/selectively_disabling_http_1/) [comments] (https://www.reddit.com/r/programming/comments/1qp7yqj/selectively_disabling_http10_and_http11/)

3 views02:40

Reddit Programming

Cloudflare claimed they implemented Matrix on Cloudflare workers. They didn't
https://www.reddit.com/r/programming/comments/1qp836e/cloudflare_claimed_they_implemented_matrix_on/

submitted by /u/f311a (https://www.reddit.com/user/f311a)
[link] (https://tech.lgbt/@JadedBlueEyes/115967791152135761) [comments] (https://www.reddit.com/r/programming/comments/1qp836e/cloudflare_claimed_they_implemented_matrix_on/)

4 views02:41

Reddit Programming

Agentic Memory Poisoning: How Long-Term AI Context Can Be Weaponized
https://www.reddit.com/r/programming/comments/1qp94gs/agentic_memory_poisoning_how_longterm_ai_context/

submitted by /u/JadeLuxe (https://www.reddit.com/user/JadeLuxe)
[link] (https://instatunnel.my/blog/agentic-memory-poisoning-how-long-term-ai-context-can-be-weaponized) [comments] (https://www.reddit.com/r/programming/comments/1qp94gs/agentic_memory_poisoning_how_longterm_ai_context/)

2 views02:42

Reddit Programming

Whatsapp rewrote its media handler to rust (160k c++ to 90k rust)
https://www.reddit.com/r/programming/comments/1qpdiio/whatsapp_rewrote_its_media_handler_to_rust_160k_c/

submitted by /u/NYPuppy (https://www.reddit.com/user/NYPuppy)
[link] (https://engineering.fb.com/2026/01/27/security/rust-at-scale-security-whatsapp/) [comments] (https://www.reddit.com/r/programming/comments/1qpdiio/whatsapp_rewrote_its_media_handler_to_rust_160k_c/)