I’m starting a new Twitter account for logic and formal methods: @FormalFact.
Expect to see tweets about constructive logic, type theory, formal proofs, proof assistants, etc.
The image for the account is a bowtie, a pun on formality. It’s also the symbol for natural join in relational algebra.
Update: This account was discontinued in July, 2017.