Hacker News
new
past
comments
ask
show
jobs
points
by
Y_Y
6 hours ago
|
comments
by
adius
4 hours ago
|
[-]
Yes, Rubi mostly works by now! Performance is still a concern, but we're working on improving it. I'll add some information on how to best use Rubi to the documentation soon. I already have a draft, but didn't find the time to finish it, yet.
reply