Skip to content

Instantly share code, notes, and snippets.

View tav's full-sized avatar

tav

View GitHub Profile
@tav
tav / machine.js
Created January 24, 2021 21:24
Generated by XState Viz: https://xstate.js.org/viz
const fetchMachine = Machine({
"id": "root",
"states": {
"Propit Platform": {
"id": "Propit Platform",
"states": {
"Authenticated?": {
"id": "Authenticated?",
"states": {},
"on": {
@tav
tav / machine.js
Created January 22, 2021 15:20
Generated by XState Viz: https://xstate.js.org/viz
// Available variables:
// - Machine
// - interpret
// - assign
// - send
// - sendParent
// - spawn
// - raise
// - actions
@tav
tav / SketchSystems.spec
Created January 22, 2021 00:11
Egg Timer*
Egg Timer*
Stopped*
wind forward -> Ticking
Ticking
time elapsed -> Stopped
x = 2

Viral Tracing Bluetooth Protocol

Background

  • We use [Ed25519] for creating digital signatures. Public keys are 32 bytes in length, and signatures are 64 bytes.

  • We will start out with support for BLE (Bluetooth Low Energy) and add support for older versions later.

@tav
tav / SketchSystems.spec
Created November 27, 2019 18:58
My Awesome Sketch
My Awesome Sketch
First State
some event -> Second State
Second State
@tav
tav / godson.md
Created September 1, 2018 12:03

Dearest Saul,

As I write this, you are a cute little bundle of joy that needs his parents to take care of his every needs. As you read this, I hope you are a dashing young man ready to take on the world on his own.

Now life as a young man has never been easy. I apologise for my generation's role in making it particularly hard for yours. But I hope these words will help make up for it in some small way.

Todos = xi.State
currentEntry: ''
items: []
getData: ->
currentEntry: @currentEntry
items: @items
TODO_NEW: ->
if @currentEntry != ''
@items.push {text: @currentEntry}
@currentEntry = ''

Keybase proof

I hereby claim:

  • I am tav on github.
  • I am tav (https://keybase.io/tav) on keybase.
  • I have a public key whose fingerprint is 1936 2788 9E01 5456 F6D5 AEEE 0194 A434 A104 F167

To claim this, I am signing this object:

@tav
tav / todo.txt
Created September 3, 2014 15:47
#! /bin/sh
# Public Domain (-) 2014 The Wikifactory Authors.
# See the Wikifactory UNLICENSE file for details.
TODO_FILE=$0
echo
echo "✓ Done: " `grep "^✓" $TODO_FILE | wc -l`
echo "✗ Todo: " `grep "^✗" $TODO_FILE | wc -l`