Archived tweet #6758 from the @leastfixedpoint Twitter Archive

trying to get coq to run via ssh to a machine with more ram makes me wish unix dead. plan9, among many others, would be better than this.