Michael F. Lamb

102 Followers
47 Following
406 Posts
moved to @datagrok

Hello friends, I'm changing instances for this alt!

(Moving for technical reasons only! I still ❤ tiny.tilde.website.)

If you please, follow @datagrok to see future toots from me.

PSA I'm taking a short self-improvement break at the moment but soon I'll be seeking new employment.

I'm good at Python, looking for math, science, NGOs/coops, Rustlang, Haskell, embedded, filesystems/storage, machine learning for good, architecture/engineering, new challenges.

@craigmaloney i was amazed even before learning this is not a single song but an entire album about rock climbing
@audy also it seems like emacs is more capable than vim when it comes to integrating with interpreters and compilers to navigate source code

@audy LOL 😂

but seriously i have had emacs envy for a long time, mostly because i want to extend my text editor but

if i don't feel like the language or tool i need to use is demonstrably better than those i already know it's a herculean task to summon the motivation to learn it

so i'm loathe to learn vimscript

and yes some vim versions have python integration but it's meh

what i really want is guile-emacs but elisp is okay until then

If I'm installing spacemacs in an effort to learn emacs and permanently switch away from vim, should I select "vim" or "emacs" as my "preferred editing style" in the wizard installer?
TIL if you spill hot water for tea on red tissue paper it's about the same as emptying a red permanent marker all over your kitchen countertop
Not shown in this photo: the stupid amount of anxiety I have about getting haircuts 😵😫

TIL https://takeout.google.com is a URL you can use to create archival backups of the content you've piled into Google services over time.

Who knows how long it will last, or how they will hobble it in the future to make escape more difficult.

Even if you can't sever your ties with Google right away, get those periodic archives for when you can!

Anmelden – Google Konten

@catonano @bob ha! well. I'm sure "deleted" is just an euphemism for "unpublished," meanwhile on the back-end it's just another piece of metadata; they'll now sell me to advertisers and agencies who want to target people who dislike google, like privacy, etc.