212
I will send you newest post from subreddit /r/programming
The Ruliology of Lambdas
https://www.reddit.com/r/programming/comments/1nliqvg/the_ruliology_of_lambdas/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/) [comments] (https://www.reddit.com/r/programming/comments/1nliqvg/the_ruliology_of_lambdas/)
Faking ADTs and GADTs in Languages That Shouldn't Have Them
https://www.reddit.com/r/programming/comments/1nlipju/faking_adts_and_gadts_in_languages_that_shouldnt/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.jle.im/entry/faking-adts-and-gadts.html) [comments] (https://www.reddit.com/r/programming/comments/1nlipju/faking_adts_and_gadts_in_languages_that_shouldnt/)
The Blots Programming Language
https://www.reddit.com/r/programming/comments/1nliokh/the_blots_programming_language/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blots-lang.org/) [comments] (https://www.reddit.com/r/programming/comments/1nliokh/the_blots_programming_language/)
Safepoints and Fil-C
https://www.reddit.com/r/programming/comments/1nlin74/safepoints_and_filc/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://fil-c.org/safepoints) [comments] (https://www.reddit.com/r/programming/comments/1nlin74/safepoints_and_filc/)
Tonemaps
https://www.reddit.com/r/programming/comments/1nlikn2/tonemaps/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://mini.gmshaders.com/p/tonemaps) [comments] (https://www.reddit.com/r/programming/comments/1nlikn2/tonemaps/)
Fail loudly: a plea to stop hiding bugs
https://www.reddit.com/r/programming/comments/1nlh5zh/fail_loudly_a_plea_to_stop_hiding_bugs/
submitted by /u/alefore (https://www.reddit.com/user/alefore)
[link] (https://alejo.ch/3gk) [comments] (https://www.reddit.com/r/programming/comments/1nlh5zh/fail_loudly_a_plea_to_stop_hiding_bugs/)
Why catching short-lived processes requires eBPF on Linux but just a header on macOS
https://www.reddit.com/r/programming/comments/1nl9mtg/why_catching_shortlived_processes_requires_ebpf/
submitted by /u/hubabuba44 (https://www.reddit.com/user/hubabuba44)
[link] (https://domcyrus.github.io/systems-programming/networking/ebpf/macos/linux/2025/01/18/pktap-vs-ebpf-network-process-identification.html) [comments] (https://www.reddit.com/r/programming/comments/1nl9mtg/why_catching_shortlived_processes_requires_ebpf/)
Local-Second, Event-Driven Webapps
https://www.reddit.com/r/programming/comments/1nky67v/localsecond_eventdriven_webapps/
<!-- SC_OFF -->Transactional event-sourcing on the backend, and accumulating client-side events on the frontend, when there's no connectivity: exploring an alternative to a full-blown local-first application (which might be non-trivial to write), and a traditional client-server (which might not always have the best UX) <!-- SC_ON --> submitted by /u/adamw1pl (https://www.reddit.com/user/adamw1pl)
[link] (https://softwaremill.com/local-second-event-driven-webapps/) [comments] (https://www.reddit.com/r/programming/comments/1nky67v/localsecond_eventdriven_webapps/)
Emerald Source Code Commentary
https://www.reddit.com/r/programming/comments/1nkm480/emerald_source_code_commentary/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://0xabad1dea.github.io/emeraldscc/) [comments] (https://www.reddit.com/r/programming/comments/1nkm480/emerald_source_code_commentary/)
The Day the Linter Broke My Code
https://www.reddit.com/r/programming/comments/1nkm2df/the_day_the_linter_broke_my_code/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.fillmore-labs.com/posts/errors-2/) [comments] (https://www.reddit.com/r/programming/comments/1nkm2df/the_day_the_linter_broke_my_code/)
Three decades in kernelland
https://www.reddit.com/r/programming/comments/1nkm1q6/three_decades_in_kernelland/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://youtu.be/LS2LGMRzE1I) [comments] (https://www.reddit.com/r/programming/comments/1nkm1q6/three_decades_in_kernelland/)
Reflection — C++’s decade-defining rocket engine
https://www.reddit.com/r/programming/comments/1nkm0cw/reflection_cs_decadedefining_rocket_engine/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://herbsutter.com/2025/09/18/yesterdays-talk-video-posted-reflection-cs-decade-defining-rocket-engine/) [comments] (https://www.reddit.com/r/programming/comments/1nkm0cw/reflection_cs_decadedefining_rocket_engine/)
PostgreSQL Maintenance Without Superuser
https://www.reddit.com/r/programming/comments/1nklxzv/postgresql_maintenance_without_superuser/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://boringsql.com/posts/postgresql-predefined-roles/) [comments] (https://www.reddit.com/r/programming/comments/1nklxzv/postgresql_maintenance_without_superuser/)
TernFS – An exabyte scale, multi-region distributed filesystem
https://www.reddit.com/r/programming/comments/1nklwgx/ternfs_an_exabyte_scale_multiregion_distributed/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.xtxmarkets.com/tech/2025-ternfs/) [comments] (https://www.reddit.com/r/programming/comments/1nklwgx/ternfs_an_exabyte_scale_multiregion_distributed/)
One Token to rule them all - obtaining Global Admin in every Entra ID tenant
https://www.reddit.com/r/programming/comments/1nkfgq3/one_token_to_rule_them_all_obtaining_global_admin/
submitted by /u/iamkeyur (https://www.reddit.com/user/iamkeyur)
[link] (https://dirkjanm.io/obtaining-global-admin-in-every-entra-id-tenant-with-actor-tokens/) [comments] (https://www.reddit.com/r/programming/comments/1nkfgq3/one_token_to_rule_them_all_obtaining_global_admin/)
Hypervisor in 1,000 Lines
https://www.reddit.com/r/programming/comments/1nliq5r/hypervisor_in_1000_lines/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://1000hv.seiya.me/en/) [comments] (https://www.reddit.com/r/programming/comments/1nliq5r/hypervisor_in_1000_lines/)
Type Branding in Typescript
https://www.reddit.com/r/programming/comments/1nliov7/type_branding_in_typescript/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://azraelsec.sh/2025/09/06/Typescript-Branding/) [comments] (https://www.reddit.com/r/programming/comments/1nliov7/type_branding_in_typescript/)
APL for Music [pdf]
https://www.reddit.com/r/programming/comments/1nlio5i/apl_for_music_pdf/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://dl.acm.org/doi/pdf/10.1145/75144.75174) [comments] (https://www.reddit.com/r/programming/comments/1nlio5i/apl_for_music_pdf/)
How to waste CPU like a Professional
https://www.reddit.com/r/programming/comments/1nlimnf/how_to_waste_cpu_like_a_professional/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://mostlynerdless.de/blog/2025/09/19/how-to-waste-cpu-like-a-professional/) [comments] (https://www.reddit.com/r/programming/comments/1nlimnf/how_to_waste_cpu_like_a_professional/)
"More Speed & Simplicity: Practical Data-Oriented Design in C++" - Vittorio Romeo - CppCon 2025 Keynote
https://www.reddit.com/r/programming/comments/1nlhlpy/more_speed_simplicity_practical_dataoriented/
submitted by /u/SuperV1234 (https://www.reddit.com/user/SuperV1234)
[link] (https://www.youtube.com/watch?v=SzjJfKHygaQ) [comments] (https://www.reddit.com/r/programming/comments/1nlhlpy/more_speed_simplicity_practical_dataoriented/)
Apache Kafka Fundamentals
https://www.reddit.com/r/programming/comments/1nlergd/apache_kafka_fundamentals/
<!-- SC_OFF -->Hi everyone,
In this blog, I tried to explain the different components of Kafka. I also covered how load balancing works in Kafka. If you are an absolute beginner, I would suggest reading this blog and sharing your feedback. For those with experience, I would love to hear your suggestions on what more could be added in the next part. If you have any book recommendations, please feel free to share them as well. Thank you!😊 <!-- SC_ON --> submitted by /u/Dhairya-chauhan (https://www.reddit.com/user/Dhairya-chauhan)
[link] (https://substack.com/inbox/post/173521922?r=2n87ha&utm_campaign=post&utm_medium=web&showWelcomeOnShare=false&triedRedirect=true) [comments] (https://www.reddit.com/r/programming/comments/1nlergd/apache_kafka_fundamentals/)
Hired Through GitHub
https://www.reddit.com/r/programming/comments/1nl4ba0/hired_through_github/
submitted by /u/GarethX (https://www.reddit.com/user/GarethX)
[link] (https://zed.dev/blog/hired-through-github-part-1) [comments] (https://www.reddit.com/r/programming/comments/1nl4ba0/hired_through_github/)
Go channels to solve interface impedance mismatch
https://www.reddit.com/r/programming/comments/1nkm5na/go_channels_to_solve_interface_impedance_mismatch/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://dolthub.com/blog/2025-09-12-go-channels-for-period-mismatch/) [comments] (https://www.reddit.com/r/programming/comments/1nkm5na/go_channels_to_solve_interface_impedance_mismatch/)
Hypervisor 101 in Rust
https://www.reddit.com/r/programming/comments/1nkm3nh/hypervisor_101_in_rust/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://tandasat.github.io/Hypervisor-101-in-Rust/) [comments] (https://www.reddit.com/r/programming/comments/1nkm3nh/hypervisor_101_in_rust/)
Automatic differentiation can be incorrect
https://www.reddit.com/r/programming/comments/1nkm2c0/automatic_differentiation_can_be_incorrect/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.stochasticlifestyle.com/the-numerical-analysis-of-differentiable-simulation-automatic-differentiation-can-be-incorrect/) [comments] (https://www.reddit.com/r/programming/comments/1nkm2c0/automatic_differentiation_can_be_incorrect/)
The Cache Crash
https://www.reddit.com/r/programming/comments/1nkm1jk/the_cache_crash/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.fastmail.com/blog/the-cache-crash/) [comments] (https://www.reddit.com/r/programming/comments/1nkm1jk/the_cache_crash/)
Announcing Rust 1.90.0
https://www.reddit.com/r/programming/comments/1nklzrv/announcing_rust_1900/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.rust-lang.org/2025/09/18/Rust-1.90.0/) [comments] (https://www.reddit.com/r/programming/comments/1nklzrv/announcing_rust_1900/)
Luau – Fast, small, safe, gradually typed scripting language derived from Lua
https://www.reddit.com/r/programming/comments/1nklxhl/luau_fast_small_safe_gradually_typed_scripting/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://luau.org/) [comments] (https://www.reddit.com/r/programming/comments/1nklxhl/luau_fast_small_safe_gradually_typed_scripting/)
Deno is raising $200k for the legal fight to free the JavaScript trademark from Oracle
https://www.reddit.com/r/programming/comments/1nkg6ph/deno_is_raising_200k_for_the_legal_fight_to_free/
submitted by /u/waldyrious (https://www.reddit.com/user/waldyrious)
[link] (https://deno.com/blog/javascript-tm-gofundme) [comments] (https://www.reddit.com/r/programming/comments/1nkg6ph/deno_is_raising_200k_for_the_legal_fight_to_free/)
OpenTelemetry Collector: What It Is, When You Need It, and When You Don’t
https://www.reddit.com/r/programming/comments/1nkd5hd/opentelemetry_collector_what_it_is_when_you_need/
submitted by /u/OuPeaNut (https://www.reddit.com/user/OuPeaNut)
[link] (https://oneuptime.com/blog/post/2025-09-18-what-is-opentelemetry-collector-and-why-use-one/view) [comments] (https://www.reddit.com/r/programming/comments/1nkd5hd/opentelemetry_collector_what_it_is_when_you_need/)