These are chat archives for fiji/fiji

4th
Feb 2017
tpietzsch
@tpietzsch
Feb 04 2017 18:25
Good news everyone. The correctness of BDVs cache has been formally proved. (in a way...) ;-)
@ctrueden please also take this as a lame apology why I didn't fix the imglib-algorithm mpicbg problem yet...
Florian Jug
@fjug
Feb 04 2017 18:27
@tpietzsch Yeah!!! I cannot wait to hear every nasty detail about your SAT solver orgy in order to proove that!!! :beers:
(I guess this is ‘nerdish’ and directly translates to: ‘I miss you here in Dresden!’) ;)
tpietzsch
@tpietzsch
Feb 04 2017 18:28
:blush:
Curtis Rueden
@ctrueden
Feb 04 2017 21:13
@tpietzsch No worries. Sounds like you were focused on something deeply important, which takes precedence for sure.