Error handling with linear types and automatic concurrency? Par’s new syntax sugar
https://www.reddit.com/r/programming/comments/1n6m0iz/error_handling_with_linear_types_and_automatic/

<!-- SC_OFF -->What’s the story of error handling if resources aren’t automatically droppable and expressions evaluate concurrently with their consumers? Does explicit cleanup and no call-stacks allow for convenient error handling syntax? Par is my programming language (https://github.com/faiface/par-lang) with linear types, automatic concurrency, and all-in-all is based on classical linear logic. Recently I’ve added more I/O functionality, which made me realize that manually case-ing on all Results leads to losing passion for programming. So, with all these new usecases in front of my eyes, I came up with a convenient error handling syntax that fits the unique constraints of Par: linear types and automatic concurrency. It is similar to Rust’s way in some aspects, but also quite different. Check it out: https://faiface.github.io/par-lang/error_handling.html What do you think? Would you be happy using this syntax? A small example: def Main: ! = chan exit { let console = Console.Open catch e => { console.print(e) console.close exit! } let path = Os.PathFromString("logs.txt") let try writer = path.createOrAppendToFile writer.writeString("[INFO] First new log\n").try writer.writeString("[INFO] Second new log\n").try writer.close(.ok!).try console.close exit! } <!-- SC_ON --> submitted by /u/faiface (https://www.reddit.com/user/faiface)
[link] (https://faiface.github.io/par-lang/error_handling.html) [comments] (https://www.reddit.com/r/programming/comments/1n6m0iz/error_handling_with_linear_types_and_automatic/)

Quirks of Common Lisp Types
https://www.reddit.com/r/programming/comments/1n6ppsd/quirks_of_common_lisp_types/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.fosskers.ca/en/blog/cl-type-quirks) [comments] (https://www.reddit.com/r/programming/comments/1n6ppsd/quirks_of_common_lisp_types/)

The future of 32-bit support in the kernel
https://www.reddit.com/r/programming/comments/1n6prvx/the_future_of_32bit_support_in_the_kernel/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://lwn.net/SubscriberLink/1035727/4837b0d3dccf1cbb/) [comments] (https://www.reddit.com/r/programming/comments/1n6prvx/the_future_of_32bit_support_in_the_kernel/)

[Optimising] Spatial Joins in DuckDB
https://www.reddit.com/r/programming/comments/1n6pt2c/optimising_spatial_joins_in_duckdb/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://duckdb.org/2025/08/08/spatial-joins.html) [comments] (https://www.reddit.com/r/programming/comments/1n6pt2c/optimising_spatial_joins_in_duckdb/)

Nimony: Design principles
https://www.reddit.com/r/programming/comments/1n6ptjq/nimony_design_principles/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://nim-lang.org/araq/nimony.html) [comments] (https://www.reddit.com/r/programming/comments/1n6ptjq/nimony_design_principles/)

things rust shipped without (2015)
https://www.reddit.com/r/programming/comments/1n6pui7/things_rust_shipped_without_2015/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://graydon2.dreamwidth.org/218040.html) [comments] (https://www.reddit.com/r/programming/comments/1n6pui7/things_rust_shipped_without_2015/)

Why do browsers throttle JavaScript timers?
https://www.reddit.com/r/programming/comments/1n6q4vq/why_do_browsers_throttle_javanoscript_timers/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://nolanlawson.com/2025/08/31/why-do-browsers-throttle-javanoscript-timers/) [comments] (https://www.reddit.com/r/programming/comments/1n6q4vq/why_do_browsers_throttle_javanoscript_timers/)

We need to seriously think about what to do with C++ modules
https://www.reddit.com/r/programming/comments/1n6q58h/we_need_to_seriously_think_about_what_to_do_with/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://nibblestew.blogspot.com/2025/08/we-need-to-seriously-think-about-what.html) [comments] (https://www.reddit.com/r/programming/comments/1n6q58h/we_need_to_seriously_think_about_what_to_do_with/)

C++ Memory Safety in WebKit
https://www.reddit.com/r/programming/comments/1n6q59u/c_memory_safety_in_webkit/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://m.youtube.com/watch?v=RLw13wLM5Ko) [comments] (https://www.reddit.com/r/programming/comments/1n6q59u/c_memory_safety_in_webkit/)

Combining struct literal syntax with read-only field access
https://www.reddit.com/r/programming/comments/1n6q7f7/combining_struct_literal_syntax_with_readonly/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://kobzol.github.io/rust/2025/09/01/combining-struct-literal-syntax-with-read-only-field-access.html) [comments] (https://www.reddit.com/r/programming/comments/1n6q7f7/combining_struct_literal_syntax_with_readonly/)

What UNIX Pipelines Got Right (And How We Can Do Better)
https://www.reddit.com/r/programming/comments/1n6q7gl/what_unix_pipelines_got_right_and_how_we_can_do/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://programmingsimplicity.substack.com/p/what-unix-pipelines-got-right-and) [comments] (https://www.reddit.com/r/programming/comments/1n6q7gl/what_unix_pipelines_got_right_and_how_we_can_do/)

A Telegram Spam Blocker Bot Based On Bayesian Algorithm
https://www.reddit.com/r/programming/comments/1n6uzfl/a_telegram_spam_blocker_bot_based_on_bayesian/

submitted by /u/SamrayLeung (https://www.reddit.com/user/SamrayLeung)
[link] (https://ramsayleung.github.io/en/post/2025/a_telegram_spam_blocker_bot_based_on_bayesian/) [comments] (https://www.reddit.com/r/programming/comments/1n6uzfl/a_telegram_spam_blocker_bot_based_on_bayesian/)

Introduction to Ada: a project-based exploration with rosettas
https://www.reddit.com/r/programming/comments/1n6vqnb/introduction_to_ada_a_projectbased_exploration/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.adacore.com/introduction-to-ada-a-project-based-exploration-with-rosettas) [comments] (https://www.reddit.com/r/programming/comments/1n6vqnb/introduction_to_ada_a_projectbased_exploration/)

Chrome at 17 - A brief history of our browser
https://www.reddit.com/r/programming/comments/1n72rhx/chrome_at_17_a_brief_history_of_our_browser/

submitted by /u/feross (https://www.reddit.com/user/feross)
[link] (https://addyosmani.com/blog/chrome-17th/) [comments] (https://www.reddit.com/r/programming/comments/1n72rhx/chrome_at_17_a_brief_history_of_our_browser/)

Zero Downtime Major Version PostgreSQL Upgrades
https://www.reddit.com/r/programming/comments/1n74kfo/zero_downtime_major_version_postgresql_upgrades/

<!-- SC_OFF -->A blog from Shaun Thomas on how to achieve zero-downtime upgrades of your Postgres instances with native tooling. Friendly reminder: PG18 is just about here, which means it's about time to upgrade to PG17 on your production instances if you haven't already :-) <!-- SC_ON --> submitted by /u/pgEdge_Postgres (https://www.reddit.com/user/pgEdge_Postgres)
[link] (https://www.pgedge.com/blog/always-online-or-bust-zero-downtime-major-version-postgres-upgrades) [comments] (https://www.reddit.com/r/programming/comments/1n74kfo/zero_downtime_major_version_postgresql_upgrades/)

Shared tool developed for quantum and supercomputer systems
https://www.reddit.com/r/programming/comments/1n75t9e/shared_tool_developed_for_quantum_and/

submitted by /u/donutloop (https://www.reddit.com/user/donutloop)
[link] (https://www.tum.de/en/news-and-events/all-news/press-releases/details/shared-tool-developed-for-quantum-and-supercomputer-systems) [comments] (https://www.reddit.com/r/programming/comments/1n75t9e/shared_tool_developed_for_quantum_and/)

Go, C, and ASM to make an online game between an N64 and PS1
https://www.reddit.com/r/programming/comments/1n7613j/go_c_and_asm_to_make_an_online_game_between_an/

<!-- SC_OFF -->Go server: https://gitlab.com/UrsusArcTech/psx-kernel-module-hijack/-/tree/6_byte_request_header C and ASM kernel hijack: https://gitlab.com/UrsusArcTech/psx-kernel-module-hijack/-/tree/6_byte_request_header?ref_type=heads Mario 64 USB comms in C: https://github.com/Carl-Llewellyn/sm64_n64x_usb Pi Pico firmware in C: https://github.com/Carl-Llewellyn/PicoCart64_usb/tree/usb <!-- SC_ON --> submitted by /u/s33d5 (https://www.reddit.com/user/s33d5)
[link] (https://youtu.be/Gm-sBLDR7qg) [comments] (https://www.reddit.com/r/programming/comments/1n7613j/go_c_and_asm_to_make_an_online_game_between_an/)

When Docker Almost Died: Exploring Container Alternatives
https://www.reddit.com/r/programming/comments/1n776d4/when_docker_almost_died_exploring_container/

submitted by /u/soap94 (https://www.reddit.com/user/soap94)
[link] (https://wcff.bearblog.dev/when-docker-almost-died-exploring-container-alternatives/) [comments] (https://www.reddit.com/r/programming/comments/1n776d4/when_docker_almost_died_exploring_container/)

Most Popular Programming Languages 2001-2025
https://www.reddit.com/r/programming/comments/1n793x7/most_popular_programming_languages_20012025/

submitted by /u/Shubham0420 (https://www.reddit.com/user/Shubham0420)
[link] (https://youtu.be/thS_VY-rNdg) [comments] (https://www.reddit.com/r/programming/comments/1n793x7/most_popular_programming_languages_20012025/)

Code Review Guidelines ✅ What Authors and Reviewers Should Actually Do?
https://www.reddit.com/r/programming/comments/1n79zpl/code_review_guidelines_what_authors_and_reviewers/

submitted by /u/pepincho (https://www.reddit.com/user/pepincho)
[link] (https://thetshaped.dev/p/code-review-guidelines-for-authors-and-reviewers-quality-code-reviews) [comments] (https://www.reddit.com/r/programming/comments/1n79zpl/code_review_guidelines_what_authors_and_reviewers/)

Video Game Blurs (and how the best one works)
https://www.reddit.com/r/programming/comments/1n7c780/video_game_blurs_and_how_the_best_one_works/

submitted by /u/Frost-Kiwi (https://www.reddit.com/user/Frost-Kiwi)
[link] (https://blog.frost.kiwi/dual-kawase/) [comments] (https://www.reddit.com/r/programming/comments/1n7c780/video_game_blurs_and_how_the_best_one_works/)