2A Child’s Garden of Inter-Service Authentication Schemes (opens in new tab)(latacora.micro.blog)1QuinnWilton5y ago0Save
3Thoughts on Forth Programming (opens in new tab)(call-with-current-continuation.org)3QuinnWilton5y ago0Save
4The Strand Programming Language (opens in new tab)(call-with-current-continuation.org)117QuinnWilton5y ago28Save
6Cryptol: A DSL for specifying cryptography algorithms (opens in new tab)(cryptol.net)2QuinnWilton5y ago0Save
7Two Workers Are Quadratically Better Than One (opens in new tab)(hillelwayne.com)1QuinnWilton5y ago0Save
12Gleam: Lean BEAM typing machine – Code BEAM V 2020 (YouTube) (opens in new tab)(youtube.com)Video2QuinnWilton6y ago0Save
13Cuter – A concolic testing tool for the Erlang (opens in new tab)(github.com)GitHub1QuinnWilton6y ago0Save
