mooreat

3 ms·

1.
by mooreat 3mo ago
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: moorea3258@gmail.com
2.
by mooreat 4mo ago
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 about
3.
by mooreat 4mo ago
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 = 0 or x &
4.
by mooreat 4mo ago
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 T . Usually if an
5.
by mooreat 4mo ago
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 have to show that there
6.
by mooreat 4mo ago
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 as powerful as re
7.
by mooreat 4mo ago
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 is somewhat
8.
by mooreat 4mo ago
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 ha