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/)
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/)
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/)
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/)
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/)
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/)
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/)
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/)
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/)
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/)
Formally verifying FP division with Gappa
https://www.reddit.com/r/programming/comments/1n8f4y9/formally_verifying_fp_division_with_gappa/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://community.arm.com/arm-community-blogs/b/embedded-and-microcontrollers-blog/posts/formally-verifying-a-floating-point-division-routine-with-gappa-p1) [comments] (https://www.reddit.com/r/programming/comments/1n8f4y9/formally_verifying_fp_division_with_gappa/)
https://www.reddit.com/r/programming/comments/1n8f4y9/formally_verifying_fp_division_with_gappa/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://community.arm.com/arm-community-blogs/b/embedded-and-microcontrollers-blog/posts/formally-verifying-a-floating-point-division-routine-with-gappa-p1) [comments] (https://www.reddit.com/r/programming/comments/1n8f4y9/formally_verifying_fp_division_with_gappa/)
Welcoming the Rust Innovation Lab
https://www.reddit.com/r/programming/comments/1n8f8tw/welcoming_the_rust_innovation_lab/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.rust-lang.org/2025/09/03/welcoming-the-rust-innovation-lab/) [comments] (https://www.reddit.com/r/programming/comments/1n8f8tw/welcoming_the_rust_innovation_lab/)
https://www.reddit.com/r/programming/comments/1n8f8tw/welcoming_the_rust_innovation_lab/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.rust-lang.org/2025/09/03/welcoming-the-rust-innovation-lab/) [comments] (https://www.reddit.com/r/programming/comments/1n8f8tw/welcoming_the_rust_innovation_lab/)
Discovering observers in C++
https://www.reddit.com/r/programming/comments/1n8faip/discovering_observers_in_c/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.sandordargo.com/blog/2025/09/03/observers-part1) [comments] (https://www.reddit.com/r/programming/comments/1n8faip/discovering_observers_in_c/)
https://www.reddit.com/r/programming/comments/1n8faip/discovering_observers_in_c/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.sandordargo.com/blog/2025/09/03/observers-part1) [comments] (https://www.reddit.com/r/programming/comments/1n8faip/discovering_observers_in_c/)
Zero runtime cost styles in ClojureScript
https://www.reddit.com/r/programming/comments/1n8fcxm/zero_runtime_cost_styles_in_clojurenoscript/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://romanliutikov.com/blog/zero-runtime-cost-styles-in-clojurenoscript) [comments] (https://www.reddit.com/r/programming/comments/1n8fcxm/zero_runtime_cost_styles_in_clojurenoscript/)
https://www.reddit.com/r/programming/comments/1n8fcxm/zero_runtime_cost_styles_in_clojurenoscript/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://romanliutikov.com/blog/zero-runtime-cost-styles-in-clojurenoscript) [comments] (https://www.reddit.com/r/programming/comments/1n8fcxm/zero_runtime_cost_styles_in_clojurenoscript/)
Are We Vibecoding Our Way to Disaster?
https://www.reddit.com/r/programming/comments/1n8fqry/are_we_vibecoding_our_way_to_disaster/
submitted by /u/nayshins (https://www.reddit.com/user/nayshins)
[link] (https://open.substack.com/pub/softwarearthopod/p/vibe-coding-our-way-to-disaster?r=ww6gs&utm_campaign=post&utm_medium=web&showWelcomeOnShare=true) [comments] (https://www.reddit.com/r/programming/comments/1n8fqry/are_we_vibecoding_our_way_to_disaster/)
https://www.reddit.com/r/programming/comments/1n8fqry/are_we_vibecoding_our_way_to_disaster/
submitted by /u/nayshins (https://www.reddit.com/user/nayshins)
[link] (https://open.substack.com/pub/softwarearthopod/p/vibe-coding-our-way-to-disaster?r=ww6gs&utm_campaign=post&utm_medium=web&showWelcomeOnShare=true) [comments] (https://www.reddit.com/r/programming/comments/1n8fqry/are_we_vibecoding_our_way_to_disaster/)
Writing a C compiler in 500 lines of Python
https://www.reddit.com/r/programming/comments/1n8gdkh/writing_a_c_compiler_in_500_lines_of_python/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://vgel.me/posts/c500/) [comments] (https://www.reddit.com/r/programming/comments/1n8gdkh/writing_a_c_compiler_in_500_lines_of_python/)
https://www.reddit.com/r/programming/comments/1n8gdkh/writing_a_c_compiler_in_500_lines_of_python/
submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://vgel.me/posts/c500/) [comments] (https://www.reddit.com/r/programming/comments/1n8gdkh/writing_a_c_compiler_in_500_lines_of_python/)
The hidden costs of saying “no” in software engineering
https://www.reddit.com/r/programming/comments/1n8gpkk/the_hidden_costs_of_saying_no_in_software/
<!-- SC_OFF -->At ShiftMag we recently explored an angle of software engineering that doesn’t get much attention: the cost of saying “no”. We often hear that being able to refuse is a vital soft skill – but refusing also carries a psychological and professional price. Declining can create stress, trigger anxiety, and even feel like a career risk, especially in environments where overcommitment is the norm. Meanwhile, saying “yes” is usually rewarded in the short term, even if it leads to burnout later. This raises some questions for us as a profession: How do you personally navigate the emotional toll of refusing requests at work?Have you seen “just say no” advice backfire in your teams? What practices have you found effective for making refusal safer and healthier in professional environments? We’d love to hear how others in the community experience and handle this dynamic. <!-- SC_ON --> submitted by /u/shift_devs (https://www.reddit.com/user/shift_devs)
[link] (https://shiftmag.dev/saying-no-is-not-a-free-action-in-the-world-of-software-engineering-5339/) [comments] (https://www.reddit.com/r/programming/comments/1n8gpkk/the_hidden_costs_of_saying_no_in_software/)
https://www.reddit.com/r/programming/comments/1n8gpkk/the_hidden_costs_of_saying_no_in_software/
<!-- SC_OFF -->At ShiftMag we recently explored an angle of software engineering that doesn’t get much attention: the cost of saying “no”. We often hear that being able to refuse is a vital soft skill – but refusing also carries a psychological and professional price. Declining can create stress, trigger anxiety, and even feel like a career risk, especially in environments where overcommitment is the norm. Meanwhile, saying “yes” is usually rewarded in the short term, even if it leads to burnout later. This raises some questions for us as a profession: How do you personally navigate the emotional toll of refusing requests at work?Have you seen “just say no” advice backfire in your teams? What practices have you found effective for making refusal safer and healthier in professional environments? We’d love to hear how others in the community experience and handle this dynamic. <!-- SC_ON --> submitted by /u/shift_devs (https://www.reddit.com/user/shift_devs)
[link] (https://shiftmag.dev/saying-no-is-not-a-free-action-in-the-world-of-software-engineering-5339/) [comments] (https://www.reddit.com/r/programming/comments/1n8gpkk/the_hidden_costs_of_saying_no_in_software/)
Versioned Data with Apache Iceberg Using lakeFS Iceberg REST Catalog
https://www.reddit.com/r/programming/comments/1n8gyfd/versioned_data_with_apache_iceberg_using_lakefs/
submitted by /u/ellnorrisjerry (https://www.reddit.com/user/ellnorrisjerry)
[link] (https://lakefs.io/blog/lakefs-iceberg-rest-catalog-tutorial/) [comments] (https://www.reddit.com/r/programming/comments/1n8gyfd/versioned_data_with_apache_iceberg_using_lakefs/)
https://www.reddit.com/r/programming/comments/1n8gyfd/versioned_data_with_apache_iceberg_using_lakefs/
submitted by /u/ellnorrisjerry (https://www.reddit.com/user/ellnorrisjerry)
[link] (https://lakefs.io/blog/lakefs-iceberg-rest-catalog-tutorial/) [comments] (https://www.reddit.com/r/programming/comments/1n8gyfd/versioned_data_with_apache_iceberg_using_lakefs/)
MIT says AI isn’t replacing you… it’s just wasting your boss’s money
https://www.reddit.com/r/programming/comments/1n8ljce/mit_says_ai_isnt_replacing_you_its_just_wasting/
submitted by /u/CryoSchema (https://www.reddit.com/user/CryoSchema)
[link] (https://www.interviewquery.com/p/mit-ai-isnt-replacing-workers-just-wasting-money) [comments] (https://www.reddit.com/r/programming/comments/1n8ljce/mit_says_ai_isnt_replacing_you_its_just_wasting/)
https://www.reddit.com/r/programming/comments/1n8ljce/mit_says_ai_isnt_replacing_you_its_just_wasting/
submitted by /u/CryoSchema (https://www.reddit.com/user/CryoSchema)
[link] (https://www.interviewquery.com/p/mit-ai-isnt-replacing-workers-just-wasting-money) [comments] (https://www.reddit.com/r/programming/comments/1n8ljce/mit_says_ai_isnt_replacing_you_its_just_wasting/)
Higher-Order Transform Streams: Sequentially Injecting Streams Within Streams
https://www.reddit.com/r/programming/comments/1n8ng01/higherorder_transform_streams_sequentially/
<!-- SC_OFF -->https://www.timetler.com/2025/08/23/parallel-recursive-streaming-ai-swarms <!-- SC_ON --> submitted by /u/tmetler (https://www.reddit.com/user/tmetler)
[link] (https://www.timetler.com/2025/08/23/parallel-recursive-streaming-ai-swarms/?r=1) [comments] (https://www.reddit.com/r/programming/comments/1n8ng01/higherorder_transform_streams_sequentially/)
https://www.reddit.com/r/programming/comments/1n8ng01/higherorder_transform_streams_sequentially/
<!-- SC_OFF -->https://www.timetler.com/2025/08/23/parallel-recursive-streaming-ai-swarms <!-- SC_ON --> submitted by /u/tmetler (https://www.reddit.com/user/tmetler)
[link] (https://www.timetler.com/2025/08/23/parallel-recursive-streaming-ai-swarms/?r=1) [comments] (https://www.reddit.com/r/programming/comments/1n8ng01/higherorder_transform_streams_sequentially/)
Setting Performance Baselines for Java's 1-Billion-Row Challenge (Ep. 2) | With @caseymuratori
https://www.reddit.com/r/programming/comments/1n8w3zo/setting_performance_baselines_for_javas/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://www.youtube.com/watch?v=rzLcVq8xm1Y) [comments] (https://www.reddit.com/r/programming/comments/1n8w3zo/setting_performance_baselines_for_javas/)
https://www.reddit.com/r/programming/comments/1n8w3zo/setting_performance_baselines_for_javas/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://www.youtube.com/watch?v=rzLcVq8xm1Y) [comments] (https://www.reddit.com/r/programming/comments/1n8w3zo/setting_performance_baselines_for_javas/)
I made a small nginx web UI (with Cloudflare + CloudFront support) – maybe useful for someone?
https://www.reddit.com/r/programming/comments/1n8w9s2/i_made_a_small_nginx_web_ui_with_cloudflare/
<!-- SC_OFF -->Hi everyone,
I’m not a native English speaker, so sorry if my writing sounds a bit awkward. (I'm south Korean). I’ve been tinkering with nginx a lot and sometimes felt it’s a bit annoying to edit configs manually, especially when combining it with Cloudflare and CloudFront. So I made a simple nginx WebUI where you can: Anubis integration for access/security control Manage basic nginx configs through a browser Integrate settings with Cloudflare and CloudFront Let's encrypt certification (incl. dns challenge) It’s still a work in progress, but maybe it could be useful for someone who wants a lightweight way to manage nginx. 👉 GitHub: https://github.com/lancard/nginx-webui I’d be happy if you check it out and give me some feedback (or just star it if you think it’s cool). Thanks for reading! <!-- SC_ON --> submitted by /u/GoodAd3927 (https://www.reddit.com/user/GoodAd3927)
[link] (https://github.com/lancard/nginx-webui) [comments] (https://www.reddit.com/r/programming/comments/1n8w9s2/i_made_a_small_nginx_web_ui_with_cloudflare/)
https://www.reddit.com/r/programming/comments/1n8w9s2/i_made_a_small_nginx_web_ui_with_cloudflare/
<!-- SC_OFF -->Hi everyone,
I’m not a native English speaker, so sorry if my writing sounds a bit awkward. (I'm south Korean). I’ve been tinkering with nginx a lot and sometimes felt it’s a bit annoying to edit configs manually, especially when combining it with Cloudflare and CloudFront. So I made a simple nginx WebUI where you can: Anubis integration for access/security control Manage basic nginx configs through a browser Integrate settings with Cloudflare and CloudFront Let's encrypt certification (incl. dns challenge) It’s still a work in progress, but maybe it could be useful for someone who wants a lightweight way to manage nginx. 👉 GitHub: https://github.com/lancard/nginx-webui I’d be happy if you check it out and give me some feedback (or just star it if you think it’s cool). Thanks for reading! <!-- SC_ON --> submitted by /u/GoodAd3927 (https://www.reddit.com/user/GoodAd3927)
[link] (https://github.com/lancard/nginx-webui) [comments] (https://www.reddit.com/r/programming/comments/1n8w9s2/i_made_a_small_nginx_web_ui_with_cloudflare/)