@BoydStephenSmithJr@hachyderm.io avatar

BoydStephenSmithJr

@BoydStephenSmithJr@hachyderm.io

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

governa, to ps4
@governa@fosstodon.org avatar

You Can Now Jailbreak A #PS4 With An #LG TV

https://hackaday.com/2024/05/16/you-can-now-jailbreak-a-ps4-with-an-lg-tv/

BoydStephenSmithJr, (edited )
@BoydStephenSmithJr@hachyderm.io avatar

@governa These speedrunning categories are getting ridiculous. PS4JB: LGTV%, really?

typeswitch, to random
@typeswitch@gamedev.lgbt avatar

you want types because you want the compiler to prevent people from writing bad code.

i want types because i want the compiler to help me write good code.

we are not the same.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@typeswitch Reject the type usage binary! As a proud user and implementor of bidirectional typing, I embrace both your descriptions; my pronouns are check/infer.

๐Ÿคช

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

According to my bathroom scale, I gained 6 lbs. yesterday.

Part of me wants to see how many days I can do that in a row.

potus, to random

I just imposed a series of tariffs on goods made in China:

25% on steel and aluminum,
50% on semiconductors,
100% on EVs,
And 50% on solar panels.

China is determined to dominate these industries.

I'm determined to ensure America leads the world in them.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@potus Do the tariffs go to workers? If not, you've injured the American worker and enriched Billionaires while hurting International relations.

(Yes, I know that Threads won't show whoever runs the potus account this reply.)

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

What should I play? https://steamcommunity.com/id/bss03/games/?tab=all I want something I can play on my Debian Linux desktop with a mouse and keyboard that I can get into and out of quickly.

I keep bouncing off games recently. I started Littlewood, but had to go help around the house before I really got out of the tutorial -- so I'm I'm disengaged, and unlikely to start it up and read the same dialog boxes again.

I tried DF, but I don't have the will to properly plan an embarkation -- took me "forever" to find a spot.

monkeyborg, to random
@monkeyborg@triangletoot.party avatar

I like it when a singer says โ€œguitar!โ€ in the middle of a song, and then a guitar solo starts. How did they know that was going to happen?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@monkeyborg It's performative, by saying "guitar" by themselves, they have done a "guitar" solo.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

What's the over-under on "civilization" surviving until (28 July) 2061? If we are going to run out of splinter-free toilet paper before then, I'm going to quit avoiding the things I like that are bad for me.

BoydStephenSmithJr, (edited ) to random
@BoydStephenSmithJr@hachyderm.io avatar

Your value is NOT in what you produce. Your value is NOT in what you consume. Your subjective experience -- the joy, wonder, awe, etc. -- is the unique and incomparable value you bring to the universe.

Yes, make great things. Yes, take only what you need. Yes, improve yourself, your community, and the world in any way you can. But, remember--especially when everything is just too much: just being is enough.

(Or at least, that's how I'm justifying my own lack of productivity today.)

nixCraft, to random
@nixCraft@mastodon.social avatar

The highest-paid software engineers write little to no code. Can you guess what they do all day?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@nixCraft IME, cause problems for lower-paid software engineers. ;) /s

DiazCarrete, (edited ) to haskell
@DiazCarrete@hachyderm.io avatar

I know that Megaparsec doesn't backtrack automatically and that you have to use "try" for that, but this behavior of "many" was unexpected. Why oh why doesn't it parse the final space?
https://stackoverflow.com/a/78355045/1364288
Maybe I didn't read the documentation thoroughly, but I don't think it's actually spelled out in the Haddocks?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@DiazCarrete IIRC, we don't "try" by default because it can cause excessive backtracking, and having that even be a possibility holds references to things, increasing memory usage, and decreasing performance.

So, yeah, anytime you want to "noncommittally consume", you have to use try explicitly.

foone, to random
@foone@digipres.club avatar

I love when sites have 1.5factor authentication.

You put in your username, and it's like "hey, log in with a code to your phone, or a password!" and my password manager already filled the password, so I just hit continue.

and then it asks me to verify a code it sent to my phone anyway for 2fa

BoydStephenSmithJr, (edited )
@BoydStephenSmithJr@hachyderm.io avatar

@foone Extremely frustrating when your phone dies while you are traveling, and you are trying to find and pay for parts / repair services.

Yes, I do have backup codes, at home.

vie, to random
@vie@hachyderm.io avatar

๐ŸŒถ๏ธ take of the day: maybe we shouldn't be merging linear types into a language with a partial head function in its base library.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@vie Come on, don't you know unsafeDrop is way cooler than use-after-free in C! /s

I don't honestly know where the middle-ground is tho.

w7voa, to random
@w7voa@journa.host avatar

At a campaign fundraiser in California, President Biden mentions that Trump, during the pandemic, had suggested people "inject a little bleach in your arm. That's what he said. I wish he had done a little bit of it himself."

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@w7voa That doesn't strike me as presidential. Trump might be an illiterate villain, but I still don't want him to engage in self-harm; I just want to prevent him from harming (himself or) others.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

Today, everything feels too hard to accomplish. All work tasks and both personal projects with recent progress just make me mentally recoil when I think about them.

If progress isn't made, doom follows.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

#Rogule 2024-5-10
๐Ÿง 5xp โ›ฉ 167 ๐Ÿ‘ฃ
streak: 2
๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ
โš” ๐Ÿฆ‡๐Ÿ‘ป๐Ÿบ๐Ÿ‘น๐ŸงŸ
๐ŸŒฐ๐ŸŒฐ๐ŸŒฐ๐ŸŒฐ

https://rogule.com

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

I wish Animal Well had a Linux version.

Maybe I should set up my Switch? I bet I can get Hades cheap, and I've heard that I'll like it.

nixCraft, to random
@nixCraft@mastodon.social avatar

Explain what you do in 4 words or less. Iโ€™ll go first:

Automate software delivery ๐Ÿšš

BoydStephenSmithJr, (edited )
@BoydStephenSmithJr@hachyderm.io avatar

@nixCraft Primary caregiver disabled family

Oh, you meant my paid job? Full-stack (Haskell backend) developer

dbsalk, to random
@dbsalk@mastodon.social avatar

"Today is Thursday. Can we skip today? I want it to be Friday."

I feel like the 11yo is way too young to be having these thoughts.

#today #DadThoughts

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@dbsalk School schedules had me quickly appreciating the weekend. I was (and am) still fairly food motivated and Friday had "better" food in the school cafeteria throughout my primary and secondary education.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@dbsalk My primary school had pizza on Friday; my secondary school had burger and fries-day. My favorite lunches they served at the time.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

@adamconover seems to have stopped posting Factually! here since about number 255.

For this one (260), I'll be the hype man: https://www.youtube.com/watch?v=LuDbktG9lD8

foone, to random
@foone@digipres.club avatar

you know what'd be a cool feature for an image editor?
"export last action as code"

where it looks at the last thing in the undo/redo buffer, and saves it out as a program (in C/C++/whateverscripting) that uses an ImageEditorLibrary to do the same thing

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@foone For some reason, I thought the GNU image manipulator could already do this. Maybe it was just the UI focus on playing scripts last time I used it. (I use #Krita for what little image editing I do for a while now.)

rbreich, to random
@rbreich@masto.ai avatar

Donald Trump has violated the gag order placed on him during his NY trial ten times so far. If he keeps violating it, what should Judge Juan Merchan do?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@rbreich Sorry if this is a repeat -- I haven't read your replies/thread to completion.

To answer your question: Escalating incarceration. First, held by the bailifs during a break. Then, all breaks for 2, 3, and (in turn) 5 court days. Next jailed while still being allowed to attend court, for 24, 48, 72 then 168 hours.

If during that whole time, and after, he continues to violate the gag order, after a week-long stay and 2-3 more warnings, incarceration until the jury is isolated.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

Today's BP was a very computer sciency 128/64.

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

Note to self: type variables in and cannot be bound to partially applied type synonyms.

If you try to do so, in a sufficiently polymorphic way, you'll get very confusing type errors as the checker attempts to solve things with the variable bound to the "head" of the (parametrically expanded) type alias.

Last night it was (forall r. (forall f. Foldable1 f => f a -> r) -> r) and tonight it was (a -> Term a). Introducing a newtype can help, but beware impredicativity.

BoydStephenSmithJr, (edited ) to haskell
@BoydStephenSmithJr@hachyderm.io avatar

Hey, #Haskell, what's the more conservative extension to the report?

I think I can do what I want either way, but I don't really know how to do it in Haskell2010 with no extensions. (I have a non-parameteric type function/family in my semantics, and don't want to give up totality.)

  • All
  • Subscribed
  • Moderated
  • Favorites
  • โ€ข
  • megavids
  • rosin
  • ngwrru68w68
  • Durango
  • DreamBathrooms
  • mdbf
  • magazineikmin
  • thenastyranch
  • Youngstown
  • khanakhh
  • slotface
  • everett
  • vwfavf
  • kavyap
  • provamag3
  • osvaldo12
  • GTA5RPClips
  • ethstaker
  • tacticalgear
  • InstantRegret
  • cisconetworking
  • cubers
  • tester
  • anitta
  • modclub
  • Leos
  • normalnudes
  • JUstTest
  • All magazines
    •