@lindsey As someone who is having a lot of (too much) fun writing programs with LLMs, the thing I really enjoy is the feeling of creation, the same way when I wrote a little game on my TI-86 and got to play it. But it's been interesting understanding that about my own motivation.
@shriramk @tonyg @GeorgWeissenbacher @jfdm @csgordon @jeremysiek
Been quiet around here! I’ve been putting almost all of my writing time into Logic for Programmers and my whole brain is book-shaped. Trust me, you do not want to read my 2000-word rant on Sphinx post-build LaTeX customization. But I spent the past week in a historical rabbit hole and had to share what I found. It started with Algebraic [Data] Types are not Scary, Actually. The post covers AlgDTs1 in more detail, but a quick overview is: