Mikkel Denker

I can confirm the following speeds using a V100, using the provided efficientdet_test.py script in the repository, with some different configurations | FPS | Model | Input size | |...

This is a very nice idea! We don't have that data in the index yet so it's not something we can easily add, but I agree it would be very...

First of all, this is an incredibly well thought out proposal! I very much agree that the ergonomics of optics could be *much* better. We have a bit of an...

I don't think there are any technical issues specifically related to github as far as I know. There are ~9500 pages from github in the current index, so it's mostly...

It's intended as suggestions for spelling corrections, but the dictionary is automatically built from the crawled pages so it can sometimes give some very funky suggestions. The correction is only...

Interesting. It works for me in firefox and chrome, but I am able to reproduce this bug in safari. Thanks for the report!

I think this is something that should ideally be added to uBlacklist. We can add some classes to the search results to make it easier for them to get the...

This would be nice! We're not going to bias the results, but we can create some optics that boosts the sites based on their environmental or privacy rating and optionally...

That's a very good point. It would also cause confusion if the user deletes a site from liked or disliked sites, but the old `sr` is used. I think we...

There currently is some soft deduplication based on the url, title and body. Essentially if a result has a title with a very high similarity to a result title that's...