home.social

Search

146 results for “BoydStephenSmithJr”

  1. @BoydStephenSmithJr @a2_4am I am saying that we need a browser that is a product paid for directly by its users.

    If #Mozzila offered a version of #Firefox that respected privacy and net neutrality and shunned AI, for a monthly fee, I'd pay it.

  2. @BoydStephenSmithJr @radleybalko.bsky.social As a a woke leftist antifa United Empire Loyalist Canadian; I for 1 will sit back and watch with glee the USA violently Balkanize into small disjointed republics. never again to rise as a threat to others. then maybe my grandchildren will reclaim the former rhode island lands my family were driven from. tyvm.

    #empireloyalist
    #scortchedearth
    #blockgps
    #boycottusa
    Boycott
    with extreme prejudice

  3. @BoydStephenSmithJr @dvandal @david_chisnall @strlcat

    This reasoning is based upon a fallacious dichotomy. In the real history, Upstart existed and had a strong competing maintainership, to the level that the #Debian TC itself was nearly split down the middle on #RedHat/#Canonical lines, and the choice was *never* between van Smoorenburg init+rc and systemd.

    It was between #Upstart and #systemd, the latter indeed being a reaction to the former, with #OpenRC as a late entrant.

  4. @BoydStephenSmithJr I used #Polonium for quite a while, and then switched to #Krohnkite. The latter doesn't try to interoperate with #plasma's native tiling and is much more rock solid

  5. @AFresh1 @BoydStephenSmithJr The Steam client is closed source, but you can get your downloads on #OpenBSD with steamctl from ports.

    openbsd.app/?search=steamctl&c

    That breaks occasionally when Steam's API changes. Better to buy on GOG, itch.io, or Zoom-Platform which allow for direct downloads.

    Best way to browse which commercial games can run on OpenBSD is here:

    pobsd.chocolatines.org/

    (Courtesy of @hukadan )

    #PlayOnBSD

  6. @dysfun @BoydStephenSmithJr #neovim #vim

    I really am! Nvim-lspconfig supports #idris2-lsp out of the box, and @edwinb's [plugin](github.com/edwinb/idris2-vim) is a nice integration to that. It's a neat setup.

  7. All weights in pounds. One set; 10 reps.

    Triceps Press 160
    Biceps Curl 70
    Shoulder Press 140
    Lateral Raise 75
    Leg Press 320
    Seated Leg Curl 190
    Back Extension 205
    Triceps Extension 95
    Abdominal 190
    Seated Row 135
    Lat Pulldown 145
    Leg Extension 190
    Pectoral Fly 140
    Rear Deltoid 140
    Chest Press 140
    Abdominal Crunch 80
    Rotary Torso 165
    MTS Incline Press 70x2
    Inner Thigh 205
    Outter Thigh 205

  8. All weights in pounds. One set; 10 reps.

    Triceps Press 160
    Biceps Curl 70
    Shoulder Press 140
    Lateral Raise 75
    Leg Press 320
    Seated Leg Curl 190
    Back Extension 205
    Triceps Extension 95
    Abdominal 190
    Seated Row 135
    Lat Pulldown 145
    Leg Extension 190
    Pectoral Fly 140
    Rear Deltoid 140
    Chest Press 140
    Abdominal Crunch 80
    Rotary Torso 165
    MTS Incline Press 70x2
    Inner Thigh 205
    Outter Thigh 205

    #StrengthTraining #WeightLifting

  9. #PureScript / #Halogen question, is there a way to compare HTML / VDom values for equality? I want to write some checks for some helper functions that have HTML results.

    I started trying to write my own, but it sort of looks like I'd need to bind JS's (===) :: Foreign -> Foreign -> Boolean to deal with some of the internals.

    Alternatively, how would you test
    `flowTree :: forall a w i. (a -> HtmlTreeF w i a) -> a -> HTML w i`
    given
    ```
    newtype HtmlTreeF w i a = MkTreeF
    { rootContent :: Array (HTML w i)
    , links :: Array (Tuple (Maybe (Array (HTML w i))) a)
    }
    ```

  10. #PureScript / #Halogen question, is there a way to compare HTML / VDom values for equality? I want to write some checks for some helper functions that have HTML results.

    I started trying to write my own, but it sort of looks like I'd need to bind JS's (===) :: Foreign -> Foreign -> Boolean to deal with some of the internals.

    Alternatively, how would you test
    `flowTree :: forall a w i. (a -> HtmlTreeF w i a) -> a -> HTML w i`
    given
    ```
    newtype HtmlTreeF w i a = MkTreeF
    { rootContent :: Array (HTML w i)
    , links :: Array (Tuple (Maybe (Array (HTML w i))) a)
    }
    ```

  11. / question, is there a way to compare HTML / VDom values for equality? I want to write some checks for some helper functions that have HTML results.

    I started trying to write my own, but it sort of looks like I'd need to bind JS's (===) :: Foreign -> Foreign -> Boolean to deal with some of the internals.

    Alternatively, how would you test
    `flowTree :: forall a w i. (a -> HtmlTreeF w i a) -> a -> HTML w i`
    given
    ```
    newtype HtmlTreeF w i a = MkTreeF
    { rootContent :: Array (HTML w i)
    , links :: Array (Tuple (Maybe (Array (HTML w i))) a)
    }
    ```

  12. #PureScript / #Halogen question, is there a way to compare HTML / VDom values for equality? I want to write some checks for some helper functions that have HTML results.

    I started trying to write my own, but it sort of looks like I'd need to bind JS's (===) :: Foreign -> Foreign -> Boolean to deal with some of the internals.

    Alternatively, how would you test
    `flowTree :: forall a w i. (a -> HtmlTreeF w i a) -> a -> HTML w i`
    given
    ```
    newtype HtmlTreeF w i a = MkTreeF
    { rootContent :: Array (HTML w i)
    , links :: Array (Tuple (Maybe (Array (HTML w i))) a)
    }
    ```

  13. #PureScript / #Halogen question, is there a way to compare HTML / VDom values for equality? I want to write some checks for some helper functions that have HTML results.

    I started trying to write my own, but it sort of looks like I'd need to bind JS's (===) :: Foreign -> Foreign -> Boolean to deal with some of the internals.

    Alternatively, how would you test
    `flowTree :: forall a w i. (a -> HtmlTreeF w i a) -> a -> HTML w i`
    given
    ```
    newtype HtmlTreeF w i a = MkTreeF
    { rootContent :: Array (HTML w i)
    , links :: Array (Tuple (Maybe (Array (HTML w i))) a)
    }
    ```

  14. Anyone out there got a recommendation for a scale w/ 8-contact body composition calculations? AFAICT, the 8-contact machines are accurate enough that tracking BF% with them is useful.

    I want something other than BMI to track / target. I don't want to _have_ to use their app. My existing information is in Google Fit. The device must not require Internet connectivity for initial set-up or use.

    #BMISucks #Health #BodyFat #BuyItForLife

  15. One set, 10 reps. Weights in pounds.

    Triceps Press 155
    Biceps Curl 70
    Shoulder Press 140
    Lateral Raise 75
    Leg Press 320
    Seated Leg Curl 195
    Back Extension 185
    Triceps Extension 95
    Abdominal 190
    Seated Row 135
    Lat Pulldown 145
    Leg Extension 190
    Pectoral Fly 140
    Rear Deltoid 140
    Chest Press 140
    Abdominal Crunch 80
    Rotary Torso 165
    MTS Abdominal Crunch 80
    MTS Shoulder Press <70x2
    MTS Incline Press <70x2
    MTS Chest Press 70x2
    Inner Thigh 205
    Outer Thigh 205

    I will try to do better on Tuesday.

    #StrengthTraining

  16. Quick #PureScript question. If I have a data structure that's basically a cons list, and I want to turn it into an Array, is the best way to do that recursive function with calls to `cons` or some better unfold?

    (Sometimes I even forget that [:] is arrays in PS, since I write plenty of Haskell and Idrisi, too.)

  17. @bodil #Idris (1) used to have a bash backend. I don't think it was ever updated for Idirs (2).

  18. @bodil #Idris (1) used to have a bash backend. I don't think it was ever updated for Idirs (2).

  19. @bodil (1) used to have a bash backend. I don't think it was ever updated for Idirs (2).

  20. @bodil #Idris (1) used to have a bash backend. I don't think it was ever updated for Idirs (2).

  21. @bodil #Idris (1) used to have a bash backend. I don't think it was ever updated for Idirs (2).

  22. 7-14 reps per set, all weights in pounds and are of the last full set unless otherwise noted.

    Triceps Press 150
    Biceps Curl 70
    Shoulder Press 140
    Lateral Raise 75
    Leg Press 320
    Seated Leg Curl 195
    Back Extension 185
    Triceps Extension 95
    Abdominal 190
    Seated Row 135
    Lat Pulldown 145
    Leg Extension 190
    Pectoral Fly 145 (incomplete; aborted due to shoulder pain after 4 reps.)
    Rear Deltoid 145
    Chest Press 140
    Abdominal Crunch 80
    Rotary Torso 165
    MTS Abdominal Crunch 80
    MTS Shoulder Press 70x2
    MTS Incline Press 70x2 (incomplete, only 2 reps)
    MTS Chest Press 70x2 (incomplete, only 5 reps)
    Inner Thigh 195
    Outter Thigh 195

    #StrengthTraining

  23. RE: hachyderm.io/@BoydStephenSmith

    It's been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.

  24. RE: hachyderm.io/@BoydStephenSmith

    It's been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.

  25. RE: hachyderm.io/@BoydStephenSmith

    It's been about a year since my last position ended. Please let me know anywhere to apply for , , or employment.