Toots for BoydStephenSmithJr@hachyderm.io account

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

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

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

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

Okay, tests are in place, and I think do pretty good coverage on the meat of the new #idris library.

However, before I request it be added to the package db, this needs some "work", I think:

record Lan {k : Type} (f : k -> Type) (g : k -> Type) a where
  constructor MkLan
  target : k
  extract : f target -> a
  pool : g target

I'm adapting left Kan-extensions from the Haskell library. I want names for the fields, but "target" should be implicit (and existential). How to do that?

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-16 at 19:19

If you are putting videos on YT for your viewers, and not for the monetization, I strongly encourage you to also upload to PeerTube. It's more censorship resistant and more archive friendly. https://social.growyourown.services/@FediTips/113493712858210342

Fight for the Future: Become Ungovernable

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-16 at 18:30

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 - 256

Hip Flexion - 190

Hip Abductor - 190

Hip Adductor - 190

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-15 at 18:56

$Diety, #Linux is getting just as reboot hungry as other OSes. Seems everytime I check there's a upgrade that requires restarting systemd-dbus or systemd-logind which kills my sessions and effectively requires a reboot OR an actual kernel upgrade.

I just rebooted this morning, and checked for updates over lunch, and now it wants ANOTHER reboot.

Maybe I should try KDE / XMonad on a BSD. Any suggestions?

=> More informations about this toot | View the thread

Written by Boyd Stephen Smith Jr. on 2024-11-14 at 19:33

Is there an #idris Reddit-replacement forum? Something with proper reply threading, quoting, and code blocks? I suppose a mailing list would be fine, tho I do like having up/down votes available.

My lemmy search didn't yield anything.

=> More informations about this toot | View the thread

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