Viewing profile — glebshevchuk

Agreed, but that's because they're hard to integrate together: one is concerned with enumerating over all facts that humans know about (a la Cyc) and the other is concerned with le…

Hi HN! I've been spending my free time writing an essay about what it will take to simulate reality inside of a computer. So far, I've been thinking about compute requirements and …

Can this approach be made more robust so it could be used in critical programs? Is there a way to formally verify performance of an approach like this?

I have a good friend who plays obsessively on chess.com who's taken a "come as it may" attitude to cheating. I wonder if there's a better, more restricted, version of chess.com tha…

Question to the community: What advances in computing will we need to create a hyper-accurate simulation of reality?