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

    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

    @eestileib Disagree, but that&#39;s okay.

  • 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

    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

    @maddy Source, if anyone doubts: https://pmc.ncbi.nlm.nih.gov/articles/PMC8195290/

  • View post

    @nixCraft I find `du -hax` better than `du -sh` but it is a longer list. Also, for people that aren&#39;t command-line junkies, the program filelight (https://apps.kde.org/filelight/) provides an excellent view to find where your disk space / quota is going.

  • 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

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