ruffsl

@ruffsl@programming.dev

I’m a robotics researcher. My interests include cybersecurity, repeatable & reproducible research, as well as open source robotics and rust programing.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

Mind-bending new programming language for GPUs just dropped... - Code Report (youtube.com)

github.com/HigherOrderCO/Bend...

Untagging images from AWS ECR (without deleting be like (programming.dev)

I had to go full Rube Goldberg to clean up old image tags from closed PRs, while still leaving deletion of untagged image to the ECR repo’s own lifecycle policy. Never go full Rube Goldberg:...

ruffsl, 13 days ago

Tagging an image is simply associating a string value to an image pushed to a container registry, as a human readable identifier. Unlike an image ID or image digest sha, an image tag is only loosely associated, and can be remapped later to another image in the same registry repo, e.g latest. Untagging is simply removing the tag from the registry, but not necessarily the associated image itself.

reply

report

activity

copy /kbin url

copy original url

open original url

Loading...