Bob is a lightweight declarative transpiler that converts bob DSL into SQL code for SQLite, MariaDB, and PostgreSQL
https://www.reddit.com/r/programming/comments/1mvra39/bob_is_a_lightweight_declarative_transpiler_that/
<!-- SC_OFF -->Hi, I’d like to introduce a small tool I’ve been working on.
It’s a language of my own called bob, a DSL that aims to simplify the creation of SQL queries and also allows you to generate SQL compatible with different distributions like MariaDB, PostgreSQL, and SQLite from the same base. Although there’s already a small usable version, there’s still a long way to go, but I’d love to hear your thoughts. The idea is to create something like a wrapper in different programming languages, enabling you to build something like a horizontal ORM, where the same simple bob syntax can be used in whichever environment you prefer. Feel free to visit the page to check out the project and give it a try! <!-- SC_ON --> submitted by /u/salvadorsru (https://www.reddit.com/user/salvadorsru)
[link] (https://bob.salvadorsru.com/) [comments] (https://www.reddit.com/r/programming/comments/1mvra39/bob_is_a_lightweight_declarative_transpiler_that/)
https://www.reddit.com/r/programming/comments/1mvra39/bob_is_a_lightweight_declarative_transpiler_that/
<!-- SC_OFF -->Hi, I’d like to introduce a small tool I’ve been working on.
It’s a language of my own called bob, a DSL that aims to simplify the creation of SQL queries and also allows you to generate SQL compatible with different distributions like MariaDB, PostgreSQL, and SQLite from the same base. Although there’s already a small usable version, there’s still a long way to go, but I’d love to hear your thoughts. The idea is to create something like a wrapper in different programming languages, enabling you to build something like a horizontal ORM, where the same simple bob syntax can be used in whichever environment you prefer. Feel free to visit the page to check out the project and give it a try! <!-- SC_ON --> submitted by /u/salvadorsru (https://www.reddit.com/user/salvadorsru)
[link] (https://bob.salvadorsru.com/) [comments] (https://www.reddit.com/r/programming/comments/1mvra39/bob_is_a_lightweight_declarative_transpiler_that/)
how to decide on the sequence of computable numbers
https://www.reddit.com/r/programming/comments/1mvz3yj/how_to_decide_on_the_sequence_of_computable/
submitted by /u/fire_in_the_theater (https://www.reddit.com/user/fire_in_the_theater)
[link] (https://www.academia.edu/143540657/re_turings_diagonals_how_to_decide_on_the_sequence_of_computable_numbers) [comments] (https://www.reddit.com/r/programming/comments/1mvz3yj/how_to_decide_on_the_sequence_of_computable/)
https://www.reddit.com/r/programming/comments/1mvz3yj/how_to_decide_on_the_sequence_of_computable/
submitted by /u/fire_in_the_theater (https://www.reddit.com/user/fire_in_the_theater)
[link] (https://www.academia.edu/143540657/re_turings_diagonals_how_to_decide_on_the_sequence_of_computable_numbers) [comments] (https://www.reddit.com/r/programming/comments/1mvz3yj/how_to_decide_on_the_sequence_of_computable/)
Dynamo, DynamoDB, and Aurora DSQL
https://www.reddit.com/r/programming/comments/1mw3gso/dynamo_dynamodb_and_aurora_dsql/
submitted by /u/PragmaticFive (https://www.reddit.com/user/PragmaticFive)
[link] (https://brooker.co.za/blog/2025/08/15/dynamo-dynamodb-dsql.html) [comments] (https://www.reddit.com/r/programming/comments/1mw3gso/dynamo_dynamodb_and_aurora_dsql/)
https://www.reddit.com/r/programming/comments/1mw3gso/dynamo_dynamodb_and_aurora_dsql/
submitted by /u/PragmaticFive (https://www.reddit.com/user/PragmaticFive)
[link] (https://brooker.co.za/blog/2025/08/15/dynamo-dynamodb-dsql.html) [comments] (https://www.reddit.com/r/programming/comments/1mw3gso/dynamo_dynamodb_and_aurora_dsql/)
Code Review Can Be Better
https://www.reddit.com/r/programming/comments/1mw3kd8/code_review_can_be_better/
submitted by /u/Xadartt (https://www.reddit.com/user/Xadartt)
[link] (https://tigerbeetle.com/blog/2025-08-04-code-review-can-be-better/) [comments] (https://www.reddit.com/r/programming/comments/1mw3kd8/code_review_can_be_better/)
https://www.reddit.com/r/programming/comments/1mw3kd8/code_review_can_be_better/
submitted by /u/Xadartt (https://www.reddit.com/user/Xadartt)
[link] (https://tigerbeetle.com/blog/2025-08-04-code-review-can-be-better/) [comments] (https://www.reddit.com/r/programming/comments/1mw3kd8/code_review_can_be_better/)
The Algorithm Behind Rate Limiting (Token Bucket in 100 Seconds)
https://www.reddit.com/r/programming/comments/1mw5a85/the_algorithm_behind_rate_limiting_token_bucket/
submitted by /u/xplodivity (https://www.reddit.com/user/xplodivity)
[link] (https://www.youtube.com/watch?v=my5dGtncxfw) [comments] (https://www.reddit.com/r/programming/comments/1mw5a85/the_algorithm_behind_rate_limiting_token_bucket/)
https://www.reddit.com/r/programming/comments/1mw5a85/the_algorithm_behind_rate_limiting_token_bucket/
submitted by /u/xplodivity (https://www.reddit.com/user/xplodivity)
[link] (https://www.youtube.com/watch?v=my5dGtncxfw) [comments] (https://www.reddit.com/r/programming/comments/1mw5a85/the_algorithm_behind_rate_limiting_token_bucket/)
Need help to find the right service.
https://www.reddit.com/r/programming/comments/1mw5dl5/need_help_to_find_the_right_service/
<!-- SC_OFF -->Hi. I have a raw sketch for an app i want to have developed, so far its been me and chatgpt ve rsion 5. i test and comment, and the coding gets done by the ai. https://moti90.github.io/ibisimulator/ But ive started encountering problems now, i run a web2view environment, and have limited experience. RIght now i have an index.html file with most of the code in it. what could possible be the way for me to proceed? my preference would be an ai that would be able to read,edit and write the code to that one file. and give me a download? then i can open that file, and test and comment <!-- SC_ON --> submitted by /u/MachineMoti (https://www.reddit.com/user/MachineMoti)
[link] (https://moti90.github.io/ibisimulator/) [comments] (https://www.reddit.com/r/programming/comments/1mw5dl5/need_help_to_find_the_right_service/)
https://www.reddit.com/r/programming/comments/1mw5dl5/need_help_to_find_the_right_service/
<!-- SC_OFF -->Hi. I have a raw sketch for an app i want to have developed, so far its been me and chatgpt ve rsion 5. i test and comment, and the coding gets done by the ai. https://moti90.github.io/ibisimulator/ But ive started encountering problems now, i run a web2view environment, and have limited experience. RIght now i have an index.html file with most of the code in it. what could possible be the way for me to proceed? my preference would be an ai that would be able to read,edit and write the code to that one file. and give me a download? then i can open that file, and test and comment <!-- SC_ON --> submitted by /u/MachineMoti (https://www.reddit.com/user/MachineMoti)
[link] (https://moti90.github.io/ibisimulator/) [comments] (https://www.reddit.com/r/programming/comments/1mw5dl5/need_help_to_find_the_right_service/)
OPA maintainers and Styra employees hired by Apple
https://www.reddit.com/r/programming/comments/1mw9x7q/opa_maintainers_and_styra_employees_hired_by_apple/
<!-- SC_OFF -->We’re excited to see such great news in the industry. Congrats to the Styra team! And here is our take (https://www.cerbos.dev/blog/cerbos-vs-opa) [blog post] on how our solution, Cerbos, is compared to OPA. <!-- SC_ON --> submitted by /u/West-Chard-1474 (https://www.reddit.com/user/West-Chard-1474)
[link] (https://blog.openpolicyagent.org/note-from-teemu-tim-and-torin-to-the-open-policy-agent-community-2dbbfe494371) [comments] (https://www.reddit.com/r/programming/comments/1mw9x7q/opa_maintainers_and_styra_employees_hired_by_apple/)
https://www.reddit.com/r/programming/comments/1mw9x7q/opa_maintainers_and_styra_employees_hired_by_apple/
<!-- SC_OFF -->We’re excited to see such great news in the industry. Congrats to the Styra team! And here is our take (https://www.cerbos.dev/blog/cerbos-vs-opa) [blog post] on how our solution, Cerbos, is compared to OPA. <!-- SC_ON --> submitted by /u/West-Chard-1474 (https://www.reddit.com/user/West-Chard-1474)
[link] (https://blog.openpolicyagent.org/note-from-teemu-tim-and-torin-to-the-open-policy-agent-community-2dbbfe494371) [comments] (https://www.reddit.com/r/programming/comments/1mw9x7q/opa_maintainers_and_styra_employees_hired_by_apple/)
When AI optimizations miss the mark: A case study in array shape calculation
https://www.reddit.com/r/programming/comments/1mw9ztz/when_ai_optimizations_miss_the_mark_a_case_study/
submitted by /u/j1897OS (https://www.reddit.com/user/j1897OS)
[link] (https://questdb.com/blog/when-ai-optimizations-miss-the-mark/) [comments] (https://www.reddit.com/r/programming/comments/1mw9ztz/when_ai_optimizations_miss_the_mark_a_case_study/)
https://www.reddit.com/r/programming/comments/1mw9ztz/when_ai_optimizations_miss_the_mark_a_case_study/
submitted by /u/j1897OS (https://www.reddit.com/user/j1897OS)
[link] (https://questdb.com/blog/when-ai-optimizations-miss-the-mark/) [comments] (https://www.reddit.com/r/programming/comments/1mw9ztz/when_ai_optimizations_miss_the_mark_a_case_study/)
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis
https://www.reddit.com/r/programming/comments/1mwaw1l/how_to_get_people_excited_about_functional/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/0SpsIgtOCbA) [comments] (https://www.reddit.com/r/programming/comments/1mwaw1l/how_to_get_people_excited_about_functional/)
https://www.reddit.com/r/programming/comments/1mwaw1l/how_to_get_people_excited_about_functional/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://youtu.be/0SpsIgtOCbA) [comments] (https://www.reddit.com/r/programming/comments/1mwaw1l/how_to_get_people_excited_about_functional/)
Golang Markdown Lib - First OSS project - Feedback Welcome!
https://www.reddit.com/r/programming/comments/1mwbali/golang_markdown_lib_first_oss_project_feedback/
<!-- SC_OFF -->I made a markdown library for round trip rendering and parsing markdown.
This is my first open source project, so I would love feedback from anyone who knows what they are doing, and also contributions would be very appreciated.
I'm aware there are markdown libs that already exist, so I don't mean to take anything away from them. I wanted a lightweight interface for less complicated tasks, and I appreciate the api for building markdown. I wanted to be able to quickly make files like CHANGELOG and tickets like you would see in a github/gitlab board but for my personal projects. Also be able to edit them after creation (like check a checkbox), or updating variables across the files to quickly update a large set (think change a company name reference). This then escalated because I wanted to make a robust generalised library, and I also found that markdown is pretty finnicky. This is going to work great for my usecase, I have a decent test suite (though there are still some rough edges) but I haven't validated it against common mark. I would totally support anyone else if they have any usecase, I can give quick insight to what the lib does etc. Also, if there are any issues found please submit it on github! <!-- SC_ON --> submitted by /u/Temporary-Buy-7562 (https://www.reddit.com/user/Temporary-Buy-7562)
[link] (https://github.com/race-conditioned/go-md) [comments] (https://www.reddit.com/r/programming/comments/1mwbali/golang_markdown_lib_first_oss_project_feedback/)
https://www.reddit.com/r/programming/comments/1mwbali/golang_markdown_lib_first_oss_project_feedback/
<!-- SC_OFF -->I made a markdown library for round trip rendering and parsing markdown.
This is my first open source project, so I would love feedback from anyone who knows what they are doing, and also contributions would be very appreciated.
I'm aware there are markdown libs that already exist, so I don't mean to take anything away from them. I wanted a lightweight interface for less complicated tasks, and I appreciate the api for building markdown. I wanted to be able to quickly make files like CHANGELOG and tickets like you would see in a github/gitlab board but for my personal projects. Also be able to edit them after creation (like check a checkbox), or updating variables across the files to quickly update a large set (think change a company name reference). This then escalated because I wanted to make a robust generalised library, and I also found that markdown is pretty finnicky. This is going to work great for my usecase, I have a decent test suite (though there are still some rough edges) but I haven't validated it against common mark. I would totally support anyone else if they have any usecase, I can give quick insight to what the lib does etc. Also, if there are any issues found please submit it on github! <!-- SC_ON --> submitted by /u/Temporary-Buy-7562 (https://www.reddit.com/user/Temporary-Buy-7562)
[link] (https://github.com/race-conditioned/go-md) [comments] (https://www.reddit.com/r/programming/comments/1mwbali/golang_markdown_lib_first_oss_project_feedback/)
The Death of the Page Cache? From mmap() to NVMe-ZNS and User-Space File Systems
https://www.reddit.com/r/programming/comments/1mwey6c/the_death_of_the_page_cache_from_mmap_to_nvmezns/
<!-- SC_OFF -->Discussion around the decline of the Linux page cache in modern databases and storage systems <!-- SC_ON --> submitted by /u/mqian41 (https://www.reddit.com/user/mqian41)
[link] (https://codemia.io/blog/path/The-Death-of-the-Page-Cache-From-mmap-to-NVMe-ZNS-and-User-Space-File-Systems) [comments] (https://www.reddit.com/r/programming/comments/1mwey6c/the_death_of_the_page_cache_from_mmap_to_nvmezns/)
https://www.reddit.com/r/programming/comments/1mwey6c/the_death_of_the_page_cache_from_mmap_to_nvmezns/
<!-- SC_OFF -->Discussion around the decline of the Linux page cache in modern databases and storage systems <!-- SC_ON --> submitted by /u/mqian41 (https://www.reddit.com/user/mqian41)
[link] (https://codemia.io/blog/path/The-Death-of-the-Page-Cache-From-mmap-to-NVMe-ZNS-and-User-Space-File-Systems) [comments] (https://www.reddit.com/r/programming/comments/1mwey6c/the_death_of_the_page_cache_from_mmap_to_nvmezns/)
Let's make a game! 309: Telling companions to flee
https://www.reddit.com/r/programming/comments/1mwfbx4/lets_make_a_game_309_telling_companions_to_flee/
submitted by /u/apeloverage (https://www.reddit.com/user/apeloverage)
[link] (https://www.youtube.com/watch?v=rhkU58kEckk) [comments] (https://www.reddit.com/r/programming/comments/1mwfbx4/lets_make_a_game_309_telling_companions_to_flee/)
https://www.reddit.com/r/programming/comments/1mwfbx4/lets_make_a_game_309_telling_companions_to_flee/
submitted by /u/apeloverage (https://www.reddit.com/user/apeloverage)
[link] (https://www.youtube.com/watch?v=rhkU58kEckk) [comments] (https://www.reddit.com/r/programming/comments/1mwfbx4/lets_make_a_game_309_telling_companions_to_flee/)
How I Design Software Systems From Scratch?
https://www.reddit.com/r/programming/comments/1mwhtps/how_i_design_software_systems_from_scratch/
submitted by /u/Historical_Wing_9573 (https://www.reddit.com/user/Historical_Wing_9573)
[link] (https://youtu.be/8W7znrWKwRY?si=N-hIKXi5Y2svyK1o) [comments] (https://www.reddit.com/r/programming/comments/1mwhtps/how_i_design_software_systems_from_scratch/)
https://www.reddit.com/r/programming/comments/1mwhtps/how_i_design_software_systems_from_scratch/
submitted by /u/Historical_Wing_9573 (https://www.reddit.com/user/Historical_Wing_9573)
[link] (https://youtu.be/8W7znrWKwRY?si=N-hIKXi5Y2svyK1o) [comments] (https://www.reddit.com/r/programming/comments/1mwhtps/how_i_design_software_systems_from_scratch/)
Why Making a Debugger is So Hard - The Standup (ft. Ryan Fleury)
https://www.reddit.com/r/programming/comments/1mwjar3/why_making_a_debugger_is_so_hard_the_standup_ft/
submitted by /u/segv (https://www.reddit.com/user/segv)
[link] (https://www.youtube.com/watch?v=O-3gEsfEm0g) [comments] (https://www.reddit.com/r/programming/comments/1mwjar3/why_making_a_debugger_is_so_hard_the_standup_ft/)
https://www.reddit.com/r/programming/comments/1mwjar3/why_making_a_debugger_is_so_hard_the_standup_ft/
submitted by /u/segv (https://www.reddit.com/user/segv)
[link] (https://www.youtube.com/watch?v=O-3gEsfEm0g) [comments] (https://www.reddit.com/r/programming/comments/1mwjar3/why_making_a_debugger_is_so_hard_the_standup_ft/)
d4d4
https://www.reddit.com/r/programming/comments/1mwne3r/d4d4/
submitted by /u/iamkeyur (https://www.reddit.com/user/iamkeyur)
[link] (https://www.nmichaels.org/musings/d4d4/d4d4/) [comments] (https://www.reddit.com/r/programming/comments/1mwne3r/d4d4/)
https://www.reddit.com/r/programming/comments/1mwne3r/d4d4/
submitted by /u/iamkeyur (https://www.reddit.com/user/iamkeyur)
[link] (https://www.nmichaels.org/musings/d4d4/d4d4/) [comments] (https://www.reddit.com/r/programming/comments/1mwne3r/d4d4/)
Tsinghua University Breaks a 65-Year Limit: A Faster Alternative to Dijkstra’s Algorithm
https://www.reddit.com/r/programming/comments/1mwxdoz/tsinghua_university_breaks_a_65year_limit_a/
submitted by /u/waozen (https://www.reddit.com/user/waozen)
[link] (https://medium.com/@vverma4313/tsinghua-university-breaks-a-65-year-limit-a-faster-alternative-to-dijkstras-algorithm-e2f42a608369) [comments] (https://www.reddit.com/r/programming/comments/1mwxdoz/tsinghua_university_breaks_a_65year_limit_a/)
https://www.reddit.com/r/programming/comments/1mwxdoz/tsinghua_university_breaks_a_65year_limit_a/
submitted by /u/waozen (https://www.reddit.com/user/waozen)
[link] (https://medium.com/@vverma4313/tsinghua-university-breaks-a-65-year-limit-a-faster-alternative-to-dijkstras-algorithm-e2f42a608369) [comments] (https://www.reddit.com/r/programming/comments/1mwxdoz/tsinghua_university_breaks_a_65year_limit_a/)
Everything You Need to Know About the Latest in C#
https://www.reddit.com/r/programming/comments/1mwxpb4/everything_you_need_to_know_about_the_latest_in_c/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://www.youtube.com/watch?v=jRJa83DeOd8) [comments] (https://www.reddit.com/r/programming/comments/1mwxpb4/everything_you_need_to_know_about_the_latest_in_c/)
https://www.reddit.com/r/programming/comments/1mwxpb4/everything_you_need_to_know_about_the_latest_in_c/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://www.youtube.com/watch?v=jRJa83DeOd8) [comments] (https://www.reddit.com/r/programming/comments/1mwxpb4/everything_you_need_to_know_about_the_latest_in_c/)
DeepSeek-V3.1 Release
https://www.reddit.com/r/programming/comments/1mwzpng/deepseekv31_release/
submitted by /u/JadeLuxe (https://www.reddit.com/user/JadeLuxe)
[link] (https://api-docs.deepseek.com/news/news250821) [comments] (https://www.reddit.com/r/programming/comments/1mwzpng/deepseekv31_release/)
https://www.reddit.com/r/programming/comments/1mwzpng/deepseekv31_release/
submitted by /u/JadeLuxe (https://www.reddit.com/user/JadeLuxe)
[link] (https://api-docs.deepseek.com/news/news250821) [comments] (https://www.reddit.com/r/programming/comments/1mwzpng/deepseekv31_release/)
Redis streams: a different take on event-driven
https://www.reddit.com/r/programming/comments/1mx06nl/redis_streams_a_different_take_on_eventdriven/
submitted by /u/der_gopher (https://www.reddit.com/user/der_gopher)
[link] (https://packagemain.tech/p/redis-streams-event-driven) [comments] (https://www.reddit.com/r/programming/comments/1mx06nl/redis_streams_a_different_take_on_eventdriven/)
https://www.reddit.com/r/programming/comments/1mx06nl/redis_streams_a_different_take_on_eventdriven/
submitted by /u/der_gopher (https://www.reddit.com/user/der_gopher)
[link] (https://packagemain.tech/p/redis-streams-event-driven) [comments] (https://www.reddit.com/r/programming/comments/1mx06nl/redis_streams_a_different_take_on_eventdriven/)
It’s Not Wrong that "🤦🏼♂️".length == 7
https://www.reddit.com/r/programming/comments/1mx0t0g/its_not_wrong_that_length_7/
submitted by /u/MasterRelease (https://www.reddit.com/user/MasterRelease)
[link] (https://hsivonen.fi/string-length/) [comments] (https://www.reddit.com/r/programming/comments/1mx0t0g/its_not_wrong_that_length_7/)
https://www.reddit.com/r/programming/comments/1mx0t0g/its_not_wrong_that_length_7/
submitted by /u/MasterRelease (https://www.reddit.com/user/MasterRelease)
[link] (https://hsivonen.fi/string-length/) [comments] (https://www.reddit.com/r/programming/comments/1mx0t0g/its_not_wrong_that_length_7/)
Simplifying and Isolating Failure-Inducing Input: A Retrospective on Delta Debugging
https://www.reddit.com/r/programming/comments/1mx14xh/simplifying_and_isolating_failureinducing_input_a/
submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (https://dx.doi.org/10.1109/TSE.2025.3537167) [comments] (https://www.reddit.com/r/programming/comments/1mx14xh/simplifying_and_isolating_failureinducing_input_a/)
https://www.reddit.com/r/programming/comments/1mx14xh/simplifying_and_isolating_failureinducing_input_a/
submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (https://dx.doi.org/10.1109/TSE.2025.3537167) [comments] (https://www.reddit.com/r/programming/comments/1mx14xh/simplifying_and_isolating_failureinducing_input_a/)