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
-
Post #2556368
RE: https://hachyderm.io/@BoydStephenSmithJr/116072082621033639 It&#39;s been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.
-
Post #1927343
Look How They Massacred My Boy https://media3.giphy.com/media/v1.Y2lkPTc5MGI3NjExdmNpbW9nYmEwMHplcXYxYmtpdXpvZGtwcHplbG9meDdncGI0aWJwbyZlcD12MV9pbnRlcm5hbF9naWZfYnlfaWQmY3Q9Zw/l4FGGafcOHmrlQxG0/giphy.gif
-
Post #1927338
5km in 47:09 #running I think something is wrong with my gait/stride/pace. Calves hurting at lot more than they should.
-
Post #1574914
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...
-
Post #1483035
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.
-
Post #805189
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.
-
Post #694808
Okay, I&#39;m declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don&#39;t have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours. I&#39;m still open for all kinds of feedback, but until I get some, I think I&#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...
-
Post #425563
5k 45min #running Not what I wanted, but I&#39;m going to try to think of it as a win.