214
I will send you newest post from subreddit /r/programming
Types of Types: Common to Exotic
https://www.reddit.com/r/programming/comments/1lp91u5/types_of_types_common_to_exotic/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.stephendiehl.com/posts/types_of_types/) [comments] (https://www.reddit.com/r/programming/comments/1lp91u5/types_of_types_common_to_exotic/)
Graph Theory Applications in Video Games
https://www.reddit.com/r/programming/comments/1lp9176/graph_theory_applications_in_video_games/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://utk.claranguyen.me/talks.php?id=videogames) [comments] (https://www.reddit.com/r/programming/comments/1lp9176/graph_theory_applications_in_video_games/)
Multi-Cloud Kubernetes Cost Management: A Practical Guide
https://www.reddit.com/r/programming/comments/1lp6k55/multicloud_kubernetes_cost_management_a_practical/
submitted by /u/codingdecently (https://www.reddit.com/user/codingdecently)
[link] (https://overcast.blog/multi-cloud-kubernetes-cost-management-a-practical-guide-7d082dc4efd3) [comments] (https://www.reddit.com/r/programming/comments/1lp6k55/multicloud_kubernetes_cost_management_a_practical/)
Pluto is a unique dialect of Lua with a focus on general-purpose programming
https://www.reddit.com/r/programming/comments/1lp59bm/pluto_is_a_unique_dialect_of_lua_with_a_focus_on/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://pluto-lang.org/docs/Introduction) [comments] (https://www.reddit.com/r/programming/comments/1lp59bm/pluto_is_a_unique_dialect_of_lua_with_a_focus_on/)
Abstraction boundaries are optimization boundaries
https://www.reddit.com/r/programming/comments/1lp578z/abstraction_boundaries_are_optimization_boundaries/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.snork.dev/posts/abstraction-boundaries-are-optimization-boundaries.html) [comments] (https://www.reddit.com/r/programming/comments/1lp578z/abstraction_boundaries_are_optimization_boundaries/)
Strudel: a programming language for writing music
https://www.reddit.com/r/programming/comments/1lp32gt/strudel_a_programming_language_for_writing_music/
submitted by /u/pimterry (https://www.reddit.com/user/pimterry)
[link] (https://strudel.cc/workshop/getting-started/) [comments] (https://www.reddit.com/r/programming/comments/1lp32gt/strudel_a_programming_language_for_writing_music/)
Lies we tell ourselves to keep using Golang
https://www.reddit.com/r/programming/comments/1loyyr1/lies_we_tell_ourselves_to_keep_using_golang/
submitted by /u/Nekuromento (https://www.reddit.com/user/Nekuromento)
[link] (https://fasterthanli.me/articles/lies-we-tell-ourselves-to-keep-using-golang) [comments] (https://www.reddit.com/r/programming/comments/1loyyr1/lies_we_tell_ourselves_to_keep_using_golang/)
It’s harder to read code than to write it
https://www.reddit.com/r/programming/comments/1loux7h/its_harder_to_read_code_than_to_write_it/
submitted by /u/abooishaaq (https://www.reddit.com/user/abooishaaq)
[link] (https://www.joelonsoftware.com/2000/04/06/things-you-should-never-do-part-i/) [comments] (https://www.reddit.com/r/programming/comments/1loux7h/its_harder_to_read_code_than_to_write_it/)
Pydantic : The Data Validation Powerhouse 💪 in Python
https://www.reddit.com/r/programming/comments/1lorv3m/pydantic_the_data_validation_powerhouse_in_python/
<!-- SC_OFF -->Hey folks 👋 I just published a blog post titled “Pydantic: your data’s strict but friendly bodyguard” — it's a beginner-friendly guide to using [Pydantic]() for data validation and structuring in Python. ✅ Here's the blog: Medium (vatsallakhmani1/pydantic-the-data-validation-powerhouse-in-python-6acc3bf78dc5" rel="nofollow">https://medium.com/@vatsallakhmani1/pydantic-the-data-validation-powerhouse-in-python-6acc3bf78dc5)
Would love your feedback or suggestions for improvement! Thanks for reading and happy validating! 🐍🚀 <!-- SC_ON --> submitted by /u/Motor_Cry_4380 (https://www.reddit.com/user/Motor_Cry_4380)
[link] (vatsallakhmani1/pydantic-the-data-validation-powerhouse-in-python-6acc3bf78dc5" rel="nofollow">https://medium.com/@vatsallakhmani1/pydantic-the-data-validation-powerhouse-in-python-6acc3bf78dc5) [comments] (https://www.reddit.com/r/programming/comments/1lorv3m/pydantic_the_data_validation_powerhouse_in_python/)
Modelling API rate limits as diophantine inequalities
https://www.reddit.com/r/programming/comments/1lomkpt/modelling_api_rate_limits_as_diophantine/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://vivekn.dev/blog/rate-limit-diophantine) [comments] (https://www.reddit.com/r/programming/comments/1lomkpt/modelling_api_rate_limits_as_diophantine/)
An update on improving passkey support in Linux
https://www.reddit.com/r/programming/comments/1lolzy9/an_update_on_improving_passkey_support_in_linux/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.iinuwa.xyz/blog/linux-passkeys-update/) [comments] (https://www.reddit.com/r/programming/comments/1lolzy9/an_update_on_improving_passkey_support_in_linux/)
Helix: A Modern, High-Performance Language
https://www.reddit.com/r/programming/comments/1lolv4u/helix_a_modern_highperformance_language/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://github.com/helixlang/helix-lang) [comments] (https://www.reddit.com/r/programming/comments/1lolv4u/helix_a_modern_highperformance_language/)
Event Sourcing, CQRS and Micro Services: Real FinTech Example from my Consulting Career
https://www.reddit.com/r/programming/comments/1lol6qt/event_sourcing_cqrs_and_micro_services_real/
submitted by /u/trolleid (https://www.reddit.com/user/trolleid)
[link] (https://lukasniessen.medium.com/this-is-a-detailed-breakdown-of-a-fintech-project-from-my-consulting-career-9ec61603709c) [comments] (https://www.reddit.com/r/programming/comments/1lol6qt/event_sourcing_cqrs_and_micro_services_real/)
The provenance memory model for C
https://www.reddit.com/r/programming/comments/1lokf79/the_provenance_memory_model_for_c/
submitted by /u/steveklabnik1 (https://www.reddit.com/user/steveklabnik1)
[link] (https://gustedt.wordpress.com/2025/06/30/the-provenance-memory-model-for-c/) [comments] (https://www.reddit.com/r/programming/comments/1lokf79/the_provenance_memory_model_for_c/)
From Big Data to Heavy Data: Rethinking the AI Stack - DataChain
https://www.reddit.com/r/programming/comments/1lobk1h/from_big_data_to_heavy_data_rethinking_the_ai/
submitted by /u/phdfem (https://www.reddit.com/user/phdfem)
[link] (https://datachain.ai/blog/from-big-data-to-heavy-data) [comments] (https://www.reddit.com/r/programming/comments/1lobk1h/from_big_data_to_heavy_data_rethinking_the_ai/)
Parsing Layout, or: Haskell's Syntax is a Mess
https://www.reddit.com/r/programming/comments/1lp91sg/parsing_layout_or_haskells_syntax_is_a_mess/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://amelia.how/posts/parsing-layout.html) [comments] (https://www.reddit.com/r/programming/comments/1lp91sg/parsing_layout_or_haskells_syntax_is_a_mess/)
Websites used to be simple
https://www.reddit.com/r/programming/comments/1lp8efe/websites_used_to_be_simple/
submitted by /u/AyrA_ch (https://www.reddit.com/user/AyrA_ch)
[link] (https://simplesite.ayra.ch/) [comments] (https://www.reddit.com/r/programming/comments/1lp8efe/websites_used_to_be_simple/)
So you want to serialize some DER?
https://www.reddit.com/r/programming/comments/1lp5ap0/so_you_want_to_serialize_some_der/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://alexgaynor.net/2025/jun/20/serialize-some-der/) [comments] (https://www.reddit.com/r/programming/comments/1lp5ap0/so_you_want_to_serialize_some_der/)
Finding and understanding bugs in C compilers
https://www.reddit.com/r/programming/comments/1lp57u8/finding_and_understanding_bugs_in_c_compilers/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.cse.unr.edu/~fredh/class/460/S2013/class/Papers/tanna.pdf) [comments] (https://www.reddit.com/r/programming/comments/1lp57u8/finding_and_understanding_bugs_in_c_compilers/)
Experience converting a mathematical software package to C++20 modules [PDF]
https://www.reddit.com/r/programming/comments/1lp5679/experience_converting_a_mathematical_software/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://arxiv.org/abs/2506.21654) [comments] (https://www.reddit.com/r/programming/comments/1lp5679/experience_converting_a_mathematical_software/)
A guide to fine-grained permissions in MCP servers
https://www.reddit.com/r/programming/comments/1loz4jd/a_guide_to_finegrained_permissions_in_mcp_servers/
submitted by /u/West-Chard-1474 (https://www.reddit.com/user/West-Chard-1474)
[link] (https://www.cerbos.dev/blog/dynamic-authorization-for-ai-agents-guide-to-fine-grained-permissions-mcp-servers) [comments] (https://www.reddit.com/r/programming/comments/1loz4jd/a_guide_to_finegrained_permissions_in_mcp_servers/)
What's your favourite Programming Joke?
https://www.reddit.com/r/programming/comments/1lov6fy/whats_your_favourite_programming_joke/
submitted by /u/Karate_Labs (https://www.reddit.com/user/Karate_Labs)
[link] (https://images.app.goo.gl/V2szcXrkyETjHVJE8) [comments] (https://www.reddit.com/r/programming/comments/1lov6fy/whats_your_favourite_programming_joke/)
This Is Why You Can't Trust AI to Review Your Mission-Critical Code
https://www.reddit.com/r/programming/comments/1louou5/this_is_why_you_cant_trust_ai_to_review_your/
submitted by /u/goated_ivyleague2020 (https://www.reddit.com/user/goated_ivyleague2020)
[link] (https://medium.com/p/456c47ce7e81) [comments] (https://www.reddit.com/r/programming/comments/1louou5/this_is_why_you_cant_trust_ai_to_review_your/)
Building Accurate Address Matching Systems
https://www.reddit.com/r/programming/comments/1lomwii/building_accurate_address_matching_systems/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.robinlinacre.com/address_matching/) [comments] (https://www.reddit.com/r/programming/comments/1lomwii/building_accurate_address_matching_systems/)
Writing Code Was Never The Bottleneck
https://www.reddit.com/r/programming/comments/1lomhlq/writing_code_was_never_the_bottleneck/
submitted by /u/ordepdev29 (https://www.reddit.com/user/ordepdev29)
[link] (https://ordep.dev/posts/writing-code-was-never-the-bottleneck) [comments] (https://www.reddit.com/r/programming/comments/1lomhlq/writing_code_was_never_the_bottleneck/)
How I Write Type Safe Generic Data Structures in C
https://www.reddit.com/r/programming/comments/1lolybm/how_i_write_type_safe_generic_data_structures_in_c/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://danielchasehooper.com/posts/typechecked-generic-c-data-structures/) [comments] (https://www.reddit.com/r/programming/comments/1lolybm/how_i_write_type_safe_generic_data_structures_in_c/)
I made my VM think it has a CPU fan
https://www.reddit.com/r/programming/comments/1lolubp/i_made_my_vm_think_it_has_a_cpu_fan/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://wbenny.github.io/2025/06/29/i-made-my-vm-think-it-has-a-cpu-fan.html) [comments] (https://www.reddit.com/r/programming/comments/1lolubp/i_made_my_vm_think_it_has_a_cpu_fan/)
React Still Feels Insane And No One Is Talking About It
https://www.reddit.com/r/programming/comments/1lokxnv/react_still_feels_insane_and_no_one_is_talking/
submitted by /u/mbrizic (https://www.reddit.com/user/mbrizic)
[link] (https://mbrizic.com/blog/react-is-insane/) [comments] (https://www.reddit.com/r/programming/comments/1lokxnv/react_still_feels_insane_and_no_one_is_talking/)
Simple Factory in Go
https://www.reddit.com/r/programming/comments/1locrpy/simple_factory_in_go/
<!-- SC_OFF -->I was going through some notes on design patterns and ended up writing a post on the Simple Factory Pattern in Go. Nothing fancy — just the problem it solves, some Go examples, and when it actually makes sense to use. Might be useful if you're into patterns or just want cleaner code. Here it is if you're curious: https://medium.com/design-bootcamp/understanding-the-simple-factory-pattern-in-go-a-practical-guide-d5047e8e2d8d Happy to hear thoughts or improvements! <!-- SC_ON --> submitted by /u/priyankchheda15 (https://www.reddit.com/user/priyankchheda15)
[link] (https://medium.com/design-bootcamp/understanding-the-simple-factory-pattern-in-go-a-practical-guide-d5047e8e2d8d) [comments] (https://www.reddit.com/r/programming/comments/1locrpy/simple_factory_in_go/)
I made a functional 8-bit adder/subtractor circuit that works natively within MS Paint
https://www.reddit.com/r/programming/comments/1lobham/i_made_a_functional_8bit_addersubtractor_circuit/
<!-- SC_OFF -->I built all logic gates using the bucket/fill tool. These were combined to make an 8-bit ripple-carry adder as well as an 8-bit adder/subtractor circuit. Here's the animations of some of the circuits: https://imgur.com/a/0IbAr23 How it works: Define inputs A and B (white = 0, black = 1) using bucket fill. To run the circuit/computation, use the colour picker and fill tool to cycle through a sequence of colour changes from the “Bus” and “Probe” squares on the left and apply them to the circuit leads on the right.
This is where my knowledge of computer science ends, and I'm not sure how far this could theoretically be taken. There are a few quirks that make this particularly challenging. For example, all logical components of the circuit are single-use (i.e., at the end of the computation, the entire circuit is black/white, and all the colour pixel logic is lost). Also, because this is in 2-dimensions it's not possible to cross/bridging/tunnel "wires" to make complex compound logic gates (XOR and XNOR). There's also a challenge with back-propagation, where colour fills don't just go forward down the circuit, but travel back and affect other parts of the circuit. <!-- SC_ON --> submitted by /u/jkjkjij22 (https://www.reddit.com/user/jkjkjij22)
[link] (https://github.com/RRTogunov/MSPaintComputer) [comments] (https://www.reddit.com/r/programming/comments/1lobham/i_made_a_functional_8bit_addersubtractor_circuit/)