Elektrine lite

← Feed

Boyd Stephen Smith Jr.

BoydStephenSmithJr@hachyderm.io

<p>Born 1980-05-15 in Mena, AR<br />Cis White Male He/him<br />Liberal Democratic Socialist Idealist<br />Professional Haskell Programmer<br />Lives in Cove, AR<br />(24 years resident of Fayetteville, AR)</p><p>Please use Wire (or Signal) for private messaging.</p>

Posts

  • View post

    I really hate how &quot;LLM output is uncopyrightable&quot; has become a meme. It&#39;s a woeful oversimplification. The U.S. copyright office says the necessary human creative effort for copyright can&#39;t come from LLM models or prompts, yes. But, they also establish that *in most cases* the model itself and it&#39;s outputs are derivative works of each and every piece of training material. That means they are absolutely subject to copyright protections, but based on the will of the right...

  • View post

    Fsck. Using this laptop with netbsd is painful. Multiple keyboard smashes and screams of frustration this morning. Anyway, has anyone got #nvm working on #netbsd ? It _seems_ to be installed. But, when I attempt to pull down the latest stable node.js with `nvm install stable`, it fails: WARNING: C++ compiler (CXX=g++, 12.5.0) too old, need g++ 13.2.0 or clang++ 19.1.0 WARNING: cargo not found! Support for Temporal will be disabled. WARNING: rustc not found! Support for Temporal will be dis...

  • View post

    RE: https://hachyderm.io/@BoydStephenSmithJr/116072082621033639 It&amp;#39;s been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.

  • View post

    @lcamtuf@infosec.exchange Bonus trivia: &quot;Banach-Tarski Banach-Tarski&quot; is an anagram of &quot;Banach-Tarski&quot;

  • View post

    Look How They Massacred My Boy https://media3.giphy.com/media/v1.Y2lkPTc5MGI3NjExdmNpbW9nYmEwMHplcXYxYmtpdXpvZGtwcHplbG9meDdncGI0aWJwbyZlcD12MV9pbnRlcm5hbF9naWZfYnlfaWQmY3Q9Zw/l4FGGafcOHmrlQxG0/giphy.gif

  • View post

    5km in 47:09 #running I think something is wrong with my gait/stride/pace. Calves hurting at lot more than they should.

  • View post

    @jnkrtech How &quot;wild&quot;? I&#39;ve got some non-uniform recursion in an Idris library I recently published. https://stefan-hoeck.github.io/idris2-pack-db/docs/type-aligned/docs/docs/TypeAligned.src.html#line270 I&#39;ve also got recursion across multiple types (merged into a single indexed family) &quot;fully&quot; generalized in the Haskell version of another published Idris library (the Haskell version is not published). https://gitlab.com/bss03/nested/-/blob/31f74ced9067ff04b80fbe22a...

  • View post

    @ouropinions @jamsternazzy Be like water, my friend. At rest, it takes the shape of it&#39;s container, but it can flow or it can CRASH.

  • View post

    @GoodAaron Most of the time I&#39;m fine, but last week I got out of bed too quickly and my neck was sore for 2 days.

  • View post

    Ooh, this is a tricky one. I think I found a legitimate compiler issue in #idris. Nothing to do with correctness, but a interaction between `parameters`, `mutual` and name overloading that cause a failure to even consider one of the overloadings -- it treats the name as undefined, even though it is clearly present. Moving the referent out of `parameters` and fixing up the type signature makes name resolution work, and the compile completes successfully. Now, do I spend the time to find a min...

  • View post

    Hot take: Gas, particularly in USA, should be **much** higher priced, in order to pay for government programs to offset the damage burning it does to the environment and to pay citizens/workers to encourage getting away from burning fossil fuels, while simultaneously ending ALL subsidies and tax-code benefits for fossil fuel companies and providing assistance to any industry workers that are impacted by any downsizing.

  • View post

    RE: https://hachyderm.io/@BoydStephenSmithJr/116298200584577447 Anyone out there with some opinions on both @codeberg and @gitlab particularly for developing #Haskell, #Idris, #Lean, or #Agda ? If you can,, please address my concerns in the quoted toot.

  • View post

    Okay, I&amp;#39;m declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don&amp;#39;t have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours. I&amp;#39;m still open for all kinds of feedback, but until I get some, I think I&amp;#39;m going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions...

  • View post

    5k 45min #running Not what I wanted, but I&amp;#39;m going to try to think of it as a win.