214
I will send you newest post from subreddit /r/programming
Pagination / hasNextPage
https://www.reddit.com/r/programming/comments/1l27787/pagination_hasnextpage/
<!-- SC_OFF -->I don't know why but in my code the hasNextPage always finds me an invisible last page (I'm a beginner) here is the code: const { data: patients, refetch, fetchNextPage, hasNextPage, isFetchingNextPage, } = useInfiniteQuery({ queryKey: ["patients-page", currentPage], queryFn: async ({ pageParam }) => await getPatients({ searchQuery: searchQuery, pageParam: currentPage, therapistId: currentUserQuery.data?.id, }), getNextPageParam, getPreviousPageParam, initialPageParam: currentPage, enabled: !!currentUserQuery.data?.id, }); {hasNextPage && ( <> handlePageChange(currentPage + 1)}> {currentPage + 1} handlePageChange(currentPage + 1)}> Suivant </> )} <!-- SC_ON --> submitted by /u/duskred258 (https://www.reddit.com/user/duskred258)
[link] (http://guthib.com/) [comments] (https://www.reddit.com/r/programming/comments/1l27787/pagination_hasnextpage/)
Germany and France to accelerate the construction of clouds in the EU (German)
https://www.reddit.com/r/programming/comments/1l258ow/germany_and_france_to_accelerate_the_construction/
submitted by /u/Fritja (https://www.reddit.com/user/Fritja)
[link] (https://www.golem.de/news/deutschland-und-frankreich-hoeheres-tempo-bei-souveraenen-cloud-plattformen-2506-196769.html) [comments] (https://www.reddit.com/r/programming/comments/1l258ow/germany_and_france_to_accelerate_the_construction/)
The Essential Guide to Load Balancing Strategies and Techniques
https://www.reddit.com/r/programming/comments/1l22z6x/the_essential_guide_to_load_balancing_strategies/
submitted by /u/javinpaul (https://www.reddit.com/user/javinpaul)
[link] (https://javarevisited.substack.com/p/the-essential-guide-to-load-balancing) [comments] (https://www.reddit.com/r/programming/comments/1l22z6x/the_essential_guide_to_load_balancing_strategies/)
Beachpatrol: A CLI to automate your everyday web browser.
https://www.reddit.com/r/programming/comments/1l22cw2/beachpatrol_a_cli_to_automate_your_everyday_web/
submitted by /u/deepCelibateValue (https://www.reddit.com/user/deepCelibateValue)
[link] (https://github.com/sebastiancarlos/beachpatrol) [comments] (https://www.reddit.com/r/programming/comments/1l22cw2/beachpatrol_a_cli_to_automate_your_everyday_web/)
The 3D Gaussian Splatting Adventure: Past, Present, Future
https://www.reddit.com/r/programming/comments/1l1nixw/the_3d_gaussian_splatting_adventure_past_present/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.youtube.com/watch?v=DjOqkVIlEGY) [comments] (https://www.reddit.com/r/programming/comments/1l1nixw/the_3d_gaussian_splatting_adventure_past_present/)
Implementing a Forth
https://www.reddit.com/r/programming/comments/1l1niqz/implementing_a_forth/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://ratfactor.com/forth/implementing) [comments] (https://www.reddit.com/r/programming/comments/1l1niqz/implementing_a_forth/)
Structured errors in Go
https://www.reddit.com/r/programming/comments/1l1nhy8/structured_errors_in_go/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://southcla.ws/structured-errors-in-go) [comments] (https://www.reddit.com/r/programming/comments/1l1nhy8/structured_errors_in_go/)
A Lean companion to Analysis I
https://www.reddit.com/r/programming/comments/1l1nhj7/a_lean_companion_to_analysis_i/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/) [comments] (https://www.reddit.com/r/programming/comments/1l1nhj7/a_lean_companion_to_analysis_i/)
A tour of upcoming RFCs for the Hare programming language
https://www.reddit.com/r/programming/comments/1l1nezb/a_tour_of_upcoming_rfcs_for_the_hare_programming/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://harelang.org/blog/2025-06-02-planned-breaking-changes/) [comments] (https://www.reddit.com/r/programming/comments/1l1nezb/a_tour_of_upcoming_rfcs_for_the_hare_programming/)
What works (and doesn't) selling formal methods
https://www.reddit.com/r/programming/comments/1l1n824/what_works_and_doesnt_selling_formal_methods/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods) [comments] (https://www.reddit.com/r/programming/comments/1l1n824/what_works_and_doesnt_selling_formal_methods/)
Compiling 64Bit Linux from Scratch on Windows XP (by NCommander)
https://www.reddit.com/r/programming/comments/1l1mtho/compiling_64bit_linux_from_scratch_on_windows_xp/
submitted by /u/mmkzero0 (https://www.reddit.com/user/mmkzero0)
[link] (https://youtu.be/-vH_ss9tcwA?si=OqhNDcRmOQFDjFKE) [comments] (https://www.reddit.com/r/programming/comments/1l1mtho/compiling_64bit_linux_from_scratch_on_windows_xp/)
A 45-bit segment display design for Korean text
https://www.reddit.com/r/programming/comments/1l1gq1g/a_45bit_segment_display_design_for_korean_text/
submitted by /u/Noordstar-legacy (https://www.reddit.com/user/Noordstar-legacy)
[link] (https://noordstar.me/hangul-segment-display) [comments] (https://www.reddit.com/r/programming/comments/1l1gq1g/a_45bit_segment_display_design_for_korean_text/)
The UI Revolution: How JSON Blueprints & Shared Workers Power Next-Gen AI Interfaces
https://www.reddit.com/r/programming/comments/1l1bxar/the_ui_revolution_how_json_blueprints_shared/
submitted by /u/TobiasUhlig (https://www.reddit.com/user/TobiasUhlig)
[link] (https://tobiasuhlig.medium.com/the-ui-revolution-how-json-blueprints-shared-workers-power-next-gen-ai-interfaces-60a2bf0fc1dc?source=friends_link&sk=1b0b306285e23bb12f31271dd87bebe5) [comments] (https://www.reddit.com/r/programming/comments/1l1bxar/the_ui_revolution_how_json_blueprints_shared/)
Understanding Consistency in Databases: Beyond the basics
https://www.reddit.com/r/programming/comments/1l17dzd/understanding_consistency_in_databases_beyond_the/
<!-- SC_OFF -->Hey guys! I tried to be the most didactic as possible, any suggestions or improvements, feel free to comment below :) <!-- SC_ON --> submitted by /u/lucasb001 (https://www.reddit.com/user/lucasb001)
[link] (lucas01/understanding-consistency-in-databases-beyond-the-basics-293013a50481" rel="nofollow">https://medium.com/@lucas01/understanding-consistency-in-databases-beyond-the-basics-293013a50481) [comments] (https://www.reddit.com/r/programming/comments/1l17dzd/understanding_consistency_in_databases_beyond_the/)
Engineering With Java: Digest #53
https://www.reddit.com/r/programming/comments/1l13bxz/engineering_with_java_digest_53/
submitted by /u/Educational-Ad2036 (https://www.reddit.com/user/Educational-Ad2036)
[link] (https://javabulletin.substack.com/p/engineering-with-java-digest-53) [comments] (https://www.reddit.com/r/programming/comments/1l13bxz/engineering_with_java_digest_53/)
The HTTP QUERY Method (published on 27 May 2025)
https://www.reddit.com/r/programming/comments/1l26nbp/the_http_query_method_published_on_27_may_2025/
submitted by /u/Vectorial1024 (https://www.reddit.com/user/Vectorial1024)
[link] (https://httpwg.org/http-extensions/draft-ietf-httpbis-safe-method-w-body.html) [comments] (https://www.reddit.com/r/programming/comments/1l26nbp/the_http_query_method_published_on_27_may_2025/)
Built a tool to finally organize my messy screenshots
https://www.reddit.com/r/programming/comments/1l24p4v/built_a_tool_to_finally_organize_my_messy/
<!-- SC_OFF -->As someone who takes a lot of screenshots while working, I was constantly frustrated by how disorganized they became. Finding an old screenshot usually meant digging through a cluttered desktop or hunting across folders I didn’t remember creating. So, I decided to build Snapnest (http://snapnest.co/) — a lightweight, cloud-based screenshot manager. Key features: Upload and organizes screenshots by date, tags, or custom folders Full-text search (yes, even inside screenshots) Easy sharing via link Works across devices I'm curious if others have faced similar issues and whether this is something you’d find useful. I’d love your honest feedback — especially around usability, feature ideas, or what might make it more valuable for your workflow. Thanks in advance! <!-- SC_ON --> submitted by /u/TusharKapil (https://www.reddit.com/user/TusharKapil)
[link] (http://snapnest.co/) [comments] (https://www.reddit.com/r/programming/comments/1l24p4v/built_a_tool_to_finally_organize_my_messy/)
JVM Runtime Parametric Type Support
https://www.reddit.com/r/programming/comments/1l22ixc/jvm_runtime_parametric_type_support/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://mail.openjdk.org/pipermail/valhalla-spec-experts/2025-June/002528.html) [comments] (https://www.reddit.com/r/programming/comments/1l22ixc/jvm_runtime_parametric_type_support/)
What is NLWeb? Microsoft's new protocol for conversational web search
https://www.reddit.com/r/programming/comments/1l1y402/what_is_nlweb_microsofts_new_protocol_for/
submitted by /u/Weary-Database-8713 (https://www.reddit.com/user/Weary-Database-8713)
[link] (https://glama.ai/blog/2025-06-01-what-is-nlweb) [comments] (https://www.reddit.com/r/programming/comments/1l1y402/what_is_nlweb_microsofts_new_protocol_for/)
How to Grow an LSM-tree? Towards Bridging the Gap Between Theory and Practice
https://www.reddit.com/r/programming/comments/1l1nisj/how_to_grow_an_lsmtree_towards_bridging_the_gap/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://arxiv.org/abs/2504.17178) [comments] (https://www.reddit.com/r/programming/comments/1l1nisj/how_to_grow_an_lsmtree_towards_bridging_the_gap/)
C++ to Rust Phrasebook
https://www.reddit.com/r/programming/comments/1l1ni6h/c_to_rust_phrasebook/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://cel.cs.brown.edu/crp/title-page.html) [comments] (https://www.reddit.com/r/programming/comments/1l1ni6h/c_to_rust_phrasebook/)
Why Use Structured Errors in Rust Applications?
https://www.reddit.com/r/programming/comments/1l1nhwz/why_use_structured_errors_in_rust_applications/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://home.expurple.me/posts/why-use-structured-errors-in-rust-applications/) [comments] (https://www.reddit.com/r/programming/comments/1l1nhwz/why_use_structured_errors_in_rust_applications/)
WebSockets guarantee order - so why are my messages scrambled?
https://www.reddit.com/r/programming/comments/1l1nh6j/websockets_guarantee_order_so_why_are_my_messages/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.sitongpeng.com/writing/websockets-guarantee-order-so-why-are-my-messages-scrambled) [comments] (https://www.reddit.com/r/programming/comments/1l1nh6j/websockets_guarantee_order_so_why_are_my_messages/)
TPDE: A Fast Adaptable Compiler Back-End Framework
https://www.reddit.com/r/programming/comments/1l1n8av/tpde_a_fast_adaptable_compiler_backend_framework/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://arxiv.org/abs/2505.22610) [comments] (https://www.reddit.com/r/programming/comments/1l1n8av/tpde_a_fast_adaptable_compiler_backend_framework/)
Health as a dev
https://www.reddit.com/r/programming/comments/1l1n7ks/health_as_a_dev/
submitted by /u/Sonder-Otis (https://www.reddit.com/user/Sonder-Otis)
[link] (https://mtende.blog/health-as-a-dev) [comments] (https://www.reddit.com/r/programming/comments/1l1n7ks/health_as_a_dev/)
Scheduling Internals
https://www.reddit.com/r/programming/comments/1l1kry3/scheduling_internals/
submitted by /u/FoxInTheRedBox (https://www.reddit.com/user/FoxInTheRedBox)
[link] (https://tontinton.com/posts/scheduling-internals/) [comments] (https://www.reddit.com/r/programming/comments/1l1kry3/scheduling_internals/)
Edit is now open source - Windows Command Line
https://www.reddit.com/r/programming/comments/1l1farq/edit_is_now_open_source_windows_command_line/
<!-- SC_OFF -->What's really interesting about this is the source code, it is clear that they have put way too much effort into making this application good. It contains, for example, SIMD optimised search routines (https://github.com/microsoft/edit/blob/main/src/simd/memrchr2.rs), and an implementation of Oklab colour blending, replete with code to estimate cube roots (https://github.com/microsoft/edit/blob/6fc049713b2f6421c5000443edd1e645a57b8e1f/src/oklab.rs#L89C1-L108C1) inspired by the famous Fast Inverse Square Root function. <!-- SC_ON --> submitted by /u/psr (https://www.reddit.com/user/psr)
[link] (https://devblogs.microsoft.com/commandline/edit-is-now-open-source/) [comments] (https://www.reddit.com/r/programming/comments/1l1farq/edit_is_now_open_source_windows_command_line/)
Mark and Sweep Garbage Collection: How Your Program Cleans Up After Itself
https://www.reddit.com/r/programming/comments/1l1b5zh/mark_and_sweep_garbage_collection_how_your/
<!-- SC_OFF -->Imagine your desk after a week of intense coding. Papers everywhere, empty coffee cups, sticky notes covering your monitor. Without occasionally cleaning up, you'd eventually run out of space to work. Your computer's memory faces the same problem. Every time your program creates an object, allocates an array, or stores data, it uses memory. In languages like C, you have to manually free this memory when you're done - like washing your own dishes. But in languages like Java, Python, or JavaScript, the runtime automatically cleans up unused memory for you. This automatic cleanup is called garbage collection, and Mark and Sweep is one of the most fundamental algorithms that makes it possible. <!-- SC_ON --> submitted by /u/vturan23 (https://www.reddit.com/user/vturan23)
[link] (https://www.codetocrack.dev/blog-single.html?id=lnv3bPLT1YbCdjyiOum9) [comments] (https://www.reddit.com/r/programming/comments/1l1b5zh/mark_and_sweep_garbage_collection_how_your/)
IRS open-sourced its Direct File software and it is pretty great actually (check out the scala fact graph)
https://www.reddit.com/r/programming/comments/1l13uvu/irs_opensourced_its_direct_file_software_and_it/
submitted by /u/No-Amoeba-6542 (https://www.reddit.com/user/No-Amoeba-6542)
[link] (https://github.com/IRS-Public/direct-file) [comments] (https://www.reddit.com/r/programming/comments/1l13uvu/irs_opensourced_its_direct_file_software_and_it/)
TIL: Apparently the solution to modern software engineering was solved by some dead Greek guy 2,400 years ago. Who knew?
https://www.reddit.com/r/programming/comments/1l1330o/til_apparently_the_solution_to_modern_software/
<!-- SC_OFF -->So apparently while we've been busy arguing whether React or Vue is better, and whether microservices will finally solve all our problems (narrator: they won't), some philosopher who died before the concept of electricity was even a thing already figured out how to write code that doesn't suck. I know, I know. Revolutionary concept: "What if we actually validated our inputs instead of just hoping the frontend sends us good data?" Aristotle over here like "Hey maybe your variable named user should actually contain user data instead of sometimes being null, sometimes being an error object, and sometimes being the string 'undefined' because your junior dev thought that was clever." But sure, let's spend another sprint debating whether to use Prisma or TypeORM while our production logs fill up with Cannot read property 'length' of undefined. The real kicker? The principles that would prevent 90% of our bugs are literally taught in Philosophy 101: Things should be what they claim to be (shocking) Something can't be both valid and invalid simultaneously (mind = blown) If only you understand your code, you've written job security, not software I've been following this "ancient wisdom" for a few years now and my error monitoring dashboard looks suspiciously... quiet. Almost like thinking before coding actually works or something. Now if you'll excuse me, I need to go explain to my PM why we can't just "make it work" without understanding what "it" actually is. <!-- SC_ON --> submitted by /u/alonsonetwork (https://www.reddit.com/user/alonsonetwork)
[link] (https://alonso.network/aristotelian-logic-as-the-foundation-of-code/) [comments] (https://www.reddit.com/r/programming/comments/1l1330o/til_apparently_the_solution_to_modern_software/)