← Feed

Posts

• 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'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: "Banach-Tarski Banach-Tarski" is an anagram of "Banach-Tarski"

• 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 "wild"? I'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've also got recursion across multiple types (merged into a single indexed family) "fully" 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's container, but it can flow or it can CRASH.

• View post

  @GoodAaron Most of the time I'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'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours. I'm still open for all kinds of feedback, but until I get some, I think I'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'm going to try to think of it as a win.