214
I will send you newest post from subreddit /r/programming
Controlling Nondeterminism in Model-Based Tests with Prophecy Variables
https://www.reddit.com/r/programming/comments/1hmvvbs/controlling_nondeterminism_in_modelbased_tests/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://concerningquality.com/prophecy-variables/) [comments] (https://www.reddit.com/r/programming/comments/1hmvvbs/controlling_nondeterminism_in_modelbased_tests/)
Dividing unsigned 8-bit numbers
https://www.reddit.com/r/programming/comments/1hmvum4/dividing_unsigned_8bit_numbers/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (http://0x80.pl/notesen/2024-12-21-uint8-division.html) [comments] (https://www.reddit.com/r/programming/comments/1hmvum4/dividing_unsigned_8bit_numbers/)
How I debugged a 2 year old "fake debugged" multithreading bug
https://www.reddit.com/r/programming/comments/1hmvt53/how_i_debugged_a_2_year_old_fake_debugged/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://ankush.dev/p/race-condition-strikes-back) [comments] (https://www.reddit.com/r/programming/comments/1hmvt53/how_i_debugged_a_2_year_old_fake_debugged/)
Unorm and SNORM to float, hardware edition
https://www.reddit.com/r/programming/comments/1hmvquc/unorm_and_snorm_to_float_hardware_edition/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://fgiesen.wordpress.com/2024/12/24/unorm-and-snorm-to-float-hardware-edition/) [comments] (https://www.reddit.com/r/programming/comments/1hmvquc/unorm_and_snorm_to_float_hardware_edition/)
Into CPS, Never to Return
https://www.reddit.com/r/programming/comments/1hmvq9h/into_cps_never_to_return/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://bernsteinbear.com/blog/cps/) [comments] (https://www.reddit.com/r/programming/comments/1hmvq9h/into_cps_never_to_return/)
pyftrace: a python fucntion tracer
https://www.reddit.com/r/programming/comments/1hmugd8/pyftrace_a_python_fucntion_tracer/
submitted by /u/Competitive-Wall1810 (https://www.reddit.com/user/Competitive-Wall1810)
[link] (https://github.com/kangtegong/pyftrace) [comments] (https://www.reddit.com/r/programming/comments/1hmugd8/pyftrace_a_python_fucntion_tracer/)
Exploring Microsoft's Phi-3-Mini and its integration with tools like Ollama and Pieces
https://www.reddit.com/r/programming/comments/1hmnhmc/exploring_microsofts_phi3mini_and_its_integration/
submitted by /u/Only_Piccolo5736 (https://www.reddit.com/user/Only_Piccolo5736)
[link] (https://pieces.app/blog/phi-3-mini-integrations) [comments] (https://www.reddit.com/r/programming/comments/1hmnhmc/exploring_microsofts_phi3mini_and_its_integration/)
Server Side Events(SSE) are underrated
https://www.reddit.com/r/programming/comments/1hmltil/server_side_eventssse_are_underrated/
submitted by /u/Igor_Victor (https://www.reddit.com/user/Igor_Victor)
[link] (https://igorstechnoclub.com/server-sent-events-sse-are-underrated/) [comments] (https://www.reddit.com/r/programming/comments/1hmltil/server_side_eventssse_are_underrated/)
GitHub expands AI suite: Copilot goes multi-model, Spark debuts for web dev
https://www.reddit.com/r/programming/comments/1hml1rl/github_expands_ai_suite_copilot_goes_multimodel/
submitted by /u/MagicianPutrid5245 (https://www.reddit.com/user/MagicianPutrid5245)
[link] (https://www.artificialintelligence-news.com/news/github-expands-ai-suite-copilot-goes-multi-model-spark-debuts-for-web-dev/) [comments] (https://www.reddit.com/r/programming/comments/1hml1rl/github_expands_ai_suite_copilot_goes_multimodel/)
How We Fixed Our Product Performance Tracking in development
https://www.reddit.com/r/programming/comments/1hmjvbu/how_we_fixed_our_product_performance_tracking_in/
submitted by /u/professionalthing111 (https://www.reddit.com/user/professionalthing111)
[link] (https://rowsana.substack.com/p/how-we-fixed-our-product-performance) [comments] (https://www.reddit.com/r/programming/comments/1hmjvbu/how_we_fixed_our_product_performance_tracking_in/)
F* : A general-purpose proof-oriented programming language
https://www.reddit.com/r/programming/comments/1hmeqec/f_a_generalpurpose_prooforiented_programming/
submitted by /u/dewmal (https://www.reddit.com/user/dewmal)
[link] (https://fstar-lang.org/) [comments] (https://www.reddit.com/r/programming/comments/1hmeqec/f_a_generalpurpose_prooforiented_programming/)
How complex is Hello World really?
https://www.reddit.com/r/programming/comments/1hmav07/how_complex_is_hello_world_really/
<!-- SC_OFF -->It is surprisingly hard to create something simple. Let's remove the complexity from standard libraries, modern security features, debugging information, and error handling mechanisms to learn about elfs. It's xmas after all... <!-- SC_ON --> submitted by /u/awesomealchemy (https://www.reddit.com/user/awesomealchemy)
[link] (https://4zm.org/2024/12/25/a-simple-elf.html) [comments] (https://www.reddit.com/r/programming/comments/1hmav07/how_complex_is_hello_world_really/)
Go-Prequel: POC for google’s prequel load balancer
https://www.reddit.com/r/programming/comments/1hm78ao/goprequel_poc_for_googles_prequel_load_balancer/
submitted by /u/uds5501 (https://www.reddit.com/user/uds5501)
[link] (https://uds5501.github.io/mindpalace/2024/12/25/go-prequel-load-balancer.html) [comments] (https://www.reddit.com/r/programming/comments/1hm78ao/goprequel_poc_for_googles_prequel_load_balancer/)
Improving API Latency with Server-Side Caching
https://www.reddit.com/r/programming/comments/1hm5s2l/improving_api_latency_with_serverside_caching/
submitted by /u/Alternative_Ball_895 (https://www.reddit.com/user/Alternative_Ball_895)
[link] (https://medium.com/digital-minds/how-i-reduced-api-latency-by-40-with-server-side-caching-d23b8bd2fcb1?source=friends_link&sk=5210884a5f56ea30a0dda7986adb9af7) [comments] (https://www.reddit.com/r/programming/comments/1hm5s2l/improving_api_latency_with_serverside_caching/)
PostgreSQL Meets ScyllaDB's Lightning Speed and Monstrous Scalability
https://www.reddit.com/r/programming/comments/1hm2qdy/postgresql_meets_scylladbs_lightning_speed_and/
submitted by /u/avinassh (https://www.reddit.com/user/avinassh)
[link] (abdurohman/mind-blowing-postgresql-meets-scylladbs-lightning-speed-and-monstrous-scalability-7dcda1eb1cea" rel="nofollow">https://medium.com/@abdurohman/mind-blowing-postgresql-meets-scylladbs-lightning-speed-and-monstrous-scalability-7dcda1eb1cea) [comments] (https://www.reddit.com/r/programming/comments/1hm2qdy/postgresql_meets_scylladbs_lightning_speed_and/)
Symbolic Execution by Overloading __bool__
https://www.reddit.com/r/programming/comments/1hmvv3a/symbolic_execution_by_overloading_bool/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.philipzucker.com/overload_bool/) [comments] (https://www.reddit.com/r/programming/comments/1hmvv3a/symbolic_execution_by_overloading_bool/)
Faster Positional-Population Counts for AVX2, AVX-512, and ASIMD [pdf]
https://www.reddit.com/r/programming/comments/1hmvu6j/faster_positionalpopulation_counts_for_avx2/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://arxiv.org/abs/2412.16370) [comments] (https://www.reddit.com/r/programming/comments/1hmvu6j/faster_positionalpopulation_counts_for_avx2/)
One day with Zig, Raylib, and jj
https://www.reddit.com/r/programming/comments/1hmvsrd/one_day_with_zig_raylib_and_jj/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://slightknack.dev/blog/zig-raylib/) [comments] (https://www.reddit.com/r/programming/comments/1hmvsrd/one_day_with_zig_raylib_and_jj/)
Bit Vectors and my first steps into assembly
https://www.reddit.com/r/programming/comments/1hmvqk7/bit_vectors_and_my_first_steps_into_assembly/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://blog.smidt.dev/posts/0004/) [comments] (https://www.reddit.com/r/programming/comments/1hmvqk7/bit_vectors_and_my_first_steps_into_assembly/)
Reads Causing Writes in Postgres
https://www.reddit.com/r/programming/comments/1hmvoj9/reads_causing_writes_in_postgres/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://jesipow.com/blog/postgres-reads-cause-writes/) [comments] (https://www.reddit.com/r/programming/comments/1hmvoj9/reads_causing_writes_in_postgres/)
150 papers for Software Engineers
https://www.reddit.com/r/programming/comments/1hmrmnh/150_papers_for_software_engineers/
submitted by /u/facundoolano (https://www.reddit.com/user/facundoolano)
[link] (https://github.com/facundoolano/software-papers) [comments] (https://www.reddit.com/r/programming/comments/1hmrmnh/150_papers_for_software_engineers/)
Upload your resume to instantly generate a free link—perfect for job applications!
https://www.reddit.com/r/programming/comments/1hmm872/upload_your_resume_to_instantly_generate_a_free/
submitted by /u/Similar-Asparagus-77 (https://www.reddit.com/user/Similar-Asparagus-77)
[link] (https://tailwindgenie.com/resume-hosting) [comments] (https://www.reddit.com/r/programming/comments/1hmm872/upload_your_resume_to_instantly_generate_a_free/)
How to Speed up your Playwright Tests with shared "storageState"
https://www.reddit.com/r/programming/comments/1hml2nn/how_to_speed_up_your_playwright_tests_with_shared/
submitted by /u/bit810 (https://www.reddit.com/user/bit810)
[link] (https://www.checklyhq.com/blog/speed-up-playwright-tests-with-storage-state/) [comments] (https://www.reddit.com/r/programming/comments/1hml2nn/how_to_speed_up_your_playwright_tests_with_shared/)
On Long Term Software Development - Bert Hubert's writings
https://www.reddit.com/r/programming/comments/1hmkx8c/on_long_term_software_development_bert_huberts/
submitted by /u/MagicianPutrid5245 (https://www.reddit.com/user/MagicianPutrid5245)
[link] (https://berthub.eu/articles/posts/on-long-term-software-development/) [comments] (https://www.reddit.com/r/programming/comments/1hmkx8c/on_long_term_software_development_bert_huberts/)
BashForm - Forms, But In the Terminal
https://www.reddit.com/r/programming/comments/1hmj7ss/bashform_forms_but_in_the_terminal/
<!-- SC_OFF -->Hey everyone! 👋 Just created BashForm - create and share forms through SSH! No installs, no setup- just pure terminal goodness ✨ Try it out (takes 30 seconds): ssh -t bashform.me f try It's like Google Forms but for the Terminal (cool people) 🤓 Its Built with Golang, Bubble Tea and Wish Source: https://github.com/devmegablaster/bashform PS: All you need is an SSH key! <!-- SC_ON --> submitted by /u/Any_Friend_8551 (https://www.reddit.com/user/Any_Friend_8551)
[link] (https://github.com/devmegablaster/bashform) [comments] (https://www.reddit.com/r/programming/comments/1hmj7ss/bashform_forms_but_in_the_terminal/)
CRT Simulation in a GPU Shader, Looks Better Than BFI (black frame insertion) - Blur Busters
https://www.reddit.com/r/programming/comments/1hmb7ds/crt_simulation_in_a_gpu_shader_looks_better_than/
submitted by /u/r_retrohacking_mod2 (https://www.reddit.com/user/r_retrohacking_mod2)
[link] (https://blurbusters.com/crt-simulation-in-a-gpu-shader-looks-better-than-bfi/) [comments] (https://www.reddit.com/r/programming/comments/1hmb7ds/crt_simulation_in_a_gpu_shader_looks_better_than/)
Experimenting with software architectures for video games inspired by tabletop roleplaying games
https://www.reddit.com/r/programming/comments/1hm9d0p/experimenting_with_software_architectures_for/
submitted by /u/self (https://www.reddit.com/user/self)
[link] (https://paulgestwicki.blogspot.com/2024/12/experimenting-with-software.html) [comments] (https://www.reddit.com/r/programming/comments/1hm9d0p/experimenting_with_software_architectures_for/)
Log-structured file systems: There's one in every SSD
https://www.reddit.com/r/programming/comments/1hm61hv/logstructured_file_systems_theres_one_in_every_ssd/
submitted by /u/flat_earth_worm (https://www.reddit.com/user/flat_earth_worm)
[link] (https://lwn.net/Articles/353411/) [comments] (https://www.reddit.com/r/programming/comments/1hm61hv/logstructured_file_systems_theres_one_in_every_ssd/)
Dashlane Publishes Web Extension Code for Transparency and Security
https://www.reddit.com/r/programming/comments/1hm3dtd/dashlane_publishes_web_extension_code_for/
submitted by /u/nick313 (https://www.reddit.com/user/nick313)
[link] (https://cyberinsider.com/dashlane-publishes-web-extension-code-for-transparency-and-security/) [comments] (https://www.reddit.com/r/programming/comments/1hm3dtd/dashlane_publishes_web_extension_code_for/)
Writing slower Go programs
https://www.reddit.com/r/programming/comments/1hlyn6a/writing_slower_go_programs/
submitted by /u/EightLines_03 (https://www.reddit.com/user/EightLines_03)
[link] (https://bitfieldconsulting.com/posts/slower) [comments] (https://www.reddit.com/r/programming/comments/1hlyn6a/writing_slower_go_programs/)