Monthly Shaarli

All links of one month in a single page.

March, 2022

Abstraction: Not What You Think It Is | Path-Sensitive

There are a lot of topics in software engineering that are the result of accumulated intuition over decades. But we've had a pretty good definition of abstraction since 1977, originally in the context of program analysis, and — I claim — it actually translates quite well into a precise definition of “abstraction” in engineering.

...just not all the other things that programmers tend to throw the word "abstraction" at

GitHub - latchset/clevis: Automated Encryption Framework

Clevis is a pluggable framework for automated decryption. It can be used to provide automated decryption of data or even automated unlocking of LUKS volumes.

GitHub - nereusx/notes: Notes manager, CLI and TUI

TUI notes manager

in TUI works like file manager (mc,nnn,fff,lf). Notes are plain text (txt,md,groff,...) files. Compatible with Nextcloud Notes, can be used with rclose, git, rsync, etc.