Less boring stuff
2023-03-22:
A CPU is a compiler
2023-02-11:
Coping with nontermination: some thoughts on stopping loops
2023-01-27:
An exceedingly cute protocol for biased locking with transactions
2021-12-01:
Programming languages characterised by their attitude towards pointers
2021-05-07:
Your ABI is probably wrong
Have YOU herded any graphs into queues lately?