@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.

Mrfunkedude, to random
@Mrfunkedude@mastodon.social avatar

Tempted to make Linux my full time OS but I just spent $40 on a windows app.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Mrfunkedude Sunk Cost Fallacy

Anyway, I've been told not to advocate for Linux usage here, so I'll just say I hope you are happy with whatever OS choice you make.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Mrfunkedude @_ I don't believe the toots/replies were directed at me, but they certainly discouraged telling people to use free software in general and Linux in particular.

Don't recommend Linux when people are complaining about MS Recall. Don't talk about Krita when people bemoan the cost of Adobe software. Etc.

I'm honestly never sure when people want a reply at all. I've certainly been accused of being a "reply guy" and I don't want to upset people with that behavior.

calmeilles, to random
@calmeilles@mstdn.social avatar
BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@calmeilles Aww, now I miss Google+ again.

tiffanycli, to random
@tiffanycli@mastodon.social avatar

What voice should OpenAI use now that ScarJo’s is off-limits? Wrong answers only.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@tiffanycli

Your choice of:

  • Male 1: Arnold Schwarzenegger
  • Male 2: Robert Patrick
  • Female 1: Kristanna Loken
  • Female 2: Summer Glau

(And now, I explain the joke: these are actors that played terminators in the first 3 movies and the series.)

hungryjoe, to programming
@hungryjoe@functional.cafe avatar

Potentially silly question

A lot of codebases have a CI step that validates that the code is formatted correctly

Is there a compelling reason not to do this as part of the unit test framework?

Like, pull in your code formatter as a test dependency, and write a test that checks the formatting.

Advantages are

  • the CI config would be simpler
  • you're less likely to forget to run the formatter
  • versioning the code formatter along with the other dependencies
  • you get the formatting errors bundled with the test output

Disadvantages are???

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@hungryjoe I think there's value in separate steps for several reasons. The primary one being semantic difference: unit testing checks semantics of the compiler output, format checking addresses the syntax of the compiler input.

The secondary is related: I want to be able to format check code that doesn't currently compile.

As a practical matter, IME format checking is faster than unit testing, so I do the former much more often. Unit testing is rarely triggered by an editor save (IME) e.g.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@hungryjoe I think you need to be careful with that because of the LACK of semantic distance. Ideally, there would never be any diagnostic emitted by the local format check that wasn't emitted by the CI format check and vice-versa. Using the unit test framework for one and not for the other just makes it more likely that the processes diverge.

maralorn, to haskell
@maralorn@chaos.social avatar

I have real trouble developing an intuition for NoDeepSubsumption.

I always only notice by sheer luck that changing

a . b $ c

to

a $ b $ c

fixes my type error.

#haskell

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@maralorn I also still have problems with this in , too.

Best tip I have is to pay more attention to the 'forall's. Compose / . / <<< "fixes" the 'forall', which can cause type checking to fail elsewhere or, if "a" is higher-rank, there (it forces "b" to be monomorphic; higher-rank "a" might require a polymorphic "b'). Application / '$' (in GHC) doesn't "fix" the forall.

I think the difference might be "deeper", but for me it's able where the "choice" for the forall is made.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

Skipping the ycombinator site and linking directly to: https://berthub.eu/articles/posts/cyber-security-pre-war-reality-check/

It's not a comforting read, but I think a good one.

(h/t @simonmic)

RainofTerra, to random
@RainofTerra@terra.incognita.net avatar

It’s weird that people still joke about IPv6 as if it’s not on the cusp of being the majority of public IP traffic.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@RainofTerra

I'm not ready.

"Your IPv4 address on the public Internet appears to be 98.20.232.59

Your Internet Service Provider (ISP) appears to be WINDSTREAM

No IPv6 address detected

You appear to be able to browse the IPv4 Internet only. You will not be able to reach IPv6-only sites."

:blobfoxsad:

governa, to ps4
@governa@fosstodon.org avatar

You Can Now Jailbreak A With An 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.

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