Let me take this opportunity to pay tribute to the RLSlow team :) It was a priviledge to lead it through the years, first with
@ilyasut then with
@merettm and finally on my own - the best team you can ever wish for. It feels like ages ago when we started working on the foundations of reasoning (later berry) with
@TrapitBansal, Francis Song,
@_smileyball and
@sidorszymon.
Many more things happened since then, huge thank you to all teammates through the years: Peter Zhokhov,
@unsafePerformIO @vladi_petroff @masonmeyer_ @afrozenator @lukasz_kondr @dmdohan @wang12tao @TheRealRPuri @edwardjhu @eqhylxx @suchirbalaji and Dan Selsam for all the help.
I hope this great technical work continues to be truly and broadly beneficial.