The Curious Engineer

All blogs / Functional / PL theory

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

williamjbowman.com/blog

William J. Bowman's home on the web.

Functional / PL theoryCompilersSociety / politics / economyEssays / personal

’21’22’23’24’25’26
Posts
20 from 18 Jan 2021 to 25 Mar 2026
Posting
now and then (3 in the last year)
Kind
personal blog
Feed
https://williamjbowman.com/feeds/all.atom.xml

2026 3

  1. Please don't generate your bibliography
  2. Against Vibes Part 2: Ought You Use a Generative Model
  3. Against Vibes: When is a Generative Model Useful

2025 4

  1. Are the ACM's profits supporting its mission yet?
  2. What's higher-order about so-called higher-order references?
  3. Academic freedom, freedom of speech, and politics
  4. The Structure and Interpretation of Computer Science Academic Metrics

2023 6

  1. A high-level summary and interpretation of ACM finances
  2. Academia Is a For-Profit Industry
  3. What is a model?
  4. What is syntax?
  5. In What Sense is WebAssembly Memory Safe?
  6. What is logical relations?

2022 5

  1. What is realizability?
  2. The A Means A
  3. What is peer reviewing?
  4. The Syllabus
  5. What is the Point of a Final Exam

2021 2

  1. Enabling CORS for nginx WebDAV and CalDAV reverse-proxy
  2. A Suitable Cutlery Tray