Chirp!
  • Login
Chirp! is a GNU Social instance for the Cooley and Sekula families and their friends.

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Untitled attachment

Download link

Notices where this attachment appears

  1. p̸h̴o̸⁴c̵e̴ₓa̵ (pho4cexa@tiny.tilde.website)'s status on Friday, 16-Mar-2018 19:57:03 UTC p̸h̴o̸⁴c̵e̴ₓa̵ p̸h̴o̸⁴c̵e̴ₓa̵

    It seems like the seL4 microkernel project is really taking off. I keep hearing of projects that use it and now a DARPA seL4 "Center of Excellence."

    (and I'm not in that community at all, just casually following news)

    I'd be so excited about projects like the Rust-based OS https://robigalia.org/, but I'm terrified so see it and others permissively-licensed.

    If you're working on an OS or kernel please consider a license with tivoization protection like GPL3, for the safety of your users 😱

    In conversation Friday, 16-Mar-2018 19:57:03 UTC from tiny.tilde.website permalink
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.