3lambda

5 ms·

1. 1.▲
   by 3lambda 16d ago

   Finally, someone who's read Void Star! I think it's an unusually prescient book, even for science fiction. I think about it a lot.
2. 2.▲
   by 3lambda 27d ago

   I thought it only takes a few days for solar wind to travel from the sun to the Earth? Can you clarify?
3. 3.▲
   by 3lambda 1mo ago

   Love this guy!!
4. 4.▲
   by 3lambda 2mo ago

   Would this language be useful for implementing compilers and formally proving things about them?