@hillelogram loved your post about Knights and Knaves w/ Alloy (https://t.co/Z161D72m2L) - you inspired me to write one about the same in Z3 https://t.co/jPHMDEr60f Now I need to learn Alloy / TLA+ as I much preferred your solutions :-)
Saturday is CdLS Awareness Day. @cautious_waffle (has a daughter with this super-rare genetic condition) is doing a 24hr Twitch gaming marathon to raise awareness. To support him, or just want to watch him hate his favorite games, visit:
https://t.co/YkPTqapmmk
#twitch#CdLS
@UberUKsupport @UberUK I'm getting trip receipts from someone who's incorrectly given you my email address. Surprised you don't send a confirmation email before doing this, but how do I stop them?