214
I will send you newest post from subreddit /r/programming
A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix
https://www.reddit.com/r/programming/comments/1kxmdvq/a_personal_software_runtime_inspired_by_emacs/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://github.com/leoshimo/vrs) [comments] (https://www.reddit.com/r/programming/comments/1kxmdvq/a_personal_software_runtime_inspired_by_emacs/)
The death of uBlock Origin in Chrome: Manifest V2 will be deprecated next month
https://www.reddit.com/r/programming/comments/1kxnafy/the_death_of_ublock_origin_in_chrome_manifest_v2/
submitted by /u/rodrigocfd (https://www.reddit.com/user/rodrigocfd)
[link] (https://developer.chrome.com/docs/extensions/develop/migrate/mv2-deprecation-timeline) [comments] (https://www.reddit.com/r/programming/comments/1kxnafy/the_death_of_ublock_origin_in_chrome_manifest_v2/)
Residuality Theory: A Rebellious Take on Building Systems That Actually Survive
https://www.reddit.com/r/programming/comments/1kxlist/residuality_theory_a_rebellious_take_on_building/
submitted by /u/Adventurous-Salt8514 (https://www.reddit.com/user/Adventurous-Salt8514)
[link] (https://www.architecture-weekly.com/p/residuality-theory-a-rebellious-take) [comments] (https://www.reddit.com/r/programming/comments/1kxlist/residuality_theory_a_rebellious_take_on_building/)
Kotlin Multiplatform SDK & Ecosystem
https://www.reddit.com/r/programming/comments/1kxk13e/kotlin_multiplatform_sdk_ecosystem/
<!-- SC_OFF -->Features Include: Compile Time Dependency Injection Resource Management (via commonMain/resources) to manage Images, Fonts, Colors (which you can access via Objects such as AtlasStrings, AtlasColors, etc) Flow Management in a Kmp Friendly way ViewModel to ViewModel Focused Navigation - Auto Generates a navigation graph for Compose (android) projects and Embeds a UIKit powered Nav Engine that works for both SwiftUI + UIKit projects Support for All Platforms Incremental Building for Faster Builds <!-- SC_ON --> submitted by /u/GrouchyMonk4414 (https://www.reddit.com/user/GrouchyMonk4414)
[link] (https://github.com/Ares-Defence-Labs/Atlas) [comments] (https://www.reddit.com/r/programming/comments/1kxk13e/kotlin_multiplatform_sdk_ecosystem/)
How to authenticate machine identities: mTLS, token authentication, SPIFFE, and more
https://www.reddit.com/r/programming/comments/1kxfhcv/how_to_authenticate_machine_identities_mtls_token/
submitted by /u/West-Chard-1474 (https://www.reddit.com/user/West-Chard-1474)
[link] (https://www.cerbos.dev/blog/5-authentication-methods-for-nhi) [comments] (https://www.reddit.com/r/programming/comments/1kxfhcv/how_to_authenticate_machine_identities_mtls_token/)
Don't solve problems you don't have. You're literally creating problems.
https://www.reddit.com/r/programming/comments/1kx46s1/dont_solve_problems_you_dont_have_youre_literally/
submitted by /u/ohhfishal (https://www.reddit.com/user/ohhfishal)
[link] (https://ohhfishal.net/posts/dont-solve-problems-you-dont-have/) [comments] (https://www.reddit.com/r/programming/comments/1kx46s1/dont_solve_problems_you_dont_have_youre_literally/)
No if, while, map or reduce ; Relational Algebra Outside the Database.
https://www.reddit.com/r/programming/comments/1kww0b1/no_if_while_map_or_reduce_relational_algebra/
submitted by /u/blambeau (https://www.reddit.com/user/blambeau)
[link] (https://www.klaro.cards/en/blog/2025/05/27/159-neither-if-nor-while-neither-map-nor-reduce) [comments] (https://www.reddit.com/r/programming/comments/1kww0b1/no_if_while_map_or_reduce_relational_algebra/)
Memory Access Patterns Are Important
https://www.reddit.com/r/programming/comments/1kwv3h4/memory_access_patterns_are_important/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://mechanical-sympathy.blogspot.com/2012/08/memory-access-patterns-are-important.html) [comments] (https://www.reddit.com/r/programming/comments/1kwv3h4/memory_access_patterns_are_important/)
SIMD in zlib-rs (part 2): compare256 - Blog - Tweede golf
https://www.reddit.com/r/programming/comments/1kwv0os/simd_in_zlibrs_part_2_compare256_blog_tweede_golf/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://tweedegolf.nl/en/blog/155/simd-in-zlib-rs-part-2-compare256) [comments] (https://www.reddit.com/r/programming/comments/1kwv0os/simd_in_zlibrs_part_2_compare256_blog_tweede_golf/)
Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers
https://www.reddit.com/r/programming/comments/1kwutue/pyrefly_vs_ty_comparing_pythons_two_new_rustbased/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/) [comments] (https://www.reddit.com/r/programming/comments/1kwutue/pyrefly_vs_ty_comparing_pythons_two_new_rustbased/)
When the Slack Channel Gets Archived, but the Service Keeps Running
https://www.reddit.com/r/programming/comments/1kwr5kh/when_the_slack_channel_gets_archived_but_the/
submitted by /u/vladaionescu (https://www.reddit.com/user/vladaionescu)
[link] (https://earthly.dev/blog/slack-archived-service-running/) [comments] (https://www.reddit.com/r/programming/comments/1kwr5kh/when_the_slack_channel_gets_archived_but_the/)
I built a fluent time modeling library for .NET
https://www.reddit.com/r/programming/comments/1kwqytm/i_built_a_fluent_time_modeling_library_for_net/
<!-- SC_OFF -->If you’ve ever had to juggle complex business rules tied to time—like “run this task every weekday except holidays” or “trigger an event 20 minutes after sunset”—you know how quickly it becomes a mess of scattered conditionals and brittle code. I’ve been there too. That’s why I built Occurify: a fluent, type-safe time modeling library for .NET that lets you express tricky temporal rules clearly and compose them like Lego blocks. No more wrestling with raw DateTime everywhere. • Fluent API to express rules like “Every Monday at 9AM” or “Daily 20 minutes after sunset” • Define, filter, transform, and schedule both instants and periods • Easy integration with Reactive Extensions (Rx) • Inspired by functional programming principles for clean, composable code It’s open source and still evolving—curious what others think or how you’d use it. For source, examples, and design details, check it out on GitHub. <!-- SC_ON --> submitted by /u/StrictKaleidoscope26 (https://www.reddit.com/user/StrictKaleidoscope26)
[link] (https://github.com/Occurify/Occurify) [comments] (https://www.reddit.com/r/programming/comments/1kwqytm/i_built_a_fluent_time_modeling_library_for_net/)
The two types of open source
https://www.reddit.com/r/programming/comments/1kwpeeq/the_two_types_of_open_source/
submitted by /u/Kabra___kiiiiiiiid (https://www.reddit.com/user/Kabra___kiiiiiiiid)
[link] (https://filiph.net/text/two-types-of-open-source.html) [comments] (https://www.reddit.com/r/programming/comments/1kwpeeq/the_two_types_of_open_source/)
6 Essential System Design Concepts for Interviews
https://www.reddit.com/r/programming/comments/1kwoddp/6_essential_system_design_concepts_for_interviews/
submitted by /u/javinpaul (https://www.reddit.com/user/javinpaul)
[link] (https://javarevisited.substack.com/p/6-system-design-concepts-you-cannot) [comments] (https://www.reddit.com/r/programming/comments/1kwoddp/6_essential_system_design_concepts_for_interviews/)
Blinksy: a Rust no-std, no-alloc LED control library for 1D, 2D, and soon 3D spatial layouts 🟥🟩🟦
https://www.reddit.com/r/programming/comments/1kwkk5t/blinksy_a_rust_nostd_noalloc_led_control_library/
submitted by /u/ahdinosaur (https://www.reddit.com/user/ahdinosaur)
[link] (https://blog.mikey.nz/first-look-at-blinksy/) [comments] (https://www.reddit.com/r/programming/comments/1kwkk5t/blinksy_a_rust_nostd_noalloc_led_control_library/)
Beware of fast-math
https://www.reddit.com/r/programming/comments/1kxo98l/beware_of_fastmath/
submitted by /u/notfancy (https://www.reddit.com/user/notfancy)
[link] (https://simonbyrne.github.io/notes/fastmath/) [comments] (https://www.reddit.com/r/programming/comments/1kxo98l/beware_of_fastmath/)
New algorithm beats Dijkstra's time for shortest paths in directed graphs
https://www.reddit.com/r/programming/comments/1kxedmp/new_algorithm_beats_dijkstras_time_for_shortest/
submitted by /u/RogueCookie9586 (https://www.reddit.com/user/RogueCookie9586)
[link] (https://arxiv.org/abs/2504.17033) [comments] (https://www.reddit.com/r/programming/comments/1kxedmp/new_algorithm_beats_dijkstras_time_for_shortest/)
CheerpJ 4.1: Java in the browser, now supporting Java 17 (preview)
https://www.reddit.com/r/programming/comments/1kxchpn/cheerpj_41_java_in_the_browser_now_supporting/
submitted by /u/alexp_lt (https://www.reddit.com/user/alexp_lt)
[link] (https://labs.leaningtech.com/blog/cheerpj-4.1) [comments] (https://www.reddit.com/r/programming/comments/1kxchpn/cheerpj_41_java_in_the_browser_now_supporting/)
syftr: Bayesian Optimisation meets RAG workflows
https://www.reddit.com/r/programming/comments/1kxlbnb/syftr_bayesian_optimisation_meets_rag_workflows/
<!-- SC_OFF -->Syftr, an OSS framework that helps you to optimize your RAG pipelines in order to meet your latency/cost/accuracy expectations using Bayesian Optimization. Think of it like hyperparameter tuning, but for across the whole your RAG pipelines: syftr helps you automatically find the best combination of: LLMs data splitters prompts agentic strategies (CoT, ReAct, etc), and other pipeline steps to meet your performance goals and budget. 🗞️ Blog Post: https://www.datarobot.com/blog/pareto-optimized-ai-workflows-syftr/
🔨 Github: https://github.com/datarobot/syftr
📖 Paper: https://arxiv.org/abs/2505.20266 <!-- SC_ON --> submitted by /u/roma-glushko (https://www.reddit.com/user/roma-glushko)
[link] (https://github.com/datarobot/syftr) [comments] (https://www.reddit.com/r/programming/comments/1kxlbnb/syftr_bayesian_optimisation_meets_rag_workflows/)
Shedding Light on Kafka’s Black Box Problem
https://www.reddit.com/r/programming/comments/1kxir43/shedding_light_on_kafkas_black_box_problem/
submitted by /u/elizObserves (https://www.reddit.com/user/elizObserves)
[link] (https://signoz.io/blog/shedding-light-on-kafkas-black-box-problem/) [comments] (https://www.reddit.com/r/programming/comments/1kxir43/shedding_light_on_kafkas_black_box_problem/)
Building a Real-Time AI Fraud Detection System with Spring Kafka and MongoDB
https://www.reddit.com/r/programming/comments/1kx45tx/building_a_realtime_ai_fraud_detection_system/
submitted by /u/Majestic_Wallaby7374 (https://www.reddit.com/user/Majestic_Wallaby7374)
[link] (https://foojay.io/today/building-a-real-time-ai-fraud-detection-system-with-spring-kafka-and-mongodb/) [comments] (https://www.reddit.com/r/programming/comments/1kx45tx/building_a_realtime_ai_fraud_detection_system/)
Async Traits Can Be Directly Backed By Manual Future Impls
https://www.reddit.com/r/programming/comments/1kwv3id/async_traits_can_be_directly_backed_by_manual/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.yoshuawuyts.com/async-traits-can-be-directly-backed-by-manual-future-impls/) [comments] (https://www.reddit.com/r/programming/comments/1kwv3id/async_traits_can_be_directly_backed_by_manual/)
Relocation generation in assemblers
https://www.reddit.com/r/programming/comments/1kwv3ff/relocation_generation_in_assemblers/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://maskray.me/blog/2025-03-16-relocation-generation-in-assemblers) [comments] (https://www.reddit.com/r/programming/comments/1kwv3ff/relocation_generation_in_assemblers/)
Lossless video compression using Bloom filters
https://www.reddit.com/r/programming/comments/1kwuwy6/lossless_video_compression_using_bloom_filters/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://github.com/ross39/new_bloom_filter_repo/blob/main/README.md) [comments] (https://www.reddit.com/r/programming/comments/1kwuwy6/lossless_video_compression_using_bloom_filters/)
Logical Reversibility of Computation and Thermodynamic Computing
https://www.reddit.com/r/programming/comments/1kwrqg3/logical_reversibility_of_computation_and/
<!-- SC_OFF -->This paper is foundational to Quantum, Thermodynamic and Catalytic computing. The 1973 paper focuses on reversible computing using 3-tape Turing machines. I chose to implement all the important boolean logical gates in JavaScript. <!-- SC_ON --> submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/logical-reversibility-of-computation) [comments] (https://www.reddit.com/r/programming/comments/1kwrqg3/logical_reversibility_of_computation_and/)
The Hidden Cost of Skipping the Fundamentals in the Age of AI
https://www.reddit.com/r/programming/comments/1kwr0iv/the_hidden_cost_of_skipping_the_fundamentals_in/
<!-- SC_OFF -->AI makes it easier to use new tech without real understanding, but this shortcut can backfire. As a software engineer, I’ve noticed more people skipping foundational concepts, jumping straight to working solutions (often with AI), which leads to fragile and hard-to maintain code. True learning means breaking things down and understanding basics. Relying solely on AI for quick fixes may seem efficient, but it risks longterm costs for developers and organizations. Embrace AI, but don’t neglect the fundamentals. <!-- SC_ON --> submitted by /u/Greedy_Principle5345 (https://www.reddit.com/user/Greedy_Principle5345)
[link] (https://codingismycraft.blog/index.php/2025/05/27/the-hidden-cost-of-skipping-the-fundamentals-in-the-age-of-ai/) [comments] (https://www.reddit.com/r/programming/comments/1kwr0iv/the_hidden_cost_of_skipping_the_fundamentals_in/)
Explanations, not Algorithms
https://www.reddit.com/r/programming/comments/1kwqs3g/explanations_not_algorithms/
submitted by /u/aartaka (https://www.reddit.com/user/aartaka)
[link] (https://aartaka.me/explanations.html) [comments] (https://www.reddit.com/r/programming/comments/1kwqs3g/explanations_not_algorithms/)
Why SSDLC needs static analysis: a case study of 190 bugs in TDengine
https://www.reddit.com/r/programming/comments/1kwoz80/why_ssdlc_needs_static_analysis_a_case_study_of/
submitted by /u/Xadartt (https://www.reddit.com/user/Xadartt)
[link] (https://pvs-studio.com/en/blog/posts/cpp/1249/) [comments] (https://www.reddit.com/r/programming/comments/1kwoz80/why_ssdlc_needs_static_analysis_a_case_study_of/)
Coaching vs. Mentoring vs. Managing (most confuse them)
https://www.reddit.com/r/programming/comments/1kwnsiu/coaching_vs_mentoring_vs_managing_most_confuse/
submitted by /u/stmoreau (https://www.reddit.com/user/stmoreau)
[link] (https://www.blog4ems.com/p/coaching-vs-mentoring-vs-managing) [comments] (https://www.reddit.com/r/programming/comments/1kwnsiu/coaching_vs_mentoring_vs_managing_most_confuse/)
Making C and Python Talk to Each Other
https://www.reddit.com/r/programming/comments/1kwke9g/making_c_and_python_talk_to_each_other/
submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/making-c-and-python-talk-to-each) [comments] (https://www.reddit.com/r/programming/comments/1kwke9g/making_c_and_python_talk_to_each_other/)