Reddit Programming
211 subscribers
1.22K photos
126K links
I will send you newest post from subreddit /r/programming
Download Telegram
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/)
The Age of Pump and Dump Software
https://www.reddit.com/r/programming/comments/1qon4yu/the_age_of_pump_and_dump_software/

<!-- SC_OFF -->A new worrying amalgamation of crypto scams and vibe coding emerges from the bowels of the internet in 2026 <!-- SC_ON --> 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/)