Reddit Programming – Telegram
Reddit Programming
211 subscribers
1.22K photos
125K links
I will send you newest post from subreddit /r/programming
Download Telegram
How we make a Reactive Database Fast, Deterministic, and Still Safe
https://www.reddit.com/r/programming/comments/1p1zasd/how_we_make_a_reactive_database_fast/

<!-- SC_OFF -->One of the fun challenges in SevenDB was making emissions fully deterministic. We do that by pushing them into the state machine itself. No async “surprises,” no node deciding to emit something on its own. If the Raft log commits the command, the state machine produces the exact same emission on every node. Determinism by construction.
But this compromises speed very significantly , so what we do to get the best of both worlds is: On the durability side: a SET is considered successful only after the Raft cluster commits it—meaning it’s replicated into the in-memory WAL buffers of a quorum. Not necessarily flushed to disk when the client sees “OK.” Why keep it like this? Because we’re taking a deliberate bet that plays extremely well in practice: • Redundancy buys durability In Raft mode, your real durability is replication. Once a command is in the memory of a majority, you can lose a minority of nodes and the data is still intact. The chance of most of your cluster dying before a disk flush happens is tiny in realistic deployments. • Fsync is the throughput killer Physical disk syncs (fsync) are orders slower than memory or network replication. Forcing the leader to fsync every write would tank performance. I prototyped batching and timed windows, and they helped—but not enough to justify making fsync part of the hot path. (There is a durable flag planned: if a client appends durable to a SET, it will wait for disk flush. Still experimental.) • Disk issues shouldn’t stall a cluster If one node's storage is slow or semi-dying, synchronous fsyncs would make the whole system crawl. By relying on quorum-memory replication, the cluster stays healthy as long as most nodes are healthy. So the tradeoff is small: yes, there’s a narrow window where a simultaneous majority crash could lose in-flight commands. But the payoff is huge: predictable performance, high availability, and a deterministic state machine where emissions behave exactly the same on every node. In distributed systems, you often bet on the failure mode you’re willing to accept. This is ours.
it helped us achieve these benchmarks SevenDB benchmark — GETSET Target: localhost:7379, conns=16, workers=16, keyspace=100000, valueSize=16B, mix=GET:50/SET:50 Warmup: 5s, Duration: 30s Ops: total=3695354 success=3695354 failed=0 Throughput: 123178 ops/s Latency (ms): p50=0.111 p95=0.226 p99=0.349 max=15.663 Reactive latency (ms): p50=0.145 p95=0.358 p99=0.988 max=7.979 (interval=100ms) <!-- SC_ON --> submitted by /u/shashanksati (https://www.reddit.com/user/shashanksati)
[link] (https://github.com/sevenDatabase/SevenDB) [comments] (https://www.reddit.com/r/programming/comments/1p1zasd/how_we_make_a_reactive_database_fast/)
Understanding Latency: From Wire to Code
https://www.reddit.com/r/programming/comments/1p24uzc/understanding_latency_from_wire_to_code/

<!-- SC_OFF -->Ever wondered where those missing microseconds actually go? This darticle traces the hidden journey of a message through a system, from the network wire, through the NIC and kernel, across syscalls, and finally into application’s runtime. 👉 Read the article on quant.engineering (https://quant.engineering/understanding-latency-from-wire-to-code.html) <!-- SC_ON --> submitted by /u/rundef (https://www.reddit.com/user/rundef)
[link] (https://quant.engineering/understanding-latency-from-wire-to-code.html) [comments] (https://www.reddit.com/r/programming/comments/1p24uzc/understanding_latency_from_wire_to_code/)
Cursor's President is loving this University of Chicago study, but does merge rate really = productivity?
https://www.reddit.com/r/programming/comments/1p26wku/cursors_president_is_loving_this_university_of/

<!-- SC_OFF -->"The analysis of tens of thousands of developers across 1,000 organizations suggests that Cursor’s AI coding agent specifically can massively increase software output, all without negatively affecting the fix rates or revert rates." <!-- SC_ON --> submitted by /u/scarey102 (https://www.reddit.com/user/scarey102)
[link] (https://leaddev.com/ai/cursor-claims-its-tools-are-a-massive-productivity-hack-for-devs) [comments] (https://www.reddit.com/r/programming/comments/1p26wku/cursors_president_is_loving_this_university_of/)
Software Requirements Specification (SRS) – Case Study 1
https://www.reddit.com/r/programming/comments/1p2cx2s/software_requirements_specification_srs_case/

<!-- SC_OFF -->I just published a lecture about Software Requirements Specifications (SRS), using as an example the SRS of my Cloud-Based Multi-Service Platform for Smart Event Management case study project, which I host as a public repository in GitHub. There's a link to the SRS document and to the repository in the video denoscription. In this video I talk about functional requirements, non-funcional requirements, technical requirements, security, testing and architecture in the context of the case study software project. The goal is to share insights of how a Software Requirements Specification looks like in the real word, its application and importance on software development projects. <!-- SC_ON --> submitted by /u/ZoePsomi (https://www.reddit.com/user/ZoePsomi)
[link] (https://www.youtube.com/watch?v=C4tE1kZNrX4) [comments] (https://www.reddit.com/r/programming/comments/1p2cx2s/software_requirements_specification_srs_case/)
Introducing ZelixOS: A Modern, Fast, and Clean Linux Distribution
https://www.reddit.com/r/programming/comments/1p2r971/introducing_zelixos_a_modern_fast_and_clean_linux/

<!-- SC_OFF -->Hello everyone, I’d like to share a project I’ve been working on for some time now: ZelixOS, an Ubuntu Linux distribution designed to be fast, modern, and reliable for both new users and advanced Linux enthusiasts. ZelixOS is built on top of a stable Ubuntu LTS foundation, using the apt package manager, while providing a clean and optimized KDE Plasma desktop experience. Key Features 1. Clean and Modern KDE Plasma Experience
A minimal, polished, and responsive Plasma setup optimized for everyday use. 2. Improved Performance
Background services and startup processes are carefully optimized to reduce RAM usage and improve boot times. 3. Custom Zelix Applications
The system includes several tools developed specifically for ZelixOS: Zelix Welcome Zelix Cleaner Zelix Backup Zelix Essentials Zelix Helper 4. Ubuntu LTS Reliability
Strong hardware compatibility, large software repositories, and long-term stability. 5. Easy Installation
Uses Calamares for a user-friendly and straightforward installation process. Who Is ZelixOS For? KDE Plasma users Beginners transitioning to Linux Students and developers Anyone who wants a lightweight, stable, and clean desktop Those who like Ubuntu but want a more refined, performance-tuned experience Download & More Information You can find the download links, source code, and documentation here:
Github Page (https://github.com/lanierc/zelixos) r/ZelixOS (https://www.reddit.com/user/Minsir/) Website (https://lanierc.github.io/zelixos/) Feedback Welcome If you give ZelixOS a try, I’d be very happy to hear your impressions, suggestions, or bug reports.
Community feedback plays an important role in shaping the project. <!-- SC_ON --> submitted by /u/Minsir (https://www.reddit.com/user/Minsir)
[link] (https://lanierc.github.io/zelixos/) [comments] (https://www.reddit.com/r/programming/comments/1p2r971/introducing_zelixos_a_modern_fast_and_clean_linux/)
gis and sam 2
https://www.reddit.com/r/programming/comments/1p2twwk/gis_and_sam_2/

<!-- SC_OFF -->Do you know if there are any projects for segmenting satellite images or how I can do it because I found this https://samgeo.gishub.org/ but I would like to do it recursively for a large portion of land and highlight all the structures within that area but as far as I know this only does it in a minimum area of ​​small dimensions and then the rest must be done manually, do you have other interesting projects in mind that are ready?? <!-- SC_ON --> submitted by /u/panspective (https://www.reddit.com/user/panspective)
[link] (https://samgeo.gishub.org/) [comments] (https://www.reddit.com/r/programming/comments/1p2twwk/gis_and_sam_2/)
A Technical Insight About Modern Compilation
https://www.reddit.com/r/programming/comments/1p2x8ex/a_technical_insight_about_modern_compilation/

<!-- SC_OFF -->Within the past several years, I have been intrigued by the aggressive code optimization of high-level code into surprisingly efficient machine instructions by modern compilers. The part of it that most interests me is that even small refactors such as eliminating dead code or preventing dead air type transformations can produce huge effects on the assembly output. It serves as a nice reminder that though modern languages are abstract, the reasoning of compilers about code has much more practical use, particularly in troubleshooting code performance bottlenecks. <!-- SC_ON --> submitted by /u/Prize-Tomorrow-5249 (https://www.reddit.com/user/Prize-Tomorrow-5249)
[link] (https://www.sciencedirect.com/topics/computer-science/modern-compiler) [comments] (https://www.reddit.com/r/programming/comments/1p2x8ex/a_technical_insight_about_modern_compilation/)