Ask HN: What are SSI/Thinking Machines working on?