What if everything was "Async", but nothing needed "Await"? -- Automatic Concurrency in Par
https://www.reddit.com/r/programming/comments/1p0goii/what_if_everything_was_async_but_nothing_needed/
<!-- SC_OFF -->I made a new video, showcasing and explaining the "automatic concurrency" in the Par programming language (https://github.com/faiface/par-lang)! I think this is the first time I actually manage to convey this unusual, but absolutely foundational feature of my language. In the video, I walk through a "concurrent downloader" application, visualize how it's put together, and explain how Par's concurrent evaluation makes it all work. I'm very curious to hear what you think! And if you don't know, Par is an innovative (and WIP) programming language with linear types, duality, automatic concurrency, and more. Yesterday's discussion in r/ProgrammingLanguages (https://www.reddit.com/r/ProgrammingLanguages): https://www.reddit.com/r/ProgrammingLanguages/comments/1ozlvuw/what_if_everything_was_async_but_nothing_needed/ <!-- SC_ON --> submitted by /u/faiface (https://www.reddit.com/user/faiface)
[link] (https://youtu.be/tpICs7uG3n8) [comments] (https://www.reddit.com/r/programming/comments/1p0goii/what_if_everything_was_async_but_nothing_needed/)
https://www.reddit.com/r/programming/comments/1p0goii/what_if_everything_was_async_but_nothing_needed/
<!-- SC_OFF -->I made a new video, showcasing and explaining the "automatic concurrency" in the Par programming language (https://github.com/faiface/par-lang)! I think this is the first time I actually manage to convey this unusual, but absolutely foundational feature of my language. In the video, I walk through a "concurrent downloader" application, visualize how it's put together, and explain how Par's concurrent evaluation makes it all work. I'm very curious to hear what you think! And if you don't know, Par is an innovative (and WIP) programming language with linear types, duality, automatic concurrency, and more. Yesterday's discussion in r/ProgrammingLanguages (https://www.reddit.com/r/ProgrammingLanguages): https://www.reddit.com/r/ProgrammingLanguages/comments/1ozlvuw/what_if_everything_was_async_but_nothing_needed/ <!-- SC_ON --> submitted by /u/faiface (https://www.reddit.com/user/faiface)
[link] (https://youtu.be/tpICs7uG3n8) [comments] (https://www.reddit.com/r/programming/comments/1p0goii/what_if_everything_was_async_but_nothing_needed/)
Gemini 3 was released minutes ago
https://www.reddit.com/r/programming/comments/1p0h78i/gemini_3_was_released_minutes_ago/
submitted by /u/Frequent-Football984 (https://www.reddit.com/user/Frequent-Football984)
[link] (https://blog.google/products/gemini/gemini-3/?utm_source=tw&utm_medium=social&utm_campaign=nfg&utm_content=&utm_term=#gemini-3-deep-think) [comments] (https://www.reddit.com/r/programming/comments/1p0h78i/gemini_3_was_released_minutes_ago/)
https://www.reddit.com/r/programming/comments/1p0h78i/gemini_3_was_released_minutes_ago/
submitted by /u/Frequent-Football984 (https://www.reddit.com/user/Frequent-Football984)
[link] (https://blog.google/products/gemini/gemini-3/?utm_source=tw&utm_medium=social&utm_campaign=nfg&utm_content=&utm_term=#gemini-3-deep-think) [comments] (https://www.reddit.com/r/programming/comments/1p0h78i/gemini_3_was_released_minutes_ago/)
Mathematics and Computation [pdf]
https://www.reddit.com/r/programming/comments/1p0lbbp/mathematics_and_computation_pdf/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.math.ias.edu/files/Book-online-Aug0619.pdf) [comments] (https://www.reddit.com/r/programming/comments/1p0lbbp/mathematics_and_computation_pdf/)
https://www.reddit.com/r/programming/comments/1p0lbbp/mathematics_and_computation_pdf/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.math.ias.edu/files/Book-online-Aug0619.pdf) [comments] (https://www.reddit.com/r/programming/comments/1p0lbbp/mathematics_and_computation_pdf/)
Experiment: Making TypeScript Immutable-by-Default
https://www.reddit.com/r/programming/comments/1p0lbj8/experiment_making_typenoscript_immutablebydefault/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://evanhahn.com/typenoscript-immutability-experiment/) [comments] (https://www.reddit.com/r/programming/comments/1p0lbj8/experiment_making_typenoscript_immutablebydefault/)
https://www.reddit.com/r/programming/comments/1p0lbj8/experiment_making_typenoscript_immutablebydefault/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://evanhahn.com/typenoscript-immutability-experiment/) [comments] (https://www.reddit.com/r/programming/comments/1p0lbj8/experiment_making_typenoscript_immutablebydefault/)
When Reverse Proxies Surprise You: Hard Lessons from Operating at Scale
https://www.reddit.com/r/programming/comments/1p0le4o/when_reverse_proxies_surprise_you_hard_lessons/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.infoq.com/articles/scaling-reverse-proxies/) [comments] (https://www.reddit.com/r/programming/comments/1p0le4o/when_reverse_proxies_surprise_you_hard_lessons/)
https://www.reddit.com/r/programming/comments/1p0le4o/when_reverse_proxies_surprise_you_hard_lessons/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.infoq.com/articles/scaling-reverse-proxies/) [comments] (https://www.reddit.com/r/programming/comments/1p0le4o/when_reverse_proxies_surprise_you_hard_lessons/)
Inside Rust's std and parking_lot mutexes - who wins?
https://www.reddit.com/r/programming/comments/1p0lff9/inside_rusts_std_and_parking_lot_mutexes_who_wins/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.cuongle.dev/p/inside-rusts-std-and-parking-lot-mutexes-who-win) [comments] (https://www.reddit.com/r/programming/comments/1p0lff9/inside_rusts_std_and_parking_lot_mutexes_who_wins/)
https://www.reddit.com/r/programming/comments/1p0lff9/inside_rusts_std_and_parking_lot_mutexes_who_wins/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.cuongle.dev/p/inside-rusts-std-and-parking-lot-mutexes-who-win) [comments] (https://www.reddit.com/r/programming/comments/1p0lff9/inside_rusts_std_and_parking_lot_mutexes_who_wins/)
Digital Signals Theory
https://www.reddit.com/r/programming/comments/1p0lgbv/digital_signals_theory/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://brianmcfee.net/dstbook-site/content/intro.html) [comments] (https://www.reddit.com/r/programming/comments/1p0lgbv/digital_signals_theory/)
https://www.reddit.com/r/programming/comments/1p0lgbv/digital_signals_theory/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://brianmcfee.net/dstbook-site/content/intro.html) [comments] (https://www.reddit.com/r/programming/comments/1p0lgbv/digital_signals_theory/)
Programming a Program-Oriented-Language
https://www.reddit.com/r/programming/comments/1p0lgeo/programming_a_programorientedlanguage/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.btbytes.com/docs/POL.pdf) [comments] (https://www.reddit.com/r/programming/comments/1p0lgeo/programming_a_programorientedlanguage/)
https://www.reddit.com/r/programming/comments/1p0lgeo/programming_a_programorientedlanguage/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.btbytes.com/docs/POL.pdf) [comments] (https://www.reddit.com/r/programming/comments/1p0lgeo/programming_a_programorientedlanguage/)
A DST primer for unit test maxxers
https://www.reddit.com/r/programming/comments/1p0lghk/a_dst_primer_for_unit_test_maxxers/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.amplifypartners.com/blog-posts/a-dst-primer-for-unit-test-maxxers) [comments] (https://www.reddit.com/r/programming/comments/1p0lghk/a_dst_primer_for_unit_test_maxxers/)
https://www.reddit.com/r/programming/comments/1p0lghk/a_dst_primer_for_unit_test_maxxers/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.amplifypartners.com/blog-posts/a-dst-primer-for-unit-test-maxxers) [comments] (https://www.reddit.com/r/programming/comments/1p0lghk/a_dst_primer_for_unit_test_maxxers/)
On Small Functions (and Haskell)
https://www.reddit.com/r/programming/comments/1p0lgkg/on_small_functions_and_haskell/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://xlii.space/eng/small-functions/) [comments] (https://www.reddit.com/r/programming/comments/1p0lgkg/on_small_functions_and_haskell/)
https://www.reddit.com/r/programming/comments/1p0lgkg/on_small_functions_and_haskell/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://xlii.space/eng/small-functions/) [comments] (https://www.reddit.com/r/programming/comments/1p0lgkg/on_small_functions_and_haskell/)
Rank-balanced trees
https://www.reddit.com/r/programming/comments/1p0lgu3/rankbalanced_trees/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://sidsen.azurewebsites.net/papers/rb-trees-talg.pdf) [comments] (https://www.reddit.com/r/programming/comments/1p0lgu3/rankbalanced_trees/)
https://www.reddit.com/r/programming/comments/1p0lgu3/rankbalanced_trees/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://sidsen.azurewebsites.net/papers/rb-trees-talg.pdf) [comments] (https://www.reddit.com/r/programming/comments/1p0lgu3/rankbalanced_trees/)
UV and Ruff
https://www.reddit.com/r/programming/comments/1p14w4a/uv_and_ruff/
submitted by /u/rag1987 (https://www.reddit.com/user/rag1987)
[link] (https://www.devtoolsacademy.com/blog/uv-and-ruff-turbocharging-python-development-with-rust-powered-tools/) [comments] (https://www.reddit.com/r/programming/comments/1p14w4a/uv_and_ruff/)
https://www.reddit.com/r/programming/comments/1p14w4a/uv_and_ruff/
submitted by /u/rag1987 (https://www.reddit.com/user/rag1987)
[link] (https://www.devtoolsacademy.com/blog/uv-and-ruff-turbocharging-python-development-with-rust-powered-tools/) [comments] (https://www.reddit.com/r/programming/comments/1p14w4a/uv_and_ruff/)
Introducing the pgEdge Control Plane, a declarative 100% open-source API for multi-region Postgres management
https://www.reddit.com/r/programming/comments/1p1l0gf/introducing_the_pgedge_control_plane_a/
submitted by /u/pgEdge_Postgres (https://www.reddit.com/user/pgEdge_Postgres)
[link] (https://www.pgedge.com/blog/introducing-the-pgedge-control-plane-high-availability-postgres-simplified) [comments] (https://www.reddit.com/r/programming/comments/1p1l0gf/introducing_the_pgedge_control_plane_a/)
https://www.reddit.com/r/programming/comments/1p1l0gf/introducing_the_pgedge_control_plane_a/
submitted by /u/pgEdge_Postgres (https://www.reddit.com/user/pgEdge_Postgres)
[link] (https://www.pgedge.com/blog/introducing-the-pgedge-control-plane-high-availability-postgres-simplified) [comments] (https://www.reddit.com/r/programming/comments/1p1l0gf/introducing_the_pgedge_control_plane_a/)
Being Gullible About User Feedback Can Hurt UX
https://www.reddit.com/r/programming/comments/1p1dexs/being_gullible_about_user_feedback_can_hurt_ux/
<!-- SC_OFF -->A reflection on how easily teams can be misled by user feedback, especially when comments hide embarrassment or uncertainty, and how careful observation reveals a truth that words alone never fully show <!-- SC_ON --> submitted by /u/gamunu (https://www.reddit.com/user/gamunu)
[link] (https://fastcode.io/2025/11/19/being-gullible-about-user-feedback-can-hurt-ux/) [comments] (https://www.reddit.com/r/programming/comments/1p1dexs/being_gullible_about_user_feedback_can_hurt_ux/)
https://www.reddit.com/r/programming/comments/1p1dexs/being_gullible_about_user_feedback_can_hurt_ux/
<!-- SC_OFF -->A reflection on how easily teams can be misled by user feedback, especially when comments hide embarrassment or uncertainty, and how careful observation reveals a truth that words alone never fully show <!-- SC_ON --> submitted by /u/gamunu (https://www.reddit.com/user/gamunu)
[link] (https://fastcode.io/2025/11/19/being-gullible-about-user-feedback-can-hurt-ux/) [comments] (https://www.reddit.com/r/programming/comments/1p1dexs/being_gullible_about_user_feedback_can_hurt_ux/)
A breakdown of all OAuth 2.0 authorization flows (Server-side, PKCE, Device Code, Client Credentials)
https://www.reddit.com/r/programming/comments/1p1kplp/a_breakdown_of_all_oauth_20_authorization_flows/
<!-- SC_OFF -->I put together a practical deep-dive explaining the major OAuth 2.0 flows with diagrams: Authorization Code Flow (server-side apps) PKCE Flow (SPAs + mobile apps) Client Credentials (machine-to-machine) Device Authorization Flow (TVs, consoles, IoT) The goal was to make it easier for developers to know which flow to use for which type of app and why these flows exist at all. <!-- SC_ON --> submitted by /u/sshetty03 (https://www.reddit.com/user/sshetty03)
[link] (https://medium.com/stackademic/a-developers-guide-to-oauth-2-0-workflows-web-mobile-spa-machine-to-machine-and-device-flows-2651b6479e17?sk=b89d9953f37c87573c5f579fd0b6af08) [comments] (https://www.reddit.com/r/programming/comments/1p1kplp/a_breakdown_of_all_oauth_20_authorization_flows/)
https://www.reddit.com/r/programming/comments/1p1kplp/a_breakdown_of_all_oauth_20_authorization_flows/
<!-- SC_OFF -->I put together a practical deep-dive explaining the major OAuth 2.0 flows with diagrams: Authorization Code Flow (server-side apps) PKCE Flow (SPAs + mobile apps) Client Credentials (machine-to-machine) Device Authorization Flow (TVs, consoles, IoT) The goal was to make it easier for developers to know which flow to use for which type of app and why these flows exist at all. <!-- SC_ON --> submitted by /u/sshetty03 (https://www.reddit.com/user/sshetty03)
[link] (https://medium.com/stackademic/a-developers-guide-to-oauth-2-0-workflows-web-mobile-spa-machine-to-machine-and-device-flows-2651b6479e17?sk=b89d9953f37c87573c5f579fd0b6af08) [comments] (https://www.reddit.com/r/programming/comments/1p1kplp/a_breakdown_of_all_oauth_20_authorization_flows/)
Build Your Own Key-Value Storage Engine—Week 2
https://www.reddit.com/r/programming/comments/1p19vbw/build_your_own_keyvalue_storage_engineweek_2/
<!-- SC_OFF -->Hey folks, Something I wanted to share as it may be interesting for some people there. I've been writing a series called Build Your Own Key-Value Storage Engine in collaboration with ScyllaDB. This week (2/8), we explore the foundations of LSM trees: memtable and SSTables. <!-- SC_ON --> submitted by /u/teivah (https://www.reddit.com/user/teivah)
[link] (https://read.thecoder.cafe/p/build-your-own-kv-engine-2) [comments] (https://www.reddit.com/r/programming/comments/1p19vbw/build_your_own_keyvalue_storage_engineweek_2/)
https://www.reddit.com/r/programming/comments/1p19vbw/build_your_own_keyvalue_storage_engineweek_2/
<!-- SC_OFF -->Hey folks, Something I wanted to share as it may be interesting for some people there. I've been writing a series called Build Your Own Key-Value Storage Engine in collaboration with ScyllaDB. This week (2/8), we explore the foundations of LSM trees: memtable and SSTables. <!-- SC_ON --> submitted by /u/teivah (https://www.reddit.com/user/teivah)
[link] (https://read.thecoder.cafe/p/build-your-own-kv-engine-2) [comments] (https://www.reddit.com/r/programming/comments/1p19vbw/build_your_own_keyvalue_storage_engineweek_2/)
Gaudry-Schost Collision Search Algorithm for Discrete Logarithms
https://www.reddit.com/r/programming/comments/1p18j6d/gaudryschost_collision_search_algorithm_for/
submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/gaudry-schost-collision-algorithm) [comments] (https://www.reddit.com/r/programming/comments/1p18j6d/gaudryschost_collision_search_algorithm_for/)
https://www.reddit.com/r/programming/comments/1p18j6d/gaudryschost_collision_search_algorithm_for/
submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/gaudry-schost-collision-algorithm) [comments] (https://www.reddit.com/r/programming/comments/1p18j6d/gaudryschost_collision_search_algorithm_for/)
Linus "my first, and hopefully last flamefest" Torvalds [1992]
https://www.reddit.com/r/programming/comments/1p1aywt/linus_my_first_and_hopefully_last_flamefest/
submitted by /u/leeleewonchu (https://www.reddit.com/user/leeleewonchu)
[link] (http://groups.google.com/group/comp.os.minix/msg/6372404c547d7ab4) [comments] (https://www.reddit.com/r/programming/comments/1p1aywt/linus_my_first_and_hopefully_last_flamefest/)
https://www.reddit.com/r/programming/comments/1p1aywt/linus_my_first_and_hopefully_last_flamefest/
submitted by /u/leeleewonchu (https://www.reddit.com/user/leeleewonchu)
[link] (http://groups.google.com/group/comp.os.minix/msg/6372404c547d7ab4) [comments] (https://www.reddit.com/r/programming/comments/1p1aywt/linus_my_first_and_hopefully_last_flamefest/)
2-Tier to 3-Tier Architecture: Migration Journey With Modular Monolith and GraphQL
https://www.reddit.com/r/programming/comments/1p0zuwn/2tier_to_3tier_architecture_migration_journey/
submitted by /u/pepincho (https://www.reddit.com/user/pepincho)
[link] (https://thetshaped.dev/p/two-tier-to-three-tier-architecture-migration-case-stuty-modular-monolith-graphql-api-software-architecture) [comments] (https://www.reddit.com/r/programming/comments/1p0zuwn/2tier_to_3tier_architecture_migration_journey/)
https://www.reddit.com/r/programming/comments/1p0zuwn/2tier_to_3tier_architecture_migration_journey/
submitted by /u/pepincho (https://www.reddit.com/user/pepincho)
[link] (https://thetshaped.dev/p/two-tier-to-three-tier-architecture-migration-case-stuty-modular-monolith-graphql-api-software-architecture) [comments] (https://www.reddit.com/r/programming/comments/1p0zuwn/2tier_to_3tier_architecture_migration_journey/)
When high availability brings downtime
https://www.reddit.com/r/programming/comments/1p14bhc/when_high_availability_brings_downtime/
submitted by /u/joaoqalves (https://www.reddit.com/user/joaoqalves)
[link] (https://medium.com/learnings-from-the-paas/when-high-availability-brings-downtime-7a6261b0ef1c) [comments] (https://www.reddit.com/r/programming/comments/1p14bhc/when_high_availability_brings_downtime/)
https://www.reddit.com/r/programming/comments/1p14bhc/when_high_availability_brings_downtime/
submitted by /u/joaoqalves (https://www.reddit.com/user/joaoqalves)
[link] (https://medium.com/learnings-from-the-paas/when-high-availability-brings-downtime-7a6261b0ef1c) [comments] (https://www.reddit.com/r/programming/comments/1p14bhc/when_high_availability_brings_downtime/)
Let's make a game! 353: Creating settings
https://www.reddit.com/r/programming/comments/1p1cvyg/lets_make_a_game_353_creating_settings/
submitted by /u/apeloverage (https://www.reddit.com/user/apeloverage)
[link] (https://www.youtube.com/watch?v=ddGlJoVlHaA) [comments] (https://www.reddit.com/r/programming/comments/1p1cvyg/lets_make_a_game_353_creating_settings/)
https://www.reddit.com/r/programming/comments/1p1cvyg/lets_make_a_game_353_creating_settings/
submitted by /u/apeloverage (https://www.reddit.com/user/apeloverage)
[link] (https://www.youtube.com/watch?v=ddGlJoVlHaA) [comments] (https://www.reddit.com/r/programming/comments/1p1cvyg/lets_make_a_game_353_creating_settings/)