Herb Caudill HerbCaudill

md hello-effect-schema
cd hello-effect-schema
pnpm init
pnpm i typescript @effect/schema effect fast-check vitest

Make tsconfig.json:

Suppose we wanted to build automerge-auth, a successor to localfirst/auth. What would that look like?

Objectives

Develop a recommended approach to authentication, authorization, and end-to-end encryption in the Automerge ecosystem.

Desiderata

type Group = {
  id: Uuid
  members: Group[]
  keys: KeysetWithSecrets
  graph:
}

Demos:

taco-chat
todos
XDev

Overview

A working implementation of the principles Martin presented

Local-first resources

Background

Automerge: Making servers optional for real-time collaboration A very clear explanation by Martin Kleppmann of how CRDTs work, along with an introduction to Automerge. This is the video that started me down this whole road, as documented in this blog post
Local-first software: You own your data, in spite of the cloud The manifesto that gave a name to the concept and that still stands as the best introduction to it; by Martin Kleppmann & Peter Van Hardenberg et al.
localfirst.fm A podcast by Johannes Schickling about local-first software development. The first episode with Peter Van Hardenberg gives a good overview of the current state of the art.

Getting started

Proposed message types

type SyncMessage = {
  type: 'SYNC_MESSAGE'
  senderId: PeerId
  recipientId: PeerId
  documentId: DocumentId
  payload: Uint8Array // Automerge binary sync message
}

localfirst/auth provider for Automerge Repo

This is pseudo-documentation for a hypothetical auth provider for Automerge Repo built around @localfirst/auth.

Configuration

A LocalFirstAuthProvider is configured with information about the local user and device.

import { LocalFirstAuthProvider, createUser, createDevice } from 'automerge-repo-auth-localfirstauth'

This is a talk I keep referring back to, and I wanted to have it in text form. I grabbed the raw machine-generated transcript from YouTube and used GPT-3 to help me turn it into well-punctuated sentences and paragraphs. I had to do some additional cleanup, but it got me most of the way there - my first experience getting AI to help me out with a real task!

Deconstructing the Database

Rich Hickey, author of Clojure, and designer of Datomic presents a new way to look at database architectures in this talk from JaxConf 2012. https://www.youtube.com/watch?v=Cym4TZwTCNU

The title of this talk is "Deconstructing the Database".

	import { exec as _exec } from 'child_process'
	import fs from 'fs'
	import path from 'path'
	import { fileURLToPath } from 'url'
	import { promisify } from 'util'

	const exec = promisify(_exec)

	// ensure outputDir exists
	const __dirname = fileURLToPath(new URL('.', import.meta.url))


	// Available variables:
	// - Machine
	// - interpret
	// - assign
	// - send
	// - sendParent
	// - spawn
	// - raise
	// - actions