ToDo lists are for managing attention
I've long had a fraught relationship with ToDo lists, because they're very much a double edged sword, but I'm convinced that much of the problem is t ...
David Oliver
I'm a Software Engineer based in Tulsa. I work for TBK Bank, and I'm currently hacking on banking stuff at work (LoadPay). These days, outside of work, I like to fiddle with PureScript and TypeScript. I also like to fiddle with my fiddle, which isn't really a fiddle per se (it's a viola), and I'm not really a fiddler per se (learning). I started programming young (14), and, at this point, it's a big part of who I am and how I see the world. I hope to one day turn one of my ideas into a little…
Latest posts
NeoVim Navigation Experiments
I've used leap.nvim as my primary mode of hopping around in Neovim, for a while now, where I'd define hopping as roughly "getting to some arbitrary p ...
Tips and Points
This summer I've been working on a project with my wife called Tips and Points. The idea is to analyze irish dance competition results (and, eventual ...
Planning and Review
Leaning on automations to build correct programs tends to: Result in circular workflows, where you write things and then figure out that they don' ...
Product discovery via ideation and market research
Often, it's easiest to find existing products by coming up with the idea yourself and then checking see if it exists. It's kind of obvious that you s ...
Ensure correctness by changing when the first failure occurs
Failures are expected during development. The key to writing correct code is to detect possible failures before we ship our program. This is the prin ...
Effectful decoders in PureScript
Decoders are primarily used to define an integration with another API in cases where the functionality that you need isn't directly available within ...
Debugging workflows
Let's face it: As programmers, we typically build small variations on the same theme over and over. That isn't to say that programming isn't fulfilli ...
Flying solo
When you're working alone, everything takes longer, but we can also get weird and leverage approaches that don't make sense on a team. Foregoing auto ...