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

EyalL, to random
@EyalL@mastodon.social avatar

According to defamation law, can Donald Trump be called a rapist?

He wasn't convicted of rape but in a civil suit he was found to have raped, according to the judge and jury.

If it is allowed, should everyone start referring to Trump as a rapist and/or court-sanctioned fraudster? Would that have the desired effect?

Trump's stupid nicknames worked, but that's possibly because of the demographic he appeals to?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@EyalL I thought one of the points decided by the civil case was exactly this: it is not defamation to refer to him as Trump the Rapist.

But, I didn't actually look at the case decision.

BoydStephenSmithJr, to fediverse
@BoydStephenSmithJr@hachyderm.io avatar

I wonder if I can do an 8 minute mile.

I need to figure out an executable substitution for GRTT that is obviously correct, or do it in a proof assistant and prove it correct.

I'm having trouble concentrating on work.

I think I preferred eating whenever and whatever I wanted without limit to being healthy. I also miss smoking. I probably wouldn't stop exercising, tho...

I should join and .

leanpub, to haskell
@leanpub@mastodon.social avatar

Thinking with Types: Type-Level Programming in Haskell https://leanpub.com/thinking-with-types This book aims to be the comprehensive manual for type-level programming

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@leanpub You can't do type level programming in . It doesn't have type/data families, GADTs, data kinds, fundeps or even MPTCs. You must be thinking about extensions to Haskell that allow you to do GHC-specific type-level programming.

The best "type-level programming" you get from Haskell are free theorems from parametricity.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@maralorn I don't disagree, but it is my favorite dead horse to beat these days. Eventually, I'd like to write an alternative Haskell implementation that is good enough we go back to updating and following the report instead of Haskell being implementation (GHC) defined for all practical purposes.

I'm a big fan of Type Level programming, but I'm a bigger critic of abandoning a language specification.

foone, to random
@foone@digipres.club avatar

when you're installing a mouse driver into your DOS installation, do you do the lazy thing and stick MOUSE.EXE/CTMOUSE.EXE into C:\DOS? or do you keep things "clean" by putting it in C:\MOUSE and adjusting the PATH?

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@foone In '93, the later. My father demanded directory discipline, and editing PATH in the appropriate script (possibly, but not always, autoexec.bat) was easy enough.

pluralistic, (edited ) to random
@pluralistic@mamot.fr avatar

Hey folks! I've got a folder of 100+ HTML files; I'd like to get a word-count of the rendered text (e.g. excluding tags). Is there an ubuntu utility I could use for this?

ETA: I figured it out. I just did

> cat * > merged.html

then I opened the file in Firefox, copied the text, pasted it into Gedit, and used the Document Statistics tool.

Dirty and ugly, but it got the job done.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@pluralistic Relevant XKCD: https://xkcd.com/763/

Your EDIT is several times more menacing than your question, to me. :)

governa, to random
@governa@fosstodon.org avatar

can infect your phone or computer via the ads you see online ⚠️

https://theconversation.com/spyware-can-infect-your-phone-or-computer-via-the-ads-you-see-online-report-213685

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@governa U-Block Origin is now justified as anti-malware.

My experience of the 'Net is better when it is running well, in any case.

Mrfunkedude, to random
@Mrfunkedude@mastodon.social avatar

Anyone else notice the "talk" around post quoting has died down since last year when all of the "Twitter" immigrants complained about it not being a feature?

I figure they either saw the light eventually or just gave up. 🤷

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@Mrfunkedude I still want to quote-post easily, but I'm not holding my breath waiting on the feature. A boost + a reply usually close enough, though I wish there was an easy way to make that reply be on my "main" timeline for followers.

governa, to linux
@governa@fosstodon.org avatar

Installation Date: How to Discover Your System's Age 🐧

https://linuxiac.com/how-to-find-linux-os-installation-date/

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@governa That "universal technique" presented is wrong. My root filesystem was created after the system was installed, I migrated from ReiserFS to BtrFS.

I use the installation-birthday command from Debian. But, even there I had to file a bug and validate a fix before it was accurate.

TechConnectify, to random
@TechConnectify@mas.to avatar

Re: my earlier toot.

Honest question - is a "utility room" some sort of Midwestern thing?

Talking about how to avoid running ducts through attics, it occurred to me that it might be.

Here, if you don't have a basement, there's usually a room with your furnace/air handler, water heater, and washer/dryer. Plumbing often routes there, too.

Sometimes it's less of a room and more of a closet, but we can't just stick the washer and water heater in the garage 'cause they'll freeze.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@TechConnectify Arkansas here; reporting a utility room is somewhat common. Though in my last house washer/dryer was in one closet and gas heater and water heater were in a different closet.

mjg59, to random
@mjg59@nondeterministic.computer avatar

If I were a yak, I would simply shave myself

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@mjg59 Sir, there is a taboo, no yak may shave their self.

ZachWeinersmith, to comics
@ZachWeinersmith@mastodon.social avatar

Peace
http://smbc-comics.com/comic/peace-2 (click for full comic)

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@ZachWeinersmith I clicked through for the bonus panel, but I'm not sure it is worth it with the current mobile ads on your site. They try to force a mis-click on them by expanding to take up nearly the entire screen as you scroll down to the bonus button.

Maybe I just need better ad-block settings on my mobile Firefox?

marcosh, to php

possibly unpopular opinion: it is easier to learn software architecture in than in , since the former requires much more discipline and attention than the latter.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@marcosh @ocramius I'm getting strong population control by removing all the warning labels vibes from this thread.

It makes a good punchline, but a disastrous public policy.

BoydStephenSmithJr, to running
@BoydStephenSmithJr@hachyderm.io avatar

5k @ 32:07

Is this a defeat because the time is so bad, a victory because I got to the gym on a weekday, or a self-immolation because I'm now hungry enough that I will be eating junk on the way home.

w7voa, to random
@w7voa@journa.host avatar

Singer Jimmy Buffett has died, according to his family.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@w7voa The skies are grey in Margaritaville today.

foone, to random
@foone@digipres.club avatar

ahh, that fun feeling when you're like "damn it, I need a tool to do X"
and then you realize there is one
and you wrote it
18 years ago

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@foone git diff word-regex (ab)used to get intraline differences. My contribution was just because I was hanging around on the mailing list and it seemed simple. Didn't know I'd use it decades later.

rbreich, to random
@rbreich@masto.ai avatar

Tonight I'm (reluctantly) watching the Republican debate. I'll share my thoughts and responses on Twitter.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@rbreich I don't have cable; anywhere I can stream it live online? I'm sure it will be a train wreck, and I doubt I'll vote in the Republican primary, but I do know people that will, so it would be nice to know the field.

jeffjarvis, to random
@jeffjarvis@mastodon.social avatar

This is ridiculous.
Elections Are Bad for Democracy https://www.nytimes.com/2023/08/21/opinion/elections-democracy.html?smid=tw-share

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@jeffjarvis I can't read the article, but first-past-the-post elections are provably bad for democracy. Some amount of randomness would also reduce the incumbent advantage and that would be a good thing in most voting systems.

I think it is worth considering both proportional representation and probabilistic representation.

jeffjarvis, to random
@jeffjarvis@mastodon.social avatar

Judge upholds Copyright Office: No copyright protection for AI. “Human authorship is a bedrock requirement.” No soup for you, machine.
https://www.hollywoodreporter.com/business/business-news/ai-works-not-copyrightable-studios-1235570316/

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@jeffjarvis If there's anything to be learned from colonialism, it is that pre-existing systems generally fail to protect newly-encountered populations.

I don't believe there is any machine sentient yet, but we should still track AI providence for works in case I'm wrong or one exists in the future.

w7voa, to Canada
@w7voa@journa.host avatar

US Commerce Dept. announces that imports of tin mill products from , and are being unfairly priced, i.e., dumped, into the American market.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@w7voa How did they assign a Dumping Rate > 100% ?

To me, this makes the summary mostly meaningless, because "Dumping Rate" is used to name something outside the bounds of what "Dumping Rate" means to me.

SirTapTap, to random
@SirTapTap@mastodon.social avatar

I use Steam and all but the "games shouldn't be more than $1" attitude so many people seem to have developed is really maddening. And definitely helped curate this mobile era of total shit.

Of course, we're still getting great single player premium games, so I don't think it's mattered toooooo much. But still very disapointing.

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@SirTapTap I compare a game (or any entertainment really) to buying a movie ticket for the latest blockbuster of your preferred genre. That's 15-20 bucks for 2-3 hours. So, a game should cost how many hours of fun it provides to you times 5-10 USD.

I guess I still owe Mojang and ConcernedApe money. 😜

psychicparrot42, (edited ) to random
@psychicparrot42@mastodon.gamedev.place avatar

deleted_by_author

    •
    BoydStephenSmithJr,
    @BoydStephenSmithJr@hachyderm.io avatar

    @psychicparrot42 I don't think there is one answer that applies to all games, but I prefer "disappear magically" over "no effect".

    Also, depending on what restarting "means" lore-wise, you might also lose a stock, but the boss is also dead so you continue to the next area.

    Mrfunkedude, (edited ) to random
    @Mrfunkedude@mastodon.social avatar

    Not so easy is it?

    Choose.

    BoydStephenSmithJr,
    @BoydStephenSmithJr@hachyderm.io avatar

    @Mrfunkedude I prefer burritos anyway, but I think Omortality (https://www.fullmoon.nu/Resurrection/PrimarySpecies.html) would be sweet.

    timbray, (edited ) to random
    @timbray@cosocial.ca avatar

    When you think, do you have an internal dialogue that includes words?

    Boost if you're interested.

    BoydStephenSmithJr,
    @BoydStephenSmithJr@hachyderm.io avatar

    @timbray It's not always, tho. I can think without dialogue, either as a monologue, or just in non-speech sensations.

    BoydStephenSmithJr, to running
    @BoydStephenSmithJr@hachyderm.io avatar

    5k @ 27:41

  • 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
    •