The big thing is that I don't need byte strings in the result to be contagious in memory, so I don't want to require the input to be contagious in memory either.

Show thread

Hmmm there are several cbor libraries for rust but none is as zero-copy as I think is theoretically possible, at least for my use case. This is definitely not that important but it's so tempting to just write another one...

wpilib stop inventing your own build system and package manager challenge

maybe I'm coming at this from a uinx-centric perspective but shared libraries and cross-compiling are both things with standard solutions, even autotools would handle this out of the box

Ok so I looked into it and from what I've gathered it looks doable. I think you could just install nix on the roboRIO like any other linux machine, package your robot program like any other nix package, and deploy with `nix copy`. You might need to package some of NI's libraries, but I don't think it would be that hard to write a derivation that downloads the rio image and extracts them.

Haskell stuff aside, this might actually be less work than whatever cursed docker thing the wpilib people use to build the cross toolchain. It would also make it (in theory) really easy to include any foss library that has a nix package in your robot program.

Show thread

It would make setting up cross-compilers on other people's computers a lot easier. The alternative is using something like docker I guess.

Show thread

Hmmm I wonder if anyone has used nix to deploy code to frc robots...

This is for my Haskell frc pipe dream

Ok nerds, true or false: "3 is a topology on 2"

yeah I like watching kdramas (kernel mailing-list drama)

the gist of it is that the `dunai` package is haskell is really cool, and is really well-suited for robotics programs, and I wrote some supporting code for frc stuff and figured out most of cross-compilation but got busy and stopped.

Show thread

I think I'm suffering from "priority inversion". the "cool project" thread is scheduled, but it's spinning waiting for me to finish my "important work"

Show thread

ahhh I really want to just work on the haskell frc stuff I've been thinking about since forever, or at least get the code I have into a state where I can publish it, but I never have time where I can sit down and focus on it for long enough to get anywhere

(Practical as in, the user interface is nice. For any large projects I imagine you couldn't actually run the compiler on the PineNote)

Show thread

I wonder how practical it would be to use the PineNote as a laptop for programming/editing text, especially if you had an editor that did syntax highlighting in a more sophisticated way than just "shade the text a different color". I guess it might look more like when code snippets get typeset using LaTeX or something.

nLab is just tvtropes but for a different kind of nerd

What's green and really far away? 

The lime at infinity.

Show thread

What's yellow and equivalent to the axiom of choice? 

zorn's lemon

abstract nonsense 

oh nevermind I forgot for algebras Hom(A,B) is just a module, not an algebra. crisis averted.

still pretty weird though

Show thread

abstract nonsense 

ahh I need to actually feed myself instead of trying to read nLab

Show thread

abstract nonsense 

that sounds like it would mean R-alg is "cocartesian closed", but according to ncatlab.org/nlab/show/cocartes that can't possibly be right...

Show thread
Show older
Cybrespace

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!