Vor kurzem hat NVIDIA die Grafiktreiberversion 430.39 für die Windows-Plattform veröffentlicht, die das Mai-Update des Microsoft-Betriebssystems unterstützt. Unter anderem enthält die neue Treiberversion die Unterstützung für neue Prozessoren, die mit G-Sync-Monitoren kompatibel sind, und mehr. Der Treiber enthält wichtige Aktualisierungen, aber einige Benutzer haben festgestellt, dass seine Verwendung zu hohen […]
Verfeinerung der Funktionsbeschreibung des Systems mit Hilfe eines Sequenzdiagramms (Fortsetzung „Eichhörnchen“). In diesem Artikel betrachten wir, wie die Automatisierungsfunktion mithilfe eines UML-Sequenzdiagramms detailliert (verfeinert) werden kann. In diesem Beispiel verwende ich die Software Enterprise Architect von der australischen Firma Sparx Systems [1]. Die vollständige Spezifikation von UML finden Sie hier [2]. Zunächst erkläre ich, dass wir […]
„Ein Tag im Leben eines Eichhörnchens“ oder vom Prozessmodell zur Planung eines automatisierten Systems zur Inventarisierung von materiellen Werten „Eichhörnchen-1.0“ (Teil 2). Verwendet wurde eine Illustration von „Die Geschichte vom Zaren Saltan“ von A.S. Puschkin, Verlag „Kinderliteratur“, Moskau, 1949, Leningrad, Illustrationen von K. Kuznetsov. Kurze Zusammenfassung der vorherigen Episode. In Teil 1 haben wir ein „märchenhaftes“ Themenfeld genutzt, inspiriert von Beispielen zur Untersuchung von UML-Diagrammen unter Bezugnahme auf […]
Es scheint, dass es für Uber so gut läuft wie nie zuvor. Gestern hat das amerikanische Unternehmen den Preis für seine Aktien im Bereich von 44 bis 50 US-Dollar pro Wertpapier festgelegt, gemäß aktualisierten Informationen von der US-Börsenaufsichtsbehörde. Uber plant, 180 Millionen Aktien anzubieten und etwa 9 Milliarden Dollar im Rahmen des IPO zu generieren. […]
Die Strafe für Verstöße gegen das Datenschutzgesetz kann bis zu 75.000 Rubel betragen. Wie können Sie sich bei der Verarbeitung personenbezogener Daten vor Verstößen schützen? Haben Sie alle Anforderungen des Gesetzes erfüllt? Seit dem 1. Juli 2017 wurden die Bußgelder erhöht und hängen von der Art des Verstoßes ab. Ja, es ist bereits eine lange Zeit vergangen, aber wie so oft, insbesondere in Russland, wo, […]
Meiner Meinung nach ist das Thema der formalen Verifizierung im russischsprachigen Internet nicht ausreichend beleuchtet, und es fehlt vor allem an einfachen und anschaulichen Beispielen. Ich werde ein solches Beispiel aus einer ausländischen Quelle anführen und meine eigene Lösung für das bekannte Problem des Überquerens von Wolf, Ziege und Kohl auf die andere Seite des Flusses ergänzen. Aber zuerst werde ich kurz beschreiben, was formale Verifizierung ist und warum […]
Microsoft hat einst angekündigt, dass etwa 7 GB Speicherplatz auf der Festplatte des Nutzers benötigt werden, um Update-Dateien zu speichern. Der Vorteil dieses Ansatzes liegt darin, dass dadurch garantiert werden kann, dass der Platz während eines Updates nicht ausgeht. Der Nachteil ist banal – auf günstigen Tablets und Laptops wird der Speicher einfach nicht ausreichen. Früher lag die minimale Anforderung […]
Das TrueOS-Projekt hat die Testphase für experimentelle Versionen von FreeBSD 12-STABLE und FreeBSD 13-CURRENT angekündigt, in denen das monolithische Basissystem in eine Sammlung miteinander verbundener Pakete umgewandelt wurde. Diese Versionen werden im Rahmen des pkgbase-Projekts entwickelt, das Werkzeuge zur Verwendung des Standard-Paketmanagers pkg zur Verwaltung der Pakete, die das Basissystem bilden, bereitstellt. Die Lieferung in Form von separaten Paketen ermöglicht eine erhebliche Vereinfachung des Aktualisierungsprozesses der Basis […]
Dies ist eine kleine Geschichte aus der Praxis, in der ein kleines Problem, gut versteckt hinter der Ausfallsicherheit, zu Kopfschmerzen wird. Kleine Ausgangslage: Eine kleine Filiale, die ihre eigene Telefonanlage (Asterisk + FreePBX) auf Desktop-Hardware und einen lokalen Terminalserver mit 1C, einem Dateispeicher und einem virtuellen RO-Domänencontroller hat. Das Internet wird über Mikrotik bereitgestellt. Die Filiale ist klein, das genügt ihnen. Alles begann […]
In diesem Artikel erläutere ich, wie man Pinba zusammen mit ClickHouse und Grafana anstelle von Pinba_Engine und Pinboard verwendet. In PHP-Projekten ist Pinba wohl der einzige verlässliche Weg, um die Leistung zu verstehen. Allerdings wird Pinba normalerweise erst dann implementiert, wenn bereits Probleme festgestellt werden und unklar ist, wo das Problem liegt. Oft hat niemand eine Ahnung, wie oft pro Sekunde/Minute […] aufgerufen wird.
Die Apache-Stiftung hat den Abschluss der Integration ihrer Infrastruktur mit GitHub und die Migration aller ihrer Git-Dienste nach GitHub bekannt gegeben. Ursprünglich wurde für die Entwicklung von Apache-Projekten zwei Versionierungssysteme angeboten: das zentralisierte Versionskontrollsystem Subversion und das dezentrale System Git. Seit 2014 sind auf GitHub Spiegel von Apache-Repositories verfügbar, die im Nur-Lese-Modus zugänglich sind. Jetzt […]
Etwa 2,24 Millionen Datensätze mit Passinformationen, Angaben zur Beschäftigung von Bürgern der Russischen Föderation und SNILS-Nummern sind öffentlich zugänglich. Zu diesem Schluss kam der Vorsitzende der Vereinigung der Marktteilnehmer für Daten, Ivan Begtin, basierend auf einer durchgeführten Studie "Datenlecks aus offenen Quellen. Elektronische Handelsplätze." In der Studie wurden Daten der größten elektronischen Handelsplätze in Russland untersucht, innerhalb von […]