λProlog: Logic programming in higher-order logic
https://www.reddit.com/r/programming/comments/1rdmfiy/%CE%BBprolog_logic_programming_in_higherorder_logic/

submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/) [comments] (https://www.reddit.com/r/programming/comments/1rdmfiy/%CE%BBprolog_logic_programming_in_higherorder_logic/)

Reducing the size of Go binaries by up to 77%
https://www.reddit.com/r/programming/comments/1rdmh56/reducing_the_size_of_go_binaries_by_up_to_77/

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

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/)