Programming Leftovers

posted by Roy Schestowitz on Feb 27, 2025

• Sandor Dargo ☛ C++26: no more UB in lexing

  If you ever used C++, for sure you had to face undefined behaviour. Even though it gives extra freedom for implementers, it’s dreaded by developers as it may cause havoc in your systems and it’s better to avoid it if possible.

• Jim Nielsen ☛ Limitations vs. Capabilities

  For me, the limitations (i.e. constraints) of HTTP imports in Deno were a feature. I loved it precisely because it encouraged me to do something different than what node/npm encouraged.

• Bertrand Meyer ☛ Blog Archive New paper: seeding contradiction

  This just published SNCS article and revised and extended from a conference presentation (at ICTSS 2023 in Bergamo, see here on my efforts back then to use AI to locate the conference site). It describes a new and promising test generation method, part of systematic effort at combining tests and proofs, highlighted in the recent PhD defense of Li Huang (about which I did not have the time to write an article, but will soon).

• The New Stack ☛ Secure Coding in C++: Avoid Buffer Overflows and Memory Leaks

  Before exploring the pitfalls of buffer overflows and memory leaks, it’s critical to understand what secure coding entails and why it’s particularly vital in C++.

  Secure coding minimizes software vulnerabilities while preserving systems’ confidentiality, integrity and availability. Secure coding isn’t optional for a language like C++, which is frequently used in high-performance applications such as system software, embedded systems, game development and AI. It’s essential.

• Max Bernstein ☛ Interprocedural sparse conditional type propagation

  In order to build an effective compiler for a dynamic language such as Ruby, the compiler needs precise type information. This means that as compiler designers, we have to take things into our own hands and track the types ourselves.

  In this post, we show an interprocedural type analysis over a very small Ruby subset. Such analysis could be used for program optimization by a sufficiently advanced compiler. This is not something Shopify is working on but we are sharing this post and attached analysis code because we think you will find it interesting.

• Jan Piet Mens ☛ Jan-Piet Mens :: Notes to self: signing git commits with an SSH key

  I’ve set up git to sign commits using an SSH key, and the procedure is pretty painless: [...]

• Zig ☛ Devlog ⚡ Zig Programming Language

  This page contains a curated list of recent changes to main branch Zig.

• Rlang ☛ Add Error Bars to Bar Plots in R Using ggplot2

  The post Add Error Bars to Bar Plots in R Using ggplot2 appeared first on Data Science Tutorials

  Unravel the Future: Dive Deep into the World of Data Science Today! Data Science Tutorials.

  Add Error Bars to Bar Plots in R Using ggplot2, Visualizing data effectively is crucial in any analytical endeavor, and one of the best ways to do this is by integrating error bars into bar plots.

• Julia Programming Language ☛ A Next-Gen Approach to Modeling: What Makes ModelingToolkit.jl Stand Out?

  One of the key benefits of this framework is that it lets users give a high-level description of a model for symbolic preprocessing to analyze and enhance the model. Unlike proprietary software, it is open source, allowing users to extend and modify the software interactively in the REPL and contribute to its open-source repositories.

• Rlang ☛ Sign Up for Appsilon’s Tiny Shiny Hackathon: Build, Compete, and Win!

  We are excited to invite you to the Appsilon Tiny Shiny Hackathon, a four-hour online challenge where developers can showcase their creativity and technical skills by building applications that combine Shiny and AI. ShinyConf 2025 is coming—are you ready?

• Python

  • Clayton Errington ☛ Switch Python to Match

    There’s just a lot going on. This can be simplified using Python’s new match statement released in Python 3.10.

    Here’s the same example again.