On Sunday, 14 April 2019 at 10:53:17 UTC, Seb wrote: > 1) Would this be sth. you would consider applying in general? > If not what could we do to improve this? If think DUB is completely _unsound_ and need a rewrite from someone versed in compilers and correctness. > 2) Would this be sth. you would consider donating to? Only if it's a rewrite.