What is algebraic about algebraic effects?
https://www.reddit.com/r/programming/comments/1nnxv3r/what_is_algebraic_about_algebraic_effects/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://interjectedfuture.com/what-is-algebraic-about-algebraic-effects/) [comments] (https://www.reddit.com/r/programming/comments/1nnxv3r/what_is_algebraic_about_algebraic_effects/)
https://www.reddit.com/r/programming/comments/1nnxv3r/what_is_algebraic_about_algebraic_effects/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://interjectedfuture.com/what-is-algebraic-about-algebraic-effects/) [comments] (https://www.reddit.com/r/programming/comments/1nnxv3r/what_is_algebraic_about_algebraic_effects/)
Under the hood: Vec
https://www.reddit.com/r/programming/comments/1nnxvqe/under_the_hood_vect/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://marma.dev/articles/2025/under-the-hood-vec-t) [comments] (https://www.reddit.com/r/programming/comments/1nnxvqe/under_the_hood_vect/)
https://www.reddit.com/r/programming/comments/1nnxvqe/under_the_hood_vect/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://marma.dev/articles/2025/under-the-hood-vec-t) [comments] (https://www.reddit.com/r/programming/comments/1nnxvqe/under_the_hood_vect/)
The FLP theorem
https://www.reddit.com/r/programming/comments/1nnxwjs/the_flp_theorem/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://shachaf.net/w/flp) [comments] (https://www.reddit.com/r/programming/comments/1nnxwjs/the_flp_theorem/)
https://www.reddit.com/r/programming/comments/1nnxwjs/the_flp_theorem/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://shachaf.net/w/flp) [comments] (https://www.reddit.com/r/programming/comments/1nnxwjs/the_flp_theorem/)
@ts-ignore is almost always the worst option
https://www.reddit.com/r/programming/comments/1nnxwul/tsignore_is_almost_always_the_worst_option/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://evanhahn.com/ts-ignore-is-almost-always-the-worst-option/) [comments] (https://www.reddit.com/r/programming/comments/1nnxwul/tsignore_is_almost_always_the_worst_option/)
https://www.reddit.com/r/programming/comments/1nnxwul/tsignore_is_almost_always_the_worst_option/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://evanhahn.com/ts-ignore-is-almost-always-the-worst-option/) [comments] (https://www.reddit.com/r/programming/comments/1nnxwul/tsignore_is_almost_always_the_worst_option/)
Some observations concerning large programming efforts (1964)
https://www.reddit.com/r/programming/comments/1nnxyna/some_observations_concerning_large_programming/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://dl.acm.org/doi/10.1145/1464122.1464146) [comments] (https://www.reddit.com/r/programming/comments/1nnxyna/some_observations_concerning_large_programming/)
https://www.reddit.com/r/programming/comments/1nnxyna/some_observations_concerning_large_programming/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://dl.acm.org/doi/10.1145/1464122.1464146) [comments] (https://www.reddit.com/r/programming/comments/1nnxyna/some_observations_concerning_large_programming/)
Privacy and Security Risks in the eSIM Ecosystem [pdf]
https://www.reddit.com/r/programming/comments/1nny03j/privacy_and_security_risks_in_the_esim_ecosystem/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.usenix.org/system/files/usenixsecurity25-motallebighomi.pdf) [comments] (https://www.reddit.com/r/programming/comments/1nny03j/privacy_and_security_risks_in_the_esim_ecosystem/)
https://www.reddit.com/r/programming/comments/1nny03j/privacy_and_security_risks_in_the_esim_ecosystem/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.usenix.org/system/files/usenixsecurity25-motallebighomi.pdf) [comments] (https://www.reddit.com/r/programming/comments/1nny03j/privacy_and_security_risks_in_the_esim_ecosystem/)
Storing Unwise Amounts of Data in JavaScript Bigints
https://www.reddit.com/r/programming/comments/1nny30x/storing_unwise_amounts_of_data_in_javascript/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://jonathan-frere.com/posts/bigints-are-cool/) [comments] (https://www.reddit.com/r/programming/comments/1nny30x/storing_unwise_amounts_of_data_in_javascript/)
https://www.reddit.com/r/programming/comments/1nny30x/storing_unwise_amounts_of_data_in_javascript/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://jonathan-frere.com/posts/bigints-are-cool/) [comments] (https://www.reddit.com/r/programming/comments/1nny30x/storing_unwise_amounts_of_data_in_javascript/)
Understanding Apple Debug Info
https://www.reddit.com/r/programming/comments/1nny3sv/understanding_apple_debug_info/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.smileykeith.com/2025/09/21/understanding-apple-debug-info/) [comments] (https://www.reddit.com/r/programming/comments/1nny3sv/understanding_apple_debug_info/)
https://www.reddit.com/r/programming/comments/1nny3sv/understanding_apple_debug_info/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.smileykeith.com/2025/09/21/understanding-apple-debug-info/) [comments] (https://www.reddit.com/r/programming/comments/1nny3sv/understanding_apple_debug_info/)
Why technical debt is inevitable | Kevlin Henney's Take
https://www.reddit.com/r/programming/comments/1nnyppk/why_technical_debt_is_inevitable_kevlin_henneys/
submitted by /u/Heavy-Elk8273 (https://www.reddit.com/user/Heavy-Elk8273)
[link] (https://youtu.be/L_JJfwDw_ns) [comments] (https://www.reddit.com/r/programming/comments/1nnyppk/why_technical_debt_is_inevitable_kevlin_henneys/)
https://www.reddit.com/r/programming/comments/1nnyppk/why_technical_debt_is_inevitable_kevlin_henneys/
submitted by /u/Heavy-Elk8273 (https://www.reddit.com/user/Heavy-Elk8273)
[link] (https://youtu.be/L_JJfwDw_ns) [comments] (https://www.reddit.com/r/programming/comments/1nnyppk/why_technical_debt_is_inevitable_kevlin_henneys/)
Redox in your pocket -Redox OS on Pixel 3 (native, using u-boot)
https://www.reddit.com/r/programming/comments/1noabvj/redox_in_your_pocket_redox_os_on_pixel_3_native/
submitted by /u/NXGZ (https://www.reddit.com/user/NXGZ)
[link] (https://blog.paulsajna.com/redox-in-your-pocket/) [comments] (https://www.reddit.com/r/programming/comments/1noabvj/redox_in_your_pocket_redox_os_on_pixel_3_native/)
https://www.reddit.com/r/programming/comments/1noabvj/redox_in_your_pocket_redox_os_on_pixel_3_native/
submitted by /u/NXGZ (https://www.reddit.com/user/NXGZ)
[link] (https://blog.paulsajna.com/redox-in-your-pocket/) [comments] (https://www.reddit.com/r/programming/comments/1noabvj/redox_in_your_pocket_redox_os_on_pixel_3_native/)
Scaling through crisis: how infrastructure handled 1B messages in a single day
https://www.reddit.com/r/programming/comments/1nodab9/scaling_through_crisis_how_infrastructure_handled/
<!-- SC_OFF -->We recently published a piece on ShiftMag (a project by Infobip) that I think might interest folks here. It’s a candid breakdown of how Infobip’s infrastructure team scaled to handling 10 billion messages in a single day — not just the technical wins, but also the painful outages, bad regexes, and hard lessons learned along the way. <!-- SC_ON --> submitted by /u/shift_devs (https://www.reddit.com/user/shift_devs)
[link] (https://shiftmag.dev/how-infobips-infrastructure-handled-10-billion-messages-in-a-day-6162/) [comments] (https://www.reddit.com/r/programming/comments/1nodab9/scaling_through_crisis_how_infrastructure_handled/)
https://www.reddit.com/r/programming/comments/1nodab9/scaling_through_crisis_how_infrastructure_handled/
<!-- SC_OFF -->We recently published a piece on ShiftMag (a project by Infobip) that I think might interest folks here. It’s a candid breakdown of how Infobip’s infrastructure team scaled to handling 10 billion messages in a single day — not just the technical wins, but also the painful outages, bad regexes, and hard lessons learned along the way. <!-- SC_ON --> submitted by /u/shift_devs (https://www.reddit.com/user/shift_devs)
[link] (https://shiftmag.dev/how-infobips-infrastructure-handled-10-billion-messages-in-a-day-6162/) [comments] (https://www.reddit.com/r/programming/comments/1nodab9/scaling_through_crisis_how_infrastructure_handled/)
SQL Is for Data, Not for Logic
https://www.reddit.com/r/programming/comments/1nodhc9/sql_is_for_data_not_for_logic/
submitted by /u/ewaldbenes (https://www.reddit.com/user/ewaldbenes)
[link] (https://ewaldbenes.com/en/blog/why-i-keep-business-logic-out-of-sql) [comments] (https://www.reddit.com/r/programming/comments/1nodhc9/sql_is_for_data_not_for_logic/)
https://www.reddit.com/r/programming/comments/1nodhc9/sql_is_for_data_not_for_logic/
submitted by /u/ewaldbenes (https://www.reddit.com/user/ewaldbenes)
[link] (https://ewaldbenes.com/en/blog/why-i-keep-business-logic-out-of-sql) [comments] (https://www.reddit.com/r/programming/comments/1nodhc9/sql_is_for_data_not_for_logic/)
A Tour of eBPF in the Linux Kernel: Observability, Security and Networking
https://www.reddit.com/r/programming/comments/1noezi3/a_tour_of_ebpf_in_the_linux_kernel_observability/
<!-- SC_OFF -->I published a new blog post: "A Tour of eBPF in the Linux Kernel: Observability, Security and Networking". I recently read the book "Learning eBPF" by Liz Rice and condensed my notes into this article. Great for a quick overview before you decide to dive deeper! <!-- SC_ON --> submitted by /u/lucavallin (https://www.reddit.com/user/lucavallin)
[link] (https://www.lucavall.in/blog/a-tour-of-ebpf-in-the-linux-kernel-observability-security-and-networking) [comments] (https://www.reddit.com/r/programming/comments/1noezi3/a_tour_of_ebpf_in_the_linux_kernel_observability/)
https://www.reddit.com/r/programming/comments/1noezi3/a_tour_of_ebpf_in_the_linux_kernel_observability/
<!-- SC_OFF -->I published a new blog post: "A Tour of eBPF in the Linux Kernel: Observability, Security and Networking". I recently read the book "Learning eBPF" by Liz Rice and condensed my notes into this article. Great for a quick overview before you decide to dive deeper! <!-- SC_ON --> submitted by /u/lucavallin (https://www.reddit.com/user/lucavallin)
[link] (https://www.lucavall.in/blog/a-tour-of-ebpf-in-the-linux-kernel-observability-security-and-networking) [comments] (https://www.reddit.com/r/programming/comments/1noezi3/a_tour_of_ebpf_in_the_linux_kernel_observability/)
Your Images Are (Probably) Oversized
https://www.reddit.com/r/programming/comments/1nogdup/your_images_are_probably_oversized/
submitted by /u/HenriqueInonhe (https://www.reddit.com/user/HenriqueInonhe)
[link] (https://reasonunderpressure.com/blog/posts/your-images-are-probably-oversized) [comments] (https://www.reddit.com/r/programming/comments/1nogdup/your_images_are_probably_oversized/)
https://www.reddit.com/r/programming/comments/1nogdup/your_images_are_probably_oversized/
submitted by /u/HenriqueInonhe (https://www.reddit.com/user/HenriqueInonhe)
[link] (https://reasonunderpressure.com/blog/posts/your-images-are-probably-oversized) [comments] (https://www.reddit.com/r/programming/comments/1nogdup/your_images_are_probably_oversized/)
CodeRabbit Commits 1 Million to Open Source Software Sponsorships.
https://www.reddit.com/r/programming/comments/1nohta2/coderabbit_commits_1_million_to_open_source/
submitted by /u/rag1987 (https://www.reddit.com/user/rag1987)
[link] (https://www.coderabbit.ai/blog/coderabbit-commits-1-million-to-open-source) [comments] (https://www.reddit.com/r/programming/comments/1nohta2/coderabbit_commits_1_million_to_open_source/)
https://www.reddit.com/r/programming/comments/1nohta2/coderabbit_commits_1_million_to_open_source/
submitted by /u/rag1987 (https://www.reddit.com/user/rag1987)
[link] (https://www.coderabbit.ai/blog/coderabbit-commits-1-million-to-open-source) [comments] (https://www.reddit.com/r/programming/comments/1nohta2/coderabbit_commits_1_million_to_open_source/)
Go has added Valgrind support
https://www.reddit.com/r/programming/comments/1nominv/go_has_added_valgrind_support/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://go-review.googlesource.com/c/go/+/674077) [comments] (https://www.reddit.com/r/programming/comments/1nominv/go_has_added_valgrind_support/)
https://www.reddit.com/r/programming/comments/1nominv/go_has_added_valgrind_support/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://go-review.googlesource.com/c/go/+/674077) [comments] (https://www.reddit.com/r/programming/comments/1nominv/go_has_added_valgrind_support/)
The YAML Document from Hell
https://www.reddit.com/r/programming/comments/1nompmr/the_yaml_document_from_hell/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://ruudvanasseldonk.com/2023/01/11/the-yaml-document-from-hell) [comments] (https://www.reddit.com/r/programming/comments/1nompmr/the_yaml_document_from_hell/)
https://www.reddit.com/r/programming/comments/1nompmr/the_yaml_document_from_hell/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://ruudvanasseldonk.com/2023/01/11/the-yaml-document-from-hell) [comments] (https://www.reddit.com/r/programming/comments/1nompmr/the_yaml_document_from_hell/)
I've built a Swiss Tables interactive simulator so you can understand how they work internally and how they offer superior performance compared to Buckets
https://www.reddit.com/r/programming/comments/1nomqrc/ive_built_a_swiss_tables_interactive_simulator_so/
<!-- SC_OFF -->As you may know, this year Go switched its hashmap implementation from Buckets to Swiss tables looking for a boost in performance, how much? A lot according to Datadog (https://www.reddit.com/r/programming/comments/1m3di7x/how_go_124s_swiss_tables_saved_hundreds_of/): Go 1.24's Swiss Tables cut our map memory usage by up to 70% in high traffic workloads So I made a visual version of Swiss Tables and a tutorial so you can have an overall view of them and understand why they're so fast <!-- SC_ON --> submitted by /u/prox_sea (https://www.reddit.com/user/prox_sea)
[link] (https://coffeebytes.dev/en/software-architecture/swiss-tables-the-superior-performance-hashmap/) [comments] (https://www.reddit.com/r/programming/comments/1nomqrc/ive_built_a_swiss_tables_interactive_simulator_so/)
https://www.reddit.com/r/programming/comments/1nomqrc/ive_built_a_swiss_tables_interactive_simulator_so/
<!-- SC_OFF -->As you may know, this year Go switched its hashmap implementation from Buckets to Swiss tables looking for a boost in performance, how much? A lot according to Datadog (https://www.reddit.com/r/programming/comments/1m3di7x/how_go_124s_swiss_tables_saved_hundreds_of/): Go 1.24's Swiss Tables cut our map memory usage by up to 70% in high traffic workloads So I made a visual version of Swiss Tables and a tutorial so you can have an overall view of them and understand why they're so fast <!-- SC_ON --> submitted by /u/prox_sea (https://www.reddit.com/user/prox_sea)
[link] (https://coffeebytes.dev/en/software-architecture/swiss-tables-the-superior-performance-hashmap/) [comments] (https://www.reddit.com/r/programming/comments/1nomqrc/ive_built_a_swiss_tables_interactive_simulator_so/)
Awash in revisionist histories about Apple's web efforts, a look at the evidence
https://www.reddit.com/r/programming/comments/1nomsqf/awash_in_revisionist_histories_about_apples_web/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://infrequently.org/2025/09/cupertinos-comforting-myths/) [comments] (https://www.reddit.com/r/programming/comments/1nomsqf/awash_in_revisionist_histories_about_apples_web/)
https://www.reddit.com/r/programming/comments/1nomsqf/awash_in_revisionist_histories_about_apples_web/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://infrequently.org/2025/09/cupertinos-comforting-myths/) [comments] (https://www.reddit.com/r/programming/comments/1nomsqf/awash_in_revisionist_histories_about_apples_web/)
Exploring GrapheneOS secure allocator: Hardened Malloc
https://www.reddit.com/r/programming/comments/1nomtel/exploring_grapheneos_secure_allocator_hardened/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.synacktiv.com/en/publications/exploring-grapheneos-secure-allocator-hardened-malloc) [comments] (https://www.reddit.com/r/programming/comments/1nomtel/exploring_grapheneos_secure_allocator_hardened/)
https://www.reddit.com/r/programming/comments/1nomtel/exploring_grapheneos_secure_allocator_hardened/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.synacktiv.com/en/publications/exploring-grapheneos-secure-allocator-hardened-malloc) [comments] (https://www.reddit.com/r/programming/comments/1nomtel/exploring_grapheneos_secure_allocator_hardened/)
Postgres’ Original Project Goals: The Creators Totally Nailed It
https://www.reddit.com/r/programming/comments/1nonal1/postgres_original_project_goals_the_creators/
submitted by /u/craigkerstiens (https://www.reddit.com/user/craigkerstiens)
[link] (https://www.crunchydata.com/blog/the-postgres-project-original-goals-and-how-the-creators-totally-nailed-it) [comments] (https://www.reddit.com/r/programming/comments/1nonal1/postgres_original_project_goals_the_creators/)
https://www.reddit.com/r/programming/comments/1nonal1/postgres_original_project_goals_the_creators/
submitted by /u/craigkerstiens (https://www.reddit.com/user/craigkerstiens)
[link] (https://www.crunchydata.com/blog/the-postgres-project-original-goals-and-how-the-creators-totally-nailed-it) [comments] (https://www.reddit.com/r/programming/comments/1nonal1/postgres_original_project_goals_the_creators/)