https://lists.cs.princeton.edu/hyperkitty/list/chuck-users@lists.cs.princeton.edu/thread/JB5J4CKLD44P2PL6TIPZX577SVUNX74W/
EChucK Forum and Progress Update - chuck-users - lists.cs.princeton.edu
progress updateechuckforum
https://lists.cs.princeton.edu/hyperkitty/list/chuck-users@lists.cs.princeton.edu/thread/DTVCYL67WSJFCHETSEDD7MYDJAOMN4YZ/
eChucK Update - chuck-users - lists.cs.princeton.edu
echuckupdateuserslistscs