Humans Are Not Turing Machines
One criticism of current LLMs is that they can’t reliably do sophisticated math or logic problems out of the box that humans seem to be capable of. In essenc...
Recent Posts
If You Give a Dev a DAG
To increase the expressiveness of your API, let users write arbitrary programs. If You Give a Dev a Directed Acyclic Graph (DAG)… (left) neural network ...
Formality Considered Harmful
“Formality Considered Harmful”: A Paper I Love There are some papers that stick in my mind. These are good papers. But there are some papers that when I tel...
Writing a Research Paper: A Meta-Guide
These notes are a work in progress! Writing is not something that has come easily to me. Through middle and high school I routinely would not complete essay...