Viewing profile — drob

Should work fine. Ping me dan@detail.dev or @danlovesproofs with your account info so we can look into it?

We've been thinking about this too. We have some ideas. Thanks for the comment, in any case – gave us a lot to chew on.

Other auth providers for sure. We'll be adding shortly. Using an alternate auth provider won't even prevent you from scanning non-public GitHub code. There's a GitHub OAuth App jus…

As far as we can tell this is a github-ism, and any OAuth permission is a form of "acting on your behalf": https://dappling.medium.com/a-github-app-would-like-to-act-o...

Hi bflesch, fair point – our About Us page has a lot about what we think and not about... us! I'm the founder. Previously I was at Heap for nine years. There's a company LinkedIn w…

We've run it on a few firmware repos and gotten good results. A lot of firmware code tends to have really poor type-safety which means lots of low-hanging bugs. We should be able t…

Just github for now, but purely for reasons of plumbing. We'll add gitlab and others. We support java, c/c++, kotlin, ruby, and swift as well. Did you have something specific in mi…

Github only for now. Out of curiosity, is yours on gitlab? Something else? We should be able to find something interesting in most codebases, as long as there's some plausible way …

Fix is deploying, sorry about that!

Hi HN, tl;dr we built a bug finder that's working really well, especially for app backends. Try it out and send us your thoughts! Long story below. -------------------------- We or…

Fwiw, the authors never actually claimed this. From their technical report [0]: > Chai-1 achieves a ligand RMSD success rate of 77%, which is comparable to the 76% achieved by Alph…

On a personal level I can absolutely empathize, but respectfully, I don't see why that should be the state's concern. The goal of IP law should be to promote the creation of good a…

Do bad adaptations prevent good adaptations? Lynch's Dune flopped but Villeneuve had a $165m budget. We can't know the contrapositive but I don't see why giving the author a veto m…

He owns the IP, but we all lose out from this system. Art has asymmetric upside – bad art doesn't really harm anyone (usually just gets forgotten) but good art enriches millions of…

Zstandard gets us 5.5x compression. The previous ZFS config got us 4.4x compression. XFS, which we ran on for years before rolling out ZFS, does not compress.

Fixed, thank you for flagging!

Fixed. Thank you again for flagging!