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, Win32, ros2 Résumé: Contact me Email:…
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 writing. Unless it's technical documentation…
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 logic. You can't determine if x > 0 or x =…
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 is nice, so you want to return a const…
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 x P(x), but for contradiction I only…
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 and larger DFAs, so they're at least…
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 responses in the linked PDF that this…
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 be real because it's the first thing I…
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, Win32, ros2 Résumé: Contact me Email:…
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 writing. Unless it's technical documentation…
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 logic. You can't determine if x > 0 or x =…
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 is nice, so you want to return a const…
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 x P(x), but for contradiction I only…
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 and larger DFAs, so they're at least…
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 responses in the linked PDF that this…
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 be real because it's the first thing I…