Why devs rely on tests instead of proofs for verification
https://www.reddit.com/r/programming/comments/1khe6rw/why_devs_rely_on_tests_instead_of_proofs_for/

submitted by /u/ConcentrateOk8967 (https://www.reddit.com/user/ConcentrateOk8967)
[link] (https://youtu.be/EAcNEItjfl0) [comments] (https://www.reddit.com/r/programming/comments/1khe6rw/why_devs_rely_on_tests_instead_of_proofs_for/)

Distributed TinyURL Architecture: How to handle 100K URLs per second
https://www.reddit.com/r/programming/comments/1khhr82/distributed_tinyurl_architecture_how_to_handle/

submitted by /u/Local_Ad_6109 (https://www.reddit.com/user/Local_Ad_6109)
[link] (https://animeshgaitonde.medium.com/distributed-tinyurl-architecture-how-to-handle-100k-urls-per-second-54182403117e) [comments] (https://www.reddit.com/r/programming/comments/1khhr82/distributed_tinyurl_architecture_how_to_handle/)

🐳 Supercharge Your Docker Workflow with the Container Optimization Tool (COT)
https://www.reddit.com/r/programming/comments/1khmfj1/supercharge_your_docker_workflow_with_the/

submitted by /u/thebitchhunterishere (https://www.reddit.com/user/thebitchhunterishere)
[link] (https://amansnew.hashnode.dev/supercharge-your-docker-workflow-with-the-container-optimization-tool-cot) [comments] (https://www.reddit.com/r/programming/comments/1khmfj1/supercharge_your_docker_workflow_with_the/)

[Sharing] Essence-Based Interpretation (EBI) – A Practical Approach for Software Design
https://www.reddit.com/r/programming/comments/1khn49s/sharing_essencebased_interpretation_ebi_a/

<!-- SC_OFF -->Hello everyone, I've recently come across a compelling approach called "Essence-Based Interpretation (EBI)", which emphasizes starting with "why" (essence) rather than immediately jumping into "what" or "how" when dealing with software requirements. EBI encourages developers to deeply understand the core reason behind a requirement before making design decisions. This helps teams build systems that are not only robust and maintainable but also flexible in handling future changes. Here's a great article explaining EBI clearly and practically: https://mannercode.com/2024/05/04/ebi-en.html I'd love to hear your thoughts and experiences: Have you applied a similar approach in your projects? Any lessons learned from focusing (or not focusing) on the "why" behind requirements? Looking forward to your insights and discussion! <!-- SC_ON --> submitted by /u/TwoDull183 (https://www.reddit.com/user/TwoDull183)
[link] (https://mannercode.com/2024/05/04/ebi-en.html) [comments] (https://www.reddit.com/r/programming/comments/1khn49s/sharing_essencebased_interpretation_ebi_a/)

Distributed TinyURL Architecture: How to handle 100K URLs per second
https://www.reddit.com/r/programming/comments/1khoeyy/distributed_tinyurl_architecture_how_to_handle/

submitted by /u/Local_Ad_6109 (https://www.reddit.com/user/Local_Ad_6109)
[link] (https://animeshgaitonde.medium.com/distributed-tinyurl-architecture-how-to-handle-100k-urls-per-second-54182403117e?sk=081477ba4f5aa6c296c426e622197491) [comments] (https://www.reddit.com/r/programming/comments/1khoeyy/distributed_tinyurl_architecture_how_to_handle/)

Working on Complex Systems: What I Learned Working at Google
https://www.reddit.com/r/programming/comments/1khoysm/working_on_complex_systems_what_i_learned_working/

submitted by /u/teivah (https://www.reddit.com/user/teivah)
[link] (https://www.thecoder.cafe/p/complex-systems) [comments] (https://www.reddit.com/r/programming/comments/1khoysm/working_on_complex_systems_what_i_learned_working/)

How I Passed the AWS AI Practitioner and Machine Learning Associate Exams: Tips and Resources
https://www.reddit.com/r/programming/comments/1khpyr3/how_i_passed_the_aws_ai_practitioner_and_machine/

<!-- SC_OFF -->Hi Everyone, I wanted to share my journey preparing for the AWS AI Practitioner and AWS Machine Learning Associate exams. These certifications were a big milestone for me, and along the way, I learned a lot about what works—and what doesn’t—when it comes to studying for AWS certifications. When I first started preparing, I used a mix of AWS whitepapers, AWS documentation, and the AWS Skill Builder courses. My company also has a partnership with AWS, so I was able to attend some AWS Partner sessions as part of our collaboration. While these were all helpful resources, I quickly realized that video-based materials weren’t the best fit for me. I found it frustrating to constantly pause videos to take notes, and when I needed to revisit a specific topic later, it was a nightmare trying to scrub through hours of video to find the exact point I needed. I started looking for written resources that were more structured and easier to reference. At one point, I even bought a book that I thought would help, but it turned out to be a complete rip-off. It was poorly written, clearly just some AI-generated text that wasn’t organized, and it contained incorrect information. That experience made me realize that there wasn’t a single resource out there that met my needs. During my preparation, I ended up piecing together information from all available sources. I started writing my own notes and organizing the material in a way that was easier for me to understand and review. By the time I passed both exams, I realized that the materials I had created could be helpful to others who might be facing the same challenges I did. So, after passing the exams, I decided to take it a step further. I put in extra effort to refine and expand my notes into professional study guides. My goal was to create resources that thoroughly cover all the topics required to pass the exams, ensuring nothing is left out. I wanted to provide clear explanations, practical examples, and realistic practice questions that closely mirror the actual exam. These guides are designed to be comprehensive, so candidates can rely on them to fully understand the material and feel confident in their preparation. This Reddit community has been an incredible resource for me during my certification journey, and I’ve learned so much from the discussions and advice shared here. As a way to give back, I’d like to offer a part of the first chapter of my AWS AI Practitioner study guide for free. It covers the basics of AI, ML, and Deep Learning. You can download it here: [Link to Google Drive (https://drive.google.com/drive/folders/1GxVq54kA5unC8lJsmRVXeZgILyk8xIye?usp=drive_link)]. I hope this free chapter helps anyone who’s preparing for the exam! If you find it useful and would like to support me, I’d be incredibly grateful if you considered purchasing the full book. I’ve made the ebook price as affordable as possible so it’s accessible to everyone. [AWS Certified AI Practitioner Complete Study Guide - Amazon Link (https://www.amazon.com/Certified-Practitioner-Complete-Study-Guide-ebook/dp/B0F7RWT2K2/ref=sr_1_14?dib=eyJ2IjoiMSJ9.KF_4XTJ7zY1Af3YdU3UHulWDbuuLS6rKlzbeRJ7M4UkKduP9hTfYKJpDwlyD6xHKUyIYzrP0MAOenI7scN7nt7zvXVksAkfQzYVPTdB4oHE8n4FPr4lXYNBbwHqXFGvekdzduayyhtXPt9iveg6mvLvViwGQOoPgzOAWkOR3tJ8xtReGbDgyQ0fsTYZhjgg2JMfQzoJXZ-vupecU0-fZO7p2pAex1xHW136fEDSQptQ.1185rsWu_Xw1Xd-PSIjU3H6YseCJV1On6sSTr3vY_YQ&dib_tag=se&keywords=aws+certified+ai+practitioner&qid=1746708643&sr=8-14)] [AWS Certified Machine Learning Engineer Complete Study Guide - Amazon Link (https://www.amazon.com/Certified-Machine-Learning-Engineer-Complete-ebook/dp/B0F71MRNCL/ref=sr_1_8?crid=2ASTU1QGDH9D2&dib=eyJ2IjoiMSJ9.nDG_3F1F6opqhd8Dysza5sWaSUuLXAsW7nD26nL28Q34sbf_JLyhGUrAFK_T-6kiWUDiDfTgDQmRqaypuJhzEShLrNYfgk

ZQHlK8xdu1yajy-S0YblwtkgNzHxfuAq_9UPXZok7IE7STuDAgcDGRAPfFEEKY9Nu4LOEBTIW7bquS9dPLGaoQ9d_g_E6JxPVt9NQ_9yAYt6H1-86Rtw397qZkBpXR1f8iYCvo0sBMO9I.dTc9m97IU8OLH10V0RF2nSotYp9FCU6D3F9dB20BcQE&dib_tag=se&keywords=aws+machine+learning+engineer+associate&qid=1746690073&sprefix=aws+machine%2Caps%2C246&sr=8-8)] If you have any questions about the exams, preparation strategies, or anything else, feel free to ask. I’d be happy to share more about my experience or help where I can. Thanks for reading, and I hope this post is helpful to the community! <!-- SC_ON --> submitted by /u/Secret-Marketing-397 (https://www.reddit.com/user/Secret-Marketing-397)
[link] (https://www.amazon.com/Certified-Practitioner-Complete-Study-Guide-ebook/dp/B0F7RWT2K2/ref=sr_1_14?dib=eyJ2IjoiMSJ9.KF_4XTJ7zY1Af3YdU3UHulWDbuuLS6rKlzbeRJ7M4UkKduP9hTfYKJpDwlyD6xHKUyIYzrP0MAOenI7scN7nt7zvXVksAkfQzYVPTdB4oHE8n4FPr4lXYNBbwHqXFGvekdzduayyhtXPt9iveg6mvLvViwGQOoPgzOAWkOR3tJ8xtReGbDgyQ0fsTYZhjgg2JMfQzoJXZ-vupecU0-fZO7p2pAex1xHW136fEDSQptQ.1185rsWu_Xw1Xd-PSIjU3H6YseCJV1On6sSTr3vY_YQ&dib_tag=se&keywords=aws+certified+ai+practitioner&qid=1746708643&sr=8-14) [comments] (https://www.reddit.com/r/programming/comments/1khpyr3/how_i_passed_the_aws_ai_practitioner_and_machine/)

Elasticsearch 101: Deep Dive
https://www.reddit.com/r/programming/comments/1khqfn6/elasticsearch_101_deep_dive/

<!-- SC_OFF -->What makes Elasticsearch so fast? In Part 1, we saw lightning-fast search across millions of records. In Part 2, I break down how it works:
Lucene segments
Node types: data, master, coordinating
Query handling & result merging Part1 Link : https://open.substack.com/pub/scortier/p/elasticsearch-101-part-1?r=5a6tk&utm_campaign=post&utm_medium=web&showWelcomeOnShare=false Part2 Link : https://open.substack.com/pub/scortier/p/elasticsearch-101-part-2?r=5a6tk&utm_campaign=post&utm_medium=web&showWelcomeOnShare=false <!-- SC_ON --> submitted by /u/scortierHQ (https://www.reddit.com/user/scortierHQ)
[link] (https://open.substack.com/pub/scortier/p/elasticsearch-101-part-2?r=5a6tk&utm_campaign=post&utm_medium=web&showWelcomeOnShare=false) [comments] (https://www.reddit.com/r/programming/comments/1khqfn6/elasticsearch_101_deep_dive/)

Microservices Are a Tax Your Startup Probably Can’t Afford
https://www.reddit.com/r/programming/comments/1kht5es/microservices_are_a_tax_your_startup_probably/

submitted by /u/lelanthran (https://www.reddit.com/user/lelanthran)
[link] (https://nexo.sh/posts/microservices-for-startups/) [comments] (https://www.reddit.com/r/programming/comments/1kht5es/microservices_are_a_tax_your_startup_probably/)

PostgreSQL 18 Beta 1 Released! (cross post from r/postgresql)
https://www.reddit.com/r/programming/comments/1khx9ke/postgresql_18_beta_1_released_cross_post_from/

submitted by /u/clairegiordano (https://www.reddit.com/user/clairegiordano)
[link] (https://www.postgresql.org/about/news/postgresql-18-beta-1-released-3070/) [comments] (https://www.reddit.com/r/programming/comments/1khx9ke/postgresql_18_beta_1_released_cross_post_from/)

Fighting Unwanted Notifications with Machine Learning in Chrome
https://www.reddit.com/r/programming/comments/1khyyvt/fighting_unwanted_notifications_with_machine/

submitted by /u/feross (https://www.reddit.com/user/feross)
[link] (https://blog.chromium.org/2025/05/fighting-unwanted-notifications-with.html) [comments] (https://www.reddit.com/r/programming/comments/1khyyvt/fighting_unwanted_notifications_with_machine/)

April 2025 (version 1.100)
https://www.reddit.com/r/programming/comments/1khzaqp/april_2025_version_1100/

submitted by /u/feross (https://www.reddit.com/user/feross)
[link] (https://code.visualstudio.com/updates/v1_100) [comments] (https://www.reddit.com/r/programming/comments/1khzaqp/april_2025_version_1100/)

Cppscript: A C++-like language compiling to TypeScript, aiming for production readiness (also my PhD project!)
https://www.reddit.com/r/programming/comments/1kibtfq/cppscript_a_clike_language_compiling_to/

<!-- SC_OFF -->Hey community, I wanted to share a project I've been working on and am now taking towards production readiness – Cppscript. It's a language designed with a syntax and feel heavily inspired by C++, but it compiles directly to TypeScript. The core idea is to explore the feasibility and benefits of bringing a more C++-like development experience (with features like explicit memory management concepts, RAII where applicable in the target environment, etc.) to the TypeScript/JavaScript ecosystem, while leveraging the vast reach and tooling of that platform. Currently, the compiler can successfully translate a significant subset of C++-like syntax and features into functional TypeScript. I have a basic working implementation, and it's also the subject of my ongoing PhD research, where I'm delving into the semantic translation challenges and evaluation of this approach (details for a future post!). However, getting a compiler and a language ecosystem to a production-ready state is a massive undertaking, and that's where I could really use some help from this knowledgeable community. I'm particularly looking for expertise and contributions in areas such as: * Compiler Optimizations: Techniques to improve the performance and size of the generated TypeScript code. * Robustness and Error Handling: Making the compiler more resilient to user errors and providing clear, helpful error messages. * Memory Management Emulation: Exploring more sophisticated techniques for handling C++'s memory concepts in a garbage-collected environment. * Interoperability: Improving the mechanisms for Cppscript to interact with existing TypeScript/JavaScript libraries and potentially C++ code via WebAssembly or other means. * Tooling: Developing or integrating with tools like linters, debuggers, or build systems for Cppscript. * Testing Infrastructure: Expanding the test suite and potentially setting up continuous integration. * Language Specification Formalization: Helping to formalize the language's semantics. If you're interested in compiler construction, programming language design, or the intersection of C++ and TypeScript/JavaScript, this could be a great opportunity to contribute to an interesting open-source project with direct research ties. It's a challenging but rewarding project, and any help, whether it's contributing code, improving documentation, reporting bugs, or even just offering advice and insights, would be incredibly valuable. Feel free to check it out, open issues, or ask questions in the comments or on the repo. Thanks for reading! <!-- SC_ON --> submitted by /u/MallConsistent986 (https://www.reddit.com/user/MallConsistent986)
[link] (https://github.com/Harsha-Bhattacharyya/Cpps.git) [comments] (https://www.reddit.com/r/programming/comments/1kibtfq/cppscript_a_clike_language_compiling_to/)

TypR: a statically typed superset of the R programming language
https://www.reddit.com/r/programming/comments/1kie3u9/typr_a_statically_typed_superset_of_the_r/

<!-- SC_OFF -->Written in Rust, this language aim to bring safety, modernity and ease of use for R, leading to better packages both maintainable and scalable ! This project is still new and need some work to be ready to use <!-- SC_ON --> submitted by /u/Artistic_Speech_1965 (https://www.reddit.com/user/Artistic_Speech_1965)
[link] (https://github.com/fabriceHategekimana/typr) [comments] (https://www.reddit.com/r/programming/comments/1kie3u9/typr_a_statically_typed_superset_of_the_r/)

Networking with scapy
https://www.reddit.com/r/programming/comments/1kig4pn/networking_with_scapy/

<!-- SC_OFF -->Hello. I want to create some scripts where I can send and receive packets and manipulate them like forcing inbound and outbound errors, and counting and increasing/decreasing all incoming and outgoing bytes/packets and all from one vm to another vm or switch. Like the code i provided It helps to generate > 10mbs packets <!-- SC_ON --> submitted by /u/Ok_Employment0002 (https://www.reddit.com/user/Ok_Employment0002)
[link] (https://github.com/JustPritam/Democode/blob/main/Code) [comments] (https://www.reddit.com/r/programming/comments/1kig4pn/networking_with_scapy/)

How To Survive (or Escape) a Toxic Engineering Job? 💩
https://www.reddit.com/r/programming/comments/1kig8ww/how_to_survive_or_escape_a_toxic_engineering_job/

<!-- SC_OFF -->Hey folks, I recently published a piece called “How To Thrive In a Shit Environment”—and I don’t mean bad lighting or weak coffee. I’m talking toxic culture, broken engineering practices, and career dead-ends disguised as jobs, ie. nearly half of the jobs out there. Martin Fowler once said: “Change your company, or change your company.” I take that as: fix it if you can, or leave before it eats you alive. My breakdown of the main types of crap we deal with: Shitty culture? Unfixable. Bail. Shitty engineering practices? Maybe fixable—depends on where you are in your career. Shitty growth opportunities? Set a six-month timer and be brutally honest about progress. I wrote this half as therapy and half as a warning. If you've ever stuck around too long, or tried to fix something that couldn't be fixed, I think it'll resonate. Two questions for you: have you ever actually fixed a toxic situation from the inside? when do you decide it’s time to walk away? Let’s hear some war stories 👇 <!-- SC_ON --> submitted by /u/capn-hunch (https://www.reddit.com/user/capn-hunch)
[link] (https://shipvalue.substack.com/p/how-to-thrive-in-a-shit-environment) [comments] (https://www.reddit.com/r/programming/comments/1kig8ww/how_to_survive_or_escape_a_toxic_engineering_job/)

Figma threatens companies using "Dev Mode"
https://www.reddit.com/r/programming/comments/1kih4a7/figma_threatens_companies_using_dev_mode/

submitted by /u/Chii (https://www.reddit.com/user/Chii)
[link] (https://www.youtube.com/watch?v=P73EGVfKNr0) [comments] (https://www.reddit.com/r/programming/comments/1kih4a7/figma_threatens_companies_using_dev_mode/)

WebAssembly 2.0
https://www.reddit.com/r/programming/comments/1kihwge/webassembly_20/

submitted by /u/ChiliPepperHott (https://www.reddit.com/user/ChiliPepperHott)
[link] (https://www.w3.org/TR/wasm-core-2/) [comments] (https://www.reddit.com/r/programming/comments/1kihwge/webassembly_20/)

Online Code Editor
https://www.reddit.com/r/programming/comments/1kijar3/online_code_editor/

<!-- SC_OFF --><!-- Free Online Code Editor --> editor runs entirely in your web browser — no installation required. 🔧 Main Features:Syntax highlighting,themes, sharing code Open and save files locally — no uploads Powered by the CodeMirror.js library 🌐 Supported Languages: HTML, CSS, JavaScript, TypeScript, PHP, JSON, XML, Python, Java, C, C++, C#, Go, Ruby, Swift, Rust, SQL, Shell/Bash, Perl, Lua, Scala, Clojure, Haskell, Erlang, Objective-C, Scheme, Tcl, Visual Basic, and Markdown. 🚀 Enjoy coding! <!-- SC_ON --> submitted by /u/omar_sedki (https://www.reddit.com/user/omar_sedki)
[link] (https://code.livegap.com/?st=950pg5bdyjp) [comments] (https://www.reddit.com/r/programming/comments/1kijar3/online_code_editor/)

Unit Testing That Doesn’t Blow Up Productivity: An Explosive Guide.
https://www.reddit.com/r/programming/comments/1kijc6z/unit_testing_that_doesnt_blow_up_productivity_an/

submitted by /u/derjanni (https://www.reddit.com/user/derjanni)
[link] (https://programmers.fyi/unit-testing-that-doesnt-blow-up-productivity-an-explosive-guide) [comments] (https://www.reddit.com/r/programming/comments/1kijc6z/unit_testing_that_doesnt_blow_up_productivity_an/)