252
I will send you newest post from subreddit /r/programming
Regular Expression Matching with a Trigram Index
https://www.reddit.com/r/programming/comments/1g1mdqq/regular_expression_matching_with_a_trigram_index/
submitted by /u/creativefisher (https://www.reddit.com/user/creativefisher)
[link] (https://swtch.com/~rsc/regexp/regexp4.html) [comments] (https://www.reddit.com/r/programming/comments/1g1mdqq/regular_expression_matching_with_a_trigram_index/)
Build Systems, Not Heroes
https://www.reddit.com/r/programming/comments/1g1e1x3/build_systems_not_heroes/
submitted by /u/vitonsky (https://www.reddit.com/user/vitonsky)
[link] (https://vitonsky.net/blog/2024/10/11/system-approach/) [comments] (https://www.reddit.com/r/programming/comments/1g1e1x3/build_systems_not_heroes/)
How React Router v7 became type-safe!
https://www.reddit.com/r/programming/comments/1g1ciu8/how_react_router_v7_became_typesafe/
submitted by /u/stackokayflow (https://www.reddit.com/user/stackokayflow)
[link] (https://youtu.be/ferLCqcLcGU) [comments] (https://www.reddit.com/r/programming/comments/1g1ciu8/how_react_router_v7_became_typesafe/)
Practical session types for structured concurrency
https://www.reddit.com/r/programming/comments/1g17iti/practical_session_types_for_structured_concurrency/
<!-- SC_OFF -->Hello, everyone! I'd love to share something I made! I've been fascinated by linear logic and session types for a while and found it sad it's not really applied in practice. There is a lot of wonderful research on how concurrency can be made structured and robust this way, here are some papers I'd recommend: Propositions as sessions (https://dl.acm.org/doi/10.1145/2364527.2364568) Par means parallel: multiplicative linear logic proofs as concurrent functional programs (https://dl.acm.org/doi/10.1145/3371086) Client-server sessions in linear logic (https://dl.acm.org/doi/10.1145/3473567) Session types revisited (https://www.sciencedirect.com/science/article/pii/S0890540117300962?via%3Dihub) The reason seems to be it's hard to design libraries, or even languages, that employ these concepts in an ergonomic and easy to use way. So, here's my take on trying to do better. Let me show you a new library I made, which I shamelessly called 'par'. Crates.io: https://crates.io/crates/par GitHub: https://github.com/faiface/par Let me know what you think! If you want to join and contribute, you're very welcome as well! Features Specify full concurrent protocols — Sequencing, branching, recursion, higher-order patterns. Type-checked protocol adherence — Expectations delivered, obligations fulfilled. Deadlock freedom — Cyclic communication is statically ruled out. Multiple concurrent participants. Fits well with Rust's type system: Use enums for making choices. Use recursion on types for cyclic protocols. Built on top of async/.await. Runtime agnostic. Ergonomic design — eg. atm.choose(Operation::CheckBalance) Standard patterns in modules: Queue — Transmit an arbitrary number of items in order. Server — Handle a dynamic number of clients concurrently. No unsafe! Accessible documentation (https://docs.rs/par/latest/par) as a learning tool. <!-- SC_ON --> submitted by /u/faiface (https://www.reddit.com/user/faiface)
[link] (https://github.com/faiface/par) [comments] (https://www.reddit.com/r/programming/comments/1g17iti/practical_session_types_for_structured_concurrency/)
Fun with Go Iterators
https://www.reddit.com/r/programming/comments/1g15syx/fun_with_go_iterators/
submitted by /u/FoxInTheRedBox (https://www.reddit.com/user/FoxInTheRedBox)
[link] (https://xnacly.me/posts/2024/fun-with-iterators/) [comments] (https://www.reddit.com/r/programming/comments/1g15syx/fun_with_go_iterators/)
Eileen Uchitelle - The Myth of the Modular Monolith - Rails World 2024
https://www.reddit.com/r/programming/comments/1g1434f/eileen_uchitelle_the_myth_of_the_modular_monolith/
submitted by /u/omko (https://www.reddit.com/user/omko)
[link] (https://www.youtube.com/watch?v=olxoNDBp6Rg) [comments] (https://www.reddit.com/r/programming/comments/1g1434f/eileen_uchitelle_the_myth_of_the_modular_monolith/)
The LEGO IDEAS "WORKING TURING MACHINE" by user Bananaman has now gained 7,097 supporters - but it still needs some more to reach 10,000 votes for the chance of becoming a real LEGO set. Let's do it!
https://www.reddit.com/r/programming/comments/1g13vyw/the_lego_ideas_working_turing_machine_by_user/
submitted by /u/CivEng_NY (https://www.reddit.com/user/CivEng_NY)
[link] (https://ideas.lego.com/projects/10a3239f-4562-4d23-ba8e-f4fc94eef5c7) [comments] (https://www.reddit.com/r/programming/comments/1g13vyw/the_lego_ideas_working_turing_machine_by_user/)
TUID
https://www.reddit.com/r/programming/comments/1g10p42/tuid/
submitted by /u/badrddinb (https://www.reddit.com/user/badrddinb)
[link] (badrddinb/tuid" rel="nofollow">https://www.npmjs.com/package/@badrddinb/tuid) [comments] (https://www.reddit.com/r/programming/comments/1g10p42/tuid/)
Bypassing airport security via SQL injection
https://www.reddit.com/r/programming/comments/1g0vic1/bypassing_airport_security_via_sql_injection/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://ian.sh/tsa) [comments] (https://www.reddit.com/r/programming/comments/1g0vic1/bypassing_airport_security_via_sql_injection/)
TypeScript: Shaping a new Frontier for Error Management
https://www.reddit.com/r/programming/comments/1g0tc3m/typescript_shaping_a_new_frontier_for_error/
submitted by /u/Famous_Teach3882 (https://www.reddit.com/user/Famous_Teach3882)
[link] (https://levelup.gitconnected.com/typescript-a-new-frontier-for-error-management-90db81bec30b) [comments] (https://www.reddit.com/r/programming/comments/1g0tc3m/typescript_shaping_a_new_frontier_for_error/)
Valkey's Expanding Ecosystem
https://www.reddit.com/r/programming/comments/1g0n93u/valkeys_expanding_ecosystem/
submitted by /u/pmz (https://www.reddit.com/user/pmz)
[link] (https://www.i-programmer.info/news/84-database/17540-valkeys-expanding-ecosystem.html) [comments] (https://www.reddit.com/r/programming/comments/1g0n93u/valkeys_expanding_ecosystem/)
Experimenting With Highspeed Chips
https://www.reddit.com/r/programming/comments/1g0m39p/experimenting_with_highspeed_chips/
submitted by /u/elemenity (https://www.reddit.com/user/elemenity)
[link] (https://www.emulationonline.com/systems/chiplab/experimenting-with-highspeed-chips/) [comments] (https://www.reddit.com/r/programming/comments/1g0m39p/experimenting_with_highspeed_chips/)
Omni*Web: Bootstrapping Decentral'd Web Ecosystems w Omni*Digital Asset Exchange Platform - Part A
https://www.reddit.com/r/programming/comments/1g0ilco/omniweb_bootstrapping_decentrald_web_ecosystems_w/
submitted by /u/augustusalpha (https://www.reddit.com/user/augustusalpha)
[link] (https://youtu.be/ykUwhMs89nw?si=vaX044Kod1lLVR4N) [comments] (https://www.reddit.com/r/programming/comments/1g0ilco/omniweb_bootstrapping_decentrald_web_ecosystems_w/)
Practices of Reliable Software Design
https://www.reddit.com/r/programming/comments/1g0eumg/practices_of_reliable_software_design/
submitted by /u/Candiesweetie (https://www.reddit.com/user/Candiesweetie)
[link] (https://entropicthoughts.com/practices-of-reliable-software-design) [comments] (https://www.reddit.com/r/programming/comments/1g0eumg/practices_of_reliable_software_design/)
Fast JSON Filtering with rjq!
https://www.reddit.com/r/programming/comments/1g0et4v/fast_json_filtering_with_rjq/
<!-- SC_OFF -->Introducing rjq - A Blazingly Fast JSON Filtering CLI Tool written in Rust. I'm excited to announce the release of rjq, a Rust-based CLI tool for filtering JSON data with ease. Key Features: Simple query syntax for effortless filtering Blazingly fast performance Support for streaming JSON data With rjq, you can: Quickly extract specific data from large JSON datasets Filter and transform data with ease Automate JSON data processing tasks Perfect for: Developers working with JSON data Data analysts seeking efficient data extraction DevOps teams automating data processing tasks Explore rjq on GitHub: github.com/mainak55512/rjq Get started with rjq today and accelerate your JSON data processing! rjq #JSONFiltering #CLI #Rust #DeveloperTools #Productivity <!-- SC_ON --> submitted by /u/Mainak1224x (https://www.reddit.com/user/Mainak1224x)
[link] (http://github.com/mainak55512/rjq) [comments] (https://www.reddit.com/r/programming/comments/1g0et4v/fast_json_filtering_with_rjq/)
Hello, everyone! Today, I would like to share a new project I've been working on: ARPA Programming Language and its accompanying ARPA Studio IDE.
https://www.reddit.com/r/programming/comments/1g1jnq6/hello_everyone_today_i_would_like_to_share_a_new/
submitted by /u/AgresiveE (https://www.reddit.com/user/AgresiveE)
[link] (https://github.com/BeratARPA/ARPA-Programming-Language) [comments] (https://www.reddit.com/r/programming/comments/1g1jnq6/hello_everyone_today_i_would_like_to_share_a_new/)
IMAX Screens, Duck Boats, and Myrtle the Turtle: My SquiggleConf Recap
https://www.reddit.com/r/programming/comments/1g1d6ym/imax_screens_duck_boats_and_myrtle_the_turtle_my/
submitted by /u/robbyrussell (https://www.reddit.com/user/robbyrussell)
[link] (https://blog.planetargon.com/blog/entries/imax-screens-duck-boats-and-myrtle-the-turtle-my-squiggleconf-recap) [comments] (https://www.reddit.com/r/programming/comments/1g1d6ym/imax_screens_duck_boats_and_myrtle_the_turtle_my/)
Code Surveys: How to Give and Get Useful Criticism?
https://www.reddit.com/r/programming/comments/1g18hrn/code_surveys_how_to_give_and_get_useful_criticism/
submitted by /u/WilliamDawson1588 (https://www.reddit.com/user/WilliamDawson1588)
[link] (https://www.reddit.com/r/learnprogramming/comments/1g17i63/code_surveys_how_to_give_and_get_useful_criticism/) [comments] (https://www.reddit.com/r/programming/comments/1g18hrn/code_surveys_how_to_give_and_get_useful_criticism/)
‘The Community Is In Chaos:’ WordPress.org Now Requires You Denounce Affiliation With WP Engine To Log In
https://www.reddit.com/r/programming/comments/1g16ofx/the_community_is_in_chaos_wordpressorg_now/
submitted by /u/Nangz (https://www.reddit.com/user/Nangz)
[link] (https://www.404media.co/wordpress-checkbox-login-wp-engine/?utm_source=tldrwebdev) [comments] (https://www.reddit.com/r/programming/comments/1g16ofx/the_community_is_in_chaos_wordpressorg_now/)
Building Visual Malware Dataset using VirusShare Data and Comparing Machine Learning Baseline Model to CoAtNet for Malware Classification | Proceedings of the 2024 16th International Conference on Machine Learning and Computing
https://www.reddit.com/r/programming/comments/1g14htz/building_visual_malware_dataset_using_virusshare/
submitted by /u/Own_Fun_3531 (https://www.reddit.com/user/Own_Fun_3531)
[link] (https://dl.acm.org/doi/10.1145/3651671.3651735) [comments] (https://www.reddit.com/r/programming/comments/1g14htz/building_visual_malware_dataset_using_virusshare/)
CSS Injection: Risks and Prevention
https://www.reddit.com/r/programming/comments/1g141dg/css_injection_risks_and_prevention/
submitted by /u/Latter-Dust8587 (https://www.reddit.com/user/Latter-Dust8587)
[link] (https://makemychance.com/css-injection) [comments] (https://www.reddit.com/r/programming/comments/1g141dg/css_injection_risks_and_prevention/)
Server Setup Basics
https://www.reddit.com/r/programming/comments/1g11xo0/server_setup_basics/
submitted by /u/stackoverflooooooow (https://www.reddit.com/user/stackoverflooooooow)
[link] (https://becomesovran.com/blog/server-setup-basics.html) [comments] (https://www.reddit.com/r/programming/comments/1g11xo0/server_setup_basics/)
How Statsig streams 1 trillion events a day
https://www.reddit.com/r/programming/comments/1g0w9g1/how_statsig_streams_1_trillion_events_a_day/
submitted by /u/butters877 (https://www.reddit.com/user/butters877)
[link] (https://www.statsig.com/blog/how-statsig-streams-1-trillion-events-a-day) [comments] (https://www.reddit.com/r/programming/comments/1g0w9g1/how_statsig_streams_1_trillion_events_a_day/)
C++ library for creating BLE application
https://www.reddit.com/r/programming/comments/1g0usf2/c_library_for_creating_ble_application/
submitted by /u/bleuio (https://www.reddit.com/user/bleuio)
[link] (https://www.bleuio.com/blog/simplifying-ble-application-development-for-c-developers-with-bleuio/) [comments] (https://www.reddit.com/r/programming/comments/1g0usf2/c_library_for_creating_ble_application/)
Some important learnings from my 20 years of engineering life
https://www.reddit.com/r/programming/comments/1g0nsjz/some_important_learnings_from_my_20_years_of/
submitted by /u/milanm08 (https://www.reddit.com/user/milanm08)
[link] (https://newsletter.techworld-with-milan.com/p/some-important-learnings-from-my) [comments] (https://www.reddit.com/r/programming/comments/1g0nsjz/some_important_learnings_from_my_20_years_of/)
Why You Shouldn't Forget to Optimize the Data Layout
https://www.reddit.com/r/programming/comments/1g0mut4/why_you_shouldnt_forget_to_optimize_the_data/
submitted by /u/Yaruxi (https://www.reddit.com/user/Yaruxi)
[link] (https://cedardb.com/blog/optimizing_data_layouts/) [comments] (https://www.reddit.com/r/programming/comments/1g0mut4/why_you_shouldnt_forget_to_optimize_the_data/)
We replaced k8s StatefulSets, here’s why
https://www.reddit.com/r/programming/comments/1g0lm6j/we_replaced_k8s_statefulsets_heres_why/
submitted by /u/clippycanhelp (https://www.reddit.com/user/clippycanhelp)
[link] (https://tsdb.co/r-patronisets) [comments] (https://www.reddit.com/r/programming/comments/1g0lm6j/we_replaced_k8s_statefulsets_heres_why/)
Clean Architecture in Go
https://www.reddit.com/r/programming/comments/1g0g6j3/clean_architecture_in_go/
submitted by /u/semanser (https://www.reddit.com/user/semanser)
[link] (https://depshub.com/blog/clean-architecture-in-go/) [comments] (https://www.reddit.com/r/programming/comments/1g0g6j3/clean_architecture_in_go/)
The Internet Archive is under attack, with a breach revealing info for 31 million accounts
https://www.reddit.com/r/programming/comments/1g0eu8p/the_internet_archive_is_under_attack_with_a/
submitted by /u/Candiesweetie (https://www.reddit.com/user/Candiesweetie)
[link] (https://www.theverge.com/2024/10/9/24266419/internet-archive-ddos-attack-pop-up-message) [comments] (https://www.reddit.com/r/programming/comments/1g0eu8p/the_internet_archive_is_under_attack_with_a/)
Creative Programming Framework
https://www.reddit.com/r/programming/comments/1g0eskm/creative_programming_framework/
submitted by /u/Candiesweetie (https://www.reddit.com/user/Candiesweetie)
[link] (https://www.melbourne.vic.gov.au/creative-programming-framework) [comments] (https://www.reddit.com/r/programming/comments/1g0eskm/creative_programming_framework/)