zkTLS for Verifiable HTTP — Stop Blindly Trusting AI Agents & Oracles
https://www.reddit.com/r/programming/comments/1o5bxsd/zktls_for_verifiable_http_stop_blindly_trusting/
<!-- SC_OFF -->When you’re vibe-coding with LLMs, you often heard: LLMs say:
“✅ I sent the request.”
Oracles say:
“✅ This is the real data.” But… how do you verify that actually happened?
You don’t. You just blindly trust. 😬 And this isn’t just an LLM problem — humans do this too.
Without proof, trust is fragile. That's why we build VEFAS (Verifiable Execution Framework for AI Agents) changes that.
We use zkTLS to turn any HTTP(S) request into a cryptographic proof: At time T, I sent request X to URL Y over real TLS and got response Z. ❌ No notaries ❌ No trusted gateways ✅ Anyone can verify the proof This is the first layer of a bigger verifiable AI stack.
The project is open source, under heavy development, and we’re inviting devs, cryptographers, and AI builders to help push this forward. <!-- SC_ON --> submitted by /u/bryanlee9889 (https://www.reddit.com/user/bryanlee9889)
[link] (https://github.com/Off-Live/vefas) [comments] (https://www.reddit.com/r/programming/comments/1o5bxsd/zktls_for_verifiable_http_stop_blindly_trusting/)
https://www.reddit.com/r/programming/comments/1o5bxsd/zktls_for_verifiable_http_stop_blindly_trusting/
<!-- SC_OFF -->When you’re vibe-coding with LLMs, you often heard: LLMs say:
“✅ I sent the request.”
Oracles say:
“✅ This is the real data.” But… how do you verify that actually happened?
You don’t. You just blindly trust. 😬 And this isn’t just an LLM problem — humans do this too.
Without proof, trust is fragile. That's why we build VEFAS (Verifiable Execution Framework for AI Agents) changes that.
We use zkTLS to turn any HTTP(S) request into a cryptographic proof: At time T, I sent request X to URL Y over real TLS and got response Z. ❌ No notaries ❌ No trusted gateways ✅ Anyone can verify the proof This is the first layer of a bigger verifiable AI stack.
The project is open source, under heavy development, and we’re inviting devs, cryptographers, and AI builders to help push this forward. <!-- SC_ON --> submitted by /u/bryanlee9889 (https://www.reddit.com/user/bryanlee9889)
[link] (https://github.com/Off-Live/vefas) [comments] (https://www.reddit.com/r/programming/comments/1o5bxsd/zktls_for_verifiable_http_stop_blindly_trusting/)
Blameless Culture in Software Engineering
https://www.reddit.com/r/programming/comments/1o5czje/blameless_culture_in_software_engineering/
submitted by /u/thehustlingengineer (https://www.reddit.com/user/thehustlingengineer)
[link] (https://open.substack.com/pub/thehustlingengineer/p/how-to-build-a-blameless-culture?r=yznlc&utm_medium=ios) [comments] (https://www.reddit.com/r/programming/comments/1o5czje/blameless_culture_in_software_engineering/)
https://www.reddit.com/r/programming/comments/1o5czje/blameless_culture_in_software_engineering/
submitted by /u/thehustlingengineer (https://www.reddit.com/user/thehustlingengineer)
[link] (https://open.substack.com/pub/thehustlingengineer/p/how-to-build-a-blameless-culture?r=yznlc&utm_medium=ios) [comments] (https://www.reddit.com/r/programming/comments/1o5czje/blameless_culture_in_software_engineering/)
Environment variables are a legacy mess: Let's dive deep into them
https://www.reddit.com/r/programming/comments/1o5j78b/environment_variables_are_a_legacy_mess_lets_dive/
submitted by /u/Low-Strawberry7579 (https://www.reddit.com/user/Low-Strawberry7579)
[link] (https://allvpv.org/haotic-journey-through-envvars/) [comments] (https://www.reddit.com/r/programming/comments/1o5j78b/environment_variables_are_a_legacy_mess_lets_dive/)
https://www.reddit.com/r/programming/comments/1o5j78b/environment_variables_are_a_legacy_mess_lets_dive/
submitted by /u/Low-Strawberry7579 (https://www.reddit.com/user/Low-Strawberry7579)
[link] (https://allvpv.org/haotic-journey-through-envvars/) [comments] (https://www.reddit.com/r/programming/comments/1o5j78b/environment_variables_are_a_legacy_mess_lets_dive/)
There Are No Programmers In Star Trek
https://www.reddit.com/r/programming/comments/1o5rdyg/there_are_no_programmers_in_star_trek/
submitted by /u/Active-Fuel-49 (https://www.reddit.com/user/Active-Fuel-49)
[link] (https://www.i-programmer.info/news/99-professional/18368-there-are-no-programmers-in-star-trek.html) [comments] (https://www.reddit.com/r/programming/comments/1o5rdyg/there_are_no_programmers_in_star_trek/)
https://www.reddit.com/r/programming/comments/1o5rdyg/there_are_no_programmers_in_star_trek/
submitted by /u/Active-Fuel-49 (https://www.reddit.com/user/Active-Fuel-49)
[link] (https://www.i-programmer.info/news/99-professional/18368-there-are-no-programmers-in-star-trek.html) [comments] (https://www.reddit.com/r/programming/comments/1o5rdyg/there_are_no_programmers_in_star_trek/)
Tests Don’t Prove Code Is Correct… They Just Agree With It
https://www.reddit.com/r/programming/comments/1o5rh32/tests_dont_prove_code_is_correct_they_just_agree/
<!-- SC_OFF -->“A test isn’t proof that something is correct, it’s proof that one piece of code behaves the way another piece of code thinks it should behave.” This thought hit me the other day while writing a few “perfectly passing” tests. I realized they weren’t actually proving anything — just confirming that my assumptions in two places matched. When both your implementation and your test share the same wrong assumption, everything still passes. Green checkmarks, false confidence. It made me rethink what tests are even for. They’re not really about proving truth — more about locking down intent. A way to say, “If I ever change this behavior, I want to know.” The tricky part is that the intent itself can be wrong. Anyway, just a random reflection from too many late nights chasing 100% coverage. Curious how you all think about it — do you see tests as validation, documentation, or just guardrails to keep chaos in check? <!-- SC_ON --> submitted by /u/untypedfuture (https://www.reddit.com/user/untypedfuture)
[link] (https://medium.com/@arnonaxelrod/proof-driven-development-or-the-business-value-of-clean-code-b84380ff312e) [comments] (https://www.reddit.com/r/programming/comments/1o5rh32/tests_dont_prove_code_is_correct_they_just_agree/)
https://www.reddit.com/r/programming/comments/1o5rh32/tests_dont_prove_code_is_correct_they_just_agree/
<!-- SC_OFF -->“A test isn’t proof that something is correct, it’s proof that one piece of code behaves the way another piece of code thinks it should behave.” This thought hit me the other day while writing a few “perfectly passing” tests. I realized they weren’t actually proving anything — just confirming that my assumptions in two places matched. When both your implementation and your test share the same wrong assumption, everything still passes. Green checkmarks, false confidence. It made me rethink what tests are even for. They’re not really about proving truth — more about locking down intent. A way to say, “If I ever change this behavior, I want to know.” The tricky part is that the intent itself can be wrong. Anyway, just a random reflection from too many late nights chasing 100% coverage. Curious how you all think about it — do you see tests as validation, documentation, or just guardrails to keep chaos in check? <!-- SC_ON --> submitted by /u/untypedfuture (https://www.reddit.com/user/untypedfuture)
[link] (https://medium.com/@arnonaxelrod/proof-driven-development-or-the-business-value-of-clean-code-b84380ff312e) [comments] (https://www.reddit.com/r/programming/comments/1o5rh32/tests_dont_prove_code_is_correct_they_just_agree/)
AI Won’t Fix Broken Systems: Lessons from the 2025 DORA Report
https://www.reddit.com/r/programming/comments/1o5wxpz/ai_wont_fix_broken_systems_lessons_from_the_2025/
<!-- SC_OFF -->Faster coding doesn’t always mean increased productivity. <!-- SC_ON --> submitted by /u/aviator_co (https://www.reddit.com/user/aviator_co)
[link] (https://www.aviator.co/blog/ai-2025-dora-report/) [comments] (https://www.reddit.com/r/programming/comments/1o5wxpz/ai_wont_fix_broken_systems_lessons_from_the_2025/)
https://www.reddit.com/r/programming/comments/1o5wxpz/ai_wont_fix_broken_systems_lessons_from_the_2025/
<!-- SC_OFF -->Faster coding doesn’t always mean increased productivity. <!-- SC_ON --> submitted by /u/aviator_co (https://www.reddit.com/user/aviator_co)
[link] (https://www.aviator.co/blog/ai-2025-dora-report/) [comments] (https://www.reddit.com/r/programming/comments/1o5wxpz/ai_wont_fix_broken_systems_lessons_from_the_2025/)
React Compiler v1.0
https://www.reddit.com/r/programming/comments/1o5x90j/react_compiler_v10/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://react.dev/blog/2025/10/07/react-compiler-1) [comments] (https://www.reddit.com/r/programming/comments/1o5x90j/react_compiler_v10/)
https://www.reddit.com/r/programming/comments/1o5x90j/react_compiler_v10/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://react.dev/blog/2025/10/07/react-compiler-1) [comments] (https://www.reddit.com/r/programming/comments/1o5x90j/react_compiler_v10/)
The Story of Codesmith: How a Competitor Crippled a $23.5M Bootcamp By Becoming a Reddit Moderator
https://www.reddit.com/r/programming/comments/1o67ip8/the_story_of_codesmith_how_a_competitor_crippled/
<!-- SC_OFF -->Saw this on theprimeagen stream, thought it would be interested to share. Anyone here who did a codesmith bootcamp? <!-- SC_ON --> submitted by /u/Happy_Junket_9540 (https://www.reddit.com/user/Happy_Junket_9540)
[link] (https://larslofgren.com/codesmith-reddit-reputation-attack/) [comments] (https://www.reddit.com/r/programming/comments/1o67ip8/the_story_of_codesmith_how_a_competitor_crippled/)
https://www.reddit.com/r/programming/comments/1o67ip8/the_story_of_codesmith_how_a_competitor_crippled/
<!-- SC_OFF -->Saw this on theprimeagen stream, thought it would be interested to share. Anyone here who did a codesmith bootcamp? <!-- SC_ON --> submitted by /u/Happy_Junket_9540 (https://www.reddit.com/user/Happy_Junket_9540)
[link] (https://larslofgren.com/codesmith-reddit-reputation-attack/) [comments] (https://www.reddit.com/r/programming/comments/1o67ip8/the_story_of_codesmith_how_a_competitor_crippled/)
Inside Cassandra: The Internals That Make It Fast and Massively Scalable
https://www.reddit.com/r/programming/comments/1o68coy/inside_cassandra_the_internals_that_make_it_fast/
submitted by /u/Sushant098123 (https://www.reddit.com/user/Sushant098123)
[link] (https://beyondthesyntax.substack.com/p/inside-cassandra-the-internals-that) [comments] (https://www.reddit.com/r/programming/comments/1o68coy/inside_cassandra_the_internals_that_make_it_fast/)
https://www.reddit.com/r/programming/comments/1o68coy/inside_cassandra_the_internals_that_make_it_fast/
submitted by /u/Sushant098123 (https://www.reddit.com/user/Sushant098123)
[link] (https://beyondthesyntax.substack.com/p/inside-cassandra-the-internals-that) [comments] (https://www.reddit.com/r/programming/comments/1o68coy/inside_cassandra_the_internals_that_make_it_fast/)
We saved 76% on our cloud bills while tripling our capacity by migrating to Hetzner from AWS and DigitalOcean
https://www.reddit.com/r/programming/comments/1o6au24/we_saved_76_on_our_cloud_bills_while_tripling_our/
submitted by /u/hedgehogsinus (https://www.reddit.com/user/hedgehogsinus)
[link] (https://digitalsociety.coop/posts/migrating-to-hetzner-cloud/) [comments] (https://www.reddit.com/r/programming/comments/1o6au24/we_saved_76_on_our_cloud_bills_while_tripling_our/)
https://www.reddit.com/r/programming/comments/1o6au24/we_saved_76_on_our_cloud_bills_while_tripling_our/
submitted by /u/hedgehogsinus (https://www.reddit.com/user/hedgehogsinus)
[link] (https://digitalsociety.coop/posts/migrating-to-hetzner-cloud/) [comments] (https://www.reddit.com/r/programming/comments/1o6au24/we_saved_76_on_our_cloud_bills_while_tripling_our/)
How to check for overlapping intervals
https://www.reddit.com/r/programming/comments/1o6el19/how_to_check_for_overlapping_intervals/
submitted by /u/mzl (https://www.reddit.com/user/mzl)
[link] (https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/) [comments] (https://www.reddit.com/r/programming/comments/1o6el19/how_to_check_for_overlapping_intervals/)
https://www.reddit.com/r/programming/comments/1o6el19/how_to_check_for_overlapping_intervals/
submitted by /u/mzl (https://www.reddit.com/user/mzl)
[link] (https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/) [comments] (https://www.reddit.com/r/programming/comments/1o6el19/how_to_check_for_overlapping_intervals/)
reCAPTCHA migration to Google Cloud by the end of 2025: what do you need to do
https://www.reddit.com/r/programming/comments/1o6gkyj/recaptcha_migration_to_google_cloud_by_the_end_of/
submitted by /u/ribtoks (https://www.reddit.com/user/ribtoks)
[link] (https://privatecaptcha.com/blog/recaptcha-migration-to-google-cloud-2025/) [comments] (https://www.reddit.com/r/programming/comments/1o6gkyj/recaptcha_migration_to_google_cloud_by_the_end_of/)
https://www.reddit.com/r/programming/comments/1o6gkyj/recaptcha_migration_to_google_cloud_by_the_end_of/
submitted by /u/ribtoks (https://www.reddit.com/user/ribtoks)
[link] (https://privatecaptcha.com/blog/recaptcha-migration-to-google-cloud-2025/) [comments] (https://www.reddit.com/r/programming/comments/1o6gkyj/recaptcha_migration_to_google_cloud_by_the_end_of/)
Introducing Reactive Programming for Go
https://www.reddit.com/r/programming/comments/1o6ieoy/introducing_reactive_programming_for_go/
<!-- SC_OFF -->Start writing declarative pipelines: observable := ro.Pipe( ro.RangeWithInterval(0, 10, 1*time.Second), ro.Filter(func(x int) bool { return x%2 == 0 }), ro.Map(func(x int) string { return fmt.Sprintf("even-%d", x) }), ) <!-- SC_ON --> submitted by /u/samuelberthe (https://www.reddit.com/user/samuelberthe)
[link] (https://github.com/samber/ro) [comments] (https://www.reddit.com/r/programming/comments/1o6ieoy/introducing_reactive_programming_for_go/)
https://www.reddit.com/r/programming/comments/1o6ieoy/introducing_reactive_programming_for_go/
<!-- SC_OFF -->Start writing declarative pipelines: observable := ro.Pipe( ro.RangeWithInterval(0, 10, 1*time.Second), ro.Filter(func(x int) bool { return x%2 == 0 }), ro.Map(func(x int) string { return fmt.Sprintf("even-%d", x) }), ) <!-- SC_ON --> submitted by /u/samuelberthe (https://www.reddit.com/user/samuelberthe)
[link] (https://github.com/samber/ro) [comments] (https://www.reddit.com/r/programming/comments/1o6ieoy/introducing_reactive_programming_for_go/)
Tritium | Ideas on Glitching in Rust
https://www.reddit.com/r/programming/comments/1o6kzd0/tritium_ideas_on_glitching_in_rust/
submitted by /u/urandomd (https://www.reddit.com/user/urandomd)
[link] (https://tritium.legal/blog/glitch) [comments] (https://www.reddit.com/r/programming/comments/1o6kzd0/tritium_ideas_on_glitching_in_rust/)
https://www.reddit.com/r/programming/comments/1o6kzd0/tritium_ideas_on_glitching_in_rust/
submitted by /u/urandomd (https://www.reddit.com/user/urandomd)
[link] (https://tritium.legal/blog/glitch) [comments] (https://www.reddit.com/r/programming/comments/1o6kzd0/tritium_ideas_on_glitching_in_rust/)
Reflecting on the first 6 months of a rewrite (Text Editor)
https://www.reddit.com/r/programming/comments/1o6m0jc/reflecting_on_the_first_6_months_of_a_rewrite/
submitted by /u/levodelellis (https://www.reddit.com/user/levodelellis)
[link] (https://bold-edit.com/devlog/six-months-rewrite.html) [comments] (https://www.reddit.com/r/programming/comments/1o6m0jc/reflecting_on_the_first_6_months_of_a_rewrite/)
https://www.reddit.com/r/programming/comments/1o6m0jc/reflecting_on_the_first_6_months_of_a_rewrite/
submitted by /u/levodelellis (https://www.reddit.com/user/levodelellis)
[link] (https://bold-edit.com/devlog/six-months-rewrite.html) [comments] (https://www.reddit.com/r/programming/comments/1o6m0jc/reflecting_on_the_first_6_months_of_a_rewrite/)
Why your boss isn't worried about AI - "can't you just turn it off?"
https://www.reddit.com/r/programming/comments/1o6n17u/why_your_boss_isnt_worried_about_ai_cant_you_just/
submitted by /u/Beyarkay (https://www.reddit.com/user/Beyarkay)
[link] (https://boydkane.com/essays/boss) [comments] (https://www.reddit.com/r/programming/comments/1o6n17u/why_your_boss_isnt_worried_about_ai_cant_you_just/)
https://www.reddit.com/r/programming/comments/1o6n17u/why_your_boss_isnt_worried_about_ai_cant_you_just/
submitted by /u/Beyarkay (https://www.reddit.com/user/Beyarkay)
[link] (https://boydkane.com/essays/boss) [comments] (https://www.reddit.com/r/programming/comments/1o6n17u/why_your_boss_isnt_worried_about_ai_cant_you_just/)
Simpler Build Tools with Functional and Object Oriented Programming, Scala Workshop 2025
https://www.reddit.com/r/programming/comments/1o6n8lv/simpler_build_tools_with_functional_and_object/
submitted by /u/lihaoyi (https://www.reddit.com/user/lihaoyi)
[link] (https://www.youtube.com/watch?v=tNsz_dGCsVs) [comments] (https://www.reddit.com/r/programming/comments/1o6n8lv/simpler_build_tools_with_functional_and_object/)
https://www.reddit.com/r/programming/comments/1o6n8lv/simpler_build_tools_with_functional_and_object/
submitted by /u/lihaoyi (https://www.reddit.com/user/lihaoyi)
[link] (https://www.youtube.com/watch?v=tNsz_dGCsVs) [comments] (https://www.reddit.com/r/programming/comments/1o6n8lv/simpler_build_tools_with_functional_and_object/)
Bots are executing our analytics JavaScript | Bring back old-school access logging
https://www.reddit.com/r/programming/comments/1o6nh2n/bots_are_executing_our_analytics_javascript_bring/
submitted by /u/kixxauth (https://www.reddit.com/user/kixxauth)
[link] (https://neugierig.org/software/blog/2025/09/access-log.html) [comments] (https://www.reddit.com/r/programming/comments/1o6nh2n/bots_are_executing_our_analytics_javascript_bring/)
https://www.reddit.com/r/programming/comments/1o6nh2n/bots_are_executing_our_analytics_javascript_bring/
submitted by /u/kixxauth (https://www.reddit.com/user/kixxauth)
[link] (https://neugierig.org/software/blog/2025/09/access-log.html) [comments] (https://www.reddit.com/r/programming/comments/1o6nh2n/bots_are_executing_our_analytics_javascript_bring/)
Cap'n Web: A new RPC system for browsers and web servers
https://www.reddit.com/r/programming/comments/1o6qg6y/capn_web_a_new_rpc_system_for_browsers_and_web/
submitted by /u/Happy_Junket_9540 (https://www.reddit.com/user/Happy_Junket_9540)
[link] (https://blog.cloudflare.com/capnweb-javascript-rpc-library/) [comments] (https://www.reddit.com/r/programming/comments/1o6qg6y/capn_web_a_new_rpc_system_for_browsers_and_web/)
https://www.reddit.com/r/programming/comments/1o6qg6y/capn_web_a_new_rpc_system_for_browsers_and_web/
submitted by /u/Happy_Junket_9540 (https://www.reddit.com/user/Happy_Junket_9540)
[link] (https://blog.cloudflare.com/capnweb-javascript-rpc-library/) [comments] (https://www.reddit.com/r/programming/comments/1o6qg6y/capn_web_a_new_rpc_system_for_browsers_and_web/)
How Clean Commits Make PR Reviews Easier
https://www.reddit.com/r/programming/comments/1o6rbo1/how_clean_commits_make_pr_reviews_easier/
<!-- SC_OFF -->It's no secret that reviewing pull requests is time consuming, and incredibly important. Speeding up reviews, and enabling higher quality reviews, should therefore be a crucial skill for all developers. However, I find the vast majority of PRs to be incredibly unfriendly to reviewers. In this (https://medium.com/@anujbiyani/ai-development-how-clean-commits-make-pr-reviews-easier-ec33f57eda70?source=friends_link&sk=4f1308bb6693f47236fb0da87bef3454) post I wrote about some git commands that will help you craft PRs that are much easier to review. With a bit of practice it ends up being fairly quick to execute on, and your whole team will thank you. <!-- SC_ON --> submitted by /u/fogeyman (https://www.reddit.com/user/fogeyman)
[link] (https://medium.com/@anujbiyani/ai-development-how-clean-commits-make-pr-reviews-easier-ec33f57eda70?source=friends_link&sk=4f1308bb6693f47236fb0da87bef3454) [comments] (https://www.reddit.com/r/programming/comments/1o6rbo1/how_clean_commits_make_pr_reviews_easier/)
https://www.reddit.com/r/programming/comments/1o6rbo1/how_clean_commits_make_pr_reviews_easier/
<!-- SC_OFF -->It's no secret that reviewing pull requests is time consuming, and incredibly important. Speeding up reviews, and enabling higher quality reviews, should therefore be a crucial skill for all developers. However, I find the vast majority of PRs to be incredibly unfriendly to reviewers. In this (https://medium.com/@anujbiyani/ai-development-how-clean-commits-make-pr-reviews-easier-ec33f57eda70?source=friends_link&sk=4f1308bb6693f47236fb0da87bef3454) post I wrote about some git commands that will help you craft PRs that are much easier to review. With a bit of practice it ends up being fairly quick to execute on, and your whole team will thank you. <!-- SC_ON --> submitted by /u/fogeyman (https://www.reddit.com/user/fogeyman)
[link] (https://medium.com/@anujbiyani/ai-development-how-clean-commits-make-pr-reviews-easier-ec33f57eda70?source=friends_link&sk=4f1308bb6693f47236fb0da87bef3454) [comments] (https://www.reddit.com/r/programming/comments/1o6rbo1/how_clean_commits_make_pr_reviews_easier/)
From autonomous agents to Human-assisted QA, AI Testing Tools in 2025
https://www.reddit.com/r/programming/comments/1o6si9q/from_autonomous_agents_to_humanassisted_qa_ai/
submitted by /u/cheerfulboy (https://www.reddit.com/user/cheerfulboy)
[link] (https://hashnode.com/blog/ai-testing-tools-2025) [comments] (https://www.reddit.com/r/programming/comments/1o6si9q/from_autonomous_agents_to_humanassisted_qa_ai/)
https://www.reddit.com/r/programming/comments/1o6si9q/from_autonomous_agents_to_humanassisted_qa_ai/
submitted by /u/cheerfulboy (https://www.reddit.com/user/cheerfulboy)
[link] (https://hashnode.com/blog/ai-testing-tools-2025) [comments] (https://www.reddit.com/r/programming/comments/1o6si9q/from_autonomous_agents_to_humanassisted_qa_ai/)