I'm David, a backend software engineer based in Bristol, UK. My background before software engineering was in the Philosophy of Science, and this influence remains. From this angle I'm interested in the foundations, philosophy and history of software and computer science more generally. I'm especially interested in philosophy of software design, or philosophies of architectural design in software, and am becoming interested with the early historical figures around this such as Dijkstra and Parnas.
I also enjoy actually writing and designing software. I'm currently writing in Effect, a framework of TS that pushes TS more functionally and has much stronger and explicit Typing and error handling.


