Reddit Programming
211 subscribers
1.22K photos
126K links
I will send you newest post from subreddit /r/programming
Download Telegram
[Meta] Mods, when will you get on top of the constant AI slop posts?
https://www.reddit.com/r/programming/comments/1qni22q/meta_mods_when_will_you_get_on_top_of_the/

<!-- SC_OFF -->They never do well in terms of Karma or engagement. All they do is take a spot in the feed better suited to actual meaningful content. They constantly break rules 2, 3, and 6. At a bare minimum that should be enough reason to remove them. But more than that, AI has as much to do with programming as it does visual artistry. Which is to say, for those that care, nothing at all. LLMs and their enthusiasts have other spaces to share their posts. It's clear by common consensus that /r/programming (https://www.reddit.com/r/programming) does not want to be one of them. At this point I'm just padding things out for word count. So, for the sake of facetiousness, here's Gemeni pointlessly reinterpreting what have already said above, since that's apparently the level of content were comfortable with around here. ---- Option 1: Direct and Policy-Focused This version stays professional and emphasizes the subreddit’s standards. AI-related posts consistently see low engagement and poor karma, yet they continue to clutter the feed and displace higher-quality content. More importantly, these posts frequently violate Rules 2, 3, and 6, which alone warrants their removal. Just as in the art world, many in the developer community view AI as a separate entity from the craft itself. Since there are dedicated spaces for LLM discussion, and the consensus here is clearly negative, we should keep /r/programming (https://www.reddit.com/r/programming) focused on actual programming. Option 2: Community-Centric (The "Purist" Perspective) This version leans into the sentiment that AI isn't "real" programming work. It’s time to acknowledge that AI content doesn't belong here. These posts rarely spark meaningful discussion and often feel like noise in a feed meant for genuine development topics. Beyond the technicality that they often break sub rules (specifically 2, 3, and 6), there’s a deeper issue: to a programmer, an LLM is a tool, not the craft. If the community wanted this content, it wouldn't be consistently downvoted. Let’s leave the AI hype to the AI subreddits and keep this space for code. Option 3: Short and Punchy Best for a quick comment or a TL;DR. AI posts are a poor fit for /r/programming (https://www.reddit.com/r/programming). They consistently fail to gain traction, violate multiple community rules (2, 3, and 6), and don't align with the interests of those who value the actual craft of programming. There are better subreddits for LLM enthusiasts; let’s keep this feed dedicated to meaningful, relevant content. <!-- SC_ON --> submitted by /u/Omnipresent_Walrus (https://www.reddit.com/user/Omnipresent_Walrus)
[link] (http://reddit.com/r/programming) [comments] (https://www.reddit.com/r/programming/comments/1qni22q/meta_mods_when_will_you_get_on_top_of_the/)
MenuetOS running some simple Linux Mint X11 binaries.
https://www.reddit.com/r/programming/comments/1qnicju/menuetos_running_some_simple_linux_mint_x11/

<!-- SC_OFF -->These are Linux Mint applications and libraries, which are copied to MenuetOS and run just fine. No re-compiling. Ive tested around 100 libraries that atleast link and init fine. ( menuetos.net (http://menuetos.net/) ) <!-- SC_ON --> submitted by /u/Apart_Deer_8124 (https://www.reddit.com/user/Apart_Deer_8124)
[link] (https://www.reddit.com/r/osdev/comments/1pccgx4/menuetos_running_some_simple_linux_mint_x11/) [comments] (https://www.reddit.com/r/programming/comments/1qnicju/menuetos_running_some_simple_linux_mint_x11/)
The Boring Breach
https://www.reddit.com/r/programming/comments/1qnk0fw/the_boring_breach/

<!-- SC_OFF -->I logged into the database and everything was gone. Not corrupted, not encrypted, just deleted and replaced with a polite request for Bitcoin. The strange part was not the ransom note. It was realizing the damage happened months after the real mistake. <!-- SC_ON --> submitted by /u/Unhappy_Concept237 (https://www.reddit.com/user/Unhappy_Concept237)
[link] (https://hashrocket.substack.com/p/the-boring-breach) [comments] (https://www.reddit.com/r/programming/comments/1qnk0fw/the_boring_breach/)
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/

<!-- SC_OFF -->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. <!-- SC_ON --> 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/)
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/

<!-- SC_OFF -->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 <!-- SC_ON --> 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/)