Programming Languages: Application and Interpretation (3rd edition)
https://www.reddit.com/r/programming/comments/1mbkoy2/programming_languages_application_and/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.plai.org/) [comments] (https://www.reddit.com/r/programming/comments/1mbkoy2/programming_languages_application_and/)
https://www.reddit.com/r/programming/comments/1mbkoy2/programming_languages_application_and/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.plai.org/) [comments] (https://www.reddit.com/r/programming/comments/1mbkoy2/programming_languages_application_and/)
Following up on the Python JIT
https://www.reddit.com/r/programming/comments/1mbkp3k/following_up_on_the_python_jit/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://lwn.net/Articles/1029307/) [comments] (https://www.reddit.com/r/programming/comments/1mbkp3k/following_up_on_the_python_jit/)
https://www.reddit.com/r/programming/comments/1mbkp3k/following_up_on_the_python_jit/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://lwn.net/Articles/1029307/) [comments] (https://www.reddit.com/r/programming/comments/1mbkp3k/following_up_on_the_python_jit/)
The many JavaScript runtimes of the last decade
https://www.reddit.com/r/programming/comments/1mbkpgk/the_many_javascript_runtimes_of_the_last_decade/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://buttondown.com/whatever_jamie/archive/the-many-many-many-javascript-runtimes-of-the-last-decade/) [comments] (https://www.reddit.com/r/programming/comments/1mbkpgk/the_many_javascript_runtimes_of_the_last_decade/)
https://www.reddit.com/r/programming/comments/1mbkpgk/the_many_javascript_runtimes_of_the_last_decade/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://buttondown.com/whatever_jamie/archive/the-many-many-many-javascript-runtimes-of-the-last-decade/) [comments] (https://www.reddit.com/r/programming/comments/1mbkpgk/the_many_javascript_runtimes_of_the_last_decade/)
Yalep - Micro language based on Lean for teaching mathematical high-school proofs
https://www.reddit.com/r/programming/comments/1mbkpka/yalep_micro_language_based_on_lean_for_teaching/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep) [comments] (https://www.reddit.com/r/programming/comments/1mbkpka/yalep_micro_language_based_on_lean_for_teaching/)
https://www.reddit.com/r/programming/comments/1mbkpka/yalep_micro_language_based_on_lean_for_teaching/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep) [comments] (https://www.reddit.com/r/programming/comments/1mbkpka/yalep_micro_language_based_on_lean_for_teaching/)
LLVM integrated assembler: Engineering better fragments
https://www.reddit.com/r/programming/comments/1mbkqf0/llvm_integrated_assembler_engineering_better/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://maskray.me/blog/2025-07-27-llvm-integrated-assembler-engineering-better-fragments) [comments] (https://www.reddit.com/r/programming/comments/1mbkqf0/llvm_integrated_assembler_engineering_better/)
https://www.reddit.com/r/programming/comments/1mbkqf0/llvm_integrated_assembler_engineering_better/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://maskray.me/blog/2025-07-27-llvm-integrated-assembler-engineering-better-fragments) [comments] (https://www.reddit.com/r/programming/comments/1mbkqf0/llvm_integrated_assembler_engineering_better/)
Wren - a small, fast, class-based concurrent scripting language
https://www.reddit.com/r/programming/comments/1mbkqgl/wren_a_small_fast_classbased_concurrent_scripting/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://github.com/wren-lang/wren) [comments] (https://www.reddit.com/r/programming/comments/1mbkqgl/wren_a_small_fast_classbased_concurrent_scripting/)
https://www.reddit.com/r/programming/comments/1mbkqgl/wren_a_small_fast_classbased_concurrent_scripting/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://github.com/wren-lang/wren) [comments] (https://www.reddit.com/r/programming/comments/1mbkqgl/wren_a_small_fast_classbased_concurrent_scripting/)
Why I write recursive descent parsers, despite their issues
https://www.reddit.com/r/programming/comments/1mbkqib/why_i_write_recursive_descent_parsers_despite/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://utcc.utoronto.ca/~cks/space/blog/programming/WhyRDParsersForMe) [comments] (https://www.reddit.com/r/programming/comments/1mbkqib/why_i_write_recursive_descent_parsers_despite/)
https://www.reddit.com/r/programming/comments/1mbkqib/why_i_write_recursive_descent_parsers_despite/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://utcc.utoronto.ca/~cks/space/blog/programming/WhyRDParsersForMe) [comments] (https://www.reddit.com/r/programming/comments/1mbkqib/why_i_write_recursive_descent_parsers_despite/)
Janet: Lightweight, Expressive, Modern Lisp
https://www.reddit.com/r/programming/comments/1mbkrkl/janet_lightweight_expressive_modern_lisp/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://janet-lang.org/) [comments] (https://www.reddit.com/r/programming/comments/1mbkrkl/janet_lightweight_expressive_modern_lisp/)
https://www.reddit.com/r/programming/comments/1mbkrkl/janet_lightweight_expressive_modern_lisp/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://janet-lang.org/) [comments] (https://www.reddit.com/r/programming/comments/1mbkrkl/janet_lightweight_expressive_modern_lisp/)
Certificate Transparency - Part 1
https://www.reddit.com/r/programming/comments/1mbksqb/certificate_transparency_part_1/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://ipng.ch/s/articles/2025/07/26/certificate-transparency-part-1/) [comments] (https://www.reddit.com/r/programming/comments/1mbksqb/certificate_transparency_part_1/)
https://www.reddit.com/r/programming/comments/1mbksqb/certificate_transparency_part_1/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://ipng.ch/s/articles/2025/07/26/certificate-transparency-part-1/) [comments] (https://www.reddit.com/r/programming/comments/1mbksqb/certificate_transparency_part_1/)
Resizable structs in Zig
https://www.reddit.com/r/programming/comments/1mbksro/resizable_structs_in_zig/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://tristanpemble.com/resizable-structs-in-zig/) [comments] (https://www.reddit.com/r/programming/comments/1mbksro/resizable_structs_in_zig/)
https://www.reddit.com/r/programming/comments/1mbksro/resizable_structs_in_zig/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://tristanpemble.com/resizable-structs-in-zig/) [comments] (https://www.reddit.com/r/programming/comments/1mbksro/resizable_structs_in_zig/)
Think of software design patterns but for your mind and thoughts.
https://www.reddit.com/r/programming/comments/1mbvipi/think_of_software_design_patterns_but_for_your/
submitted by /u/perspectiveship (https://www.reddit.com/user/perspectiveship)
[link] (https://read.perspectiveship.com/p/mental-models) [comments] (https://www.reddit.com/r/programming/comments/1mbvipi/think_of_software_design_patterns_but_for_your/)
https://www.reddit.com/r/programming/comments/1mbvipi/think_of_software_design_patterns_but_for_your/
submitted by /u/perspectiveship (https://www.reddit.com/user/perspectiveship)
[link] (https://read.perspectiveship.com/p/mental-models) [comments] (https://www.reddit.com/r/programming/comments/1mbvipi/think_of_software_design_patterns_but_for_your/)
Rust Ownership: The Key to Data Safety and Memory Mastery
https://www.reddit.com/r/programming/comments/1mbvwl7/rust_ownership_the_key_to_data_safety_and_memory/
submitted by /u/haberveriyo (https://www.reddit.com/user/haberveriyo)
[link] (https://ancientist.com/rust-ownership-the-key-to-data-safety-and-memory-mastery/) [comments] (https://www.reddit.com/r/programming/comments/1mbvwl7/rust_ownership_the_key_to_data_safety_and_memory/)
https://www.reddit.com/r/programming/comments/1mbvwl7/rust_ownership_the_key_to_data_safety_and_memory/
submitted by /u/haberveriyo (https://www.reddit.com/user/haberveriyo)
[link] (https://ancientist.com/rust-ownership-the-key-to-data-safety-and-memory-mastery/) [comments] (https://www.reddit.com/r/programming/comments/1mbvwl7/rust_ownership_the_key_to_data_safety_and_memory/)
I (a software engineer) tried to learn basic electronics by building fireflies 🤓
https://www.reddit.com/r/programming/comments/1mbz6np/i_a_software_engineer_tried_to_learn_basic/
submitted by /u/theapache64 (https://www.reddit.com/user/theapache64)
[link] (https://a64.in/posts/learning-basic-electronics-by-building-fireflies/) [comments] (https://www.reddit.com/r/programming/comments/1mbz6np/i_a_software_engineer_tried_to_learn_basic/)
https://www.reddit.com/r/programming/comments/1mbz6np/i_a_software_engineer_tried_to_learn_basic/
submitted by /u/theapache64 (https://www.reddit.com/user/theapache64)
[link] (https://a64.in/posts/learning-basic-electronics-by-building-fireflies/) [comments] (https://www.reddit.com/r/programming/comments/1mbz6np/i_a_software_engineer_tried_to_learn_basic/)
What is System Design 💡 | System Design Series #01
https://www.reddit.com/r/programming/comments/1mc00th/what_is_system_design_system_design_series_01/
<!-- SC_OFF -->Hi guys, this is the first video of a 50 part system design series which with each video we will gradually dive into complex topics. This video gives you an overview of system design principles. From next video onwards we'll start with network fundamentals. <!-- SC_ON --> submitted by /u/caffeinated_coder_ (https://www.reddit.com/user/caffeinated_coder_)
[link] (https://youtu.be/i3QBnQqdaY8) [comments] (https://www.reddit.com/r/programming/comments/1mc00th/what_is_system_design_system_design_series_01/)
https://www.reddit.com/r/programming/comments/1mc00th/what_is_system_design_system_design_series_01/
<!-- SC_OFF -->Hi guys, this is the first video of a 50 part system design series which with each video we will gradually dive into complex topics. This video gives you an overview of system design principles. From next video onwards we'll start with network fundamentals. <!-- SC_ON --> submitted by /u/caffeinated_coder_ (https://www.reddit.com/user/caffeinated_coder_)
[link] (https://youtu.be/i3QBnQqdaY8) [comments] (https://www.reddit.com/r/programming/comments/1mc00th/what_is_system_design_system_design_series_01/)
Pull Requests Are a Poor Fit For Agentic AI
https://www.reddit.com/r/programming/comments/1mc0bzt/pull_requests_are_a_poor_fit_for_agentic_ai/
<!-- SC_OFF -->AI relies on human feedback loops to keep from going off the rails, and making the innate social human brittleness around PRs load-bearing is a recipe for bad product. <!-- SC_ON --> submitted by /u/pmbauer (https://www.reddit.com/user/pmbauer)
[link] (https://bauer.codes/post/2025/07/ai-pull-requests/) [comments] (https://www.reddit.com/r/programming/comments/1mc0bzt/pull_requests_are_a_poor_fit_for_agentic_ai/)
https://www.reddit.com/r/programming/comments/1mc0bzt/pull_requests_are_a_poor_fit_for_agentic_ai/
<!-- SC_OFF -->AI relies on human feedback loops to keep from going off the rails, and making the innate social human brittleness around PRs load-bearing is a recipe for bad product. <!-- SC_ON --> submitted by /u/pmbauer (https://www.reddit.com/user/pmbauer)
[link] (https://bauer.codes/post/2025/07/ai-pull-requests/) [comments] (https://www.reddit.com/r/programming/comments/1mc0bzt/pull_requests_are_a_poor_fit_for_agentic_ai/)
Creating Your First Game with Ebitengine (Go game engine)
https://www.reddit.com/r/programming/comments/1mc3672/creating_your_first_game_with_ebitengine_go_game/
submitted by /u/tslocum (https://www.reddit.com/user/tslocum)
[link] (https://www.youtube.com/watch?v=_B4dzWMsVQY) [comments] (https://www.reddit.com/r/programming/comments/1mc3672/creating_your_first_game_with_ebitengine_go_game/)
https://www.reddit.com/r/programming/comments/1mc3672/creating_your_first_game_with_ebitengine_go_game/
submitted by /u/tslocum (https://www.reddit.com/user/tslocum)
[link] (https://www.youtube.com/watch?v=_B4dzWMsVQY) [comments] (https://www.reddit.com/r/programming/comments/1mc3672/creating_your_first_game_with_ebitengine_go_game/)
A-Frame-mazing architecture overview
https://www.reddit.com/r/programming/comments/1mc5xab/aframemazing_architecture_overview/
<!-- SC_OFF -->I've started writing about a pattern I discovered (and got a lot more depth from James Shores blog posts, references to his articles in the posts). It's going to be a series as this would be too long for one post. Mainly because I like shorter posts that are easily digestible. 😀 Hope you guys find it interesting. <!-- SC_ON --> submitted by /u/KenBonny (https://www.reddit.com/user/KenBonny)
[link] (https://kenbonny.net/a-frame-mazing-architecture-overview) [comments] (https://www.reddit.com/r/programming/comments/1mc5xab/aframemazing_architecture_overview/)
https://www.reddit.com/r/programming/comments/1mc5xab/aframemazing_architecture_overview/
<!-- SC_OFF -->I've started writing about a pattern I discovered (and got a lot more depth from James Shores blog posts, references to his articles in the posts). It's going to be a series as this would be too long for one post. Mainly because I like shorter posts that are easily digestible. 😀 Hope you guys find it interesting. <!-- SC_ON --> submitted by /u/KenBonny (https://www.reddit.com/user/KenBonny)
[link] (https://kenbonny.net/a-frame-mazing-architecture-overview) [comments] (https://www.reddit.com/r/programming/comments/1mc5xab/aframemazing_architecture_overview/)
On the Edge of Competence
https://www.reddit.com/r/programming/comments/1mc6mse/on_the_edge_of_competence/
submitted by /u/Pure_Management4004 (https://www.reddit.com/user/Pure_Management4004)
[link] (https://ordep.dev/posts/circle-of-competence) [comments] (https://www.reddit.com/r/programming/comments/1mc6mse/on_the_edge_of_competence/)
https://www.reddit.com/r/programming/comments/1mc6mse/on_the_edge_of_competence/
submitted by /u/Pure_Management4004 (https://www.reddit.com/user/Pure_Management4004)
[link] (https://ordep.dev/posts/circle-of-competence) [comments] (https://www.reddit.com/r/programming/comments/1mc6mse/on_the_edge_of_competence/)
C++ Superset 2.0.0
https://www.reddit.com/r/programming/comments/1mc7g45/c_superset_200/
<!-- SC_OFF -->Our mission is to overcome the most difficult problems in computer science and astrophysics. So our MVP is a deterministic or predictable and patented C++ memory manager that is integrated at compile-time implicitly by a source-to-source compiler making the resulting low latency and low power consuming executable crash proof and free from memory leaks. It is based on the powerful Clang 16.0 API and can parse very complex C++ templates as seen in one of its examples. The compiler can be downloaded for free and can be used freely for any GPL purposes. <!-- SC_ON --> submitted by /u/Direct_Stock_4377 (https://www.reddit.com/user/Direct_Stock_4377)
[link] (https://static.fornux.com/c-superset/) [comments] (https://www.reddit.com/r/programming/comments/1mc7g45/c_superset_200/)
https://www.reddit.com/r/programming/comments/1mc7g45/c_superset_200/
<!-- SC_OFF -->Our mission is to overcome the most difficult problems in computer science and astrophysics. So our MVP is a deterministic or predictable and patented C++ memory manager that is integrated at compile-time implicitly by a source-to-source compiler making the resulting low latency and low power consuming executable crash proof and free from memory leaks. It is based on the powerful Clang 16.0 API and can parse very complex C++ templates as seen in one of its examples. The compiler can be downloaded for free and can be used freely for any GPL purposes. <!-- SC_ON --> submitted by /u/Direct_Stock_4377 (https://www.reddit.com/user/Direct_Stock_4377)
[link] (https://static.fornux.com/c-superset/) [comments] (https://www.reddit.com/r/programming/comments/1mc7g45/c_superset_200/)
The Ultimate Guide to MCP Auth: Identity, Consent, and Agent Security
https://www.reddit.com/r/programming/comments/1mc86qk/the_ultimate_guide_to_mcp_auth_identity_consent/
submitted by /u/Permit_io (https://www.reddit.com/user/Permit_io)
[link] (https://www.permit.io/blog/the-ultimate-guide-to-mcp-auth) [comments] (https://www.reddit.com/r/programming/comments/1mc86qk/the_ultimate_guide_to_mcp_auth_identity_consent/)
https://www.reddit.com/r/programming/comments/1mc86qk/the_ultimate_guide_to_mcp_auth_identity_consent/
submitted by /u/Permit_io (https://www.reddit.com/user/Permit_io)
[link] (https://www.permit.io/blog/the-ultimate-guide-to-mcp-auth) [comments] (https://www.reddit.com/r/programming/comments/1mc86qk/the_ultimate_guide_to_mcp_auth_identity_consent/)
Which Parsing Approach?
https://www.reddit.com/r/programming/comments/1mc8u4w/which_parsing_approach/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://tratt.net/laurie/blog/2020/which_parsing_approach.html) [comments] (https://www.reddit.com/r/programming/comments/1mc8u4w/which_parsing_approach/)
https://www.reddit.com/r/programming/comments/1mc8u4w/which_parsing_approach/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://tratt.net/laurie/blog/2020/which_parsing_approach.html) [comments] (https://www.reddit.com/r/programming/comments/1mc8u4w/which_parsing_approach/)