As someone who is terrible at writing, I have a lot of empathy for people that write bad textbooks

@maxsnew as someone trying to write a textbook, I can only hope to be someone who is bad at writing textbooks soon

@wilbowma @maxsnew Accepting that I will write a bad textbook was the only way I could make any progress at all.

@nilesjohnson @maxsnew one of the earliest pieces of feedback I got on my draft was something like “it’s a good start but I hope this isn’t the version you’re showing students”. Anyway the students were much nicer

@wilbowma @nilesjohnson @maxsnew i have an incredible amount of respect for anyone who attempts to sit down and write a textbook-sized.. anything.. in a mostly-coherent, linear order. not possible for my tiny brain

Follow

@amy @nilesjohnson @maxsnew > the 1lab is not a “linear”

Oh I see that makes it different

@wilbowma @nilesjohnson @maxsnew yeah the 1lab perfectly mirrors my adhd, have u seen the neighbourhood graphs for some of these pages? terrifying :P

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.