Dependent types for Datalog
https://www.reddit.com/r/programming/comments/1fs4lsc/dependent_types_for_datalog/
submitted by /u/mbid (https://www.reddit.com/user/mbid)
[link] (https://www.mbid.me/posts/dependent-types-for-datalog/) [comments] (https://www.reddit.com/r/programming/comments/1fs4lsc/dependent_types_for_datalog/)
https://www.reddit.com/r/programming/comments/1fs4lsc/dependent_types_for_datalog/
submitted by /u/mbid (https://www.reddit.com/user/mbid)
[link] (https://www.mbid.me/posts/dependent-types-for-datalog/) [comments] (https://www.reddit.com/r/programming/comments/1fs4lsc/dependent_types_for_datalog/)
Types vs No Types - How Types Allow Code to Scale across Developers, Organizations, and Code Size
https://www.reddit.com/r/programming/comments/1fs65du/types_vs_no_types_how_types_allow_code_to_scale/
submitted by /u/SIRHAMY (https://www.reddit.com/user/SIRHAMY)
[link] (https://hamy.xyz/labs/2024-09_types-vs-no-types) [comments] (https://www.reddit.com/r/programming/comments/1fs65du/types_vs_no_types_how_types_allow_code_to_scale/)
https://www.reddit.com/r/programming/comments/1fs65du/types_vs_no_types_how_types_allow_code_to_scale/
submitted by /u/SIRHAMY (https://www.reddit.com/user/SIRHAMY)
[link] (https://hamy.xyz/labs/2024-09_types-vs-no-types) [comments] (https://www.reddit.com/r/programming/comments/1fs65du/types_vs_no_types_how_types_allow_code_to_scale/)
Devs gaining little (if anything) from AI coding assistants
https://www.reddit.com/r/programming/comments/1fs72u2/devs_gaining_little_if_anything_from_ai_coding/
submitted by /u/Zardotab (https://www.reddit.com/user/Zardotab)
[link] (https://www.cio.com/article/3540579/devs-gaining-little-if-anything-from-ai-coding-assistants.html) [comments] (https://www.reddit.com/r/programming/comments/1fs72u2/devs_gaining_little_if_anything_from_ai_coding/)
https://www.reddit.com/r/programming/comments/1fs72u2/devs_gaining_little_if_anything_from_ai_coding/
submitted by /u/Zardotab (https://www.reddit.com/user/Zardotab)
[link] (https://www.cio.com/article/3540579/devs-gaining-little-if-anything-from-ai-coding-assistants.html) [comments] (https://www.reddit.com/r/programming/comments/1fs72u2/devs_gaining_little_if_anything_from_ai_coding/)
Spider-Man (Neversoft) decompilation project Progress Checkpoint - September 2024
https://www.reddit.com/r/programming/comments/1fs89mo/spiderman_neversoft_decompilation_project/
submitted by /u/krystalgamer (https://www.reddit.com/user/krystalgamer)
[link] (https://krystalgamer.github.io/spidey-decomp-status-september/) [comments] (https://www.reddit.com/r/programming/comments/1fs89mo/spiderman_neversoft_decompilation_project/)
https://www.reddit.com/r/programming/comments/1fs89mo/spiderman_neversoft_decompilation_project/
submitted by /u/krystalgamer (https://www.reddit.com/user/krystalgamer)
[link] (https://krystalgamer.github.io/spidey-decomp-status-september/) [comments] (https://www.reddit.com/r/programming/comments/1fs89mo/spiderman_neversoft_decompilation_project/)
Creating a sub for syntactic sugar and good practices for clean and readable code.
https://www.reddit.com/r/programming/comments/1fs8m3t/creating_a_sub_for_syntactic_sugar_and_good/
<!-- SC_OFF -->I am currently creating a new sub that focuses only on the part of good, readable and easy to use code. If you are interested, check it out. If you want to become part of the mod team, PM me with a short motivation. <!-- SC_ON --> submitted by /u/theChaosBeast (https://www.reddit.com/user/theChaosBeast)
[link] (https://www.reddit.com/r/syntacticsugar/) [comments] (https://www.reddit.com/r/programming/comments/1fs8m3t/creating_a_sub_for_syntactic_sugar_and_good/)
https://www.reddit.com/r/programming/comments/1fs8m3t/creating_a_sub_for_syntactic_sugar_and_good/
<!-- SC_OFF -->I am currently creating a new sub that focuses only on the part of good, readable and easy to use code. If you are interested, check it out. If you want to become part of the mod team, PM me with a short motivation. <!-- SC_ON --> submitted by /u/theChaosBeast (https://www.reddit.com/user/theChaosBeast)
[link] (https://www.reddit.com/r/syntacticsugar/) [comments] (https://www.reddit.com/r/programming/comments/1fs8m3t/creating_a_sub_for_syntactic_sugar_and_good/)
Augmenting the client with Alpine.js
https://www.reddit.com/r/programming/comments/1fs8pqv/augmenting_the_client_with_alpinejs/
submitted by /u/nfrankel (https://www.reddit.com/user/nfrankel)
[link] (https://blog.frankel.ch/ajax-ssr/4/) [comments] (https://www.reddit.com/r/programming/comments/1fs8pqv/augmenting_the_client_with_alpinejs/)
https://www.reddit.com/r/programming/comments/1fs8pqv/augmenting_the_client_with_alpinejs/
submitted by /u/nfrankel (https://www.reddit.com/user/nfrankel)
[link] (https://blog.frankel.ch/ajax-ssr/4/) [comments] (https://www.reddit.com/r/programming/comments/1fs8pqv/augmenting_the_client_with_alpinejs/)
The Grug Brained Developer
https://www.reddit.com/r/programming/comments/1fsb1ug/the_grug_brained_developer/
submitted by /u/crappy_entrepreneur (https://www.reddit.com/user/crappy_entrepreneur)
[link] (https://grugbrain.dev/) [comments] (https://www.reddit.com/r/programming/comments/1fsb1ug/the_grug_brained_developer/)
https://www.reddit.com/r/programming/comments/1fsb1ug/the_grug_brained_developer/
submitted by /u/crappy_entrepreneur (https://www.reddit.com/user/crappy_entrepreneur)
[link] (https://grugbrain.dev/) [comments] (https://www.reddit.com/r/programming/comments/1fsb1ug/the_grug_brained_developer/)
How to Classify Dinosaurs | CNN tutorial 🦕
https://www.reddit.com/r/programming/comments/1fscw24/how_to_classify_dinosaurs_cnn_tutorial/
submitted by /u/Feitgemel (https://www.reddit.com/user/Feitgemel)
[link] (https://eranfeit.net/%F0%9F%A6%95dinosaur-image-classification-tutorial-using-convolutional-neural-network/) [comments] (https://www.reddit.com/r/programming/comments/1fscw24/how_to_classify_dinosaurs_cnn_tutorial/)
https://www.reddit.com/r/programming/comments/1fscw24/how_to_classify_dinosaurs_cnn_tutorial/
submitted by /u/Feitgemel (https://www.reddit.com/user/Feitgemel)
[link] (https://eranfeit.net/%F0%9F%A6%95dinosaur-image-classification-tutorial-using-convolutional-neural-network/) [comments] (https://www.reddit.com/r/programming/comments/1fscw24/how_to_classify_dinosaurs_cnn_tutorial/)
A CLI Tool that uses AI to generate tests for Javascript & Typescript projects
https://www.reddit.com/r/programming/comments/1fsmubl/a_cli_tool_that_uses_ai_to_generate_tests_for/
submitted by /u/Acceptable-Ad-7899 (https://www.reddit.com/user/Acceptable-Ad-7899)
[link] (https://www.npmjs.com/package/aicodegen) [comments] (https://www.reddit.com/r/programming/comments/1fsmubl/a_cli_tool_that_uses_ai_to_generate_tests_for/)
https://www.reddit.com/r/programming/comments/1fsmubl/a_cli_tool_that_uses_ai_to_generate_tests_for/
submitted by /u/Acceptable-Ad-7899 (https://www.reddit.com/user/Acceptable-Ad-7899)
[link] (https://www.npmjs.com/package/aicodegen) [comments] (https://www.reddit.com/r/programming/comments/1fsmubl/a_cli_tool_that_uses_ai_to_generate_tests_for/)
Using MirageJS to Mock API Calls in a React Native App
https://www.reddit.com/r/programming/comments/1fsnkjp/using_miragejs_to_mock_api_calls_in_a_react/
submitted by /u/TheLostWanderer47 (https://www.reddit.com/user/TheLostWanderer47)
[link] (https://javascript.plainenglish.io/step-by-step-guide-using-miragejs-to-mock-api-calls-in-a-react-native-app-da993dcf5c36) [comments] (https://www.reddit.com/r/programming/comments/1fsnkjp/using_miragejs_to_mock_api_calls_in_a_react/)
https://www.reddit.com/r/programming/comments/1fsnkjp/using_miragejs_to_mock_api_calls_in_a_react/
submitted by /u/TheLostWanderer47 (https://www.reddit.com/user/TheLostWanderer47)
[link] (https://javascript.plainenglish.io/step-by-step-guide-using-miragejs-to-mock-api-calls-in-a-react-native-app-da993dcf5c36) [comments] (https://www.reddit.com/r/programming/comments/1fsnkjp/using_miragejs_to_mock_api_calls_in_a_react/)
How to Randomly Generate a Website Landing Page With Google Gemini AI(Part One)
https://www.reddit.com/r/programming/comments/1fsnzsx/how_to_randomly_generate_a_website_landing_page/
<!-- SC_OFF -->Hello community, I am trying to use google Gemini AI API to randomly generate a website landing page. This is a side project that just for fun. It involves a lot of trial and error. I am trying to write a series of articles trying to document the whole process. Here is the one link, https://uxplanet.org/how-to-randomly-generate-a-website-landing-page-with-google-gemini-ai-747bdf1c23af Updated. I came across using the schema as text in the prompt recently and I try to implement it in my application which have been a great addition to my application. Here is the link to this article, https://medium.com/@xianli_74374/generate-structured-output-with-the-gemini-api-505a337aa450 I genuinely hope to get your thought and insights. Or any idea about my project. Thanks you! <!-- SC_ON --> submitted by /u/Pipe-Silly (https://www.reddit.com/user/Pipe-Silly)
[link] (https://uxplanet.org/how-to-randomly-generate-a-website-landing-page-with-google-gemini-ai-747bdf1c23af) [comments] (https://www.reddit.com/r/programming/comments/1fsnzsx/how_to_randomly_generate_a_website_landing_page/)
https://www.reddit.com/r/programming/comments/1fsnzsx/how_to_randomly_generate_a_website_landing_page/
<!-- SC_OFF -->Hello community, I am trying to use google Gemini AI API to randomly generate a website landing page. This is a side project that just for fun. It involves a lot of trial and error. I am trying to write a series of articles trying to document the whole process. Here is the one link, https://uxplanet.org/how-to-randomly-generate-a-website-landing-page-with-google-gemini-ai-747bdf1c23af Updated. I came across using the schema as text in the prompt recently and I try to implement it in my application which have been a great addition to my application. Here is the link to this article, https://medium.com/@xianli_74374/generate-structured-output-with-the-gemini-api-505a337aa450 I genuinely hope to get your thought and insights. Or any idea about my project. Thanks you! <!-- SC_ON --> submitted by /u/Pipe-Silly (https://www.reddit.com/user/Pipe-Silly)
[link] (https://uxplanet.org/how-to-randomly-generate-a-website-landing-page-with-google-gemini-ai-747bdf1c23af) [comments] (https://www.reddit.com/r/programming/comments/1fsnzsx/how_to_randomly_generate_a_website_landing_page/)
Some good tips to follow on writing code in React
https://www.reddit.com/r/programming/comments/1fsoblx/some_good_tips_to_follow_on_writing_code_in_react/
submitted by /u/freakma-shadow (https://www.reddit.com/user/freakma-shadow)
[link] (https://jodiss-tri.medium.com/the-way-i-think-is-the-good-way-to-write-react-code-54f71eeeb4a5) [comments] (https://www.reddit.com/r/programming/comments/1fsoblx/some_good_tips_to_follow_on_writing_code_in_react/)
https://www.reddit.com/r/programming/comments/1fsoblx/some_good_tips_to_follow_on_writing_code_in_react/
submitted by /u/freakma-shadow (https://www.reddit.com/user/freakma-shadow)
[link] (https://jodiss-tri.medium.com/the-way-i-think-is-the-good-way-to-write-react-code-54f71eeeb4a5) [comments] (https://www.reddit.com/r/programming/comments/1fsoblx/some_good_tips_to_follow_on_writing_code_in_react/)
Architecture Modernization • Nick Tune & Eduardo da Sliva
https://www.reddit.com/r/programming/comments/1fspnq2/architecture_modernization_nick_tune_eduardo_da/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://www.buzzsprout.com/1714721/15820834) [comments] (https://www.reddit.com/r/programming/comments/1fspnq2/architecture_modernization_nick_tune_eduardo_da/)
https://www.reddit.com/r/programming/comments/1fspnq2/architecture_modernization_nick_tune_eduardo_da/
submitted by /u/goto-con (https://www.reddit.com/user/goto-con)
[link] (https://www.buzzsprout.com/1714721/15820834) [comments] (https://www.reddit.com/r/programming/comments/1fspnq2/architecture_modernization_nick_tune_eduardo_da/)
Godot for App Development
https://www.reddit.com/r/programming/comments/1fspqic/godot_for_app_development/
submitted by /u/Wor_king2000 (https://www.reddit.com/user/Wor_king2000)
[link] (https://tiniuc.com/godot-for-apps/) [comments] (https://www.reddit.com/r/programming/comments/1fspqic/godot_for_app_development/)
https://www.reddit.com/r/programming/comments/1fspqic/godot_for_app_development/
submitted by /u/Wor_king2000 (https://www.reddit.com/user/Wor_king2000)
[link] (https://tiniuc.com/godot-for-apps/) [comments] (https://www.reddit.com/r/programming/comments/1fspqic/godot_for_app_development/)
Securing Your Microservices: A Comprehensive Guide
https://www.reddit.com/r/programming/comments/1fsq2g2/securing_your_microservices_a_comprehensive_guide/
submitted by /u/InspectionSpirite (https://www.reddit.com/user/InspectionSpirite)
[link] (https://open.substack.com/pub/betterengineers/p/api-security-best-practices?r=209a75&utm_campaign=post&utm_medium=web) [comments] (https://www.reddit.com/r/programming/comments/1fsq2g2/securing_your_microservices_a_comprehensive_guide/)
https://www.reddit.com/r/programming/comments/1fsq2g2/securing_your_microservices_a_comprehensive_guide/
submitted by /u/InspectionSpirite (https://www.reddit.com/user/InspectionSpirite)
[link] (https://open.substack.com/pub/betterengineers/p/api-security-best-practices?r=209a75&utm_campaign=post&utm_medium=web) [comments] (https://www.reddit.com/r/programming/comments/1fsq2g2/securing_your_microservices_a_comprehensive_guide/)
Productive Developer Workflow With Tmux, Vim, and VSCode
https://www.reddit.com/r/programming/comments/1fsqiyw/productive_developer_workflow_with_tmux_vim_and/
submitted by /u/inelp (https://www.reddit.com/user/inelp)
[link] (https://www.youtube.com/watch?v=xbaVJbstDPs) [comments] (https://www.reddit.com/r/programming/comments/1fsqiyw/productive_developer_workflow_with_tmux_vim_and/)
https://www.reddit.com/r/programming/comments/1fsqiyw/productive_developer_workflow_with_tmux_vim_and/
submitted by /u/inelp (https://www.reddit.com/user/inelp)
[link] (https://www.youtube.com/watch?v=xbaVJbstDPs) [comments] (https://www.reddit.com/r/programming/comments/1fsqiyw/productive_developer_workflow_with_tmux_vim_and/)
Dynamic Default Values for Method Arguments in Ruby 🤩
https://www.reddit.com/r/programming/comments/1fsr96b/dynamic_default_values_for_method_arguments_in/
submitted by /u/mehdifarsi (https://www.reddit.com/user/mehdifarsi)
[link] (https://youtu.be/qn8Ra3kxiyA?si=VSXWfEOxu5C1ZdIb) [comments] (https://www.reddit.com/r/programming/comments/1fsr96b/dynamic_default_values_for_method_arguments_in/)
https://www.reddit.com/r/programming/comments/1fsr96b/dynamic_default_values_for_method_arguments_in/
submitted by /u/mehdifarsi (https://www.reddit.com/user/mehdifarsi)
[link] (https://youtu.be/qn8Ra3kxiyA?si=VSXWfEOxu5C1ZdIb) [comments] (https://www.reddit.com/r/programming/comments/1fsr96b/dynamic_default_values_for_method_arguments_in/)
On Enterprise Paywalls
https://www.reddit.com/r/programming/comments/1fsrn1y/on_enterprise_paywalls/
submitted by /u/radekmie (https://www.reddit.com/user/radekmie)
[link] (https://radekmie.dev/blog/on-enterprise-paywalls/) [comments] (https://www.reddit.com/r/programming/comments/1fsrn1y/on_enterprise_paywalls/)
https://www.reddit.com/r/programming/comments/1fsrn1y/on_enterprise_paywalls/
submitted by /u/radekmie (https://www.reddit.com/user/radekmie)
[link] (https://radekmie.dev/blog/on-enterprise-paywalls/) [comments] (https://www.reddit.com/r/programming/comments/1fsrn1y/on_enterprise_paywalls/)
To Broadcast or Not to Broadcast: A Nuanced Perspective
https://www.reddit.com/r/programming/comments/1fsvi3a/to_broadcast_or_not_to_broadcast_a_nuanced/
submitted by /u/gavinhoward (https://www.reddit.com/user/gavinhoward)
[link] (https://gavinhoward.com/2024/09/to-broadcast-or-not-to-broadcast-a-nuanced-perspective/) [comments] (https://www.reddit.com/r/programming/comments/1fsvi3a/to_broadcast_or_not_to_broadcast_a_nuanced/)
https://www.reddit.com/r/programming/comments/1fsvi3a/to_broadcast_or_not_to_broadcast_a_nuanced/
submitted by /u/gavinhoward (https://www.reddit.com/user/gavinhoward)
[link] (https://gavinhoward.com/2024/09/to-broadcast-or-not-to-broadcast-a-nuanced-perspective/) [comments] (https://www.reddit.com/r/programming/comments/1fsvi3a/to_broadcast_or_not_to_broadcast_a_nuanced/)
Beyond multi-core parallelism: faster Mandelbrot with SIMD
https://www.reddit.com/r/programming/comments/1fsyh5x/beyond_multicore_parallelism_faster_mandelbrot/
submitted by /u/itamarst (https://www.reddit.com/user/itamarst)
[link] (https://pythonspeed.com/articles/optimizing-with-simd/) [comments] (https://www.reddit.com/r/programming/comments/1fsyh5x/beyond_multicore_parallelism_faster_mandelbrot/)
https://www.reddit.com/r/programming/comments/1fsyh5x/beyond_multicore_parallelism_faster_mandelbrot/
submitted by /u/itamarst (https://www.reddit.com/user/itamarst)
[link] (https://pythonspeed.com/articles/optimizing-with-simd/) [comments] (https://www.reddit.com/r/programming/comments/1fsyh5x/beyond_multicore_parallelism_faster_mandelbrot/)
Can any AST be refactored to a purely prefix or postfix execution?
https://www.reddit.com/r/programming/comments/1fsyihi/can_any_ast_be_refactored_to_a_purely_prefix_or/
<!-- SC_OFF -->So I have been writing a programming language as a hobby. It really isn’t much but in short the idea is that any program can be expressed in either infix, prefix, or in postfix format. While at runtime all code is executed in postfix. I am wondering if there isn’t any code which cannot be refactored to be able to run postfix? I was wondering this because I have been thinking about type and memory safety. Thinking regardless of how a program is compiled if the AST can be refactored to a postfix format then it would be easier to know if something if both defined and in a valid state. Or conversely if made prefix then abstracted away variable scope using combinators the state and validity of data can be validated as a look ahead. Such a check would be monitoring a variable in three formats definition, domain and range. Which the compiler can do at compilation. I’m learning towards postfix checking because then much of the work just revolves around monitoring to state of the stack. Which seems easier than lambda abstraction evaluation. <!-- SC_ON --> submitted by /u/maxjmartin (https://www.reddit.com/user/maxjmartin)
[link] (https://github.com/maxjmartin/Oliver-Code-Examples) [comments] (https://www.reddit.com/r/programming/comments/1fsyihi/can_any_ast_be_refactored_to_a_purely_prefix_or/)
https://www.reddit.com/r/programming/comments/1fsyihi/can_any_ast_be_refactored_to_a_purely_prefix_or/
<!-- SC_OFF -->So I have been writing a programming language as a hobby. It really isn’t much but in short the idea is that any program can be expressed in either infix, prefix, or in postfix format. While at runtime all code is executed in postfix. I am wondering if there isn’t any code which cannot be refactored to be able to run postfix? I was wondering this because I have been thinking about type and memory safety. Thinking regardless of how a program is compiled if the AST can be refactored to a postfix format then it would be easier to know if something if both defined and in a valid state. Or conversely if made prefix then abstracted away variable scope using combinators the state and validity of data can be validated as a look ahead. Such a check would be monitoring a variable in three formats definition, domain and range. Which the compiler can do at compilation. I’m learning towards postfix checking because then much of the work just revolves around monitoring to state of the stack. Which seems easier than lambda abstraction evaluation. <!-- SC_ON --> submitted by /u/maxjmartin (https://www.reddit.com/user/maxjmartin)
[link] (https://github.com/maxjmartin/Oliver-Code-Examples) [comments] (https://www.reddit.com/r/programming/comments/1fsyihi/can_any_ast_be_refactored_to_a_purely_prefix_or/)