TLA+ By Example
https://www.reddit.com/r/programming/comments/1rdmisp/tla_by_example/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://tlabyexample.com/) [comments] (https://www.reddit.com/r/programming/comments/1rdmisp/tla_by_example/)

How macOS controls performance: QoS on Intel and M1 processors
https://www.reddit.com/r/programming/comments/1rdmj9t/how_macos_controls_performance_qos_on_intel_and/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://eclecticlight.co/2022/01/07/how-macos-controls-performance-qos-on-intel-and-m1-processors/) [comments] (https://www.reddit.com/r/programming/comments/1rdmj9t/how_macos_controls_performance_qos_on_intel_and/)

Sprites on the Web
https://www.reddit.com/r/programming/comments/1rdmm2u/sprites_on_the_web/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.joshwcomeau.com/animation/sprites/) [comments] (https://www.reddit.com/r/programming/comments/1rdmm2u/sprites_on_the_web/)

Where Do Specifications Fit in the Dependency Tree?
https://www.reddit.com/r/programming/comments/1rdmml7/where_do_specifications_fit_in_the_dependency_tree/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://nesbitt.io/2026/02/23/where-do-specifications-fit-in-the-dependency-tree.html) [comments] (https://www.reddit.com/r/programming/comments/1rdmml7/where_do_specifications_fit_in_the_dependency_tree/)

Common Performance Pitfalls of Modern Storage I/O
https://www.reddit.com/r/programming/comments/1rdnsse/common_performance_pitfalls_of_modern_storage_io/

<!-- SC_OFF -->Whether you’re optimizing ScyllaDB, building your own database system, or simply trying to understand why your storage isn’t delivering the advertised performance, understanding these three interconnected layers – disk, filesystem, and application – is essential. Each layer has its own assumptions of what constitutes an optimal request. When these expectations misalign, the consequences cascade down, amplifying latency and degrading throughput. This post presents a set of delicate pitfalls we’ve encountered, organized by layer. Each includes concrete examples from production investigations as well as actionable mitigation strategies. <!-- SC_ON --> submitted by /u/swdevtest (https://www.reddit.com/user/swdevtest)
[link] (https://www.scylladb.com/2026/02/23/common-performance-pitfalls-of-modern-storage-i-o/) [comments] (https://www.reddit.com/r/programming/comments/1rdnsse/common_performance_pitfalls_of_modern_storage_io/)

Scheduling in a Bare-Metal Web Server
https://www.reddit.com/r/programming/comments/1rdpbv7/scheduling_in_a_baremetal_web_server/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://thasso.xyz/scheduling.html) [comments] (https://www.reddit.com/r/programming/comments/1rdpbv7/scheduling_in_a_baremetal_web_server/)

A Builder's Guide to Not Leaking Credentials
https://www.reddit.com/r/programming/comments/1re3t35/a_builders_guide_to_not_leaking_credentials/

submitted by /u/Missics (https://www.reddit.com/user/Missics)
[link] (https://www.eliranturgeman.com/2026/02/20/secrets-leaked/) [comments] (https://www.reddit.com/r/programming/comments/1re3t35/a_builders_guide_to_not_leaking_credentials/)

Some Popular algorithms you've probably seen
https://www.reddit.com/r/programming/comments/1re4cwr/some_popular_algorithms_youve_probably_seen/

<!-- SC_OFF -->I've got a new workflow and have be pumping out mostly MIT software but sometimes GNU3. check out site and try the algorithms yourself! <!-- SC_ON --> submitted by /u/Cythru (https://www.reddit.com/user/Cythru)
[link] (https://github.com/Cythru/Algos) [comments] (https://www.reddit.com/r/programming/comments/1re4cwr/some_popular_algorithms_youve_probably_seen/)

How we reduced the size of our Agent Go binaries by up to 77%
https://www.reddit.com/r/programming/comments/1re52q7/how_we_reduced_the_size_of_our_agent_go_binaries/

submitted by /u/Downtown_Mark_6390 (https://www.reddit.com/user/Downtown_Mark_6390)
[link] (https://www.datadoghq.com/blog/engineering/agent-go-binaries/) [comments] (https://www.reddit.com/r/programming/comments/1re52q7/how_we_reduced_the_size_of_our_agent_go_binaries/)

"Vibe Coding" Threatens Open Source
https://www.reddit.com/r/programming/comments/1re6efb/vibe_coding_threatens_open_source/

submitted by /u/Weekly-Ad7131 (https://www.reddit.com/user/Weekly-Ad7131)
[link] (https://www.infoq.com/news/2026/02/ai-floods-close-projects/) [comments] (https://www.reddit.com/r/programming/comments/1re6efb/vibe_coding_threatens_open_source/)

Fake Job Interviews Are Installing Backdoors on Developer Machines
https://www.reddit.com/r/programming/comments/1readhv/fake_job_interviews_are_installing_backdoors_on/

submitted by /u/Big-Engineering-9365 (https://www.reddit.com/user/Big-Engineering-9365)
[link] (https://threatroad.substack.com/p/fake-job-interviews-are-installing) [comments] (https://www.reddit.com/r/programming/comments/1readhv/fake_job_interviews_are_installing_backdoors_on/)

I rendered 1,418 Unicode confusable pairs across 230 system fonts. 82 are pixel-identical, and the font your site uses determines which ones.
https://www.reddit.com/r/programming/comments/1rebxn8/i_rendered_1418_unicode_confusable_pairs_across/

submitted by /u/paultendo (https://www.reddit.com/user/paultendo)
[link] (https://paultendo.github.io/posts/confusable-vision-visual-similarity/) [comments] (https://www.reddit.com/r/programming/comments/1rebxn8/i_rendered_1418_unicode_confusable_pairs_across/)

Time-Travel Debugging: Replaying Production Bugs Locally
https://www.reddit.com/r/programming/comments/1recof8/timetravel_debugging_replaying_production_bugs/

submitted by /u/aijan1 (https://www.reddit.com/user/aijan1)
[link] (https://lackofimagination.org/2026/02/time-travel-debugging-replaying-production-bugs-locally/) [comments] (https://www.reddit.com/r/programming/comments/1recof8/timetravel_debugging_replaying_production_bugs/)

About memory pressure, lock contention, and Data-oriented Design
https://www.reddit.com/r/programming/comments/1ref4rd/about_memory_pressure_lock_contention_and/

submitted by /u/Hywan (https://www.reddit.com/user/Hywan)
[link] (https://mnt.io/articles/about-memory-pressure-lock-contention-and-data-oriented-design/) [comments] (https://www.reddit.com/r/programming/comments/1ref4rd/about_memory_pressure_lock_contention_and/)

Understanding Bill Gosper's continued fraction arithmetic (implemented in Python)
https://www.reddit.com/r/programming/comments/1refjyw/understanding_bill_gospers_continued_fraction/

submitted by /u/notfancy (https://www.reddit.com/user/notfancy)
[link] (https://hsinhaoyu.github.io/cont_frac/) [comments] (https://www.reddit.com/r/programming/comments/1refjyw/understanding_bill_gospers_continued_fraction/)

curl security moves again [from GitHub back to hackerone; still no bug-bounty]
https://www.reddit.com/r/programming/comments/1reig96/curl_security_moves_again_from_github_back_to/

submitted by /u/cake-day-on-feb-29 (https://www.reddit.com/user/cake-day-on-feb-29)
[link] (https://daniel.haxx.se/blog/2026/02/25/curl-security-moves-again/) [comments] (https://www.reddit.com/r/programming/comments/1reig96/curl_security_moves_again_from_github_back_to/)

The History of a Security Hole
https://www.reddit.com/r/programming/comments/1reizwq/the_history_of_a_security_hole/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.os2museum.com/wp/the-history-of-a-security-hole/) [comments] (https://www.reddit.com/r/programming/comments/1reizwq/the_history_of_a_security_hole/)

Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen
https://www.reddit.com/r/programming/comments/1rej17v/lambda_world_2019_languageoriented_programming/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.youtube.com/watch?v=z8Pz4bJV3Tk) [comments] (https://www.reddit.com/r/programming/comments/1rej17v/lambda_world_2019_languageoriented_programming/)

30 Years of Decompilation and the Unsolved Structuring Problem: Part 1
https://www.reddit.com/r/programming/comments/1rej3ql/30_years_of_decompilation_and_the_unsolved/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://mahaloz.re/dec-history-pt1) [comments] (https://www.reddit.com/r/programming/comments/1rej3ql/30_years_of_decompilation_and_the_unsolved/)

“Falsehoods Programmers Believe About Time” still the best reminder that time handling is fundamentally broken
https://www.reddit.com/r/programming/comments/1rejwmj/falsehoods_programmers_believe_about_time_still/

<!-- SC_OFF -->“Falsehoods Programmers Believe About Time” is a classic reminder that time handling is fundamentally messy. It walks through incorrect assumptions like: Days are always 24 hours Clocks stay in sync Timestamps are unique Time zones don’t change System clocks are accurate It also references real production issues (e.g., VM clock drift under KVM) to show these aren’t theoretical edge cases. Still highly relevant for backend, distributed systems & infra work. <!-- SC_ON --> submitted by /u/Digitalunicon (https://www.reddit.com/user/Digitalunicon)
[link] (https://infiniteundo.com/post/25326999628/falsehoods-programmers-believe-about-time) [comments] (https://www.reddit.com/r/programming/comments/1rejwmj/falsehoods_programmers_believe_about_time_still/)