Excel: The World’s Most Successful Functional Programming Platform By Houston Haynes
https://www.reddit.com/r/programming/comments/1pn7cea/excel_the_worlds_most_successful_functional/
<!-- SC_OFF -->Houston Haynes delivered one of the most surprising and thought-provoking talks of the year: a reframing of Excel not just as a spreadsheet tool, but as the world’s most widely adopted functional programming platform. The talk combined personal journey, technical insight, business strategy, and even a bit of FP philosophy — challenging the functional programming community to rethink the boundaries of their craft and the audience it serves. <!-- SC_ON --> submitted by /u/MagnusSedlacek (https://www.reddit.com/user/MagnusSedlacek)
[link] (https://youtu.be/rpe5vrhFATA) [comments] (https://www.reddit.com/r/programming/comments/1pn7cea/excel_the_worlds_most_successful_functional/)
https://www.reddit.com/r/programming/comments/1pn7cea/excel_the_worlds_most_successful_functional/
<!-- SC_OFF -->Houston Haynes delivered one of the most surprising and thought-provoking talks of the year: a reframing of Excel not just as a spreadsheet tool, but as the world’s most widely adopted functional programming platform. The talk combined personal journey, technical insight, business strategy, and even a bit of FP philosophy — challenging the functional programming community to rethink the boundaries of their craft and the audience it serves. <!-- SC_ON --> submitted by /u/MagnusSedlacek (https://www.reddit.com/user/MagnusSedlacek)
[link] (https://youtu.be/rpe5vrhFATA) [comments] (https://www.reddit.com/r/programming/comments/1pn7cea/excel_the_worlds_most_successful_functional/)
CI/CD Evolution: From Pipelines to AI-Powered DevOps • Olaf Molenveld & Julian Wood
https://www.reddit.com/r/programming/comments/1pn7xgt/cicd_evolution_from_pipelines_to_aipowered_devops/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/5QWQioN-aXc?list=PLEx5khR4g7PJozVmHNpQTVrk1QRC7YaJu) [comments] (https://www.reddit.com/r/programming/comments/1pn7xgt/cicd_evolution_from_pipelines_to_aipowered_devops/)
https://www.reddit.com/r/programming/comments/1pn7xgt/cicd_evolution_from_pipelines_to_aipowered_devops/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/5QWQioN-aXc?list=PLEx5khR4g7PJozVmHNpQTVrk1QRC7YaJu) [comments] (https://www.reddit.com/r/programming/comments/1pn7xgt/cicd_evolution_from_pipelines_to_aipowered_devops/)
IPC Mechanisms: Shared Memory vs. Message Queues Performance Benchmarking
https://www.reddit.com/r/programming/comments/1pn84ce/ipc_mechanisms_shared_memory_vs_message_queues/
<!-- SC_OFF -->Pushing 500K messages per second between processes and sys CPU time is through the roof. Your profiler shows mq_send() and mq_receive() dominating the flame graph. Each message is tiny—maybe 64 bytes—but you’re burning 40% CPU just on IPC overhead. This isn’t a hypothetical. LinkedIn’s Kafka producers hit exactly this wall. Message queue syscalls were killing throughput. They switched to shared memory ring buffers and saw context switches drop from 100K/sec to near-zero. The difference? Every message queue operation is a syscall with user→kernel→user memory copies. Shared memory lets you write directly to memory the other process can read. No syscall after setup, no context switch, no copy. The performance cliff sneaks up on you. At low rates, message queues work fine—the kernel handles synchronization and you get clean blocking semantics. But scale up and suddenly you’re paying 60-100ns per syscall, plus the cost of copying data twice and context switching when queues block. Shared memory with lock-free algorithms can hit sub-microsecond latencies, but you’re now responsible for synchronization, cache coherency, and cleanup if a process crashes mid-operation. <!-- SC_ON --> submitted by /u/Extra_Ear_10 (https://www.reddit.com/user/Extra_Ear_10)
[link] (https://howtech.substack.com/p/ipc-mechanisms-shared-memory-vs-message) [comments] (https://www.reddit.com/r/programming/comments/1pn84ce/ipc_mechanisms_shared_memory_vs_message_queues/)
https://www.reddit.com/r/programming/comments/1pn84ce/ipc_mechanisms_shared_memory_vs_message_queues/
<!-- SC_OFF -->Pushing 500K messages per second between processes and sys CPU time is through the roof. Your profiler shows mq_send() and mq_receive() dominating the flame graph. Each message is tiny—maybe 64 bytes—but you’re burning 40% CPU just on IPC overhead. This isn’t a hypothetical. LinkedIn’s Kafka producers hit exactly this wall. Message queue syscalls were killing throughput. They switched to shared memory ring buffers and saw context switches drop from 100K/sec to near-zero. The difference? Every message queue operation is a syscall with user→kernel→user memory copies. Shared memory lets you write directly to memory the other process can read. No syscall after setup, no context switch, no copy. The performance cliff sneaks up on you. At low rates, message queues work fine—the kernel handles synchronization and you get clean blocking semantics. But scale up and suddenly you’re paying 60-100ns per syscall, plus the cost of copying data twice and context switching when queues block. Shared memory with lock-free algorithms can hit sub-microsecond latencies, but you’re now responsible for synchronization, cache coherency, and cleanup if a process crashes mid-operation. <!-- SC_ON --> submitted by /u/Extra_Ear_10 (https://www.reddit.com/user/Extra_Ear_10)
[link] (https://howtech.substack.com/p/ipc-mechanisms-shared-memory-vs-message) [comments] (https://www.reddit.com/r/programming/comments/1pn84ce/ipc_mechanisms_shared_memory_vs_message_queues/)
Java 25 virtual threads – what worked and what didn’t for us
https://www.reddit.com/r/programming/comments/1pn9m4u/java_25_virtual_threads_what_worked_and_what/
submitted by /u/SpringJavaLab (https://www.reddit.com/user/SpringJavaLab)
[link] (https://spring-java-lab.blogspot.com/2025/12/java-25-virtual-threads-benchmarks-pitfalls.html) [comments] (https://www.reddit.com/r/programming/comments/1pn9m4u/java_25_virtual_threads_what_worked_and_what/)
https://www.reddit.com/r/programming/comments/1pn9m4u/java_25_virtual_threads_what_worked_and_what/
submitted by /u/SpringJavaLab (https://www.reddit.com/user/SpringJavaLab)
[link] (https://spring-java-lab.blogspot.com/2025/12/java-25-virtual-threads-benchmarks-pitfalls.html) [comments] (https://www.reddit.com/r/programming/comments/1pn9m4u/java_25_virtual_threads_what_worked_and_what/)
Linus Torvalds is 'a huge believer' in using AI to maintain code - just don't call it a revolution
https://www.reddit.com/r/programming/comments/1pnti2v/linus_torvalds_is_a_huge_believer_in_using_ai_to/
submitted by /u/Fcking_Chuck (https://www.reddit.com/user/Fcking_Chuck)
[link] (https://www.zdnet.com/article/linus-torvalds-ai-tool-maintaining-linux-code/) [comments] (https://www.reddit.com/r/programming/comments/1pnti2v/linus_torvalds_is_a_huge_believer_in_using_ai_to/)
https://www.reddit.com/r/programming/comments/1pnti2v/linus_torvalds_is_a_huge_believer_in_using_ai_to/
submitted by /u/Fcking_Chuck (https://www.reddit.com/user/Fcking_Chuck)
[link] (https://www.zdnet.com/article/linus-torvalds-ai-tool-maintaining-linux-code/) [comments] (https://www.reddit.com/r/programming/comments/1pnti2v/linus_torvalds_is_a_huge_believer_in_using_ai_to/)
Building a Brainfuck DSL in Forth using code generation
https://www.reddit.com/r/programming/comments/1pntwxq/building_a_brainfuck_dsl_in_forth_using_code/
submitted by /u/thunderseethe (https://www.reddit.com/user/thunderseethe)
[link] (https://venko.blog/articles/forth-brainfuck) [comments] (https://www.reddit.com/r/programming/comments/1pntwxq/building_a_brainfuck_dsl_in_forth_using_code/)
https://www.reddit.com/r/programming/comments/1pntwxq/building_a_brainfuck_dsl_in_forth_using_code/
submitted by /u/thunderseethe (https://www.reddit.com/user/thunderseethe)
[link] (https://venko.blog/articles/forth-brainfuck) [comments] (https://www.reddit.com/r/programming/comments/1pntwxq/building_a_brainfuck_dsl_in_forth_using_code/)
Analysis of the Xedni Calculus Attack on Elliptic Curves in Python
https://www.reddit.com/r/programming/comments/1pnvfnh/analysis_of_the_xedni_calculus_attack_on_elliptic/
submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/analysis-of-the-xedni-calculus-attack) [comments] (https://www.reddit.com/r/programming/comments/1pnvfnh/analysis_of_the_xedni_calculus_attack_on_elliptic/)
https://www.reddit.com/r/programming/comments/1pnvfnh/analysis_of_the_xedni_calculus_attack_on_elliptic/
submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/analysis-of-the-xedni-calculus-attack) [comments] (https://www.reddit.com/r/programming/comments/1pnvfnh/analysis_of_the_xedni_calculus_attack_on_elliptic/)
Censorship Explained: Shadowsocks
https://www.reddit.com/r/programming/comments/1pnvv15/censorship_explained_shadowsocks/
submitted by /u/wallpunch_official (https://www.reddit.com/user/wallpunch_official)
[link] (https://wallpunch.net/blog/censorship-explained-shadowsocks/) [comments] (https://www.reddit.com/r/programming/comments/1pnvv15/censorship_explained_shadowsocks/)
https://www.reddit.com/r/programming/comments/1pnvv15/censorship_explained_shadowsocks/
submitted by /u/wallpunch_official (https://www.reddit.com/user/wallpunch_official)
[link] (https://wallpunch.net/blog/censorship-explained-shadowsocks/) [comments] (https://www.reddit.com/r/programming/comments/1pnvv15/censorship_explained_shadowsocks/)
How a Kernel Bug Froze My Machine: Debugging an Async-profiler Deadlock
https://www.reddit.com/r/programming/comments/1pnxhkd/how_a_kernel_bug_froze_my_machine_debugging_an/
submitted by /u/_shadowbannedagain (https://www.reddit.com/user/_shadowbannedagain)
[link] (https://questdb.com/blog/async-profiler-kernel-bug/) [comments] (https://www.reddit.com/r/programming/comments/1pnxhkd/how_a_kernel_bug_froze_my_machine_debugging_an/)
https://www.reddit.com/r/programming/comments/1pnxhkd/how_a_kernel_bug_froze_my_machine_debugging_an/
submitted by /u/_shadowbannedagain (https://www.reddit.com/user/_shadowbannedagain)
[link] (https://questdb.com/blog/async-profiler-kernel-bug/) [comments] (https://www.reddit.com/r/programming/comments/1pnxhkd/how_a_kernel_bug_froze_my_machine_debugging_an/)
JetBrains Fleet dropped for AI products instead
https://www.reddit.com/r/programming/comments/1pnz3n0/jetbrains_fleet_dropped_for_ai_products_instead/
<!-- SC_OFF -->JetBrains Fleet was going to be an alternative to VS Code and seemed quite promising. After over 3 years of development since the first public preview release, it’s now dropped in order to make room for AI (Agentic) products. – “Starting December 22, 2025, Fleet will no longer be available for download. We are now building a new product focused on agentic development” At the very least, they’re considering open sourcing it, but it’s not definite. A comment from the author of the article (https://blog.jetbrains.com/fleet/2025/12/the-future-of-fleet/#remark42__comment-f3d6d88b-f10d-4f0a-9579-a6b940314b01) regarding open sourcing Fleet: – “It’s something we’re considering but we don’t have immediate plans for that at the moment.” <!-- SC_ON --> submitted by /u/markmanam (https://www.reddit.com/user/markmanam)
[link] (https://blog.jetbrains.com/fleet/2025/12/the-future-of-fleet/) [comments] (https://www.reddit.com/r/programming/comments/1pnz3n0/jetbrains_fleet_dropped_for_ai_products_instead/)
https://www.reddit.com/r/programming/comments/1pnz3n0/jetbrains_fleet_dropped_for_ai_products_instead/
<!-- SC_OFF -->JetBrains Fleet was going to be an alternative to VS Code and seemed quite promising. After over 3 years of development since the first public preview release, it’s now dropped in order to make room for AI (Agentic) products. – “Starting December 22, 2025, Fleet will no longer be available for download. We are now building a new product focused on agentic development” At the very least, they’re considering open sourcing it, but it’s not definite. A comment from the author of the article (https://blog.jetbrains.com/fleet/2025/12/the-future-of-fleet/#remark42__comment-f3d6d88b-f10d-4f0a-9579-a6b940314b01) regarding open sourcing Fleet: – “It’s something we’re considering but we don’t have immediate plans for that at the moment.” <!-- SC_ON --> submitted by /u/markmanam (https://www.reddit.com/user/markmanam)
[link] (https://blog.jetbrains.com/fleet/2025/12/the-future-of-fleet/) [comments] (https://www.reddit.com/r/programming/comments/1pnz3n0/jetbrains_fleet_dropped_for_ai_products_instead/)
Designing Resilient Event-Driven Systems that Scale
https://www.reddit.com/r/programming/comments/1po1dit/designing_resilient_eventdriven_systems_that_scale/
<!-- SC_OFF -->If you work on highly available & scalable systems, you might find it useful <!-- SC_ON --> submitted by /u/Trust_Me_Bro_4sure (https://www.reddit.com/user/Trust_Me_Bro_4sure)
[link] (https://kapillamba4.medium.com/designing-resilient-event-driven-systems-that-scale-03da6c60b711) [comments] (https://www.reddit.com/r/programming/comments/1po1dit/designing_resilient_eventdriven_systems_that_scale/)
https://www.reddit.com/r/programming/comments/1po1dit/designing_resilient_eventdriven_systems_that_scale/
<!-- SC_OFF -->If you work on highly available & scalable systems, you might find it useful <!-- SC_ON --> submitted by /u/Trust_Me_Bro_4sure (https://www.reddit.com/user/Trust_Me_Bro_4sure)
[link] (https://kapillamba4.medium.com/designing-resilient-event-driven-systems-that-scale-03da6c60b711) [comments] (https://www.reddit.com/r/programming/comments/1po1dit/designing_resilient_eventdriven_systems_that_scale/)
Odin's Most Misunderstood Feature: `context`
https://www.reddit.com/r/programming/comments/1po2i0o/odins_most_misunderstood_feature_context/
submitted by /u/gingerbill (https://www.reddit.com/user/gingerbill)
[link] (https://www.gingerbill.org/article/2025/12/15/odins-most-misunderstood-feature-context/) [comments] (https://www.reddit.com/r/programming/comments/1po2i0o/odins_most_misunderstood_feature_context/)
https://www.reddit.com/r/programming/comments/1po2i0o/odins_most_misunderstood_feature_context/
submitted by /u/gingerbill (https://www.reddit.com/user/gingerbill)
[link] (https://www.gingerbill.org/article/2025/12/15/odins-most-misunderstood-feature-context/) [comments] (https://www.reddit.com/r/programming/comments/1po2i0o/odins_most_misunderstood_feature_context/)
What can I do with ReScript?
https://www.reddit.com/r/programming/comments/1po3i99/what_can_i_do_with_renoscript/
submitted by /u/BeamMeUpBiscotti (https://www.reddit.com/user/BeamMeUpBiscotti)
[link] (https://renoscript-lang.org/blog/what-can-i-do-with-renoscript/) [comments] (https://www.reddit.com/r/programming/comments/1po3i99/what_can_i_do_with_renoscript/)
https://www.reddit.com/r/programming/comments/1po3i99/what_can_i_do_with_renoscript/
submitted by /u/BeamMeUpBiscotti (https://www.reddit.com/user/BeamMeUpBiscotti)
[link] (https://renoscript-lang.org/blog/what-can-i-do-with-renoscript/) [comments] (https://www.reddit.com/r/programming/comments/1po3i99/what_can_i_do_with_renoscript/)
We have ipinfo at home or how to geolocate IPs in your CLI using latency
https://www.reddit.com/r/programming/comments/1po406f/we_have_ipinfo_at_home_or_how_to_geolocate_ips_in/
submitted by /u/jimaek (https://www.reddit.com/user/jimaek)
[link] (https://blog.globalping.io/we-have-ipinfo-at-home-or-how-to-geolocate-ips-in-your-cli-using-latency/) [comments] (https://www.reddit.com/r/programming/comments/1po406f/we_have_ipinfo_at_home_or_how_to_geolocate_ips_in/)
https://www.reddit.com/r/programming/comments/1po406f/we_have_ipinfo_at_home_or_how_to_geolocate_ips_in/
submitted by /u/jimaek (https://www.reddit.com/user/jimaek)
[link] (https://blog.globalping.io/we-have-ipinfo-at-home-or-how-to-geolocate-ips-in-your-cli-using-latency/) [comments] (https://www.reddit.com/r/programming/comments/1po406f/we_have_ipinfo_at_home_or_how_to_geolocate_ips_in/)
"If you time-traveled to 1979 and found yourself sitting across from me in my office at Bell Labs—just as I was drafting the initial designs for what would become 'C with Classes'—what would you tell me?": A homework by Bjarne Stroustrup.
https://www.reddit.com/r/programming/comments/1po5nq5/if_you_timetraveled_to_1979_and_found_yourself/
<!-- SC_OFF -->This was a homework given by Bjarne Stroustrup when he was my professor at Texas A&M University in Spring Semester of 2013. The course, Generic Programming in C++, was one of the most fun classes I took at Texas A&M University. I'm posting it in my blog. https://coderschmoder.com/i-time-traveled-1979-met-bjarne-stroustrup
Take note that I updated the essay to reflect current C++ releases. My original essay was written when C++11 was released, and I mostly talked about RAII, and data type abstractions. Although I thought my essay was lacking in substance, he gave me a 95 :-D. So, I thought I update my essay and share it with you. When he gave the homework I think the context of the conversation was critics were ready for C++ to die because of lack of garbage collection or memory management, and the homework was akin to killing two birds with one stone(so to speak) - one, to see if we understand RAII and the life cycle of a C++ object, and two, how we see this "shortcomings" of C++. How about you? If you time-travel back to 1979, what would you tell him? <!-- SC_ON --> submitted by /u/CoderSchmoder (https://www.reddit.com/user/CoderSchmoder)
[link] (https://coderschmoder.com/i-time-traveled-1979-met-bjarne-stroustrup) [comments] (https://www.reddit.com/r/programming/comments/1po5nq5/if_you_timetraveled_to_1979_and_found_yourself/)
https://www.reddit.com/r/programming/comments/1po5nq5/if_you_timetraveled_to_1979_and_found_yourself/
<!-- SC_OFF -->This was a homework given by Bjarne Stroustrup when he was my professor at Texas A&M University in Spring Semester of 2013. The course, Generic Programming in C++, was one of the most fun classes I took at Texas A&M University. I'm posting it in my blog. https://coderschmoder.com/i-time-traveled-1979-met-bjarne-stroustrup
Take note that I updated the essay to reflect current C++ releases. My original essay was written when C++11 was released, and I mostly talked about RAII, and data type abstractions. Although I thought my essay was lacking in substance, he gave me a 95 :-D. So, I thought I update my essay and share it with you. When he gave the homework I think the context of the conversation was critics were ready for C++ to die because of lack of garbage collection or memory management, and the homework was akin to killing two birds with one stone(so to speak) - one, to see if we understand RAII and the life cycle of a C++ object, and two, how we see this "shortcomings" of C++. How about you? If you time-travel back to 1979, what would you tell him? <!-- SC_ON --> submitted by /u/CoderSchmoder (https://www.reddit.com/user/CoderSchmoder)
[link] (https://coderschmoder.com/i-time-traveled-1979-met-bjarne-stroustrup) [comments] (https://www.reddit.com/r/programming/comments/1po5nq5/if_you_timetraveled_to_1979_and_found_yourself/)
Multi-tenancy and dynamic messaging workload distribution
https://www.reddit.com/r/programming/comments/1po5s10/multitenancy_and_dynamic_messaging_workload/
submitted by /u/Adventurous-Salt8514 (https://www.reddit.com/user/Adventurous-Salt8514)
[link] (https://event-driven.io/en/multitenant_and_dynamic_message_handling/) [comments] (https://www.reddit.com/r/programming/comments/1po5s10/multitenancy_and_dynamic_messaging_workload/)
https://www.reddit.com/r/programming/comments/1po5s10/multitenancy_and_dynamic_messaging_workload/
submitted by /u/Adventurous-Salt8514 (https://www.reddit.com/user/Adventurous-Salt8514)
[link] (https://event-driven.io/en/multitenant_and_dynamic_message_handling/) [comments] (https://www.reddit.com/r/programming/comments/1po5s10/multitenancy_and_dynamic_messaging_workload/)
Maybe consider putting "cutlass" in your CUDA/Triton kernels
https://www.reddit.com/r/programming/comments/1po5vmn/maybe_consider_putting_cutlass_in_your_cudatriton/
submitted by /u/Makneeeeee (https://www.reddit.com/user/Makneeeeee)
[link] (https://maknee.github.io/blog/2025/Maybe-Consider-Putting-Cutlass-In-Your-CUDA-Kernels/) [comments] (https://www.reddit.com/r/programming/comments/1po5vmn/maybe_consider_putting_cutlass_in_your_cudatriton/)
https://www.reddit.com/r/programming/comments/1po5vmn/maybe_consider_putting_cutlass_in_your_cudatriton/
submitted by /u/Makneeeeee (https://www.reddit.com/user/Makneeeeee)
[link] (https://maknee.github.io/blog/2025/Maybe-Consider-Putting-Cutlass-In-Your-CUDA-Kernels/) [comments] (https://www.reddit.com/r/programming/comments/1po5vmn/maybe_consider_putting_cutlass_in_your_cudatriton/)
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/)
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/)
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/)
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/)
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/)