For HP I would recommend:
The best fit at $1850: HP Spectre x360 15 EB0065NR
Same idea, at $1450: HP Spectre x360 15 DF1040NR
If you can afford it, I would definitely go for the first one since it has everything you're looking for. The second one has a graphics card not as powerful as the first one, and "only" 512GB of SSD (note that you could ...
Since you're wanting an arranger keyboard may I recommend the Tyros 5 (76-note version) which can split the arranger and keyboard functions into 6 - 8 different outputs. (Press "mixing console -> output" to access this complete output matrix menu.) You can split and send any section of the keyboard or arranger functions up to 6 mono or 3 stereo outputs (eg ...
Not weird at all; who wants to schlep two keyboards?
The Yamaha MOXF6 offers this feature in a seven-plus octave range. To configure it to split between two ranges:
Press [MASTER] to enter the Master Keyboard mode.
You can setup a program to transmit Out to your DAW
Press [F1] INIT
We will initialize a Master location - do not worry ...
The cable for dual RCA jack audio output and also for 3.5mm ring-sleeve-tip auto jack output is included with the device, as is the power supply, so it's complete.
For one Euro less, I would go for the https://www.amazon.de/dp/B07W4JHGKS/ which includes the 3.5mm cable and delivers 50W RMS, but the reviews on the product you chose show it's acceptable.
Based on the product you linked and your aversion to "bedside computers", I selected alarms with a similar rear-projection type display.
Echo Dot (3rd gen) with clock - $45
Luckily for you, Amazon has an upcoming version of the Alexa-equipped Echo Dot that meets all the requirements. It's got a dimmable display, all the normal Alexa bells and whistles (...
Standalone pitch adjuster devices like the TC_Helicon which can adjust pitch to the accuracy you specify are studio devices, designed to fit into a 19" rack mount frame. You'd need to interface them between the audio source and your amplifier, if your amplifier supports that. They will all be more expensive than used PC running tone adjustment apps.