&dingbats?
.โ.โณ.โ.โ.โฑ.
.โ.โ.โ .โฒ.โฎ.
Any conversation
Switched from gpg to age, because pinentry sucks. With age I set both of my Macโs security enclaves + software private key (stored in Passwords.app) + yubikey for hardware backup. Looks good.
I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing
130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it.
Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding.
First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...
Hello to friends. Holla for tools.
๐จโ๐ป : , , and Pragmata Pro
๐ช : NotePlan
๐ง : Overcast
๐ง : Allume
๐๏ธ : Mark Two (EDC), Pen Type-B
๐ณ : Anisota
WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site.
I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.
Added
#meta tag โ use it whenever you want to talk about the site itself, and these posts will not show up in all, any or the postโs page. Only those that follow the tag or the person will see these posts in my feed or in post pages. This is to keep the site clear of meta discussions which dominated a lot at this early stage and I think were annoying to many people. So this is the last meta without the #meta tag youโll see unless u follow. Iโll try to tag every post I find.


