214
I will send you newest post from subreddit /r/programming
Subtype Inference by Example
https://www.reddit.com/r/programming/comments/1l2nq5h/subtype_inference_by_example/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html) [comments] (https://www.reddit.com/r/programming/comments/1l2nq5h/subtype_inference_by_example/)
Organic Markdown -- Literate Programming Tool
https://www.reddit.com/r/programming/comments/1l2lcke/organic_markdown_literate_programming_tool/
<!-- SC_OFF -->I've been working on my own version of a literate programming system (https://github.com/adam-ard/organic-markdown) that's inspired by emacs org-mode. But, because it's based on standard pandoc-style markdown, you can use it with a much wider range of tools. Any markdown editor will do. Even though I made it as a toy/proof of concept, it's turned out to be pretty useful for small to medium size projects. As I've used it, I've found all kinds of interesting benefits and helpful usage patterns. I've tried to document some; I hope to do more soon. --https://rethinkingsoftware.substack.com/p/the-joy-of-literate-programming --https://rethinkingsoftware.substack.com/p/organic-markdown-intro --https://rethinkingsoftware.substack.com/p/dry-on-steroids-with-literate-programming --adam-ard/videos" rel="nofollow">https://www.youtube.com/@adam-ard/videos The project is at a very early stage, but is finally stable enough that I thought it'd be fun to throw out here and see what people think. It's definitely my own unique spin on literate programming and it's been a lot of fun. See what you think! <!-- SC_ON --> submitted by /u/adamard (https://www.reddit.com/user/adamard)
[link] (https://github.com/adam-ard/organic-markdown) [comments] (https://www.reddit.com/r/programming/comments/1l2lcke/organic_markdown_literate_programming_tool/)
To Mock Or Not To Mock Your Auth: The Checklist
https://www.reddit.com/r/programming/comments/1l2k43z/to_mock_or_not_to_mock_your_auth_the_checklist/
submitted by /u/mooreds (https://www.reddit.com/user/mooreds)
[link] (https://fusionauth.io/blog/to-mock-or-not-mock-auth) [comments] (https://www.reddit.com/r/programming/comments/1l2k43z/to_mock_or_not_to_mock_your_auth_the_checklist/)
(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/)
jujutsu on tangled
https://www.reddit.com/r/programming/comments/1l2npss/jujutsu_on_tangled/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.tangled.sh/stacking) [comments] (https://www.reddit.com/r/programming/comments/1l2npss/jujutsu_on_tangled/)
The Blind Spots of Platform Engineering • Matt McLarty & Erik Wilde
https://www.reddit.com/r/programming/comments/1l2kqbq/the_blind_spots_of_platform_engineering_matt/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/tvU9A6hfuKM) [comments] (https://www.reddit.com/r/programming/comments/1l2kqbq/the_blind_spots_of_platform_engineering_matt/)
Rethinking GitFlow: A Release-Oriented Workflow for Multi-Team Development
https://www.reddit.com/r/programming/comments/1l2iwbp/rethinking_gitflow_a_releaseoriented_workflow_for/
submitted by /u/cond_cond (https://www.reddit.com/user/cond_cond)
[link] (ahmetsimsek/rethinking-gitflow-a-release-oriented-workflow-for-multi-team-development-8fab204d963f" rel="nofollow">https://medium.com/@ahmetsimsek/rethinking-gitflow-a-release-oriented-workflow-for-multi-team-development-8fab204d963f) [comments] (https://www.reddit.com/r/programming/comments/1l2iwbp/rethinking_gitflow_a_releaseoriented_workflow_for/)
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/)