The Silent (R)evolution of SAT

Extracting the Essential Simplicity of the Internet

The Seattle Report on Database Research (2022)

The Heart of ChatGPT's Darkness

The End of Programming

What ChatGPT and AI-Based Program Generation Mean for Future of Software

The Many Faces of Resilience

AI's Jurassic Park Moment, a real and imminent threat to the fabric of society

The End of Programming

The Legacy of Peer-to-Peer Systems