NFTs have brought an onslaught of attention to gifs and other phone-friendly passive media. But not all digital art practices translate easily to singular, collectible assets. Esolangs, programming ...

Why shouldn’t those “interfaces” be humanely designed? Let that sink in. Programming languages are tools, designed by people for a specific purpose. What this study showed is that the design of this ...

Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...