Reddit Programming
211 subscribers
1.22K photos
124K links
I will send you newest post from subreddit /r/programming
Download Telegram
Zed's DeltaDB idea - real problem or overkill?
https://www.reddit.com/r/programming/comments/1o4h34t/zeds_deltadb_idea_real_problem_or_overkill/

<!-- SC_OFF -->Zed the editor pitched this thing called DeltaDB — a version control system that tracks every small code change and discussion, not just commits. https://zed.dev/blog/sequoia-backs-zed The idea is that this helps: Humans – who waste time figuring out why code was written a certain way because commit messages lose meaning and the real discussions are buried in Slack etc. AI agents – which today see only the code snapshot, not the reasoning behind it, so they suggest stuff that ignores intent. Basically, DeltaDB wants code to carry its why, not just its what. ⸻ Do these problems actually hurt you in real life? Would you want your editor or version control to remember that much context, or is this just unnecessary complexity? Share your stories. I personally hit #1 a lot when I was a dev — chasing old Slack threads just to understand one weird line of code. <!-- SC_ON --> submitted by /u/anonymous085 (https://www.reddit.com/user/anonymous085)
[link] (https://zed.dev/blog/sequoia-backs-zed) [comments] (https://www.reddit.com/r/programming/comments/1o4h34t/zeds_deltadb_idea_real_problem_or_overkill/)
Introducing the Testing Vial: a (better?) alternative to Testing Diamond and Testing Pyramid
https://www.reddit.com/r/programming/comments/1o4lons/introducing_the_testing_vial_a_better_alternative/

<!-- SC_OFF -->The Testing Pyramid emphasizes Unit Tests. The Testing Diamond emphasizes Integration Tests. But I really think we should not focus on technical aspects. That's why I came up with the Testing Vial. Let me know what you think of it! <!-- SC_ON --> submitted by /u/davidebellone (https://www.reddit.com/user/davidebellone)
[link] (https://www.code4it.dev/blog/testing-vial/) [comments] (https://www.reddit.com/r/programming/comments/1o4lons/introducing_the_testing_vial_a_better_alternative/)
Documentation for BASIC Studio on PS2
https://www.reddit.com/r/programming/comments/1o4oukr/documentation_for_basic_studio_on_ps2/

<!-- SC_OFF -->BASIC Studio is a programming and asset (models, images, music) creation suite released in 2001 in Japan for the Playstation 2. I recently completed a complete translation of the included documentation, for those who might have fun with it. More info can be found here https://forums.insertcredit.com/t/welcome-to-basic-studio-powerful-game-workshop-ps2/5395 <!-- SC_ON --> submitted by /u/mds01 (https://www.reddit.com/user/mds01)
[link] (https://archive.org/details/basic-studio-ps2-documentation_202510) [comments] (https://www.reddit.com/r/programming/comments/1o4oukr/documentation_for_basic_studio_on_ps2/)
Java Backend Coding Technology
https://www.reddit.com/r/programming/comments/1o5ao8k/java_backend_coding_technology/

<!-- SC_OFF -->The new approach to writing Java backend code. No "best practices", no "clean code" mantras. Just a small set of clear and explicit rules. <!-- SC_ON --> submitted by /u/Zestyclose-Error9313 (https://www.reddit.com/user/Zestyclose-Error9313)
[link] (https://pragmatica.dev/) [comments] (https://www.reddit.com/r/programming/comments/1o5ao8k/java_backend_coding_technology/)
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/)