Adding #[derive(From)] to Rust
https://www.reddit.com/r/programming/comments/1n7j5kd/adding_derivefrom_to_rust/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://kobzol.github.io/rust/2025/09/02/adding-derive-from-to-rust.html) [comments] (https://www.reddit.com/r/programming/comments/1n7j5kd/adding_derivefrom_to_rust/)

Why Rewriting Emacs Is Hard
https://www.reddit.com/r/programming/comments/1n7j5wr/why_rewriting_emacs_is_hard/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://kyo.iroiro.party/en/posts/why-rewriting-emacs-is-hard/) [comments] (https://www.reddit.com/r/programming/comments/1n7j5wr/why_rewriting_emacs_is_hard/)

New gABI/ELF Spec Available for Public Review
https://www.reddit.com/r/programming/comments/1n7j64x/new_gabielf_spec_available_for_public_review/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://groups.google.com/g/generic-abi/c/doY6WIIPqhU/) [comments] (https://www.reddit.com/r/programming/comments/1n7j64x/new_gabielf_spec_available_for_public_review/)

Search Index in 150 Lines of Haskell
https://www.reddit.com/r/programming/comments/1n7j6c2/search_index_in_150_lines_of_haskell/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://entropicthoughts.com/search-index-150-lines-haskell) [comments] (https://www.reddit.com/r/programming/comments/1n7j6c2/search_index_in_150_lines_of_haskell/)

Cookie Chaos: How to bypass __Host and __Secure cookie prefixes
https://www.reddit.com/r/programming/comments/1n7j6r1/cookie_chaos_how_to_bypass_host_and_secure_cookie/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://portswigger.net/research/cookie-chaos-how-to-bypass-host-and-secure-cookie-prefixes) [comments] (https://www.reddit.com/r/programming/comments/1n7j6r1/cookie_chaos_how_to_bypass_host_and_secure_cookie/)

TPDE-LLVM: Faster LLVM -O0 Back-End
https://www.reddit.com/r/programming/comments/1n7j77f/tpdellvm_faster_llvm_o0_backend/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://discourse.llvm.org/t/tpde-llvm-10-20x-faster-llvm-o0-back-end/86664) [comments] (https://www.reddit.com/r/programming/comments/1n7j77f/tpdellvm_faster_llvm_o0_backend/)

Computing simplified coverage polygons
https://www.reddit.com/r/programming/comments/1n7j8hl/computing_simplified_coverage_polygons/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.volkerkrause.eu/2025/08/30/simplified-coverage-polygons.html) [comments] (https://www.reddit.com/r/programming/comments/1n7j8hl/computing_simplified_coverage_polygons/)

Acorn and the future of theorem proving
https://www.reddit.com/r/programming/comments/1n7j8qp/acorn_and_the_future_of_theorem_proving/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://lmao.bearblog.dev/acorn-ai-proving/) [comments] (https://www.reddit.com/r/programming/comments/1n7j8qp/acorn_and_the_future_of_theorem_proving/)

The Anatomy of a Mach-O: Structure, Code Signing, and PAC
https://www.reddit.com/r/programming/comments/1n7j90a/the_anatomy_of_a_macho_structure_code_signing_and/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://oliviagallucci.com/the-anatomy-of-a-mach-o-structure-code-signing-and-pac/) [comments] (https://www.reddit.com/r/programming/comments/1n7j90a/the_anatomy_of_a_macho_structure_code_signing_and/)

I Replaced Redis Locks with Database Atomicity and You Should Too
https://www.reddit.com/r/programming/comments/1n7kcu9/i_replaced_redis_locks_with_database_atomicity/

submitted by /u/soap94 (https://www.reddit.com/user/soap94)
[link] (https://wcff.bearblog.dev/i-replaced-redis-locks-with-database-atomicity-and-you-should-too/) [comments] (https://www.reddit.com/r/programming/comments/1n7kcu9/i_replaced_redis_locks_with_database_atomicity/)

Evolution of GPU Programming: From Smart Pixels to the Backbone of an AI-driven World
https://www.reddit.com/r/programming/comments/1n7ldsa/evolution_of_gpu_programming_from_smart_pixels_to/

submitted by /u/NoVibeCoding (https://www.reddit.com/user/NoVibeCoding)
[link] (https://medium.com/data-science-collective/evolution-of-gpu-programming-8de112bd798e) [comments] (https://www.reddit.com/r/programming/comments/1n7ldsa/evolution_of_gpu_programming_from_smart_pixels_to/)

Writing a C compiler in 500 lines of Python
https://www.reddit.com/r/programming/comments/1n7ltpo/writing_a_c_compiler_in_500_lines_of_python/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://vgel.me/posts/c500/) [comments] (https://www.reddit.com/r/programming/comments/1n7ltpo/writing_a_c_compiler_in_500_lines_of_python/)

Understanding Transformers Using a Minimal Example
https://www.reddit.com/r/programming/comments/1n7lu1c/understanding_transformers_using_a_minimal_example/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://rti.github.io/gptvis/) [comments] (https://www.reddit.com/r/programming/comments/1n7lu1c/understanding_transformers_using_a_minimal_example/)

Microsoft Releases Historic 6502 Basic
https://www.reddit.com/r/programming/comments/1n7luaa/microsoft_releases_historic_6502_basic/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://github.com/microsoft/BASIC-M6502) [comments] (https://www.reddit.com/r/programming/comments/1n7luaa/microsoft_releases_historic_6502_basic/)

Poor man's bitemporal data system in SQLite and Clojure
https://www.reddit.com/r/programming/comments/1n7luma/poor_mans_bitemporal_data_system_in_sqlite_and/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.evalapply.org/posts/poor-mans-time-oriented-data-system/index.html) [comments] (https://www.reddit.com/r/programming/comments/1n7luma/poor_mans_bitemporal_data_system_in_sqlite_and/)

Amara’s Law: Technology Adoption Sometimes Takes Time
https://www.reddit.com/r/programming/comments/1n83c4h/amaras_law_technology_adoption_sometimes_takes/

submitted by /u/congolomera (https://www.reddit.com/user/congolomera)
[link] (https://bencane.com/amaras-law-technology-adoption-sometimes-takes-time-e03e1310ba0c?source=friends_link&sk=a85b282315bc04753b723ac36ca688dd) [comments] (https://www.reddit.com/r/programming/comments/1n83c4h/amaras_law_technology_adoption_sometimes_takes/)

Carbon Language Plans Seamless Interop with Rust, Kotlin, and Swift (To Avoid Ecosystem Duplication)
https://www.reddit.com/r/programming/comments/1n83xib/carbon_language_plans_seamless_interop_with_rust/

<!-- SC_OFF -->So ive just been reading the Carbon Safety documents as I wanted to catch up with what the Google folks have got cooking over there.. ....And what intrigued me is instead of building out their own safe STL type framework library of code they are instead going to re-use the already large collection of libraries from the Rust Cargo System through interop!! They say, and I quote: "The Carbon project will work to avoid creating duplication between the growing Rust library ecosystem and any future Carbon library ecosystem" I guess it makes sense as there is a shed load of libraries available in Cargo (apparently over 100,000) .. I guess that means you will also be able to use Cargo in Carbon! Its been a while since I looked at Rust, but I didnt think it had a stable ABI for interop! They also then talk about interop with "Swift for Apple platforms or Kotlin for Android". And of course their main focus is seamless interop with C++.. So it sounds like they want all the interops!! I just thought id post this here as I am genuinely intruiged that they have publicly acknowledged the goal for their "Safe Library Ecosystem" is to use Rusts to avoid ecosytem duplication. <!-- SC_ON --> submitted by /u/masterofmisc (https://www.reddit.com/user/masterofmisc)
[link] (https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/safety/README.md) [comments] (https://www.reddit.com/r/programming/comments/1n83xib/carbon_language_plans_seamless_interop_with_rust/)

Xmake v3.0.2 has been released, Improve C++ modules and new native thread support.
https://www.reddit.com/r/programming/comments/1n866m4/xmake_v302_has_been_released_improve_c_modules/

submitted by /u/waruqi (https://www.reddit.com/user/waruqi)
[link] (https://github.com/xmake-io/xmake/releases/tag/v3.0.2) [comments] (https://www.reddit.com/r/programming/comments/1n866m4/xmake_v302_has_been_released_improve_c_modules/)

Making Data Races Unrepresentable
https://www.reddit.com/r/programming/comments/1n8d852/making_data_races_unrepresentable/

submitted by /u/yoohaemin (https://www.reddit.com/user/yoohaemin)
[link] (https://purelyimpure.com/data-races/) [comments] (https://www.reddit.com/r/programming/comments/1n8d852/making_data_races_unrepresentable/)

Faster Rust builds on Mac
https://www.reddit.com/r/programming/comments/1n8f35v/faster_rust_builds_on_mac/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://nnethercote.github.io/2025/09/04/faster-rust-builds-on-mac.html) [comments] (https://www.reddit.com/r/programming/comments/1n8f35v/faster_rust_builds_on_mac/)

An embedded dev kit for EndBASIC with NetBSD (bsdcan video)
https://www.reddit.com/r/programming/comments/1n8f4j3/an_embedded_dev_kit_for_endbasic_with_netbsd/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://youtu.be/WZFYTInWAqc) [comments] (https://www.reddit.com/r/programming/comments/1n8f4j3/an_embedded_dev_kit_for_endbasic_with_netbsd/)