Horde

3 ms·

1. 1.▲
   by Horde 1y ago

   There is an old issue, that's related, why one should avoid using equality relations in AI used for creating a proof. It will go back and forth and fill the log with trivial statements before it comes to the right proof path. This migh
2. 2.▲
   by Horde 1y ago

   This just generally reminded me about STOC. Need to read the last few years of the proceedings. I totally forgot about it. I like that 2026 will be held in the US. Some very fun to read papers at STOC. Even if they seem narrowly technical.
3. 3.▲
   by Horde 1y ago

   This made me think, especially about new browsers and all that. There was a thread here on HN, a while back, that making a browser is too hard. Maybe not? Could it just be a lemons market? "Oh, we're pivoting..." Sounds like