Feature-First Development
https://www.reddit.com/r/programming/comments/1po7ctx/featurefirst_development/

submitted by /u/Arcuru (https://www.reddit.com/user/Arcuru)
[link] (https://jackson.dev/post/feature-first-development/) [comments] (https://www.reddit.com/r/programming/comments/1po7ctx/featurefirst_development/)

Sandboxing AI Agents: Practical Ways to Limit Autonomous Behavior
https://www.reddit.com/r/programming/comments/1po8ar9/sandboxing_ai_agents_practical_ways_to_limit/

<!-- SC_OFF -->I’ve been exploring how to safely deploy autonomous AI agents without giving them too much freedom. In practice, the biggest risks come from: unrestricted tool access filesystem and network exposure agents looping or escalating actions unexpectedly I looked at different sandboxing approaches: containers (Docker, OCI) microVMs (Firecracker) user-mode kernels (gVisor) permission-based tool execution I wrote a deeper breakdown with concrete examples and trade-offs here : https://medium.com/@yessine.abdelmaksoud.03/sandboxing-for-ai-agents-2420ac69569e I’d really appreciate feedback from people working with agents in production. <!-- SC_ON --> submitted by /u/After_Customer251 (https://www.reddit.com/user/After_Customer251)
[link] (https://medium.com/@yessine.abdelmaksoud.03/sandboxing-for-ai-agents-2420ac69569e) [comments] (https://www.reddit.com/r/programming/comments/1po8ar9/sandboxing_ai_agents_practical_ways_to_limit/)

Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
https://www.reddit.com/r/programming/comments/1po95q0/piecemeal_formal_verification_cloudflare_java/

submitted by /u/gavinhoward (https://www.reddit.com/user/gavinhoward)
[link] (https://gavinhoward.com/2025/12/piecemeal-formal-verification-cloudflare-java-exceptions-and-rust-mutexes/) [comments] (https://www.reddit.com/r/programming/comments/1po95q0/piecemeal_formal_verification_cloudflare_java/)

ty, a fast Python type checker by the uv devs, is now in beta
https://www.reddit.com/r/programming/comments/1pokx5j/ty_a_fast_python_type_checker_by_the_uv_devs_is/

submitted by /u/NYPuppy (https://www.reddit.com/user/NYPuppy)
[link] (https://astral.sh/blog/ty) [comments] (https://www.reddit.com/r/programming/comments/1pokx5j/ty_a_fast_python_type_checker_by_the_uv_devs_is/)

Is MCP Overhyped?
https://www.reddit.com/r/programming/comments/1pomnmd/is_mcp_overhyped/

submitted by /u/Helpful_Geologist430 (https://www.reddit.com/user/Helpful_Geologist430)
[link] (https://youtu.be/CY9ycB4iPyI?si=NmrEsod9-lVaL6tz) [comments] (https://www.reddit.com/r/programming/comments/1pomnmd/is_mcp_overhyped/)

Building the DSL for Fixing Natural Language
https://www.reddit.com/r/programming/comments/1poo25m/building_the_dsl_for_fixing_natural_language/

submitted by /u/ChiliPepperHott (https://www.reddit.com/user/ChiliPepperHott)
[link] (https://elijahpotter.dev/articles/building-the-weir-language) [comments] (https://www.reddit.com/r/programming/comments/1poo25m/building_the_dsl_for_fixing_natural_language/)

Building a Custom DatePicker in Java Swing and Persisting Dates in MySQL
https://www.reddit.com/r/programming/comments/1pooqzj/building_a_custom_datepicker_in_java_swing_and/

<!-- SC_OFF -->Java Swing doesn’t provide a modern DatePicker by default, so I built a custom calendar component in pure Swing and connected it to MySQL using JDBC. The calendar supports month/year navigation, date selection, and saving the selected date directly into a DATE column in MySQL. This is useful for forms like birth date, registration, or appointments. I shared a short video walkthrough and the full source code for anyone learning Java Swing or working on desktop projects. 📺 Video: Java Swing Custom Calendar DatePicker | Save Selected Date into MySQL Database (https://www.youtube.com/watch?v=pLI2I6TCiFw&t=426s)
💻 Code: Love2Programming (https://love2programming.com/post-list/2034) <!-- SC_ON --> submitted by /u/Substantial-Log-9305 (https://www.reddit.com/user/Substantial-Log-9305)
[link] (https://www.youtube.com/watch?v=pLI2I6TCiFw&t=426s) [comments] (https://www.reddit.com/r/programming/comments/1pooqzj/building_a_custom_datepicker_in_java_swing_and/)

A Survey of Dynamic Array Structures
https://www.reddit.com/r/programming/comments/1posbq0/a_survey_of_dynamic_array_structures/

submitted by /u/gingerbill (https://www.reddit.com/user/gingerbill)
[link] (https://azmr.uk/dyn/) [comments] (https://www.reddit.com/r/programming/comments/1posbq0/a_survey_of_dynamic_array_structures/)

AWS CEO says replacing junior devs with AI is 'one of the dumbest ideas'
https://www.reddit.com/r/programming/comments/1pou327/aws_ceo_says_replacing_junior_devs_with_ai_is_one/

submitted by /u/ImpressiveContest283 (https://www.reddit.com/user/ImpressiveContest283)
[link] (https://www.finalroundai.com/blog/aws-ceo-ai-cannot-replace-junior-developers) [comments] (https://www.reddit.com/r/programming/comments/1pou327/aws_ceo_says_replacing_junior_devs_with_ai_is_one/)

Short-Circuiting Correlated Subqueries in SQLite
https://www.reddit.com/r/programming/comments/1pou7p8/shortcircuiting_correlated_subqueries_in_sqlite/

submitted by /u/emschwartz (https://www.reddit.com/user/emschwartz)
[link] (https://emschwartz.me/short-circuiting-correlated-subqueries-in-sqlite/) [comments] (https://www.reddit.com/r/programming/comments/1pou7p8/shortcircuiting_correlated_subqueries_in_sqlite/)

Lexical, Vector & Hybrid Search with Elasticsearch • Carly Richmond
https://www.reddit.com/r/programming/comments/1poww70/lexical_vector_hybrid_search_with_elasticsearch/

submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/DeEkA9cunB4) [comments] (https://www.reddit.com/r/programming/comments/1poww70/lexical_vector_hybrid_search_with_elasticsearch/)

Docker Hardened Images is now free
https://www.reddit.com/r/programming/comments/1poxta3/docker_hardened_images_is_now_free/

submitted by /u/PurpleLabradoodle (https://www.reddit.com/user/PurpleLabradoodle)
[link] (https://www.docker.com/blog/docker-hardened-images-for-every-developer/) [comments] (https://www.reddit.com/r/programming/comments/1poxta3/docker_hardened_images_is_now_free/)

System calls: how programs talk to the Linux kernel
https://www.reddit.com/r/programming/comments/1poy70l/system_calls_how_programs_talk_to_the_linux_kernel/

<!-- SC_OFF -->Hello everyone, I've just published the second post in my Linux Inside Out series. In the first post we demystified the Linux kernel a bit: where it lives, how to boot it in a VM, and we even wrote a tiny init program. In this second post we go one layer deeper and look at how programs actually talk to the kernel.
We'll do a few small experiments to see: how our init program (that we wrote in the first post) communicates with the kernel via system calls how something like `echo "hello"` ends up printing text on your screen how to trace system calls to understand what a program is doing I’m mainly targeting developers and self-hosters who use Linux daily and are curious about the internals of a Linux-based operating system. This is part 2 of a longer series, going layer by layer through a Linux system while trying to keep things practical and approachable. Link (part 2): https://serversfor.dev/linux-inside-out/system-calls-how-programs-talk-to-the-linux-kernel/
Link (part 1): https://serversfor.dev/linux-inside-out/the-linux-kernel-is-just-a-program/ Any feedback is appreciated. <!-- SC_ON --> submitted by /u/indieHungary (https://www.reddit.com/user/indieHungary)
[link] (https://serversfor.dev/linux-inside-out/system-calls-how-programs-talk-to-the-linux-kernel/) [comments] (https://www.reddit.com/r/programming/comments/1poy70l/system_calls_how_programs_talk_to_the_linux_kernel/)

Maintaining an open source software during Hacktoberfest
https://www.reddit.com/r/programming/comments/1poznp6/maintaining_an_open_source_software_during/

submitted by /u/CrociDB (https://www.reddit.com/user/CrociDB)
[link] (https://crocidb.com/post/maintaining-an-oss-during-hacktoberfest/) [comments] (https://www.reddit.com/r/programming/comments/1poznp6/maintaining_an_open_source_software_during/)

Stack Overflow Annual Survey
https://www.reddit.com/r/programming/comments/1pozw5i/stack_overflow_annual_survey/

<!-- SC_OFF -->Some of my (subjective) surprising takeaways: Haskell, Clojure, Nix didn't make list of languages, only write-ins. Clojure really surprised me as it's not in top listed but Lisp is! Maybe it's because programmers of all Lisp dialects (including Clojure) self-reported as Lisp users. Emacs didnt make list of top editors, only write-in Gleam is one of most admired langs (never heard of it before!) Rust, Cargo most admired language & build tool - not surprising considering Rust hype uv is most admired tech tag - not surprising as it's a popular Python tool implemented in Rust What do you all think of this year's survey results? Did you participate? <!-- SC_ON --> submitted by /u/sohang-3112 (https://www.reddit.com/user/sohang-3112)
[link] (https://survey.stackoverflow.co/2025/technology/) [comments] (https://www.reddit.com/r/programming/comments/1pozw5i/stack_overflow_annual_survey/)

Runtime environment variables in Next.js - build reusable Docker images
https://www.reddit.com/r/programming/comments/1pp0mpk/runtime_environment_variables_in_nextjs_build/

submitted by /u/Ok_Animator_1770 (https://www.reddit.com/user/Ok_Animator_1770)
[link] (https://nemanjamitic.com/blog/2025-12-13-nextjs-runtime-environment-variables) [comments] (https://www.reddit.com/r/programming/comments/1pp0mpk/runtime_environment_variables_in_nextjs_build/)

Further Optimizing my Java SwissTable: Profile Pollution and SWAR Probing
https://www.reddit.com/r/programming/comments/1pp0wg2/further_optimizing_my_java_swisstable_profile/

<!-- SC_OFF -->Hey everyone. Follow-up to my last post where I built a SwissTable-ish hash map on the JVM: https://www.reddit.com/r/programming/comments/1plbpzg/building_a_fast_memoryefficient_hash_table_in/ This time I went back with a profiler and optimized the actual hot path (findIndex). A huge chunk of time was going to Objects.equals() because of profile pollution / missed devirtualization. After fixing that, the next bottleneck was ARM/NEON “movemask” pain (VectorMask.toLong()), so I tried SWAR… and it ended up faster (even on x86, which I did not expect). <!-- SC_ON --> submitted by /u/Charming-Top-8583 (https://www.reddit.com/user/Charming-Top-8583)
[link] (https://bluuewhale.github.io/posts/further-optimizing-my-java-swiss-table/) [comments] (https://www.reddit.com/r/programming/comments/1pp0wg2/further_optimizing_my_java_swisstable_profile/)

What's new in Ruby 4.0
https://www.reddit.com/r/programming/comments/1pp19ku/whats_new_in_ruby_40/

submitted by /u/nithinbekal (https://www.reddit.com/user/nithinbekal)
[link] (https://nithinbekal.com/posts/ruby-4-0/) [comments] (https://www.reddit.com/r/programming/comments/1pp19ku/whats_new_in_ruby_40/)

Inlining - the ultimate optimisation
https://www.reddit.com/r/programming/comments/1pp1esr/inlining_the_ultimate_optimisation/

submitted by /u/emschwartz (https://www.reddit.com/user/emschwartz)
[link] (https://xania.org/202512/17-inlining-the-ultimate-optimisation) [comments] (https://www.reddit.com/r/programming/comments/1pp1esr/inlining_the_ultimate_optimisation/)

I've been writing ring buffers wrong all these years
https://www.reddit.com/r/programming/comments/1pp51kr/ive_been_writing_ring_buffers_wrong_all_these/

submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://www.snellman.net/blog/archive/2016-12-13-ring-buffers/) [comments] (https://www.reddit.com/r/programming/comments/1pp51kr/ive_been_writing_ring_buffers_wrong_all_these/)

30 Years of Tags
https://www.reddit.com/r/programming/comments/1ppejs9/30_years_of_br_tags/

submitted by /u/brokePlusPlusCoder (https://www.reddit.com/user/brokePlusPlusCoder)
[link] (https://www.artmann.co/articles/30-years-of-br-tags) [comments] (https://www.reddit.com/r/programming/comments/1ppejs9/30_years_of_br_tags/)