Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+
https://www.reddit.com/r/programming/comments/1lq07uj/rapid_prototyping_a_safe_logless_reconfiguration/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.mongodb.com/blog/post/technical/rapid-prototyping-safe-logless-reconfiguration-protocol-mongodb-tla-plus) [comments] (https://www.reddit.com/r/programming/comments/1lq07uj/rapid_prototyping_a_safe_logless_reconfiguration/)
https://www.reddit.com/r/programming/comments/1lq07uj/rapid_prototyping_a_safe_logless_reconfiguration/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.mongodb.com/blog/post/technical/rapid-prototyping-safe-logless-reconfiguration-protocol-mongodb-tla-plus) [comments] (https://www.reddit.com/r/programming/comments/1lq07uj/rapid_prototyping_a_safe_logless_reconfiguration/)
A List Is a Monad
https://www.reddit.com/r/programming/comments/1lq169c/a_list_is_a_monad/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://alexyorke.github.io//2025/06/29/a-list-is-a-monad/) [comments] (https://www.reddit.com/r/programming/comments/1lq169c/a_list_is_a_monad/)
https://www.reddit.com/r/programming/comments/1lq169c/a_list_is_a_monad/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://alexyorke.github.io//2025/06/29/a-list-is-a-monad/) [comments] (https://www.reddit.com/r/programming/comments/1lq169c/a_list_is_a_monad/)
Burn It With Fire: How to Eliminate an Industry-Wide Supply Chain Vulnerability
https://www.reddit.com/r/programming/comments/1lq3127/burn_it_with_fire_how_to_eliminate_an/
submitted by /u/JLLeitschuh (https://www.reddit.com/user/JLLeitschuh)
[link] (https://medium.com/@jonathan.leitschuh/burn-it-with-fire-how-to-eliminate-an-industry-wide-supply-chain-vulnerability-12515516fb56) [comments] (https://www.reddit.com/r/programming/comments/1lq3127/burn_it_with_fire_how_to_eliminate_an/)
https://www.reddit.com/r/programming/comments/1lq3127/burn_it_with_fire_how_to_eliminate_an/
submitted by /u/JLLeitschuh (https://www.reddit.com/user/JLLeitschuh)
[link] (https://medium.com/@jonathan.leitschuh/burn-it-with-fire-how-to-eliminate-an-industry-wide-supply-chain-vulnerability-12515516fb56) [comments] (https://www.reddit.com/r/programming/comments/1lq3127/burn_it_with_fire_how_to_eliminate_an/)
Lisp and Prolog appear in the European Commission's eGovernment Benchmark 2025
https://www.reddit.com/r/programming/comments/1lq410o/lisp_and_prolog_appear_in_the_european/
submitted by /u/mtriska (https://www.reddit.com/user/mtriska)
[link] (https://github.com/mthom/scryer-prolog/discussions/2994) [comments] (https://www.reddit.com/r/programming/comments/1lq410o/lisp_and_prolog_appear_in_the_european/)
https://www.reddit.com/r/programming/comments/1lq410o/lisp_and_prolog_appear_in_the_european/
submitted by /u/mtriska (https://www.reddit.com/user/mtriska)
[link] (https://github.com/mthom/scryer-prolog/discussions/2994) [comments] (https://www.reddit.com/r/programming/comments/1lq410o/lisp_and_prolog_appear_in_the_european/)
500× faster: Four different ways to speed up your code
https://www.reddit.com/r/programming/comments/1lq98oq/500_faster_four_different_ways_to_speed_up_your/
submitted by /u/itamarst (https://www.reddit.com/user/itamarst)
[link] (https://pythonspeed.com/articles/different-ways-speed/) [comments] (https://www.reddit.com/r/programming/comments/1lq98oq/500_faster_four_different_ways_to_speed_up_your/)
https://www.reddit.com/r/programming/comments/1lq98oq/500_faster_four_different_ways_to_speed_up_your/
submitted by /u/itamarst (https://www.reddit.com/user/itamarst)
[link] (https://pythonspeed.com/articles/different-ways-speed/) [comments] (https://www.reddit.com/r/programming/comments/1lq98oq/500_faster_four_different_ways_to_speed_up_your/)
The Evolution of Caching Libraries in Go
https://www.reddit.com/r/programming/comments/1lq9hea/the_evolution_of_caching_libraries_in_go/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://maypok86.github.io/otter/blog/cache-evolution/) [comments] (https://www.reddit.com/r/programming/comments/1lq9hea/the_evolution_of_caching_libraries_in_go/)
https://www.reddit.com/r/programming/comments/1lq9hea/the_evolution_of_caching_libraries_in_go/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://maypok86.github.io/otter/blog/cache-evolution/) [comments] (https://www.reddit.com/r/programming/comments/1lq9hea/the_evolution_of_caching_libraries_in_go/)
How cybercriminals make money with cryptojacking
https://www.reddit.com/r/programming/comments/1lq9wsm/how_cybercriminals_make_money_with_cryptojacking/
submitted by /u/congolomera (https://www.reddit.com/user/congolomera)
[link] (https://medium.com/@mario.candela.personal/how-cybercriminals-make-money-with-cryptojacking-016e4daea1f1?source=friends_link&sk=4c014f0b612e5dde95de3f8d675cb4df) [comments] (https://www.reddit.com/r/programming/comments/1lq9wsm/how_cybercriminals_make_money_with_cryptojacking/)
https://www.reddit.com/r/programming/comments/1lq9wsm/how_cybercriminals_make_money_with_cryptojacking/
submitted by /u/congolomera (https://www.reddit.com/user/congolomera)
[link] (https://medium.com/@mario.candela.personal/how-cybercriminals-make-money-with-cryptojacking-016e4daea1f1?source=friends_link&sk=4c014f0b612e5dde95de3f8d675cb4df) [comments] (https://www.reddit.com/r/programming/comments/1lq9wsm/how_cybercriminals_make_money_with_cryptojacking/)
Angular Interview Q&A: Day 22
https://www.reddit.com/r/programming/comments/1lqd2rw/angular_interview_qa_day_22/
submitted by /u/MysteriousEye8494 (https://www.reddit.com/user/MysteriousEye8494)
[link] (https://medium.com/devinsight/angular-interview-q-a-day-22-1541172c1969) [comments] (https://www.reddit.com/r/programming/comments/1lqd2rw/angular_interview_qa_day_22/)
https://www.reddit.com/r/programming/comments/1lqd2rw/angular_interview_qa_day_22/
submitted by /u/MysteriousEye8494 (https://www.reddit.com/user/MysteriousEye8494)
[link] (https://medium.com/devinsight/angular-interview-q-a-day-22-1541172c1969) [comments] (https://www.reddit.com/r/programming/comments/1lqd2rw/angular_interview_qa_day_22/)
Why I'm Dialing Back My LLM Usage w/ Alberto Fortin
https://www.reddit.com/r/programming/comments/1lqe253/why_im_dialing_back_my_llm_usage_w_alberto_fortin/
submitted by /u/prisencotech (https://www.reddit.com/user/prisencotech)
[link] (https://www.youtube.com/watch?v=DOQmhkLGcuY) [comments] (https://www.reddit.com/r/programming/comments/1lqe253/why_im_dialing_back_my_llm_usage_w_alberto_fortin/)
https://www.reddit.com/r/programming/comments/1lqe253/why_im_dialing_back_my_llm_usage_w_alberto_fortin/
submitted by /u/prisencotech (https://www.reddit.com/user/prisencotech)
[link] (https://www.youtube.com/watch?v=DOQmhkLGcuY) [comments] (https://www.reddit.com/r/programming/comments/1lqe253/why_im_dialing_back_my_llm_usage_w_alberto_fortin/)
JavaScript™ Trademark Update
https://www.reddit.com/r/programming/comments/1lqh2wu/javascript_trademark_update/
submitted by /u/LawfulKitten98 (https://www.reddit.com/user/LawfulKitten98)
[link] (https://deno.com/blog/deno-v-oracle4) [comments] (https://www.reddit.com/r/programming/comments/1lqh2wu/javascript_trademark_update/)
https://www.reddit.com/r/programming/comments/1lqh2wu/javascript_trademark_update/
submitted by /u/LawfulKitten98 (https://www.reddit.com/user/LawfulKitten98)
[link] (https://deno.com/blog/deno-v-oracle4) [comments] (https://www.reddit.com/r/programming/comments/1lqh2wu/javascript_trademark_update/)
Finished my deep dive into Bloom Filters (Classic, Counting, Cuckoo), and why they’re IMO a solid "pre-cache" tool you're probably not using
https://www.reddit.com/r/programming/comments/1lqkx0t/finished_my_deep_dive_into_bloom_filters_classic/
<!-- SC_OFF -->I’ve just wrapped up a three-part deep-dive series on Bloom Filters and their modern cousins. If you're curious about data structures for fast membership checks, you might find it useful. Approximate membership query (AMQ) filters don’t tell you exactly what's in a set, but they tell you what’s definitely not there and do it using very little memory. As for me, that’s a killer feature for systems that want to avoid unnecessarily hitting the bigger persistent cache, disk, or network. Think of them as cheap pre-caches: a small test before the real lookup that helps skip unnecessary work. Here's what the series covers: Classic Bloom Filter
I walk through how they work, their false positive guarantees, and why deleting elements is dangerous. It includes an interactive playground to try out inserts and lookups in real time, also calculating parameters for your custom configuration. Counting Bloom Filter and d-left variant
This is an upgrade that lets you delete elements (with counters instead of bits), but it comes at the cost of increased memory and a few gotchas if you’re not careful. Cuckoo Filter
This is a modern alternative that supports deletion, lower false positives, and often better space efficiency. The most interesting part is the witty use of XOR to get two bucket choices with minimal metadata. And they are practically a solid replacement for classic Bloom Filters. I aim to clarify the internals without deepening into formal proofs, more intuition, diagrams, and some practical notes, at least from my experience. If you’re building distributed systems, databases, cache layers, or just enjoy clever data structures, I think you'll like this one. <!-- SC_ON --> submitted by /u/axel-user (https://www.reddit.com/user/axel-user)
[link] (https://maltsev.space/blog/008-bloom-filters-pt1) [comments] (https://www.reddit.com/r/programming/comments/1lqkx0t/finished_my_deep_dive_into_bloom_filters_classic/)
https://www.reddit.com/r/programming/comments/1lqkx0t/finished_my_deep_dive_into_bloom_filters_classic/
<!-- SC_OFF -->I’ve just wrapped up a three-part deep-dive series on Bloom Filters and their modern cousins. If you're curious about data structures for fast membership checks, you might find it useful. Approximate membership query (AMQ) filters don’t tell you exactly what's in a set, but they tell you what’s definitely not there and do it using very little memory. As for me, that’s a killer feature for systems that want to avoid unnecessarily hitting the bigger persistent cache, disk, or network. Think of them as cheap pre-caches: a small test before the real lookup that helps skip unnecessary work. Here's what the series covers: Classic Bloom Filter
I walk through how they work, their false positive guarantees, and why deleting elements is dangerous. It includes an interactive playground to try out inserts and lookups in real time, also calculating parameters for your custom configuration. Counting Bloom Filter and d-left variant
This is an upgrade that lets you delete elements (with counters instead of bits), but it comes at the cost of increased memory and a few gotchas if you’re not careful. Cuckoo Filter
This is a modern alternative that supports deletion, lower false positives, and often better space efficiency. The most interesting part is the witty use of XOR to get two bucket choices with minimal metadata. And they are practically a solid replacement for classic Bloom Filters. I aim to clarify the internals without deepening into formal proofs, more intuition, diagrams, and some practical notes, at least from my experience. If you’re building distributed systems, databases, cache layers, or just enjoy clever data structures, I think you'll like this one. <!-- SC_ON --> submitted by /u/axel-user (https://www.reddit.com/user/axel-user)
[link] (https://maltsev.space/blog/008-bloom-filters-pt1) [comments] (https://www.reddit.com/r/programming/comments/1lqkx0t/finished_my_deep_dive_into_bloom_filters_classic/)
C++ 26 is Complete!
https://www.reddit.com/r/programming/comments/1lql77i/c_26_is_complete/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://www.youtube.com/watch?v=TOKP7k66VBw) [comments] (https://www.reddit.com/r/programming/comments/1lql77i/c_26_is_complete/)
https://www.reddit.com/r/programming/comments/1lql77i/c_26_is_complete/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://www.youtube.com/watch?v=TOKP7k66VBw) [comments] (https://www.reddit.com/r/programming/comments/1lql77i/c_26_is_complete/)
Ever wondered how AWS S3 scales to handle 1 PB/s bandwidth? I broke down their key design decisions in a deep-dive article
https://www.reddit.com/r/programming/comments/1lqqbss/ever_wondered_how_aws_s3_scales_to_handle_1_pbs/
<!-- SC_OFF -->As engineers, we spend a lot of time figuring out how to auto-scale our apps to meet user demand. We design distributed systems that expand and contract dynamically to ensure seamless service.But, in the process, we become customers ourselves - of foundational cloud services like AWS, GCP, or Azure That got me thinking: how does S3 or any such cloud services scale itself to meet our scale? I wrote this article to explore that very question — not just as a fan of distributed systems, but to better understand the brilliant design decisions, battle-tested patterns, and foundational principles that power S3 behind the scenes. Some highlights: How S3 maintains the data integrity at such a massive scale Design decisions that they made S3 so robust Techniques used to ensure durability, availability, and consistency at scale Some simple but clever tweaks they made to power it up The hidden role of shuffle sharding and partitioning in keeping things smooth Would love your feedback or thoughts on what I might've missed or misunderstood. Read full article here - https://premeaswaran.substack.com/p/beyond-the-bucket-design-decisions (And yes, this was a fun excuse to nerd out over storage internals.) <!-- SC_ON --> submitted by /u/Intrepid_Macaroon_92 (https://www.reddit.com/user/Intrepid_Macaroon_92)
[link] (https://premeaswaran.substack.com/p/beyond-the-bucket-design-decisions) [comments] (https://www.reddit.com/r/programming/comments/1lqqbss/ever_wondered_how_aws_s3_scales_to_handle_1_pbs/)
https://www.reddit.com/r/programming/comments/1lqqbss/ever_wondered_how_aws_s3_scales_to_handle_1_pbs/
<!-- SC_OFF -->As engineers, we spend a lot of time figuring out how to auto-scale our apps to meet user demand. We design distributed systems that expand and contract dynamically to ensure seamless service.But, in the process, we become customers ourselves - of foundational cloud services like AWS, GCP, or Azure That got me thinking: how does S3 or any such cloud services scale itself to meet our scale? I wrote this article to explore that very question — not just as a fan of distributed systems, but to better understand the brilliant design decisions, battle-tested patterns, and foundational principles that power S3 behind the scenes. Some highlights: How S3 maintains the data integrity at such a massive scale Design decisions that they made S3 so robust Techniques used to ensure durability, availability, and consistency at scale Some simple but clever tweaks they made to power it up The hidden role of shuffle sharding and partitioning in keeping things smooth Would love your feedback or thoughts on what I might've missed or misunderstood. Read full article here - https://premeaswaran.substack.com/p/beyond-the-bucket-design-decisions (And yes, this was a fun excuse to nerd out over storage internals.) <!-- SC_ON --> submitted by /u/Intrepid_Macaroon_92 (https://www.reddit.com/user/Intrepid_Macaroon_92)
[link] (https://premeaswaran.substack.com/p/beyond-the-bucket-design-decisions) [comments] (https://www.reddit.com/r/programming/comments/1lqqbss/ever_wondered_how_aws_s3_scales_to_handle_1_pbs/)
Rust Case Studies
https://www.reddit.com/r/programming/comments/1lqqfwz/rust_case_studies/
submitted by /u/mooreds (https://www.reddit.com/user/mooreds)
[link] (https://sxlijin.github.io/2025-06-25-rust-case-studies) [comments] (https://www.reddit.com/r/programming/comments/1lqqfwz/rust_case_studies/)
https://www.reddit.com/r/programming/comments/1lqqfwz/rust_case_studies/
submitted by /u/mooreds (https://www.reddit.com/user/mooreds)
[link] (https://sxlijin.github.io/2025-06-25-rust-case-studies) [comments] (https://www.reddit.com/r/programming/comments/1lqqfwz/rust_case_studies/)
Privilege escalation over notepad++ installer
https://www.reddit.com/r/programming/comments/1lqrlq4/privilege_escalation_over_notepad_installer/
submitted by /u/Worth_Trust_3825 (https://www.reddit.com/user/Worth_Trust_3825)
[link] (https://github.com/TheTorjanCaptain/CVE-2025-49144_PoC) [comments] (https://www.reddit.com/r/programming/comments/1lqrlq4/privilege_escalation_over_notepad_installer/)
https://www.reddit.com/r/programming/comments/1lqrlq4/privilege_escalation_over_notepad_installer/
submitted by /u/Worth_Trust_3825 (https://www.reddit.com/user/Worth_Trust_3825)
[link] (https://github.com/TheTorjanCaptain/CVE-2025-49144_PoC) [comments] (https://www.reddit.com/r/programming/comments/1lqrlq4/privilege_escalation_over_notepad_installer/)
A Higgs-bugson in the Linux Kernel
https://www.reddit.com/r/programming/comments/1lqs3m1/a_higgsbugson_in_the_linux_kernel/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/) [comments] (https://www.reddit.com/r/programming/comments/1lqs3m1/a_higgsbugson_in_the_linux_kernel/)
https://www.reddit.com/r/programming/comments/1lqs3m1/a_higgsbugson_in_the_linux_kernel/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/) [comments] (https://www.reddit.com/r/programming/comments/1lqs3m1/a_higgsbugson_in_the_linux_kernel/)
System Design 101
https://www.reddit.com/r/programming/comments/1lqs68n/system_design_101/
submitted by /u/summerrise1905 (https://www.reddit.com/user/summerrise1905)
[link] (https://link1905.github.io/system-design-101/) [comments] (https://www.reddit.com/r/programming/comments/1lqs68n/system_design_101/)
https://www.reddit.com/r/programming/comments/1lqs68n/system_design_101/
submitted by /u/summerrise1905 (https://www.reddit.com/user/summerrise1905)
[link] (https://link1905.github.io/system-design-101/) [comments] (https://www.reddit.com/r/programming/comments/1lqs68n/system_design_101/)
How We Refactored 10,000+ i18n Call Sites Without Breaking Production
https://www.reddit.com/r/programming/comments/1lqs6a3/how_we_refactored_10000_i18n_call_sites_without/
<!-- SC_OFF -->Patreon’s frontend platform team recently overhauled our internationalization system—migrating every translation call, switching vendors, and removing flaky build dependencies. With this migration, we cut bundle size on key pages by nearly 50% and dropped our build time by a full minute. Here's how we did it, and what we learned about global-scale refactors along the way: https://www.patreon.com/posts/133137028 <!-- SC_ON --> submitted by /u/patreon-eng (https://www.reddit.com/user/patreon-eng)
[link] (https://www.patreon.com/posts/133137028) [comments] (https://www.reddit.com/r/programming/comments/1lqs6a3/how_we_refactored_10000_i18n_call_sites_without/)
https://www.reddit.com/r/programming/comments/1lqs6a3/how_we_refactored_10000_i18n_call_sites_without/
<!-- SC_OFF -->Patreon’s frontend platform team recently overhauled our internationalization system—migrating every translation call, switching vendors, and removing flaky build dependencies. With this migration, we cut bundle size on key pages by nearly 50% and dropped our build time by a full minute. Here's how we did it, and what we learned about global-scale refactors along the way: https://www.patreon.com/posts/133137028 <!-- SC_ON --> submitted by /u/patreon-eng (https://www.reddit.com/user/patreon-eng)
[link] (https://www.patreon.com/posts/133137028) [comments] (https://www.reddit.com/r/programming/comments/1lqs6a3/how_we_refactored_10000_i18n_call_sites_without/)
Porting tmux from C to Rust
https://www.reddit.com/r/programming/comments/1lqtc99/porting_tmux_from_c_to_rust/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://richardscollin.github.io/tmux-rs/) [comments] (https://www.reddit.com/r/programming/comments/1lqtc99/porting_tmux_from_c_to_rust/)
https://www.reddit.com/r/programming/comments/1lqtc99/porting_tmux_from_c_to_rust/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://richardscollin.github.io/tmux-rs/) [comments] (https://www.reddit.com/r/programming/comments/1lqtc99/porting_tmux_from_c_to_rust/)
The most mysterious bug I solved at work
https://www.reddit.com/r/programming/comments/1lqthg4/the_most_mysterious_bug_i_solved_at_work/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://cadence.moe/blog/2025-07-02-the-most-mysterious-bug-i-solved-at-work) [comments] (https://www.reddit.com/r/programming/comments/1lqthg4/the_most_mysterious_bug_i_solved_at_work/)
https://www.reddit.com/r/programming/comments/1lqthg4/the_most_mysterious_bug_i_solved_at_work/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://cadence.moe/blog/2025-07-02-the-most-mysterious-bug-i-solved-at-work) [comments] (https://www.reddit.com/r/programming/comments/1lqthg4/the_most_mysterious_bug_i_solved_at_work/)
Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup
https://www.reddit.com/r/programming/comments/1lqti9a/demonstration_of_algorithmic_quantum_speedup_for/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://journals.aps.org/prx/abstract/10.1103/PhysRevX.15.021082) [comments] (https://www.reddit.com/r/programming/comments/1lqti9a/demonstration_of_algorithmic_quantum_speedup_for/)
https://www.reddit.com/r/programming/comments/1lqti9a/demonstration_of_algorithmic_quantum_speedup_for/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://journals.aps.org/prx/abstract/10.1103/PhysRevX.15.021082) [comments] (https://www.reddit.com/r/programming/comments/1lqti9a/demonstration_of_algorithmic_quantum_speedup_for/)