214
I will send you newest post from subreddit /r/programming
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/)
Runtime-initialized variables in Rust
https://www.reddit.com/r/programming/comments/1l0ux7q/runtimeinitialized_variables_in_rust/
submitted by /u/nfrankel (https://www.reddit.com/user/nfrankel)
[link] (https://blog.frankel.ch/lazy-initialized-vars-rust/) [comments] (https://www.reddit.com/r/programming/comments/1l0ux7q/runtimeinitialized_variables_in_rust/)
Greenmask – open-source PostgreSQL synthetic data generation and anonymization tool
https://www.reddit.com/r/programming/comments/1l0utph/greenmask_opensource_postgresql_synthetic_data/
submitted by /u/anyweny (https://www.reddit.com/user/anyweny)
[link] (https://github.com/GreenmaskIO/greenmask) [comments] (https://www.reddit.com/r/programming/comments/1l0utph/greenmask_opensource_postgresql_synthetic_data/)
I built a CSV/XLSX editor that lets you use JS to manipulate the data
https://www.reddit.com/r/programming/comments/1l0nzg8/i_built_a_csvxlsx_editor_that_lets_you_use_js_to/
<!-- SC_OFF -->Hi everyone, I work in enterprise IT, handling diverse data exports from various systems/APIs. Frustrated by: The need for different tools based on file formats. The lack of tools optimized for quickly understanding data. Messy files often need to be cleaned before use. I built my own solution as a side project and a fun way to learn React and Tailwind. Maybe it helps others as well. It aims to be both: Simple: Just drag and drop a file; it automatically detects encoding, delimiter, headers, etc. Powerful: Run arbitrary JavaScript to filter and transform data at scale. Try it out: https://www.fileglance.info/ Source code: https://github.com/dell-mic/file-glance I’d love to hear your feedback! <!-- SC_ON --> submitted by /u/crazycrossing77 (https://www.reddit.com/user/crazycrossing77)
[link] (https://github.com/dell-mic/file-glance) [comments] (https://www.reddit.com/r/programming/comments/1l0nzg8/i_built_a_csvxlsx_editor_that_lets_you_use_js_to/)
Let's make a game! 271: Looping combat
https://www.reddit.com/r/programming/comments/1l0jt08/lets_make_a_game_271_looping_combat/
submitted by /u/apeloverage (https://www.reddit.com/user/apeloverage)
[link] (https://www.youtube.com/watch?v=baW9IeujMhk) [comments] (https://www.reddit.com/r/programming/comments/1l0jt08/lets_make_a_game_271_looping_combat/)
h2tunnel - TCP over HTTP/2
https://www.reddit.com/r/programming/comments/1l0ibgg/h2tunnel_tcp_over_http2/
submitted by /u/boronine (https://www.reddit.com/user/boronine)
[link] (https://www.boronine.com/2025/06/01/h2tunnel-TCP-over-HTTP2/) [comments] (https://www.reddit.com/r/programming/comments/1l0ibgg/h2tunnel_tcp_over_http2/)
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/)
Let's Build a (Mini)Shell in Rust - A tutorial covering command execution, piping, and history in ~100 lines
https://www.reddit.com/r/programming/comments/1l0uwfs/lets_build_a_minishell_in_rust_a_tutorial/
<!-- SC_OFF -->Hello r/programming (https://www.reddit.com/r/programming), I wrote a tutorial on building a functional shell in Rust that covers the fundamentals of how shells work under the hood. The tutorial walks through: Understanding the shell lifecycle (read-parse-execute-output) Implementing built-in commands (cd, exit) and why they must be handled by the shell itself Executing external commands using Rust's std::process::Command Adding command piping support (ls | grep txt | wc -l) Integrating rustyline for command history and signal handling Creating a complete, working shell in around 100 lines of code The post explains key concepts like the fork/exec process model and why certain commands need to be built into the shell rather than executed as external programs. By the end, you'll have a mini-shell that supports: Command execution with arguments Piping multiple commands together Command history with arrow key navigation Graceful signal handling (Ctrl+C, Ctrl+D) Link 🔗: Let's Build a (Mini)Shell in Rust (https://micahkepe.com/blog/minishell/) GitHub repository 💻: GitHub (https://github.com/micahkepe/minishell/tree/main). Whether you're new to Rust or just looking for a fun systems-level project, this is a great one to try. It’s hands-on, practical, and beginner-friendly — perfect as a first deep-dive into writing real CLI tools in Rust. <!-- SC_ON --> submitted by /u/fizzner (https://www.reddit.com/user/fizzner)
[link] (https://micahkepe.com/blog/minishell/) [comments] (https://www.reddit.com/r/programming/comments/1l0uwfs/lets_build_a_minishell_in_rust_a_tutorial/)
Announcing dotnet run app.cs - A simpler way to start with C# and .NET 10
https://www.reddit.com/r/programming/comments/1l0sr8q/announcing_dotnet_run_appcs_a_simpler_way_to/
submitted by /u/Hot_Pizza_3947 (https://www.reddit.com/user/Hot_Pizza_3947)
[link] (https://devblogs.microsoft.com/dotnet/announcing-dotnet-run-app/) [comments] (https://www.reddit.com/r/programming/comments/1l0sr8q/announcing_dotnet_run_appcs_a_simpler_way_to/)
1975 paper : Generators for Certain Alternating Groups With Applications to Cryptography
https://www.reddit.com/r/programming/comments/1l0kdmf/1975_paper_generators_for_certain_alternating/
submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/generators-for-certain-alternating) [comments] (https://www.reddit.com/r/programming/comments/1l0kdmf/1975_paper_generators_for_certain_alternating/)
Solving Queuedle
https://www.reddit.com/r/programming/comments/1l0iszg/solving_queuedle/
submitted by /u/candurz (https://www.reddit.com/user/candurz)
[link] (https://healeycodes.com/solving-queuedle) [comments] (https://www.reddit.com/r/programming/comments/1l0iszg/solving_queuedle/)
TLTSS: a programming language made in TypeScript's type system
https://www.reddit.com/r/programming/comments/1l0gjjw/tltss_a_programming_language_made_in_typescripts/
submitted by /u/skearryw (https://www.reddit.com/user/skearryw)
[link] (https://skeary.me/blog/tltss) [comments] (https://www.reddit.com/r/programming/comments/1l0gjjw/tltss_a_programming_language_made_in_typescripts/)