Lukasz Kaiser(@lukaszkaiser):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.

2026.09.07 00:00

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.

423

轉發到社區