Viewing profile — Horde

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 statem…

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…

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…