HN user

doormatt

160 karma

I do stuff with computers.

Posts0
Comments90
View on HN
No posts found.

Why does your about page say this then?

I want to build something with a low floor and a high ceiling; a tool that uses AI to smooth out the hardest parts of traditional animation, while letting creators keep full ownership of what they make.

And your terms of service says:

We provide an online platform that allows users to upload images, drawings, and artwork and use our proprietary AI-powered technology to transform those images into animated videos. You may upload image files, customize certain settings related to the animation output, view and download the resulting videos, and manage their uploaded content and account. We reserve the right to establish limits on the file types, file sizes, and number of uploads permitted per user, and to modify those limits at any time. All video generation is performed automatically through a combination of AI and computer graphics technology.

Armstrong, Aldrin and Collins cursed fewer than 15 times during their moon-landing mission, based on NASA transcripts. Most of that came from command-module pilot Collins. Aldrin cursed just once and Armstrong didn’t at all.

From what I've read about Armstrong, absolutely no surprise there.

I managed to go to the Star Trek Experience when it was in Vegas, and be transported in, walk through the corridors, and emerge onto the bridge.

It was utterly glorious, and a good day to die.

When running multiple intensive processes in parallel, pushing machines to their limits to maximize throughput, traditional monitoring only provides alerts when thresholds breach.

Premortem continuously watches system vitals (CPU, memory, disk, processes) and spawns Claude agents to diagnose problems when thresholds are breached.

Surely you see the irony here...

Thanks so much for being so open and willing to discuss this!

Just to be clear though, if that lemma isn’t yet explicitly proven, then the core claim (that Algphys cannot simulate certain NP-complete solutions in polynomial time) has not been established. I agree the components may suggest difficulty in high-rigidity regions, but unless you formally prove that no polynomial-time Turing machine’s trajectory enters those regions, the P != NP conclusion doesn’t follow.

You mention that Algphys can simulate any polynomial-time Turing algorithm with preserved complexity, but in your construction, the dynamics of Algphys are governed by physical properties: gradient norms, Hessian spectra, rigidity, etc. How do you guarantee that these geometric constraints don’t impose an exponential slowdown on some Turing algorithms that would otherwise run in polynomial time? Specifically, where do you prove that no such algorithm is mapped into a high-rigidity trajectory with exponential execution time?

Thanks for the reply! Just to clarify, your proof is relying on the assumption that if an algorithm can be modeled in Algphys, then its execution time in Algphys reflects its true time complexity, right? But can you point to where you prove that modeling a polynomial-time Turing machine in Algphys necessarily results in a polynomial-time trajectory in your framework, across all problem instances? Specifically, how do you rule out the possibility that the mapping itself introduces exponential distortion in some cases?

Just to clarify, how exactly does proving exponential lower bounds for Algphys translate into a proof that no polynomial time algorithm exists for NP-complete problems in the standard Turing model?

Isn’t it possible that your "hard" instances could be solvable in polynomial time by some algorithm that doesn’t rely on geometric modeling or Hamiltonian dynamics?

How do you justify that every polynomial-time Turing machine algorithm can be modeled as a trajectory in your Hamiltonian system?