212
I will send you newest post from subreddit /r/programming
Making TLA+ and x86 Kiss Via Z3Py
https://www.reddit.com/r/programming/comments/1uza1nb/making_tla_and_x86_kiss_via_z3py/
submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (https://www.philipzucker.com/kissin_tla/) [comments] (https://www.reddit.com/r/programming/comments/1uza1nb/making_tla_and_x86_kiss_via_z3py/)
On Rendering the Sky, Sunsets, and Planets
https://www.reddit.com/r/programming/comments/1uywy4t/on_rendering_the_sky_sunsets_and_planets/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://blog.maximeheckel.com/posts/on-rendering-the-sky-sunsets-and-planets/) [comments] (https://www.reddit.com/r/programming/comments/1uywy4t/on_rendering_the_sky_sunsets_and_planets/)
GTFO VR Mod Postmortem
https://www.reddit.com/r/programming/comments/1uyvnli/gtfo_vr_mod_postmortem/
submitted by /u/DirtySpartan (https://www.reddit.com/user/DirtySpartan)
[link] (https://dsprtn.dev/posts/GTFO-VR-Postmortem/) [comments] (https://www.reddit.com/r/programming/comments/1uyvnli/gtfo_vr_mod_postmortem/)
Learning Software Architecture
https://www.reddit.com/r/programming/comments/1uyosj1/learning_software_architecture/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://matklad.github.io/2026/05/12/software-architecture.html) [comments] (https://www.reddit.com/r/programming/comments/1uyosj1/learning_software_architecture/)
Goroutines for Python
https://www.reddit.com/r/programming/comments/1uyhn8p/goroutines_for_python/
submitted by /u/Blockpair (https://www.reddit.com/user/Blockpair)
[link] (https://robertsdotpm.github.io/software_engineering/goroutines_for_python.html) [comments] (https://www.reddit.com/r/programming/comments/1uyhn8p/goroutines_for_python/)
Guide to data tools landscape for developers · OlegWock
https://www.reddit.com/r/programming/comments/1uy8b5l/guide_to_data_tools_landscape_for_developers/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://sinja.io/blog/data-landscape-guide-for-developers) [comments] (https://www.reddit.com/r/programming/comments/1uy8b5l/guide_to_data_tools_landscape_for_developers/)
Team Topologies · thehardparts.dev
https://www.reddit.com/r/programming/comments/1uy2tb5/team_topologies_thehardpartsdev/
submitted by /u/ludovicianul (https://www.reddit.com/user/ludovicianul)
[link] (https://thehardparts.dev/tech-decisions/team-topologies) [comments] (https://www.reddit.com/r/programming/comments/1uy2tb5/team_topologies_thehardpartsdev/)
Cursor 0day: When Full Disclosure Becomes the Only Protection Left
https://www.reddit.com/r/programming/comments/1uxjm12/cursor_0day_when_full_disclosure_becomes_the_only/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://mindgard.ai/blog/cursor-0day-when-full-disclosure-becomes-the-only-protection-left) [comments] (https://www.reddit.com/r/programming/comments/1uxjm12/cursor_0day_when_full_disclosure_becomes_the_only/)
Jurassic Park computers in excruciating detail
https://www.reddit.com/r/programming/comments/1uxcpa8/jurassic_park_computers_in_excruciating_detail/
submitted by /u/namanyayg (https://www.reddit.com/user/namanyayg)
[link] (https://fabiensanglard.net/jurrasic_park_computers/index.html) [comments] (https://www.reddit.com/r/programming/comments/1uxcpa8/jurassic_park_computers_in_excruciating_detail/)
Control the ideas, not the code
https://www.reddit.com/r/programming/comments/1uvdxoq/control_the_ideas_not_the_code/
submitted by /u/Either_Collection349 (https://www.reddit.com/user/Either_Collection349)
[link] (https://antirez.com/news/169) [comments] (https://www.reddit.com/r/programming/comments/1uvdxoq/control_the_ideas_not_the_code/)
VINs: The Encoding Stamped Into Steel
https://www.reddit.com/r/programming/comments/1uvb8bc/vins_the_encoding_stamped_into_steel/
submitted by /u/bezomaxo (https://www.reddit.com/user/bezomaxo)
[link] (https://cargurus.dev/2026/04/29/vins-the-encoding-stamped-into-steel/) [comments] (https://www.reddit.com/r/programming/comments/1uvb8bc/vins_the_encoding_stamped_into_steel/)
Integrating .NET GC in your C++ application
https://www.reddit.com/r/programming/comments/1uuk1c5/integrating_net_gc_in_your_c_application/
<!-- SC_OFF -->.NET appears as large monolith where everything is working like a magic. But it is not, and even GC can be used outside of .NET runtime (obviously with caveat). When I was a kid, I always love disassemble things, to see how they works. Not always toys survive that exercise. But thanks to source control, .NET GC is safe from my hands. Hopefully lot of people like me, and will enjoy tearing down large system into pieces. <!-- SC_ON --> submitted by /u/kant2002 (https://www.reddit.com/user/kant2002)
[link] (https://kant2002.github.io/en/dotnet/open-source/2026/07/12/dotnet-gc.html) [comments] (https://www.reddit.com/r/programming/comments/1uuk1c5/integrating_net_gc_in_your_c_application/)
C3 0.8.2 A modest improvement
https://www.reddit.com/r/programming/comments/1uuaukq/c3_082_a_modest_improvement/
submitted by /u/Nuoji (https://www.reddit.com/user/Nuoji)
[link] (https://c3-lang.org/blog/0_8_2_a_modest_improvement/) [comments] (https://www.reddit.com/r/programming/comments/1uuaukq/c3_082_a_modest_improvement/)
Self-hosting Umami analytics on Cloudflare, Fly, and Supabase
https://www.reddit.com/r/programming/comments/1uti5tr/selfhosting_umami_analytics_on_cloudflare_fly_and/
submitted by /u/Sankra (https://www.reddit.com/user/Sankra)
[link] (https://hjerpbakk.com/blog/2026/07/11/self-hosting-umami) [comments] (https://www.reddit.com/r/programming/comments/1uti5tr/selfhosting_umami_analytics_on_cloudflare_fly_and/)
Programs, Not Objects: How I Stopped Designing Architecture and Started Writing a 3D Editor
https://www.reddit.com/r/programming/comments/1ut97oi/programs_not_objects_how_i_stopped_designing/
submitted by /u/TheBear_at_SBB (https://www.reddit.com/user/TheBear_at_SBB)
[link] (https://alexsyniakov.com/2026/07/11/programs-not-objects-how-i-stopped-designing-architecture-and-started-writing-a-3d-editor/) [comments] (https://www.reddit.com/r/programming/comments/1ut97oi/programs_not_objects_how_i_stopped_designing/)
Engineering fast searches with Inverted Indexes
https://www.reddit.com/r/programming/comments/1uz7clt/engineering_fast_searches_with_inverted_indexes/
submitted by /u/Comfortable-Fan-580 (https://www.reddit.com/user/Comfortable-Fan-580)
[link] (https://pradyumnachippigiri.substack.com/p/engineering-fast-search-with-inverted) [comments] (https://www.reddit.com/r/programming/comments/1uz7clt/engineering_fast_searches_with_inverted_indexes/)
The 10 Levels of Building a Data Grid - My 1 Year Journey of Building a Table.
https://www.reddit.com/r/programming/comments/1uyvq9x/the_10_levels_of_building_a_data_grid_my_1_year/
<!-- SC_OFF -->I wanted to make this post because man...tables are way harder than they look. I documented my 1 year journey of optimizations on a stupid table for my Database GUI. I made everything from scratch like an idiot thinking it'd be easy but oh boy was I wrong... The article goes over all the optimizations I made to make my table render data smoothly without lagging. It goes from what data structures I used and the rendering optimizations I did. I used MongoDB Compass as a baseline since they use AG-Grid for their table and I'm pretty happy that my table feels way smoother than that (In my own testing)! But yeah, I never realized that there would be so much depth in making a performant table. PS. I decided not to use AG-Grid because there were a lot of customizations that I needed to do. I wanted column expansions ( if a field as an object or an array it would open columns to the right of it ). I also wanted an embedded text search where you could search for text within non visible columns (because they were in objects or arrays ) and AG Grid didn't really support that behavior so ..yeah. Anyways have a good read! <!-- SC_ON --> submitted by /u/Fun-Chicken6946 (https://www.reddit.com/user/Fun-Chicken6946)
[link] (https://visualeaf.com/blog/the-10-levels-of-building-a-data-grid/) [comments] (https://www.reddit.com/r/programming/comments/1uyvq9x/the_10_levels_of_building_a_data_grid_my_1_year/)
The most expensive instruction might be… cmov
https://www.reddit.com/r/programming/comments/1uyt0tf/the_most_expensive_instruction_might_be_cmov/
submitted by /u/_shadowbannedagain (https://www.reddit.com/user/_shadowbannedagain)
[link] (https://questdb.com/blog/cmov-vs-branch-perf/) [comments] (https://www.reddit.com/r/programming/comments/1uyt0tf/the_most_expensive_instruction_might_be_cmov/)
No Shark is Safe: Millions of Shark Vacuums are Vulnerable to RCE
https://www.reddit.com/r/programming/comments/1uyhqyt/no_shark_is_safe_millions_of_shark_vacuums_are/
submitted by /u/ScottContini (https://www.reddit.com/user/ScottContini)
[link] (https://tokay0.com/posts/millions-of-shark-vacuums-vulnerable-to-rce.html) [comments] (https://www.reddit.com/r/programming/comments/1uyhqyt/no_shark_is_safe_millions_of_shark_vacuums_are/)
Reclaiming a decade of podcast listening history
https://www.reddit.com/r/programming/comments/1uybpgq/reclaiming_a_decade_of_podcast_listening_history/
submitted by /u/dabluck (https://www.reddit.com/user/dabluck)
[link] (https://www.uncommonapps.nyc/p/reclaiming-a-decade-of-podcast-listening) [comments] (https://www.reddit.com/r/programming/comments/1uybpgq/reclaiming_a_decade_of_podcast_listening_history/)
Linux transparent proxy internals
https://www.reddit.com/r/programming/comments/1uy722h/linux_transparent_proxy_internals/
submitted by /u/ldelossa (https://www.reddit.com/user/ldelossa)
[link] (https://open.substack.com/pub/allhailthetopology/p/linux-transparent-proxy-internals?r=5ylwe7&utm_medium=ios) [comments] (https://www.reddit.com/r/programming/comments/1uy722h/linux_transparent_proxy_internals/)
Things you didn't know about indexes
https://www.reddit.com/r/programming/comments/1uy0hyq/things_you_didnt_know_about_indexes/
submitted by /u/fagnerbrack (https://www.reddit.com/user/fagnerbrack)
[link] (https://jon.chrt.dev/2026/04/15/things-you-didnt-know-about-indexes.html) [comments] (https://www.reddit.com/r/programming/comments/1uy0hyq/things_you_didnt_know_about_indexes/)
SQLite should have (Rust-style) editions
https://www.reddit.com/r/programming/comments/1uxgmmq/sqlite_should_have_ruststyle_editions/
submitted by /u/mort96 (https://www.reddit.com/user/mort96)
[link] (https://mort.coffee/home/sqlite-editions/) [comments] (https://www.reddit.com/r/programming/comments/1uxgmmq/sqlite_should_have_ruststyle_editions/)
Converting colors in JS at 6 billion operations per second
https://www.reddit.com/r/programming/comments/1uve7m2/converting_colors_in_js_at_6_billion_operations/
submitted by /u/Either_Collection349 (https://www.reddit.com/user/Either_Collection349)
[link] (https://dkryaklin.com/blog/colordx-gpu) [comments] (https://www.reddit.com/r/programming/comments/1uve7m2/converting_colors_in_js_at_6_billion_operations/)
JavaScript Magic Objects
https://www.reddit.com/r/programming/comments/1uvdm2g/javascript_magic_objects/
submitted by /u/noeldemartin (https://www.reddit.com/user/noeldemartin)
[link] (https://noeldemartin.com/blog/programming-patterns-magic-objects) [comments] (https://www.reddit.com/r/programming/comments/1uvdm2g/javascript_magic_objects/)
A peek into Reddit's anti-spam internals
https://www.reddit.com/r/programming/comments/1uuskff/a_peek_into_reddits_antispam_internals/
submitted by /u/NXGZ (https://www.reddit.com/user/NXGZ)
[link] (https://lyra.horse/blog/2026/06/reddit-spam-internals/) [comments] (https://www.reddit.com/r/programming/comments/1uuskff/a_peek_into_reddits_antispam_internals/)
Prefer STRICT tables in SQLite
https://www.reddit.com/r/programming/comments/1uuge0p/prefer_strict_tables_in_sqlite/
submitted by /u/mitousa (https://www.reddit.com/user/mitousa)
[link] (https://evanhahn.com/prefer-strict-tables-in-sqlite/) [comments] (https://www.reddit.com/r/programming/comments/1uuge0p/prefer_strict_tables_in_sqlite/)
Official jscrambler npm Package Compromised at 8.14.0
https://www.reddit.com/r/programming/comments/1utqclm/official_jscrambler_npm_package_compromised_at/
submitted by /u/BattleRemote3157 (https://www.reddit.com/user/BattleRemote3157)
[link] (https://safedep.io/jscrambler-npm-supply-chain-compromise/) [comments] (https://www.reddit.com/r/programming/comments/1utqclm/official_jscrambler_npm_package_compromised_at/)
How Container Networking Works: Building a Bridge Network From Scratch
https://www.reddit.com/r/programming/comments/1utfiq2/how_container_networking_works_building_a_bridge/
submitted by /u/iximiuz (https://www.reddit.com/user/iximiuz)
[link] (https://labs.iximiuz.com/tutorials/container-networking-from-scratch) [comments] (https://www.reddit.com/r/programming/comments/1utfiq2/how_container_networking_works_building_a_bridge/)
Packing the infinite truck
https://www.reddit.com/r/programming/comments/1ut1qjv/packing_the_infinite_truck/
submitted by /u/PinkFrojd (https://www.reddit.com/user/PinkFrojd)
[link] (https://pehar.dev/reflections/packing-the-infinite-truck/) [comments] (https://www.reddit.com/r/programming/comments/1ut1qjv/packing_the_infinite_truck/)