The Spritely Institute: New Foundations for Networked Communities

https://spritely.institute

Intros!

We are a research institution!

Research means collaboration

On "Networked Communities" at a high level

ActivityPub-logo-large.png

cyberspace-protocol-requirements.png

But it's too hard to build this stuff right now!

Secure, distributed programming is hard

Goblins: distributed, cooperative, transactional programming

Distributed security you can understand

  • If you don't have it, you can't use it
  • It's just argument passing!

Debugging asynchronous networks is hard

Time-traveling distributed debugger

Network protocols are hard

OCapN: the Object Capability Network

Explaining these ideas is hard

Hoot: putting Spritely's tech in the hands of users

(define (update from to)
  (do ((y 0 (+ y 1)))
      ((= y grid-size))
    (do ((x 0 (+ x 1)))
        ((= x grid-size))
      (let* ((t (grid-ref from x y))
             (t* (cond
                  ((= t empty) empty)
                  ((= t cu)
                   (if (<= 1 (neighbors from x y) 2) ehead cu))
                  ((= t ehead) etail)
                  ((= t etail) cu))))
        (grid-set! to x y t*)))))

What's on the roadmap for 2024?

  • Persistence!
  • New netlayers! (libp2p, etc)
  • Our tech working in the browser (WASM)!
  • Social user interface work / etc starts ramping up

We are a research institution! Work with us!

https://community.spritely.institute (Code: OCAPN2023)

Questions?

https://spritely.institute