Good morning!

Access to tools

"… typical precautions, by adding to complexity, may help create new categories of accidents"

maybe you get more 'points' from the compiler if the value is observable in an _ambient_ way, where you can sense something going wrong in your program without having to explicitly inspect anything

rfid bookmarks

dynamic types vs. static types / non-hygienic vs. hygienic macros / memory-unsafe vs. memory-safe systems programming all feel like echoes of the same argument at different scales

i wonder if there are people who have synesthesia for like concurrency problems -- like sliding threads against each other and feeling for where they might catch