Inklings: a tumblelog

I was wondering if ldd would be enough to deal with containerising some dynamically linked binaries, and apparently it almost is.

Sometimes, all you need is Paint, and this is basically Paint.

Stacked Git, StGit for short, is an application for managing Git commits as a stack of patches.

With a patch stack workflow, multiple patches can be developed concurrently and efficiently, with each patch focused on a single concern, resulting in both a clean Git commit history and improved productivity.

Ink is a language for defining simple hypertext-based interactive fiction systems.

It doesn’t have the flexibility of the likes of Inform, but the choose your own adventure format is surprisingly flexible, and it has built-in flags and counters that help, along with a bunch of other tools for defining narratives.

Potentially a useful alternative to tag URIs and uuid URNs for something I’m looking do implement.

I found this by accident when looking for an alternative to this internet draft that attempted to defined a hash urn namespace. Unfortunately, that seemed to go nowhere, but this ni: URI namespace looks promising. I read some objections to it that objected to the use of ; (which is is generally used to introduce fragments at the end of a path), but this isn’t something to be parsed, only validated at most. It’s only if you’re actually trying to resolve a URN (in which case you should be able to recognise the pattern) that you need to detect that kind of thing.

Anyhoo…

Feels unfortunately timely.

Another configuration language, this one sits in-between Hashicorp’s HCL and Google’s CUE.

A better pre-commit, engineered in Rust.

My understanding is that it plays better with monorepos, has built-in uv support, and plays nice with PEP 723, so it may be useful at $WORK.

A Meson-compatible build system, written in C for speed. It incorporates Samurai, a Ninja-compatible build tool, so it’s essentially an all-in-one build solution.

QBE is a compiler backend that aims to provide 70% of the performance of industrial optimizing compilers in 10% of the code. QBE fosters language innovation by offering a compact user-friendly and performant backend. The size limit constrains QBE to focus on the essential and prevents embarking on a never-ending path of diminishing returns.

A very simple RISC ISA and system architecture for teaching CPU implementation.

Huh. Didn’t know this was a thing.

Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.

Looks to be a pretty nice implementation with some useful extension modules in the library.

A collection of scripts and tools for Atmel ATF150x and GAL Programmable logic devices, some of the only standing active 5V programmable logic parts still available.

Needed this for Advent of Code. I’ve forgotten so much maths!

Crafting Interpreters contains everything you need to implement a full-featured, efficient scripting language. You’ll learn both high-level concepts around parsing and semantics and gritty details like bytecode representation and garbage collection. Your brain will light up with new ideas, and your hands will get dirty and calloused. It’s a blast.

Starting from main(), you build a language that features rich syntax, dynamic typing, garbage collection, lexical scope, first-class functions, closures, classes, and inheritance. All packed into a few thousand lines of clean, fast code that you thoroughly understand because you write each one yourself.

Kind of surprised I’ve never come across this before.

A clever way to implement a priority queue using the Set module that makes use of the min_elt/min_elt_opt functions and internal ordering on the priority.

I’m thinking of re-implementing the A* implementation I did for Advent of Code to lean on this. It’s already sets, so it shouldn’t affect the speed, but it’ll likely make it significantly less awkward, especially as far as finding the current element goes.

Here is where the example priority queue implementation mentioned can be found. More recent versions of the documentation don’t appear to have it anymore.

Just stumbled across this when looking for something else. A really nice monospace font done in an Insular style.

This is one of the more compelling features of 14.2. The big thing that’s long been missing from containerised workloads (jails) on FreeBSD has been a sane way of bundling up the contents of the container into an artifact. This is some very useful cross-pollination from the Linux container world!

The process of generating a static executable is weirdly involved!

I’ve been looking for this for a while but could never find it!

A build system that’s quite similar to Bazel, Pants, and Buck2.

Create beautiful diagrams in minutes. Simple syntax. Endlessly customizable. D2 is the fastest and easiest way to get a mental model from your head onto the screen, then make edits with your team.

It fills a similar niche to Mermaid.

This is the technique being used for the new Python JIT.

I’m mainly looking at this as a way to avoid dealing with Snyk.

Its companion tool, syft looks interesting too. It’s a “CLI tool and library for generating a Software Bill of Materials from container images and filesystems”, and may need something like that at work soon enough.

I’ve dug out my old Lenovo Miix 310. I’d misremembered and throught it’d crashed horribly in the middle of an update, but it still appear to be functioning. Insynq is a bit too heavyweight for it at this point, so I’m looking for alternatives. This article looks promising, and so does rclone.

I’m looking at this as a more lightweight alternative to using Docker in certain circumstances. It might help fix some issues with builds in the future.

A React alternative that doesn’t need a virtual DOM. Looks quite nice and seems to fix a lot of the issues I had with React way back. Then again, I’m so out of the loop when it comes to JS these days that I’m probably not to be blindly trusted!

Found this by accident when trying to find the VVVVVV C64 conversion.

The emulation’s pretty good, though there’s the odd audio glitch, probably down to a circular buffer overflow issue.

This’d be great expanded into a Tangerine Dream style 20m epic!

This is neat! It’s a language demoing site with ~400 different languages, where you can type in some code and some input to send to standard input, run it, and see the result. Certainly more practical than installing a bunch of compilers and interpreters if you’re trying to get a feel for some more obscure languages.

Somehow almost perfectly synchronised with when my seething loathing of Dave Winer began.

I try not to hold grudges, yet all too often do, but this grudge is one I don’t feel remotely bad about.

I’ve been looking for a good way to do this for a while, but the Homebrew documentation isn’t particularly good at describing how to do this. I’m not a fan of the javadoc-esque documentation that’s popular in the Ruby community: it’s heavy on the what, but lacking on the how and why.

In my case, I want to find a way to fetch stuff from Artifactory or, failing that, set up some shadow IT by downloading stuff from Github or Bitbucket.