sanityinc, 5 months ago to random

Quite enjoying collecting useful commands for a current project into a "justfile". Nice alternative to abusing Makefiles for that purpose: https://just.systems/man/en/

sanityinc, 5 months ago to random

Here's #adventofcode Day 4 in #uiua... it's gradually getting easier.

Parse and score

⊜(↘1⊜□¬∊,":|")≠@\n.
≡(/+⊏⍏.≠⊙⧻ ⊗⊙.∩(⊐⊜parse≠@ .) ⊃⊢(⊡1))
.

Part 1

/+ ×⊃(ⁿ:2)(≥0)-1
:

Part 2

⊙0
:↯:1⧻.
;∧(⊙+:⊙⬚0+:↯⊙(.⊃⊢(↘1)))

sanityinc, 5 months ago to random

Took a while to do part 1 of #adventofcode Day 3 in #uiua, and part 2 exceeded my patience and/or skill so I'll revisit in a different lang.

Digits ← "1234567890"
DigitMap ← ≡≡(∊⊡1_1:Digits)
NearSymbol ← ≡≡(/+♭¬∊:⊂"."Digits)
⊜∘≠,@\n
.
◫3_3↻¯1_¯1⬚@.+↯:¤0+2△.
⊃NearSymbol DigitMap
×+,
⊙(⊐/⊂≡(□⊜parse>0)).
/⊐⊂≡(□⊜(>⊃⧻(/+))≠0).
/+×

sanityinc, 5 months ago to random

Day 2 of #adventofcode was easier, again in #uiua:

Count ← × ⊃(∊{"red" "green" "blue"}⊡1) (parse⊔⊢) ⊜□ ¬ ∊," "
Counts ← ⊜Count¬∊,",;"
Game ← Counts ↘+1⊗@:.

Part 1

Possible ← /×♭≤0-↯△,12_13_14
/+×+1⇡⧻. ⊜(Possible Game)¬∊,"\n" Input

Part 2

Power ← /×⍉≡/↥⍉
/+ ⊜(Power Game)¬∊,"\n" Input

sanityinc, 5 months ago to emacs

I suspect these #emacs keybindings are going to become indispensable:

(define-key diff-hl-mode-map (kbd "M-C-]") 'diff-hl-next-hunk)
(define-key diff-hl-mode-map (kbd "M-C-[") 'diff-hl-previous-hunk)

When changing existing files under version control, this lets you jump around between spots you've edited.

sanityinc, 6 months ago to random

The #ocaml platform roadmap is such a grown-up and well-written plan. Great example for other language communities. https://ocaml.org/docs/platform-roadmap

aral, 6 months ago to web

Just updated a server I hadn’t touched in over six years from Ubuntu 16.04 → 18.04 → 20.04 → 22.04 and it all went smoothly; not a single issue.

I can’t wait for a server with Fedora Silverblue-style upgrades (CoreOS?) that’s supported by the major VPS providers in default images. Tried a while back to get Hetzner to support CoreOS but the process appears somewhat stuck:

https://github.com/coreos/fedora-coreos-tracker/issues/1324

#web #dev #ops #rpmOstree #noOps #autoUpdates

sanityinc, 6 months ago to AWS

This Is Just To Say

I have terminated
the EC2 instances
that were in
the #AWS account

and which
you were probably
saving
for "Testing Stuff"

Forgive me
they were t3.xlarge
so idle
and so expensive

nedbat, 6 months ago to python

Earlier I griped about black/ruff formatting similar #Python lines differently because of their varying line lengths. After looking at it more, I decided to reduce the duplication in the lines, which shortened them, making the meaning more visible:

gvwilson, 6 months ago to random

A more detailed request: https://third-bit.com/2023/11/13/replacing-make/

b0rk, 6 months ago to random

some notes on nix flakes https://jvns.ca/blog/2023/11/11/notes-on-nix-flakes/

gvwilson, 6 months ago to random

Postgres is to SQLite as MongoDB is to...?

sanityinc, 6 months ago to random

Running Fuse filesystems on MacOS continues to be painful. I'd quite like to make an adaptor so that I could run a fuse filesystem and it would show up as an NFS resource on the local host instead of trying to connect to a kernel extension. 🤔

thomasfuchs, 6 months ago to random

⌨️ What’s your favorite key switch? (For those not into mechanical keyboards, it’s an excellent rabbit hole to fall into.)

gvwilson, 6 months ago to random

Returning to an earlier theme, I saw this: "The venture model has somehow convinced us to take the most cost efficient businesses in history—software—and turn them into cash incinerators, all in the name of growth… We started Curious to provide an antidote to that. Linear growth over exponential. Sustainable over unsustainable." Nope: endless growth of any kind (linear or not) isn't sustainable, and isn't required for profitability. Spin it how you will, the only people who "need" it are VCs.

sanityinc, 6 months ago to emacs

"eat" is making it convenient to run a full terminal inside #emacs where "vterm" previously failed to convince me: https://codeberg.org/akib/emacs-eat/src/branch/master/README.org

sanityinc, 6 months ago to random

I have no idea how to find anything in New Slack, but then again I've been on calls with their sales folks pushing Slack Enterprise Grid, so the product has been thoroughly rebuilt to cope with all of Salesforce (their acquirers) using it, and there's little in common between such organisations and those I enjoy.

sanityinc, 7 months ago to random

I thought the YouTube algorithm knew me pretty well, but it only introduced me to Electric Callboy last week ffs https://www.youtube.com/watch?v=D1NdGBldg3w