214
I will send you newest post from subreddit /r/programming
(On | No) Syntactic Support for Error Handling
https://www.reddit.com/r/programming/comments/1l2h781/on_no_syntactic_support_for_error_handling/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://go.dev/blog/error-syntax) [comments] (https://www.reddit.com/r/programming/comments/1l2h781/on_no_syntactic_support_for_error_handling/)
Improvements to RISC-V vector code generation in LLVM
https://www.reddit.com/r/programming/comments/1l2fwv6/improvements_to_riscv_vector_code_generation_in/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blogs.igalia.com/compilers/2025/05/28/improvements-to-risc-v-vector-code-generation-in-llvm/) [comments] (https://www.reddit.com/r/programming/comments/1l2fwv6/improvements_to_riscv_vector_code_generation_in/)
Swift at Apple: migrating the Password Monitoring service from Java
https://www.reddit.com/r/programming/comments/1l2fw8n/swift_at_apple_migrating_the_password_monitoring/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.swift.org/blog/swift-at-apple-migrating-the-password-monitoring-service-from-java/) [comments] (https://www.reddit.com/r/programming/comments/1l2fw8n/swift_at_apple_migrating_the_password_monitoring/)
Fun with Futex
https://www.reddit.com/r/programming/comments/1l2ft92/fun_with_futex/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.fredrb.com/2025/06/02/futex-fun/) [comments] (https://www.reddit.com/r/programming/comments/1l2ft92/fun_with_futex/)
GUIs are built at least 2.5 times
https://www.reddit.com/r/programming/comments/1l2ft34/guis_are_built_at_least_25_times/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://patricia.no/2025/05/30/why_lean_software_dev_is_wrong.html) [comments] (https://www.reddit.com/r/programming/comments/1l2ft34/guis_are_built_at_least_25_times/)
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/)
Uniqueness for Behavioural Types
https://www.reddit.com/r/programming/comments/1l2fww6/uniqueness_for_behavioural_types/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://kcsrk.info/ocaml/modes/2025/05/29/uniqueness_and_behavioural_types/) [comments] (https://www.reddit.com/r/programming/comments/1l2fww6/uniqueness_for_behavioural_types/)
A Beautiful Technique for Some XOR Related Problems
https://www.reddit.com/r/programming/comments/1l2fwu9/a_beautiful_technique_for_some_xor_related/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://codeforces.com/blog/entry/68953) [comments] (https://www.reddit.com/r/programming/comments/1l2fwu9/a_beautiful_technique_for_some_xor_related/)
Magic Ink: Information Software and the Graphical Interface
https://www.reddit.com/r/programming/comments/1l2fuqd/magic_ink_information_software_and_the_graphical/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://worrydream.com/MagicInk/) [comments] (https://www.reddit.com/r/programming/comments/1l2fuqd/magic_ink_information_software_and_the_graphical/)
A High-Level View of TLA+
https://www.reddit.com/r/programming/comments/1l2ft45/a_highlevel_view_of_tla/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://lamport.azurewebsites.net/tla/high-level-view.html) [comments] (https://www.reddit.com/r/programming/comments/1l2ft45/a_highlevel_view_of_tla/)
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/)