λk.(k blog): λk.(k blog)

What's higher-order about so-called higher-order references?

Academic freedom, freedom of speech, and politics

The Structure and Interpretation of Computer Science Academic Metrics

A high-level summary and interpretation of ACM finances

Academia Is a For-Profit Industry

What is a model?

What is syntax?

In What Sense is WebAssembly Memory Safe?

What is logical relations?

What is realizability?

The A Means A

What is peer reviewing?

The Syllabus

What is the Point of a Final Exam

Enabling CORS for nginx WebDAV and CalDAV reverse-proxy

A Suitable Cutlery Tray

What is the optimal arrangment of cutlery in a drawer?

Locking down your browser to defend yourself from rickroll

Setting up your backup service

A Summary of Discussions on Virtual Conferences