Session types have emerged as a rigorous formalism for specifying and verifying communication protocols in concurrent systems. They provide a structured approach to ensuring that interactions among ...

Holly Cummins gave a keynote at Goto Copenhagen where she urged developers to care about overlooked issues that shape their ...

A petition to instate Chanel Miller’s memoir “Know My Name” as one of next year’s Three Books has accumulated 776 signatures from the Stanford community, as of Monday evening. Spearheaded by ...

There’s good news: “Here’s a great book.” Then there’s really good news: “Here’s a great book—and it’s free!” If you’re a ...

Should Marxism be rooted in inter-species liberation? Or is it already, unbeknownst to most of us? Leigh Claire La Berge has delved into what she considers an unrecognized trove of evidence for ...

Freakonomics co-author Stephen J. Dubner uncovers the hidden side of everything. Why is it safer to fly in an airplane than drive a car? How do we decide whom to marry? Why is the media so full of bad ...