A Lean Proof Printing Python Union Find
https://www.reddit.com/r/programming/comments/1wqan1r/a_lean_proof_printing_python_union_find/

submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (https://www.philipzucker.com/proof_uf/) [comments] (https://www.reddit.com/r/programming/comments/1wqan1r/a_lean_proof_printing_python_union_find/)

Fourier Analysis: Drawing Llamas with Circles
https://www.reddit.com/r/programming/comments/1wqkpth/fourier_analysis_drawing_llamas_with_circles/

submitted by /u/lelanthran (https://www.reddit.com/user/lelanthran)
[link] (https://adekau.github.io/posts/2020/llamas.html) [comments] (https://www.reddit.com/r/programming/comments/1wqkpth/fourier_analysis_drawing_llamas_with_circles/)

Optimizing a Lock-Free Ring Buffer
https://www.reddit.com/r/programming/comments/1wqok1x/optimizing_a_lockfree_ring_buffer/

submitted by /u/david-alvarez-rosa (https://www.reddit.com/user/david-alvarez-rosa)
[link] (https://david.alvarezrosa.com/posts/optimizing-a-lock-free-ring-buffer/) [comments] (https://www.reddit.com/r/programming/comments/1wqok1x/optimizing_a_lockfree_ring_buffer/)

The Cloudflare Blog – Brought to you by EmDash
https://www.reddit.com/r/programming/comments/1wqv795/the_cloudflare_blog_brought_to_you_by_emdash/

<!-- SC_OFF -->Migration from wordpress to internal tool <!-- SC_ON --> submitted by /u/Ok_Stomach6651 (https://www.reddit.com/user/Ok_Stomach6651)
[link] (https://blog.cloudflare.com/cloudflare-blog-uses-emdash/) [comments] (https://www.reddit.com/r/programming/comments/1wqv795/the_cloudflare_blog_brought_to_you_by_emdash/)

On programming, statistics, and Java
https://www.reddit.com/r/programming/comments/1wqvxt6/on_programming_statistics_and_java/

submitted by /u/Mihai4544 (https://www.reddit.com/user/Mihai4544)
[link] (https://waytoounoriginal.github.io/programming/stats/optimizations/2026/09/26/on-programming-stats-and-java.html) [comments] (https://www.reddit.com/r/programming/comments/1wqvxt6/on_programming_statistics_and_java/)

Building dogsbod: A quadruped robot
https://www.reddit.com/r/programming/comments/1wqw5n3/building_dogsbod_a_quadruped_robot/

<!-- SC_OFF -->A hand written technical write-up of the process I went through designing, building and programming dogsbod, a quadruped robot. <!-- SC_ON --> submitted by /u/zanders3 (https://www.reddit.com/user/zanders3)
[link] (https://parkermakes.uk/2026/03/13/dogsbod/) [comments] (https://www.reddit.com/r/programming/comments/1wqw5n3/building_dogsbod_a_quadruped_robot/)

Go concurrency distilled
https://www.reddit.com/r/programming/comments/1wrjd0d/go_concurrency_distilled/

submitted by /u/BrewedDoritos (https://www.reddit.com/user/BrewedDoritos)
[link] (https://antonz.org/go-concurrency-distilled/) [comments] (https://www.reddit.com/r/programming/comments/1wrjd0d/go_concurrency_distilled/)

Packing Binary Is Fun, Actually
https://www.reddit.com/r/programming/comments/1wrjyyr/packing_binary_is_fun_actually/

submitted by /u/GenericAHHyoutuber (https://www.reddit.com/user/GenericAHHyoutuber)
[link] (https://hereticpleb.vercel.app/blog/packing-binary-is-fun-actually) [comments] (https://www.reddit.com/r/programming/comments/1wrjyyr/packing_binary_is_fun_actually/)

Category Theory Explained for Haskell Programmers – Part 1 ZuriHac 2026
https://www.reddit.com/r/programming/comments/1wrkl1o/category_theory_explained_for_haskell_programmers/

submitted by /u/frenche_sans (https://www.reddit.com/user/frenche_sans)
[link] (https://www.youtube.com/watch?v=Xr1gcdb_IvA) [comments] (https://www.reddit.com/r/programming/comments/1wrkl1o/category_theory_explained_for_haskell_programmers/)

Don't couple your Go code to GitHub
https://www.reddit.com/r/programming/comments/1wrnyer/dont_couple_your_go_code_to_github/

submitted by /u/Sir_KnowItAll (https://www.reddit.com/user/Sir_KnowItAll)
[link] (https://iain.rocks/blog/dont-couple-your-go-code-to-github) [comments] (https://www.reddit.com/r/programming/comments/1wrnyer/dont_couple_your_go_code_to_github/)

Reducing .NET AWS Lambda Cold Starts by Adding Memory
https://www.reddit.com/r/programming/comments/1wrv44s/reducing_net_aws_lambda_cold_starts_by_adding/

submitted by /u/ReallySuperName (https://www.reddit.com/user/ReallySuperName)
[link] (https://www.lloydatkinson.net/posts/2026/reducing-dotnet-aws-lambda-cold-starts-by-increasing-memory/) [comments] (https://www.reddit.com/r/programming/comments/1wrv44s/reducing_net_aws_lambda_cold_starts_by_adding/)

on the nature of undecidability within computing and refuting the church-turing thesis
https://www.reddit.com/r/programming/comments/1ws7psh/on_the_nature_of_undecidability_within_computing/

submitted by /u/this_theater_is_lit (https://www.reddit.com/user/this_theater_is_lit)
[link] (https://www.academia.edu/175392427) [comments] (https://www.reddit.com/r/programming/comments/1ws7psh/on_the_nature_of_undecidability_within_computing/)

Introducing the Triple Cipher encryption concept
https://www.reddit.com/r/programming/comments/1wsacng/introducing_the_triple_cipher_encryption_concept/

submitted by /u/Sir_KnowItAll (https://www.reddit.com/user/Sir_KnowItAll)
[link] (https://iain.rocks/blog/introducing-the-triple-cipher-encryption-concept) [comments] (https://www.reddit.com/r/programming/comments/1wsacng/introducing_the_triple_cipher_encryption_concept/)

Fast Primality Testing for 32-bit integers via Forisek and Jancina
https://www.reddit.com/r/programming/comments/1wsaolh/fast_primality_testing_for_32bit_integers_via/

submitted by /u/DataBaeBee (https://www.reddit.com/user/DataBaeBee)
[link] (https://leetarxiv.substack.com/p/forisek-and-jancina-primality-test) [comments] (https://www.reddit.com/r/programming/comments/1wsaolh/fast_primality_testing_for_32bit_integers_via/)

cpp graphics api review
https://www.reddit.com/r/programming/comments/1wsjgi0/cpp_graphics_api_review/

submitted by /u/wizard_creator_seth (https://www.reddit.com/user/wizard_creator_seth)
[link] (https://youtu.be/e1bIpUSTeB0) [comments] (https://www.reddit.com/r/programming/comments/1wsjgi0/cpp_graphics_api_review/)

TUI Games in 80x24
https://www.reddit.com/r/programming/comments/1wspai2/tui_games_in_80x24/

submitted by /u/ronilan (https://www.reddit.com/user/ronilan)
[link] (https://www.incredible.rs/#blog/tui-games-in-80x24.md) [comments] (https://www.reddit.com/r/programming/comments/1wspai2/tui_games_in_80x24/)

What good is a best-effort exclusive lock, anyway?
https://www.reddit.com/r/programming/comments/1wsqvwe/what_good_is_a_besteffort_exclusive_lock_anyway/

submitted by /u/broken_broken_ (https://www.reddit.com/user/broken_broken_)
[link] (https://gaultier.github.io/blog/what_good_is_a_best_effort_exclusive_lock_anyway.html) [comments] (https://www.reddit.com/r/programming/comments/1wsqvwe/what_good_is_a_besteffort_exclusive_lock_anyway/)

example.com got modernized !
https://www.reddit.com/r/programming/comments/1wsry20/examplecom_got_modernized/

submitted by /u/KaKi_87 (https://www.reddit.com/user/KaKi_87)
[link] (https://www.reddit.com/r/webdev/comments/1wsr7cw/examplecom_got_modernized/) [comments] (https://www.reddit.com/r/programming/comments/1wsry20/examplecom_got_modernized/)