Linearizability! Refinement! Prophecy
https://www.reddit.com/r/programming/comments/1fo7do8/linearizability_refinement_prophecy/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/) [comments] (https://www.reddit.com/r/programming/comments/1fo7do8/linearizability_refinement_prophecy/)
https://www.reddit.com/r/programming/comments/1fo7do8/linearizability_refinement_prophecy/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/) [comments] (https://www.reddit.com/r/programming/comments/1fo7do8/linearizability_refinement_prophecy/)
Recreating Sketchpad, the first GUI
https://www.reddit.com/r/programming/comments/1fo7dsq/recreating_sketchpad_the_first_gui/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.youtube.com/watch?v=lIxbSDyHsXs) [comments] (https://www.reddit.com/r/programming/comments/1fo7dsq/recreating_sketchpad_the_first_gui/)
https://www.reddit.com/r/programming/comments/1fo7dsq/recreating_sketchpad_the_first_gui/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.youtube.com/watch?v=lIxbSDyHsXs) [comments] (https://www.reddit.com/r/programming/comments/1fo7dsq/recreating_sketchpad_the_first_gui/)
Automatic async to sync code conversion
https://www.reddit.com/r/programming/comments/1fo7dtb/automatic_async_to_sync_code_conversion/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.psycopg.org/articles/2024/09/23/async-to-sync/) [comments] (https://www.reddit.com/r/programming/comments/1fo7dtb/automatic_async_to_sync_code_conversion/)
https://www.reddit.com/r/programming/comments/1fo7dtb/automatic_async_to_sync_code_conversion/
submitted by /u/ketralnis (https://www.reddit.com/user/ketralnis)
[link] (https://www.psycopg.org/articles/2024/09/23/async-to-sync/) [comments] (https://www.reddit.com/r/programming/comments/1fo7dtb/automatic_async_to_sync_code_conversion/)
LevelDB Explained - How to Analyze the Time Complexity of SkipLists?
https://www.reddit.com/r/programming/comments/1fo8szq/leveldb_explained_how_to_analyze_the_time/
submitted by /u/selfboot007 (https://www.reddit.com/user/selfboot007)
[link] (https://selfboot.cn/en/2024/09/24/leveldb_source_skiplist_time_analysis/) [comments] (https://www.reddit.com/r/programming/comments/1fo8szq/leveldb_explained_how_to_analyze_the_time/)
https://www.reddit.com/r/programming/comments/1fo8szq/leveldb_explained_how_to_analyze_the_time/
submitted by /u/selfboot007 (https://www.reddit.com/user/selfboot007)
[link] (https://selfboot.cn/en/2024/09/24/leveldb_source_skiplist_time_analysis/) [comments] (https://www.reddit.com/r/programming/comments/1fo8szq/leveldb_explained_how_to_analyze_the_time/)
Sanding UI - Jim Nielsen’s Blog
https://www.reddit.com/r/programming/comments/1fobtpg/sanding_ui_jim_nielsens_blog/
submitted by /u/rawion363 (https://www.reddit.com/user/rawion363)
[link] (https://blog.jim-nielsen.com/2024/sanding-ui/) [comments] (https://www.reddit.com/r/programming/comments/1fobtpg/sanding_ui_jim_nielsens_blog/)
https://www.reddit.com/r/programming/comments/1fobtpg/sanding_ui_jim_nielsens_blog/
submitted by /u/rawion363 (https://www.reddit.com/user/rawion363)
[link] (https://blog.jim-nielsen.com/2024/sanding-ui/) [comments] (https://www.reddit.com/r/programming/comments/1fobtpg/sanding_ui_jim_nielsens_blog/)
98% of companies experienced ML project failures in 2023: report
https://www.reddit.com/r/programming/comments/1focf6c/98_of_companies_experienced_ml_project_failures/
submitted by /u/wrymaras (https://www.reddit.com/user/wrymaras)
[link] (https://info.sqream.com/hubfs/data%20analytics%20leaders%20survey%202024.pdf) [comments] (https://www.reddit.com/r/programming/comments/1focf6c/98_of_companies_experienced_ml_project_failures/)
https://www.reddit.com/r/programming/comments/1focf6c/98_of_companies_experienced_ml_project_failures/
submitted by /u/wrymaras (https://www.reddit.com/user/wrymaras)
[link] (https://info.sqream.com/hubfs/data%20analytics%20leaders%20survey%202024.pdf) [comments] (https://www.reddit.com/r/programming/comments/1focf6c/98_of_companies_experienced_ml_project_failures/)
Tinymind: Sync articles and memos with GitHub, transforming them into your blog's homepage
https://www.reddit.com/r/programming/comments/1foe2o3/tinymind_sync_articles_and_memos_with_github/
submitted by /u/RingoCatKeeper (https://www.reddit.com/user/RingoCatKeeper)
[link] (https://github.com/mazzzystar/tinymind) [comments] (https://www.reddit.com/r/programming/comments/1foe2o3/tinymind_sync_articles_and_memos_with_github/)
https://www.reddit.com/r/programming/comments/1foe2o3/tinymind_sync_articles_and_memos_with_github/
submitted by /u/RingoCatKeeper (https://www.reddit.com/user/RingoCatKeeper)
[link] (https://github.com/mazzzystar/tinymind) [comments] (https://www.reddit.com/r/programming/comments/1foe2o3/tinymind_sync_articles_and_memos_with_github/)
Connor (w/ GUI and CLI Support): Fast and fully local NLP file organizer that organizes files based on their textual content.
https://www.reddit.com/r/programming/comments/1foh04t/connor_w_gui_and_cli_support_fast_and_fully_local/
submitted by /u/Fluffy-4477 (https://www.reddit.com/user/Fluffy-4477)
[link] (https://github.com/ycatsh/connor) [comments] (https://www.reddit.com/r/programming/comments/1foh04t/connor_w_gui_and_cli_support_fast_and_fully_local/)
https://www.reddit.com/r/programming/comments/1foh04t/connor_w_gui_and_cli_support_fast_and_fully_local/
submitted by /u/Fluffy-4477 (https://www.reddit.com/user/Fluffy-4477)
[link] (https://github.com/ycatsh/connor) [comments] (https://www.reddit.com/r/programming/comments/1foh04t/connor_w_gui_and_cli_support_fast_and_fully_local/)
Rust panics under the hood, and implementing them in .NET
https://www.reddit.com/r/programming/comments/1font5k/rust_panics_under_the_hood_and_implementing_them/
submitted by /u/FractalFir (https://www.reddit.com/user/FractalFir)
[link] (https://fractalfir.github.io/generated_html/rustc_codegen_clr_v0_2_1.html) [comments] (https://www.reddit.com/r/programming/comments/1font5k/rust_panics_under_the_hood_and_implementing_them/)
https://www.reddit.com/r/programming/comments/1font5k/rust_panics_under_the_hood_and_implementing_them/
submitted by /u/FractalFir (https://www.reddit.com/user/FractalFir)
[link] (https://fractalfir.github.io/generated_html/rustc_codegen_clr_v0_2_1.html) [comments] (https://www.reddit.com/r/programming/comments/1font5k/rust_panics_under_the_hood_and_implementing_them/)
High frequency metrics in PHP using TCP sockets
https://www.reddit.com/r/programming/comments/1fonub4/high_frequency_metrics_in_php_using_tcp_sockets/
submitted by /u/maus80 (https://www.reddit.com/user/maus80)
[link] (https://tqdev.com/2024-high-frequency-metrics-in-php-using-tcp-sockets) [comments] (https://www.reddit.com/r/programming/comments/1fonub4/high_frequency_metrics_in_php_using_tcp_sockets/)
https://www.reddit.com/r/programming/comments/1fonub4/high_frequency_metrics_in_php_using_tcp_sockets/
submitted by /u/maus80 (https://www.reddit.com/user/maus80)
[link] (https://tqdev.com/2024-high-frequency-metrics-in-php-using-tcp-sockets) [comments] (https://www.reddit.com/r/programming/comments/1fonub4/high_frequency_metrics_in_php_using_tcp_sockets/)
What I tell people new to on-call
https://www.reddit.com/r/programming/comments/1foo39r/what_i_tell_people_new_to_oncall/
submitted by /u/mateusnr (https://www.reddit.com/user/mateusnr)
[link] (https://ntietz.com/blog/what-i-tell-people-new-to-oncall/) [comments] (https://www.reddit.com/r/programming/comments/1foo39r/what_i_tell_people_new_to_oncall/)
https://www.reddit.com/r/programming/comments/1foo39r/what_i_tell_people_new_to_oncall/
submitted by /u/mateusnr (https://www.reddit.com/user/mateusnr)
[link] (https://ntietz.com/blog/what-i-tell-people-new-to-oncall/) [comments] (https://www.reddit.com/r/programming/comments/1foo39r/what_i_tell_people_new_to_oncall/)
GitHub - damn/clojure.gdx: DSL for writing games in clojure
https://www.reddit.com/r/programming/comments/1fovsuw/github_damnclojuregdx_dsl_for_writing_games_in/
submitted by /u/simple-easy (https://www.reddit.com/user/simple-easy)
[link] (https://github.com/damn/clojure.gdx) [comments] (https://www.reddit.com/r/programming/comments/1fovsuw/github_damnclojuregdx_dsl_for_writing_games_in/)
https://www.reddit.com/r/programming/comments/1fovsuw/github_damnclojuregdx_dsl_for_writing_games_in/
submitted by /u/simple-easy (https://www.reddit.com/user/simple-easy)
[link] (https://github.com/damn/clojure.gdx) [comments] (https://www.reddit.com/r/programming/comments/1fovsuw/github_damnclojuregdx_dsl_for_writing_games_in/)
Conditions vs. Relationships: Choosing Between ABAC and ReBAC
https://www.reddit.com/r/programming/comments/1foxcsl/conditions_vs_relationships_choosing_between_abac/
submitted by /u/odd_sherlock (https://www.reddit.com/user/odd_sherlock)
[link] (https://www.permit.io/blog/conditions-vs-relationships-choosing-between-abac-and-rebac) [comments] (https://www.reddit.com/r/programming/comments/1foxcsl/conditions_vs_relationships_choosing_between_abac/)
https://www.reddit.com/r/programming/comments/1foxcsl/conditions_vs_relationships_choosing_between_abac/
submitted by /u/odd_sherlock (https://www.reddit.com/user/odd_sherlock)
[link] (https://www.permit.io/blog/conditions-vs-relationships-choosing-between-abac-and-rebac) [comments] (https://www.reddit.com/r/programming/comments/1foxcsl/conditions_vs_relationships_choosing_between_abac/)
Best practices for migrating legacy software to Laravel. A structured 10-step guide for devs handling older codebases
https://www.reddit.com/r/programming/comments/1foxrbb/best_practices_for_migrating_legacy_software_to/
submitted by /u/Stock_Love_4336 (https://www.reddit.com/user/Stock_Love_4336)
[link] (https://blog.200oksolutions.com/migrate-legacy-app-to-laravel/) [comments] (https://www.reddit.com/r/programming/comments/1foxrbb/best_practices_for_migrating_legacy_software_to/)
https://www.reddit.com/r/programming/comments/1foxrbb/best_practices_for_migrating_legacy_software_to/
submitted by /u/Stock_Love_4336 (https://www.reddit.com/user/Stock_Love_4336)
[link] (https://blog.200oksolutions.com/migrate-legacy-app-to-laravel/) [comments] (https://www.reddit.com/r/programming/comments/1foxrbb/best_practices_for_migrating_legacy_software_to/)
What are the key factors to consider when choosing between AWS and Azure for cloud migration?
https://www.reddit.com/r/programming/comments/1foy9gn/what_are_the_key_factors_to_consider_when/
submitted by /u/Overall_Toe_7657 (https://www.reddit.com/user/Overall_Toe_7657)
[link] (https://vizzon.co.uk/) [comments] (https://www.reddit.com/r/programming/comments/1foy9gn/what_are_the_key_factors_to_consider_when/)
https://www.reddit.com/r/programming/comments/1foy9gn/what_are_the_key_factors_to_consider_when/
submitted by /u/Overall_Toe_7657 (https://www.reddit.com/user/Overall_Toe_7657)
[link] (https://vizzon.co.uk/) [comments] (https://www.reddit.com/r/programming/comments/1foy9gn/what_are_the_key_factors_to_consider_when/)
LevelDB Explained - Understanding Advanced C++ Techniques
https://www.reddit.com/r/programming/comments/1foyw29/leveldb_explained_understanding_advanced_c/
submitted by /u/selfboot007 (https://www.reddit.com/user/selfboot007)
[link] (https://selfboot.cn/en/2024/08/13/leveldb_source_unstand_c++/) [comments] (https://www.reddit.com/r/programming/comments/1foyw29/leveldb_explained_understanding_advanced_c/)
https://www.reddit.com/r/programming/comments/1foyw29/leveldb_explained_understanding_advanced_c/
submitted by /u/selfboot007 (https://www.reddit.com/user/selfboot007)
[link] (https://selfboot.cn/en/2024/08/13/leveldb_source_unstand_c++/) [comments] (https://www.reddit.com/r/programming/comments/1foyw29/leveldb_explained_understanding_advanced_c/)
Avoiding if-else Hell: The Functional Style
https://www.reddit.com/r/programming/comments/1fozl65/avoiding_ifelse_hell_the_functional_style/
submitted by /u/aijan1 (https://www.reddit.com/user/aijan1)
[link] (https://lackofimagination.org/2024/09/avoiding-if-else-hell-the-functional-style/) [comments] (https://www.reddit.com/r/programming/comments/1fozl65/avoiding_ifelse_hell_the_functional_style/)
https://www.reddit.com/r/programming/comments/1fozl65/avoiding_ifelse_hell_the_functional_style/
submitted by /u/aijan1 (https://www.reddit.com/user/aijan1)
[link] (https://lackofimagination.org/2024/09/avoiding-if-else-hell-the-functional-style/) [comments] (https://www.reddit.com/r/programming/comments/1fozl65/avoiding_ifelse_hell_the_functional_style/)
If Condition in HTML- Guide - Makemychance
https://www.reddit.com/r/programming/comments/1fp09fi/if_condition_in_html_guide_makemychance/
submitted by /u/Latter-Dust8587 (https://www.reddit.com/user/Latter-Dust8587)
[link] (https://makemychance.com/if-condition-in-html-guide/) [comments] (https://www.reddit.com/r/programming/comments/1fp09fi/if_condition_in_html_guide_makemychance/)
https://www.reddit.com/r/programming/comments/1fp09fi/if_condition_in_html_guide_makemychance/
submitted by /u/Latter-Dust8587 (https://www.reddit.com/user/Latter-Dust8587)
[link] (https://makemychance.com/if-condition-in-html-guide/) [comments] (https://www.reddit.com/r/programming/comments/1fp09fi/if_condition_in_html_guide_makemychance/)
Winamp finally open sources their code, under license preventing forking and source/binary distribution
https://www.reddit.com/r/programming/comments/1fp15q0/winamp_finally_open_sources_their_code_under/
<!-- SC_OFF -->people have been discussing that this breaks GitHub TOS and is no more open source than a leak. I think it's cool that we have an up to date piece of winamp source. <!-- SC_ON --> submitted by /u/bruisedandbroke (https://www.reddit.com/user/bruisedandbroke)
[link] (https://github.com/WinampDesktop/winamp) [comments] (https://www.reddit.com/r/programming/comments/1fp15q0/winamp_finally_open_sources_their_code_under/)
https://www.reddit.com/r/programming/comments/1fp15q0/winamp_finally_open_sources_their_code_under/
<!-- SC_OFF -->people have been discussing that this breaks GitHub TOS and is no more open source than a leak. I think it's cool that we have an up to date piece of winamp source. <!-- SC_ON --> submitted by /u/bruisedandbroke (https://www.reddit.com/user/bruisedandbroke)
[link] (https://github.com/WinampDesktop/winamp) [comments] (https://www.reddit.com/r/programming/comments/1fp15q0/winamp_finally_open_sources_their_code_under/)
Scheduling threads like Thomas Jefferson
https://www.reddit.com/r/programming/comments/1fp1xx9/scheduling_threads_like_thomas_jefferson/
submitted by /u/stevana (https://www.reddit.com/user/stevana)
[link] (https://stevana.github.io/scheduling_threads_like_thomas_jefferson.html) [comments] (https://www.reddit.com/r/programming/comments/1fp1xx9/scheduling_threads_like_thomas_jefferson/)
https://www.reddit.com/r/programming/comments/1fp1xx9/scheduling_threads_like_thomas_jefferson/
submitted by /u/stevana (https://www.reddit.com/user/stevana)
[link] (https://stevana.github.io/scheduling_threads_like_thomas_jefferson.html) [comments] (https://www.reddit.com/r/programming/comments/1fp1xx9/scheduling_threads_like_thomas_jefferson/)
New plaintext markup language for note taking: dvlg
https://www.reddit.com/r/programming/comments/1fp2a8p/new_plaintext_markup_language_for_note_taking_dvlg/
submitted by /u/underthreaded (https://www.reddit.com/user/underthreaded)
[link] (https://underthreaded.com/blogs/tech/introduction-to-dvlg) [comments] (https://www.reddit.com/r/programming/comments/1fp2a8p/new_plaintext_markup_language_for_note_taking_dvlg/)
https://www.reddit.com/r/programming/comments/1fp2a8p/new_plaintext_markup_language_for_note_taking_dvlg/
submitted by /u/underthreaded (https://www.reddit.com/user/underthreaded)
[link] (https://underthreaded.com/blogs/tech/introduction-to-dvlg) [comments] (https://www.reddit.com/r/programming/comments/1fp2a8p/new_plaintext_markup_language_for_note_taking_dvlg/)