Programming Leftovers

posted by Roy Schestowitz on Oct 17, 2024

• Juha-Matti Santala ☛ How I take work notes as a developer

  I take extensive notes about the world around me for various reasons. I earlier wrote about how notes are tool for thinking, writing, learning and productivity which was a high-level overview.

  Last summer, as I was working with new people in a new team, I ended up having multiple great discussions about taking work notes as a developer and how I do it and why. Those inspired me to post in Obsidian’s forum about the topic and I’ve been thinking about it even more since.

• Buttondown LLC ☛ Be Suspicious of Success

  This is specifically in the context of model-checking a formal specification, but it's a widely applicable software principle. It's not enough for a program to work, it has to work for the right reasons. Code working for the wrong reasons is code that's going to break when you least expect it. And since "correct for right reasons" is a much narrower target than "correct for any possible reason", we can't assume our first success is actually our intended success.

• Rlang ☛ Interacting with Users: Mastering scanf() in C

  For beginner C programmers, understanding how to interact with users through input is crucial. The scanf() function is a fundamental tool in C programming that allows you to read user input and store it in variables. This article will guide you through the basics of using scanf(), prompting users effectively, and solving common problems associated with it.

• Josef Strzibny: Deploying a Next.js application with Kamal 2

  Here’s the simplest example to deploy a containerized Next application with Kamal.

• LWN ☛ Forgejo 9.0 released

  Version 9.0 of the

  Forgejo software forge system has been released. Changes include a switch

  to the GPLv3 license, the beginning of a quota system, the removal of

  go-git support, and a lot of fixes.

  (LWN looked at Forgejo in February).

• Proprietary

  • Amazon Inc ☛ Announcing Finch on Linux for Container Development

    In 2022 AWS announced Finch, an open source command line developer tool for building, running, and publishing Linux containers on macOS. Within a year in November 2023, Finch successfully reached its 1.0 milestone for general availability (GA). Since then, we’ve expanded support from macOS to also include Windows and made virtualization framework (vz) the default vmType option, when it’s available.

  • Amazon Inc ☛ Finch expands support to Linux, streamlining container development across platforms

    Today, AWS announced the general availability of Linux support for Finch, an open source command line tool that allows developers to build, run, and publish Linux containers. Finch simplifies container development by bundling a minimal native client with a curated selection of open-source components, allowing developers to build and manage containers without the hassle of managing intricate details.