Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Schaue mal ob du die Geräte mit einem 1280P konfigurieren kannst, die 1260P haben allesamt "nur" 4P Kerne. Bei Lenovo kannst du alle Geräte noch selbst anpassen, dort gefällt mir aber schlichtweg das Touchpad und dieser blöde Joystick nicht. Mein Favorit von den dreien wäre das HP, aber gerade diese Geräte lassen sich nicht mit einem 1280P konfigurieren.
Das Dynabook fällt auf jeden Fall am schwächsten aus, nur mit 1260P und nur mit einem Full-HD Bildschirm. Dafür würde ich heutzutage kein Geld ausgeben. Bleibt letztlich das Lenovo übrig....
Das würde sich sogar mit 48GB RAM konfigurieren lassen, allerdings "nur" DDR4 RAM was die Grafikleistung zusätzlich senkt. Aber wenn du damit nichts in 3D machen willst, ist es ziemlich egal. Für einen geringen Aufpreis gibt es auch ein 4K Bildschirm, ist halt die Frage ob man dafür die Akkulaufzeit opfern will.
Gute Frage. Vielleicht werden die SSDs mit Linux vorinstalliert ausgeliefert, und "Ohne Betriebssystem" bedeutet, dass jemand das händisch löscht?
Aber egal, wenn du nicht über Lenovo eine Windows Lizenz mit kaufen willst, würde ich je nach bedarf Fedora oder Ubuntu nehmen, und bei bedarf einfach formatieren.
Viele TB Docks können auch den "nur" USB-C DP Alt Modus. Es steht zwar auf der Produktseite nichts davon, das muss aber nichts zwangsläufig heißen dass es nicht geht. Insofern: sicher dass es geht: nein. Kann aber gehen. Und da USB 4 ja funktional quasi TB3 ist und nur nicht so heißt, halte ich es für recht wahrscheinlich, dass es mit dem bestehenden Dock funktioniert. Was spricht gegen einfach ausprobieren? Kaputt gehen kann dabei nichts.