214
I will send you newest post from subreddit /r/programming
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/)
Communicating In Types • Kris Jenkins
https://www.reddit.com/r/programming/comments/1l0wyw5/communicating_in_types_kris_jenkins/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/V1dgfrpKzws) [comments] (https://www.reddit.com/r/programming/comments/1l0wyw5/communicating_in_types_kris_jenkins/)
Why CSS Feels So Hard (and What Finally Made It Click)
https://www.reddit.com/r/programming/comments/1l0w8kc/why_css_feels_so_hard_and_what_finally_made_it/
submitted by /u/Proper-Sprinkles9910 (https://www.reddit.com/user/Proper-Sprinkles9910)
[link] (https://codecurious.dev/articles/why-css-feels-so-hard-and-what-finally-made-it-click) [comments] (https://www.reddit.com/r/programming/comments/1l0w8kc/why_css_feels_so_hard_and_what_finally_made_it/)
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/)
OAuth 2.0 Flows Explained
https://www.reddit.com/r/programming/comments/1l12hli/oauth_20_flows_explained/
<!-- SC_OFF -->Hello, Need to integrate OAuth 2.0 into your app? Check out this blog post to understand the Authorization code flow & Authorization code with PKCE <!-- SC_ON --> submitted by /u/Deep_Independence770 (https://www.reddit.com/user/Deep_Independence770)
[link] (https://www.workflows.guru/resources/oauth2-flows-explained) [comments] (https://www.reddit.com/r/programming/comments/1l12hli/oauth_20_flows_explained/)
I made a programming language to test how creative LLMs really are
https://www.reddit.com/r/programming/comments/1l0wtrz/i_made_a_programming_language_to_test_how/
<!-- SC_OFF -->Not because I needed to. Not because it’s efficient. But because current benchmarks feel like they were built to make models look smart, not prove they are. So I wrote Chester: a purpose-built, toy language inspired by Python and JavaScript. It’s readable (ish), strict (definitely), and forces LLMs to reason structurally—beyond just regurgitating known patterns. The idea? If a model can take C code and transpile it via RAG into working Chester code, then maybe it understands the algorithm behind the syntax—not just the syntax. In other words, this test is translating the known into the unknown. Finally, I benchmarked multiple LLMs across hallucination rates, translation quality, and actual execution of generated code. It’s weird. And it actually kinda works. <!-- SC_ON --> submitted by /u/Bruh-Sound-Effect-6 (https://www.reddit.com/user/Bruh-Sound-Effect-6)
[link] (https://blogs.adityabh.is-a.dev/posts/chester-llm-benchmarking/) [comments] (https://www.reddit.com/r/programming/comments/1l0wtrz/i_made_a_programming_language_to_test_how/)
3 Main Learnings When I Grew From Engineer To Manager
https://www.reddit.com/r/programming/comments/1l0w2gz/3_main_learnings_when_i_grew_from_engineer_to/
submitted by /u/gregorojstersek (https://www.reddit.com/user/gregorojstersek)
[link] (https://www.youtube.com/watch?v=kdmDqZc29ZI) [comments] (https://www.reddit.com/r/programming/comments/1l0w2gz/3_main_learnings_when_i_grew_from_engineer_to/)