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

I read a lot of bibliographies.

Since the wide-spread availability and forced deployment of generative models, people have argued about the ethics of using them.

Let’s suppose I wanted to answer a question: is the tool X useful for the task Y.

Last year, as UBC got involved in ACM Open negotiations, I got curious about ACM financials.

A reviewer, in one of those off-hand little low-level comments they leave, which one is sometimes tempted to ignore as one works on a revision because they’re not strictly actionable, has absolutely nerd-sniped me.

Recently, there has been an attack on academic freedom and free speech at UBC, by fringe right-wing extremists, under the guise of protecting free speech.

I’ve been unhappy with metrics lately, watching academics (of all people) apply metrics without interpretation.

I’m in the middle of liaising with the UBC library to attempt to negotiate joining ACM Open.

An ill-advised blog post in which I speculate that academia is actually for-profit, but not in the usual sense of “profit”.

What is a model, particularly of a programming language?

I’m in the middle of confronting my lack of knowledge about denotational semantics.

I’ve been trying to understand the semantics of memory in WebAssembly, and realized the “memory safety” doesn’t mean what I expect in WebAssembly.

I have long struggled to understand what a logical relation is.

I recently decided to confront the fact that I didn’t know what “realizability” meant.

I have argued about the definition of “ANF” many times.

I’ve been doing, and experiencing, a lot of peer reviewing lately.

I wrote the follow at some semester prior to today, about no one in particular, while updating syllabus.

It’s weird, but professors are almost never taught how to teach, how to design a course, how to assess students, how to design an exam or what the point of an exam even is.

The past few weeks I’ve been learning to develop and deploy a Progress Web App (PWA) that can communicate with my WebDAV and CalDAV servers.

This post is a transcription of a thread that happened live on Twitter on June 30, 2019, in response to some anger at my lack of a cutlery tray.