Viewing profile — mooreat

Location: Dayton, Ohio Remote: prefer on site, but willing to be remote Willing to relocate: Yes Technologies: Python, C++17-23, Six axis industrial robots, LiDAR, SLAM, Ceres, Qt,…

I'm very pro AI in general. I love using agentic engineering tools and use AI heavily to research many topics. But I don't like having AI do any of my communication oriented writin…

I'd argue the opposite. You can prove more stuff with classical logic while intuitionistic logic restricts you. For example given a real number x constructed in intuitionistic logi…

It looked to me like most of the raw pointers in the blog were const. Sometimes you don't want the baggage of smart pointers and getting a cheap easily copyable view of your data i…

I agree there can be some theory crafting in the search for a counterexample, but in general I think it is easier to search for. For proving a proposition P I have to show for all …

I currently operate under the assumption that humans are at most as powerful as Turing Machines. And from what I understand these models internally are modeling increasingly harder…

I think one interesting thing to point out is that the proof (disproof) was done by finding a counterexample of Erdős' original conjecture. I agree with one of the mathematician's …

Unless someone eventually finds the consciousness center in the brain I will continue to hold the position that it is just another property of "things". I know consciousness must b…