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/)
Hidden software behin streaming platforms
https://www.reddit.com/r/programming/comments/1n8wxmu/hidden_software_behin_streaming_platforms/
<!-- SC_OFF -->I think these are the challenges which can be face while building a streaming system. <!-- SC_ON --> submitted by /u/spideysensetingled (https://www.reddit.com/user/spideysensetingled)
[link] (https://nextoolhub.com/2025/09/05/hidden-software-behind-streaming-platforms/) [comments] (https://www.reddit.com/r/programming/comments/1n8wxmu/hidden_software_behin_streaming_platforms/)
https://www.reddit.com/r/programming/comments/1n8wxmu/hidden_software_behin_streaming_platforms/
<!-- SC_OFF -->I think these are the challenges which can be face while building a streaming system. <!-- SC_ON --> submitted by /u/spideysensetingled (https://www.reddit.com/user/spideysensetingled)
[link] (https://nextoolhub.com/2025/09/05/hidden-software-behind-streaming-platforms/) [comments] (https://www.reddit.com/r/programming/comments/1n8wxmu/hidden_software_behin_streaming_platforms/)
Building a programming language that reads like English: lessons from PlainLang
https://www.reddit.com/r/programming/comments/1n920j7/building_a_programming_language_that_reads_like/
<!-- SC_OFF -->Recently I started working on an experimental language called PlainLang, with the idea of making programming feel closer to natural conversation. Instead of symbols and punctuation, you write in full sentences like: set the greeting to "Hello World". show on screen the greeting. From a technical standpoint, there were a few interesting challenges i thought might be worth sharing here: Parsing “loose” English: Traditional parsers expect rigid grammar. PlainLang allows optional words like “the”, “a”, or “then”, so the parser had to be tolerant without losing structure. I ended up with a recursive descent parser tuned for flexibility, which was trickier than expected. Pronoun support: The language lets you use “it” to refer to the last computed result. That required carrying contextual state across statements in the runtime, a design pattern that feels simple in usage but was subtle to implement correctly. Error messages that feel human: If someone writes add 5 to score without first setting score, the runtime tries to explain it in plain terms rather than spitting out a stack trace. Writing helpful diagnostics for “English-like” code took some care. The project is still young, but it already supports variables, arithmetic, conditionals, loops, and an interactive REPL. I’d be interested in hearing from others who have tried making more “human-readable” languages what trade-offs did you find between natural syntax and precise semantics? The code is open source (MIT license) <!-- SC_ON --> submitted by /u/ionutvi (https://www.reddit.com/user/ionutvi)
[link] (https://github.com/StudioPlatforms/plain-lang) [comments] (https://www.reddit.com/r/programming/comments/1n920j7/building_a_programming_language_that_reads_like/)
https://www.reddit.com/r/programming/comments/1n920j7/building_a_programming_language_that_reads_like/
<!-- SC_OFF -->Recently I started working on an experimental language called PlainLang, with the idea of making programming feel closer to natural conversation. Instead of symbols and punctuation, you write in full sentences like: set the greeting to "Hello World". show on screen the greeting. From a technical standpoint, there were a few interesting challenges i thought might be worth sharing here: Parsing “loose” English: Traditional parsers expect rigid grammar. PlainLang allows optional words like “the”, “a”, or “then”, so the parser had to be tolerant without losing structure. I ended up with a recursive descent parser tuned for flexibility, which was trickier than expected. Pronoun support: The language lets you use “it” to refer to the last computed result. That required carrying contextual state across statements in the runtime, a design pattern that feels simple in usage but was subtle to implement correctly. Error messages that feel human: If someone writes add 5 to score without first setting score, the runtime tries to explain it in plain terms rather than spitting out a stack trace. Writing helpful diagnostics for “English-like” code took some care. The project is still young, but it already supports variables, arithmetic, conditionals, loops, and an interactive REPL. I’d be interested in hearing from others who have tried making more “human-readable” languages what trade-offs did you find between natural syntax and precise semantics? The code is open source (MIT license) <!-- SC_ON --> submitted by /u/ionutvi (https://www.reddit.com/user/ionutvi)
[link] (https://github.com/StudioPlatforms/plain-lang) [comments] (https://www.reddit.com/r/programming/comments/1n920j7/building_a_programming_language_that_reads_like/)
Made a tutorial Python in 10 minutes for beginners (with homework)
https://www.reddit.com/r/programming/comments/1n92nbh/made_a_tutorial_python_in_10_minutes_for/
<!-- SC_OFF -->I just uploaded a short and beginner-friendly Python tutorial on YouTube where I explain the core concepts in only 10 minutes.
Perfect if you're just starting out or need a quick refresher.
Would love your feedback on whether you'd like to see more quick lessons like this. Thanks! <!-- SC_ON --> submitted by /u/Priler96 (https://www.reddit.com/user/Priler96)
[link] (https://www.youtube.com/watch?v=uBhe1Rvp4PI) [comments] (https://www.reddit.com/r/programming/comments/1n92nbh/made_a_tutorial_python_in_10_minutes_for/)
https://www.reddit.com/r/programming/comments/1n92nbh/made_a_tutorial_python_in_10_minutes_for/
<!-- SC_OFF -->I just uploaded a short and beginner-friendly Python tutorial on YouTube where I explain the core concepts in only 10 minutes.
Perfect if you're just starting out or need a quick refresher.
Would love your feedback on whether you'd like to see more quick lessons like this. Thanks! <!-- SC_ON --> submitted by /u/Priler96 (https://www.reddit.com/user/Priler96)
[link] (https://www.youtube.com/watch?v=uBhe1Rvp4PI) [comments] (https://www.reddit.com/r/programming/comments/1n92nbh/made_a_tutorial_python_in_10_minutes_for/)
Strategies for securing non-human identities (services, workloads, AI agents)
https://www.reddit.com/r/programming/comments/1n932vx/strategies_for_securing_nonhuman_identities/
submitted by /u/West-Chard-1474 (https://www.reddit.com/user/West-Chard-1474)
[link] (https://www.cerbos.dev/blog/strategies-for-securing-non-human-identities) [comments] (https://www.reddit.com/r/programming/comments/1n932vx/strategies_for_securing_nonhuman_identities/)
https://www.reddit.com/r/programming/comments/1n932vx/strategies_for_securing_nonhuman_identities/
submitted by /u/West-Chard-1474 (https://www.reddit.com/user/West-Chard-1474)
[link] (https://www.cerbos.dev/blog/strategies-for-securing-non-human-identities) [comments] (https://www.reddit.com/r/programming/comments/1n932vx/strategies_for_securing_nonhuman_identities/)
40 years later, are Bentley's "Programming Pearls" still relevant?
https://www.reddit.com/r/programming/comments/1n96ftn/40_years_later_are_bentleys_programming_pearls/
submitted by /u/GarethX (https://www.reddit.com/user/GarethX)
[link] (https://shkspr.mobi/blog/2025/09/40-years-later-are-bentleys-programming-pearls-still-relevant/) [comments] (https://www.reddit.com/r/programming/comments/1n96ftn/40_years_later_are_bentleys_programming_pearls/)
https://www.reddit.com/r/programming/comments/1n96ftn/40_years_later_are_bentleys_programming_pearls/
submitted by /u/GarethX (https://www.reddit.com/user/GarethX)
[link] (https://shkspr.mobi/blog/2025/09/40-years-later-are-bentleys-programming-pearls-still-relevant/) [comments] (https://www.reddit.com/r/programming/comments/1n96ftn/40_years_later_are_bentleys_programming_pearls/)
Cryptography can't be stopped
https://www.reddit.com/r/programming/comments/1n97ltf/cryptography_cant_be_stopped/
submitted by /u/Oakchris1955 (https://www.reddit.com/user/Oakchris1955)
[link] (https://gist.github.com/Oakchris1955/8a258063d2b9263d51bb960306b5827f) [comments] (https://www.reddit.com/r/programming/comments/1n97ltf/cryptography_cant_be_stopped/)
https://www.reddit.com/r/programming/comments/1n97ltf/cryptography_cant_be_stopped/
submitted by /u/Oakchris1955 (https://www.reddit.com/user/Oakchris1955)
[link] (https://gist.github.com/Oakchris1955/8a258063d2b9263d51bb960306b5827f) [comments] (https://www.reddit.com/r/programming/comments/1n97ltf/cryptography_cant_be_stopped/)
I Ditched Docker for Podman
https://www.reddit.com/r/programming/comments/1n97mbo/i_ditched_docker_for_podman/
submitted by /u/ChiliPepperHott (https://www.reddit.com/user/ChiliPepperHott)
[link] (https://codesmash.dev/why-i-ditched-docker-for-podman-and-you-should-too) [comments] (https://www.reddit.com/r/programming/comments/1n97mbo/i_ditched_docker_for_podman/)
https://www.reddit.com/r/programming/comments/1n97mbo/i_ditched_docker_for_podman/
submitted by /u/ChiliPepperHott (https://www.reddit.com/user/ChiliPepperHott)
[link] (https://codesmash.dev/why-i-ditched-docker-for-podman-and-you-should-too) [comments] (https://www.reddit.com/r/programming/comments/1n97mbo/i_ditched_docker_for_podman/)
Protobuffers Are Wrong
https://www.reddit.com/r/programming/comments/1n9af5c/protobuffers_are_wrong/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://reasonablypolymorphic.com/blog/protos-are-wrong/) [comments] (https://www.reddit.com/r/programming/comments/1n9af5c/protobuffers_are_wrong/)
https://www.reddit.com/r/programming/comments/1n9af5c/protobuffers_are_wrong/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://reasonablypolymorphic.com/blog/protos-are-wrong/) [comments] (https://www.reddit.com/r/programming/comments/1n9af5c/protobuffers_are_wrong/)
Data Modeling Guide for Real-Time Analytics with ClickHouse
https://www.reddit.com/r/programming/comments/1n9afie/data_modeling_guide_for_realtime_analytics_with/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.ssp.sh/blog/practical-data-modeling-clickhouse/) [comments] (https://www.reddit.com/r/programming/comments/1n9afie/data_modeling_guide_for_realtime_analytics_with/)
https://www.reddit.com/r/programming/comments/1n9afie/data_modeling_guide_for_realtime_analytics_with/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.ssp.sh/blog/practical-data-modeling-clickhouse/) [comments] (https://www.reddit.com/r/programming/comments/1n9afie/data_modeling_guide_for_realtime_analytics_with/)