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

DiazCarrete, to haskell
@DiazCarrete@hachyderm.io avatar

friendship ended with ScopedTypeVariables, TypeAbstractions is my new best friend
https://serokell.io/blog/ghc-dependent-types-in-haskell-3

#haskell

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@DiazCarrete Ooh, haven't read the article, but despite my distain for TypeApplications, I'm already excited by the name of the new extension.

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

@DiazCarrete If there's ever a new report NoListTuplePuns needs to be included. Also, more developers should unpun their newtypes and records.

I still prefer Proxy-ed APIs for compatibility, but it will be nice to be able to use TypeAbstractions for my higher rank lamdas / local bindings. Definitely an improvement over scoped type variables, and I don't think it even stole that much pattern syntax; as-patterns were almost always written with no whitespace.

monkeyborg, to random
@monkeyborg@triangletoot.party avatar

The Matrix 2.5: Regurgitations. Agent Smith clones break into a genetics laboratory and create hilarious variations of themselves, including Bat Smith, Brainy Smith, Spider Smith, Brawny Smith, and a pointlessly man-crazed lady Smith named Smithette.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@monkeyborg I assume the lady in the red dress plays Smithette?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@monkeyborg As long as it is "the same" dress, I think having him in it would be more entertaining.

x00001, to random
@x00001@corteximplant.com avatar

And in the news, How Long It Would Take A Hacker To Brute Force Your Password In 2024, Ranked: https://digg.com/tech/link/how-long-hack-crack-password-hive-systems-2024 :cch:​

Huh, I don't think my passwords are doing too bad according to this! :cathumbsup:​

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@x00001 Gotta say, that 4 digit PIN on my debit card feels insufficient.

Sobieck, to random
@Sobieck@hachyderm.io avatar

Way to motivate the youths to vote Dem by… banning TikTok. Genius political maneuver.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Sobieck So, you think national security should be ignored in favor of winning elections? /strawman

I don't really think it will matter. Youths that vote (as rare as they are) know that abortion rights (and other D v. R differences) are more important than TikTok.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Sobieck

> I’m hoping that these political fumbles won’t give us a dictatorship.

From your lips to gods' ears.

brendan, to random
@brendan@discuss.systems avatar
BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@brendan

It's as close as I can get some of my peers, so it can still be a win. :)

There's a semi-smooth transition between unit tests with fixed inputs that gives known behavior, and prop tests with selected generators that gives known post-conditions.

Sobieck, to random
@Sobieck@hachyderm.io avatar

I can see voting for Eugen Debs as a third party candidate.

I don't understand why anyone would vote for the anti-vaccine crank and all around dipshit RFK Jr.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Sobieck Until we get ranked choice or proportional rep or something other than FPtP, you vote for the least bad of the top two, or you throw away your vote.

With my politics, in my state, I often do end up discarding my vote for president because it doesn't matter anyway (it's not remotely close most years), but I hope people feel their votes matter and use the power (as little as it is) strategically.

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

Anyone want to volunteer a guide for when to use instead of in or ?

I'm wanting to provide an HFunctor (https://pursuit.purescript.org/packages/purescript-fix-functor/0.1.0/docs/FixFunctor#t:HFunctor) instance but the naive way to do that requires me to "invent" a Functor instance for the source type constructor -- thinking of adding a yoneda/coyoneda wrapper and I think either would work, but I'm not sure.

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

> none of the modifying functors are the same as the type being defined, that is, we do not consider non-linear non-uniform recursion

Oh, fiddlesticks. I've been trying to use this paper for non-linear recursion. I think I might have to invent/discover instead of just mimic. I'm not as good at that! :P

Please send me your best references for non-linear non-uniform recursion since Blampied2000. Bonus points for code, but categorical abstract nonsense is fine, too.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

Johann, P. and Ghani, N. (2007). Initial Algebra Semantics Is Enough! seems to simplify things (by using Kan extensions, that I still don't feel like I ""get") but doesn't actually provide an example of a non-linear non-uniform recursive type / non-linear nested type.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

Ghani, Neil and Johann, Patricia (2009) Haskell programming with nested types: a principled
approach does seem to have a non-linear example.

Profpatsch, to typescript
@Profpatsch@mastodon.xyz avatar

Okay, so

After spending some time with , going back to is a real hard sell, ngl

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Profpatsch Oof, pass. I got really stoked around typescript for a little while, but they stopped maintaining the spec, and these days I greatly prefer #Purescript if I have to target a browser and have a choice. (It doesn't have a spec either, but I find it a much nicer language.)

At work, we still just do JS, but that's because it's likely to come out of a julius splice from #Yesod.

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

I don't have a lot of hope for the future, and this only covers a trivial bit of it, but I think I should signal-boost this https://www.youtube.com/watch?v=hqrVdTacPSg from Second Wind

counterVariable, to haskell French
@counterVariable@mstdn.social avatar

Dear mother of transistors does syntax feel like a bunch of math nerds tried to create a new language. It feels so unreadable.

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

@counterVariable The grammar is fairly simple, but custom binary operators and precedence can mean there's actually more to keep up with when reading.

As a big fan of Haskell syntax, that is constantly playing around with new languages, are there specific "mistakes" you feel were made, that I might try to avoid in any of my future languages?

BoydStephenSmithJr, to random
@BoydStephenSmithJr@hachyderm.io avatar

Is working without type classes really worth it?

seqFunGeneric  
 ( seqFunGenericMetadata  
 ( seqFunGenericSum  
 ( seqFunGenericSum  
 ( seqFunGenericSum  
 (seqFunGenericMetadata (seqFunGenericMetadata (seqFunGenericConstant sa)))  
 (seqFunGenericMetadata (seqFunGenericMetadata (seqFunGenericConstant _)))  
 )  
 ( seqFunGenericSum  
 (seqFunGenericMetadata (seqFunGenericMetadata (seqFunGenericConstant _)))  
 ( seqFunGenericSum  
...
kjhealy, to random
@kjhealy@mastodon.social avatar

The word “nonplussed” means “at a loss” not “unperturbed” you goddamn monsters

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@kjhealy I've been told prescriptivism is dead. So, "nonplussed" means whatever the "monsters" use it to mean, I guess.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@danpmoore @kjhealy When I advocated for usage of words to be restricted to semantics listed in a dictionary, I was told I was being prescriptivist and that dictionaries don't serve to limit the definitions of words; definitions are determined entirely by word usage.

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

No type equalities. For any fixed a, given c :: a -> f a and si :: (forall f r. Functor f => a -> f r -> f (a -> r) provide a runtime value (a Bool) that is True is a is isomorphic to Void and False otherwise.

?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@glocq I think not, but I havn't solved it myself. Was my current brain twister before shutting down for the night.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@glocq

The implementation I came up with is: isJust . si $ const Nothing . c

and it seems to work, but that could just be a quirk of the values I'm testing with:
si = pure absurd
c = absurd
gives True

si = fmap const . ($ ())
c = pure
gives False

I did give the type of si slightly incorrectly, it has more power available to it: si :: forall f r. Applicative f => (a -> f r) -> f (a -> r)

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@glocq Yeah, probably didn't explain it well.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@glocq I'm off in my own world trying to do some type checking for a dependently-typed core (GRTT) in Haskell but avoiding GADTs (and TypeEquality constraitns) and other GHC-only features.

I'm using bound, so I have a type parameter on terms, contexts, etc. to represent variables, but I'd like to test a context to see if it is empty (as part of checking well-formedness). It's somewhere between checking to see if a bound-style term is closed and seeing if the type parameter to Context is Void.

typeswitch, to random
@typeswitch@gamedev.lgbt avatar

if the government just implements UBI starting from tomorrow, without changing anything else, rents will creep up until the UBI amount becomes practically irrelevent, and the goals of UBI will fail. in the end it'll be another transfer of public money to landlords.

we need to implement UBI and establish universal housing and rent controls and tax the shit out of landlords. UBI isn't a magic wand that will solve the problems of late stage capitalism on its own.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@typeswitch I say we try it anyway. UBI might encourage more competition and/or less demand in the housing market.

Perhaps with UBI, more people would be comfortable founding / maintaining / living in a housing co-operative.

Yes, universal housing should be done, but failing to do it shouldn't prevent doing UBI.

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