The US AI research company Anthropic has become known for building powerful AI models while simultaneously warning about ...

Rust enters the top 10 for the first time, Python keeps the lead, C moves back above C++, and SQL edges out R in July’s ...

GigaWiper is a destructive backdoor that combines multiple wiping and ransomware-like capabilities into a single operational ...

We’re not exactly sure how old [SnailMail] is, but he’s probably a member of Generation Alpha considering that to our wizened ...

benchLANG is a reproducible cross-language runtime benchmark comparing 18 languages across prime sieve, recursive Fibonacci, string lookup, Mandelbrot, and binary tree workloads using pinned Nix ...

Learn the important Racket concepts with practical examples, from functions and recursion to macros, contracts, streams, and ...

Beast is a C++ header-only library serving as a foundation for writing interoperable networking libraries by providing low-level HTTP/1, WebSocket, and networking protocol vocabulary types and ...

My research interests include data privacy (especially differential privacy), security (especially secure/verified computation), fairness, programming languages, and machine learning.

AI is making programming work more explicitly intellectual in ways that require different expertise and create new forms of difficulty.