Toots for BoydStephenSmithJr@hachyderm.io account

Shared by Boyd Stephen Smith Jr. on 2025-01-24 at 14:51 (original by Cory Doctorow)

=> More informations about this toot | View the thread

Shared by Boyd Stephen Smith Jr. on 2025-01-13 at 17:45 (original by Cory Doctorow)

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-28 at 19:25

All weights in pounds.  One set, ten (10) reps.  #strengthtraining

Abdominal - 170

Rotary Torso - 170

Rotary Chest - 115

Shoulder Press - 115

Biceps Curl - 85

Lat - 145

Row - 145

Rotary Lat - 145

Neck Flexion - 60

Neck Extension - 60

Neck Lateral Flexion - 60

Horizontal Leg Curl - 190

Leg Press - 280

Hip Flexion - 190

Hip Abductor - 190

Hip Adductor - 190

Improvement on Leg Press makes this a #PersonalBest

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-25 at 23:29

Do you want to know why Amazon warehouse workers are striking, and how they formed the union? So see: https://www.unionthefilm.com/

Thanks, for the heads-up, @adamconover

=> More informations about this toot | View the thread

Shared by Boyd Stephen Smith Jr. on 2024-12-22 at 15:31 (original by Cory Doctorow)

=> More informations about this toot | View the thread

Shared by Boyd Stephen Smith Jr. on 2024-12-22 at 15:29 (original by Cory Doctorow)

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-15 at 18:34

Gave up #running after about 1.5mi in about 20 minutes.

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-08 at 04:01

The thing about using a dependently typed language is that I am constantly being "nerd-sniped" with trying to manipulate proofs / relations, when I really should just be reporting and handling failure.

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-06 at 06:02

I think I might disappoint $dayjob tomorrow. I need to use a t-sql feature (MERGE) that I haven't used before to make progress, and then after that there's still a bit of a mess to clear up, and they really want to Friday deploy so they can demo-from-production on Monday.

It feels like momentum is key, and that I don't have a lot of control over that...

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-06 at 02:20

The behavior of my traditional "torte" #colorscheme changed in the latest #neovim -- now the line numbers (etc?) show up as black on black (i.e. not at all).

Switching to my backup colorscheme "ron" fixes the issue. Can anyone recommend a good, but simple, colorscheme. Something that works well on 16-color terminals? I'm sure tmux and #konsole handle more, but I have a custom luma-balanced 16-color scheme set in konsole, and prefer not having to adjust more colors than that.

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-05 at 05:38

Reboot was clean. Couple of kqml somethings in session crashed.

I now have the option of a "Plasma (Wayland)" session, so I definitely need to figure out how to use some sort of tiling compositor (?) with Plasma.

KDE Connect does seem dead. Phone can't see desktop, desktop can't see phone, even though they remember each other.

I'll live without it for a while, see if the package makes it into Sid/Trixie before then.

After "trouble" like this, my love of #Linux is affirmed and strengthened.

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-05 at 05:18

So... I think I finally got upgrades completed. Still need to reboot, and KDE connect might not have all the integration I am used to (integration package needs an "experimental" version).

But, what really surprised me, pleasantly, is that in the middle of a session, I started getting the KDE lock screen with my configuration, instead of the plain ssdm lock screen. That's actually really cool.

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-04 at 04:02

I am currently suffering from being "unsupported". If you don't want to be 3 hours into your 3rd attempt to manually resolve KDE dependencies, while running with half a desktop, stick with a supported distribution configuration.

[#]Linux

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-12-03 at 01:17

While I'd prefer they join Mastodon, if the creators I love join Bluesky, I wish they'd publish their Bluesky handle where I can find it (not on Bluesky; their Pateron / KoFi / Liberapay profile would be fine).

Right now, I feel buoyed that they are finally getting off of X, but also frustrated because I want to follow them from here using the existing bridge(s), and I can't even find their handle!

=> More informations about this toot | View the thread

Shared by Boyd Stephen Smith Jr. on 2024-11-26 at 18:06 (original by ploum)

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-26 at 17:48

10k failed, but that's okay. 5mi. in 1:02:00. #running

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-25 at 23:23

Watching Arcane Season one again, and found a message for everyone doing #hopepunk and #solarpunk work:

=> View attached media

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-20 at 02:23

Got an InMail and while I'm very not interested in this Haskell / Nix job, I thought I would still share it for people that are not me and might appreciate and be able to take advantage of the opportunity.

This is NOT an endorsement.

https://job-boards.greenhouse.io/andurilindustries/jobs/4488960007?gh_jid=4488960007

[#]fedihired

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-18 at 04:26

I did get an answer pretty quick on the discord server. I don't think it was in the documentation. But, problem solved, in any case.

Basically, implicit fields can just be bracketed.

I'm going to wait until tomorrow to implement it. So, no release before then.

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-18 at 03:57

If you'd rather discuss this on the Idris ... Discord (shudder), I created a post there: https://discord.com/channels/827106007712661524/1307917402754908160

=> More informations about this toot | View the thread

=> This profile without reblog | Go to BoydStephenSmithJr@hachyderm.io account