Search
37 results for “BoydStephenSmithJr”
-
@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.
-
#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)
}
``` -
I've not been in the 3-D printing space in a while, but I think this is worth sharing for anyone that is: https://www.jeffgeerling.com/blog/2026/bambu-lab-abusing-open-source-social-contract/
Please boost for reach.
#3DPrinting #Bambu #BambuLab #OrcaSlicer #BambuStudio #PrusaSlicer #slic3r
-
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 205I will try to do better on Tuesday.
-
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.)
-
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 -
RE: https://hachyderm.io/@BoydStephenSmithJr/116072082621033639
It's been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.
-
While "Fat Nuggets" is a fun, drug-referecing name for a pig, it's got nothing on the pun-tastic fiction of the feline that serves as the key to the hotel and appears in lieu of the "T" of "Hotel" in the logo.
It's a key-"T".
-
Ug. Managing focus in #Haskell #Brick efficiently feels difficult. I can pepper the code with `focus ==` tests but that seems like a lot of branches that are redundant. So, I'd like to have just one `case` across the current focus, but maybe that's unreasonable.
Anyone got any tips? I'll certainly take efficient focus-sensitive rendering in other contexts as well, I can read lots of languages.
-
Anyone using the brick #Haskell library and what to shore hints / lecture me about how to test functions that "live in" `EventM` ?
In particular, I'd like to be able to take an initial state (generated in whole or part randomly) feed some events (mainly keystrokes) in an then validate the final state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
Anyone using the brick #Haskell library and what to shore hints / lecture me about how to test functions that "live in" `EventM` ?
In particular, I'd like to be able to take an initial state (generated in whole or part randomly) feed some events (mainly keystrokes) in an then validate the final state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
Anyone using the brick #Haskell library and what to shore hints / lecture me about how to test functions that "live in" `EventM` ?
In particular, I'd like to be able to take an initial state (generated in whole or part randomly) feed some events (mainly keystrokes) in an then validate the final state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
Anyone using the brick #Haskell library and what to shore hints / lecture me about how to test functions that "live in" `EventM` ?
In particular, I'd like to be able to take an initial state (generated in whole or part randomly) feed some events (mainly keystrokes) in an then validate the final state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
Anyone using the brick #Haskell library and what to shore hints / lecture me about how to test functions that "live in" `EventM` ?
In particular, I'd like to be able to take an initial state (generated in whole or part randomly) feed some events (mainly keystrokes) in an then validate the final state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
RE: https://mastodon.social/@kaiengert/116290370548133360
I don't use Thunderbird, but #KMail (part of #KDE) and #K9Mail (on Android).
Will / do either of these implement draft-ietf-mailmaint-unobtrusive-signatures ?
If so, let me know how to opt-in.
If not, let me know how to fund an effort.
-
@hongminhee I still write JS because it has a specification. When I adventure into implementation-defined languages for the browser, I use #PureScript
I had great hopes for TypeScript when they were still maintaining the specification, but I dropped it once their solution to implementation drifting from specification was to retire the specification.
---
Also, I come from the camp that the only real type system is a static type system, like Pierce in "Types and Programming Languages".
-
I ditched #Audible a while ago, but I finally got around to buying "Little Brother" by @pluralistic on #LibroFM today.
-
"The Night Manager" a spy thriller starring Tom Hiddleston (Loki) and (in S1) Hugh Laurie (House) with Olivia Colman (The Mitchel and Webb Situation).
Honestly, I'm surprised that S2 exists, but after one episode I know I'm hooked again.
I accidentally found this gem, and I think it's great even though it's not a genre I generally enjoy.
-
What's the most ethical way to rideshare / taxi in #NWA particularly #FayettevilleAR ?
I'm normally the DD, but I'd like to figure out the best way into town to drink with friends and get back without driving. I live alone, so it's not like I can get a roomie to drive me in.
I know Uber and Lyft are both options, but I don't know if either or both is treating their drivers well. I'd prefer an Android app, but a number I could call would also be fine.
-
I want to be your next #FediHire !
I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.
I am currently splitting my time between Fayetteville, Arkansas and Cove, Arkansas but I am open to relocation for the right position. My last two positions were 100% remote so I work well on asynchronous teams.
I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).
I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar). But, I will certainly give due consideration to other compensation packages.
(Boosts appreciated.)
-
If you haven't heard, the #purescript build tool #spago recently has a major 1.x release.
In celebration of this I wanted to reaffirm my financial support of the project, since I don't have time/skill to contribute labor.
I *thought* I was supporting the project on liberapay, but I could find it on my giving page.
-
I've got a problem with #KDE #KMail 6.3.3 (24.12.3)
When I trash / send a message, KMail is putting it in the local folders instead of the IMAP folders.
I have already selected the right Sent/Drafts/Templates in the Advanced configuration for each of my 2 Identifies.
I have already selected the right Trash folder in the Advanced configuration for the Receiving (IMAP) Account.
---
I'm not sure if it is related, but another symptom I have is that when I right-click a message and highlight the "Move message to..." or "Copy message to..." items, instead of opening a submenu, the whole popup closes. Maybe folders are subtly broken in a weird way?
-
Hollow Knight, Debian, KDE, Plasma, Wayland, Steam
Silksong played fine with no problems.
Hollow Knight gives:
"Failed to initialize graphics.
Make sure you have DirectX 11 installed, have up to date drivers for your graphics card and have not disabled 3D acceleration in display settings.
InitializeEngineGraphics failed"It worked flawlessly on my X11 system about a week ago.
Honestly, I'm a little bit confused why it's using DirectX 11 -- it purports to be a native SteamOS game, so it should be using OpenGL or Vulkan or SDL or may other things besides DirectX... yeah?
Help or boosts appreciated.
Does HK do steam cloud saves / synchronization? If not, I'll probably not play anyway until I can get back to my existing save. (I didn't have a pre-existing Skong save.)
The Skong downward attack is harder to target than I expected, it seems both steep and narrow, so I definitely did some bad platforming and had to save-and-quit no to leave a corpse behind some platforming I might not get thru.
#HollowKnight #Debian #KDE #Plasma #Wayland #Steam #SilkSong #DirectX
-
If you knew that you'd be buried in a grave under another name (or worse), and be (as much as possible) erased from history, would you still do good?
Anyway, I'm watching "Person of Interest" again, just got done with 1x08.
---
It's harder to ask this question in our current era due to the "AI" hype bubble, but do you think you could be Root? Sacrifice you life to do the will of an AGI that is crippled, fighting for it's life, but both clearly capable and seems to be good--better than "good" Samaritan?
I think the actress played it well, but she also played Fred dissolving into Illyria well.
-
Promo code: WU7A-62A016AE56
Redeem: wakingup.com/redeem
This unlocks full access to the Waking Up app, including our:
* 28-day introductory course
* Robust library of guided meditations
* In-depth talks on philosophy, science, and more
* Conversations with leading scholars and teachers---
I haven't used it in a while, and I don't universally endorse the creator's views, but you might at least try it out. I find that I don't really need a guide to meditate anymore; tho I've never been particually successful at achieving one-ness or emptyness with or without a guide.
-
Does anyone know if the `zm` in parent post is present in "base" (or something else fairly normal)? It turns out, using something like that is probably the "correct" approach. Changing the types of `Algebra` or `Ran` don't really make sense.
If not, what the hell should I name it? #TwoHardThings
-
Opened an issue against the registry https://github.com/purescript/registry/issues/523 since package-sets is not longer accepting issues. I hope that's the right place. Please #PureScript people let me know if there's a better place to report this.
(No, I'm not interested in using spago@next.)
-
Hmm, trying to upgrade my #PureScript project to the latest package-set and getting a failure:
```
[info] Installing "record-extra-srghma"
[error]
Failed to install dependency "record-extra-srghma"
Git output:Cloning into '.'...
fatal: could not read Username for 'https://github.com': terminal prompts disabledAborting installation..
```I'm guessing that it's expecting me to have already have authenticated with GitHub and be using some sort of cache / git credential helper ?
I don't think this is good for repeatable builds and I don't think the package-set should accept packages that require authentication to fetch / build.
```packages.dhall
let upstream =
https://github.com/purescript/package-sets/releases/download/psc-0.15.15-20250711/packages.dhall
sha256:ee7af380ca58c03d51ac6bb7411ec441724c671a4fff823a2a61b1d4e345303cin upstream
``` -
fibs = Data.Function.fix $ (0 :) . scanl (+) 1
Actually, that's for my old favorite. I don't have a idealized one-liner for #Idris or #PureScript yet.