Search: github.com/danbriggs | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Two dozen proofs until BB(5,2) is resolved (github.com/danbriggs)

2 points

4 years ago

2.

BorgTUI, a nice UI for BorgBackup (github.com/dpbriggs)

3 points

3 years ago

3.

A programmable virtual CPU written in untyped lambda calculus (github.com/woodrush)

4 points

2 years ago