3lambda

3 ms·

1. 1.▲
   by 3lambda 8d ago

   Funny seeing you here--I'm in 590 with Max and Eric. I saw Agda and guessed it was someone from the group :)
2. 2.▲
   by 3lambda 9d ago

   Given its strength in mathematics, it seems likely that AI should be of great help with discovering new physics. We just need to teach it to ask interesting questions.
3. 3.▲
   by 3lambda 25d 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.
4. 4.▲
   by 3lambda 1mo ago

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

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

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