Viewing profile — rakingleaves

Anyone know how this relates to the Training Solo attack that was just disclosed? https://www.vusec.net/projects/training-solo/

Announcement: https://mastodon.online/@sdeleuze/113679114039764735

Relatedly, this recent paper shows that many manually-removed bounds checks in Rust libraries can be re-introduced with no bottom-line perf regression, depending on the application…

Mike Ernst wrote about the downsides of Optional in Java some time back https://homes.cs.washington.edu/~mernst/advice/nothing-is-be... with pluggable type checking it is possible …

Error Prone does this: https://errorprone.info/bugpatterns

Hi, good point! Yes, we are deliberately ignoring multithreading, among many other things. We were aiming to catch the NPEs we see most often in practice while keeping the type sys…

I'm one of the authors of NullAway. Happy to answer any questions!