Timothy Washington

Regarding LLMs and the State of the Art in Software Development, I'm wary of the notion that AI has a negative impact for developer »

The evolution of Sun Ra Emacs started as a simple Emacs configuration. https://github.com/twashing/sunra I had already declared Emacs bankruptcy a few times »

Overview There's been much ado about the AI bubble bursting (ref, ref). I sit in the middle ground. There's definitely been a »

Among the papers that I've read this year, I found "Propositions As Types [http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as- »