More notes. infomaniac50 has a decent arduino library for debiasing bitstreams from a RNG. Should also look into VonNeumann debiasing more generally. Understand any weaknesses it may have.