• nickwitha_k (he/him)@lemmy.sdf.org
    link
    fedilink
    English
    arrow-up
    0
    ·
    edit-2
    1 year ago

    Awesome! I’m clawing back more time from work and working towards some open source hardware and software stuff. Will be fun to post once I have things underway. Mostly, I’m aiming at free and open FPGA libraries and actually useful AR/mobile computing stuff that fits in with the positive technological side of cyberpunk, rather than the dystopian. Absolutely want to dig into doing LoRa at some point as well, myself.

    EDIT: Just realized that I misread the community name but, I’m still into it.

    • cyph3rPunk@infosec.pubOP
      link
      fedilink
      English
      arrow-up
      0
      ·
      1 year ago

      You should look into RISC-V as well. Someone posted something about a formally-verified OS that runs on an fpga emulation of risc v. it’s called lion. Super interesting stuff and some among us figure it could be a foundation for an end-to-end formally verified machine. Perhaps virtually zero attack surface area…