
Touisteur EmporteUneVache
@touisteur
Fuzzing nut, Ada lover, Spark enthusiast
ID: 1189111750806904832
29-10-2019 09:29:42
8,8K Tweet
175 Takipçi
311 Takip Edilen

Absolutely thrilled to have Brendan Dolan-Gavitt (Brendan Dolan-Gavitt) of @NYUniversity and @XBOW as our second keynote for #FUZZING'24 in Vienna! Brendan's keynote will be followed by a 45min discussion on challenges and opportunities of LLMs and fuzzing for bug finding.



Freya Holmér Forrest Smith I'm just trying to think back to when I say a long function name and said "man, that's just too long - why didn't they shorten it". Spoiler alert - it's never. But the other way... hooooo yeah. Every week is a fun "what do you mean transform.Get() is taking 3ms!"

So many people roll their eyes when I say I'm still on this site. They have no idea the encouragement a person with complex trauma gets every day from Dr. Glenn Patrick Doyle. He keeps me stepping into the next moment and the next.





Our paper "Non-termination Proving at Scale", joint work with Azalea Raad and Julien Vanegue, uses compositionality to apply non-termination proving (classic undecidable problem) to large codebases (e.g., OpenSSL), finding non-termination bugs in the wild dl.acm.org/doi/pdf/10.114…






Hello you fine Internet folks, Today's article is on Nvidia's RTX PRO 6000 Blackwell and diving into the Blackwell architecture generally and more specifically into the GB202 GPU die in the RTX PRO 6000. Hope y'all enjoy! chipsandcheese.com/p/blackwell-nv… old.chipsandcheese.com/2025/06/28/bla…
