| Date | Title |
|---|---|
| 2020-06-14 | A rant against macros |
| 2020-05-24 | The case for lazy computation and interactive optimization |
| 2019-04-07 | Fertile land at the confluence of staged programming and (typed) logic programming — Part 1 |
| 2013-12-28 | Funny |
| 2013-12-23 | A new way of doing chemistry |