Landlords could no longer rely on rent-pricing software to quietly track each other's moves and push rents higher using confidential data, under a settlement between RealPage Inc. and federal ...

The original version of this story appeared in Quanta Magazine. If you want to solve a tricky problem, it often helps to get organized. You might, for example, break the problem into pieces and tackle ...

Cryptography secures communication in banking, messaging, and blockchain. Good algorithms (AES, RSA, ECC, SHA-2/3, ChaCha20) are secure, efficient, and widely trusted. Bad algorithms (DES, MD5, SHA-1, ...

A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda ...

Add a description, image, and links to the cyk-algorithm topic page so that developers can more easily learn about it.