• 7 Posts
  • 18 Comments
Joined 1 年前
cake
Cake day: 2023年6月25日

help-circle












  • 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…



  • Perhaps the cynical side of me would argue that you have to start from a place of righteous idealism and work your way backward. I’m old enough to know that nothing much will change but I’m also tech savvy enough to realize that we’re in the golden age of being able to create open source tools and software that enable more freedom and safety from tyranny than any other time in history.

    Also, I’d appreciate someone who wants to play devil’s advocate. I’m often overly exuberant about ideas and I need someone to tell me what I’m missing.


  • 🤘🏽🤘🏽You are awesome🤘🏽🤘🏽

    No pressure! I have so many more links and ideas to share. The fediverse is the perfect place for this kind of idealogical shift. If we can co-opt the tribalist information delivery mechanisms of mainstream media and centralized social media, we have a chance to provide people with the knowledge they need to become better, more prepared citizens of the world.


  • cyph3rPunk@infosec.pubOPtoMemes@lemmy.mlc'mon niche community
    link
    fedilink
    English
    arrow-up
    9
    ·
    edit-2
    1 年前

    Thanks! I’m hoping to build a community of benevolent, thoughtful people who want to discuss technologies and their applications toward the betterment of humanity in the future.

    Ps. I welcome all people and all experiences. I even welcome haters.

    You don’t need to be a coder to belong to this community. It might just teach you something about protecting yourself in the future.