Technik & Digitales – Di, 28.07.2026 Abends

Neue Skripte und Updates für Proxmox

Proxmox hat neue Skripte und Updates veröffentlicht, die Bugfixes und neue Features mit sich bringen. Diese Verbesserungen sind besonders nützlich für die Infrastruktur und den Betrieb von Selfhosting- und Homelab-Umgebungen. Wer Proxmox nutzt, sollte die Updates prüfen und ggf. anwenden.

Für alle Proxmox-Betreiber relevant. Die Updates können die Stabilität und Funktionalität der Infrastruktur erheblich verbessern.

● mittel · Medium · releases

Windows-VMs auf Proxmox mit ZFS-Storage haben intermittierende Speicherprobleme

Windows-VMs auf Proxmox-Node mit ZFS-Storage erleiden intermittierende Speicherprobleme, die zu Abstürzen führen können. Die Hardware und Software sind auf dem neuesten Stand, was darauf hindeutet, dass das Problem möglicherweise in der Konfiguration liegt.

Wer Proxmox mit ZFS-Storage nutzt, sollte die Speicherzuweisung und die Konfiguration der VMs überprüfen. Besonders relevant für Setups mit mehreren VMs.

● hoch · Reddit · storage

Aktivist löscht sein Telefon mit ‚Duress-Code‘ bei der Grenzkontrolle

Ein Aktivist wurde wegen einer Straftat angeklagt, nachdem er bei der Grenzkontrolle einen ‚Duress-Code‘ eingegeben hat, der sein Telefon gelöscht hat. Der Fall hebt die Bedeutung von Sicherheitsmechanismen und der Notwendigkeit, diese vorsichtig zu verwenden.

Für Selfhoster und Homelab-Betreiber relevant, die sensible Daten schützen müssen. Werden von Grenzagenturen angehalten, sollten sie vorsichtige Sicherheitsmaßnahmen ergreifen.

● mittel · Medium · security

Formell verifizierte 3D CSG-Operation in Lean 4

Ein Projekt hat die erste formell verifizierte Implementierung einer 3D konstruktiven Festkörpergeometrie (CSG) Operation, spezifisch Mesh-Intersection, in Lean 4 veröffentlicht. Dies bietet eine hohe Sicherheit und Zuverlässigkeit für komplexe 3D-Modellierungen.

Für Entwickler und Ingenieure, die mit 3D-Modellierungen arbeiten, besonders interessant. Die Verifizierung kann die Zuverlässigkeit von 3D-Modellen erheblich steigern.

● schwach · HackerNews · formal_verification

PyTorch Monarch unterstützt jetzt AMD GPUs

PyTorch Monarch ermöglicht nun die verteilte Training auf AMD GPUs mit ROCm, was die Nutzung von AMD-Hardware für künstliche Intelligenz-Anwendungen erheblich verbessert. Dies erweitert die Wahl der Hardware für AI-Projekte.

Für Selfhoster und Homelab-Betreiber, die AMD-GPUs verwenden, sehr relevant. Die Unterstützung von ROCm kann die Leistung und Effizienz von AI-Workloads erheblich steigern.

● mittel · HackerNews · local_ai