ProHoster > Artikel von: ProHoster

Autor: ProHoster

Sony wird bis zum Start der PlayStation 5 über 100 Millionen PS4-Konsolen verkaufen

Verfasst von

Sony veröffentlichte Berichte für das Geschäftsjahr, das am 31. März 2019 endete. Basierend auf den vorgelegten Daten können wir den Schluss ziehen, dass sich die Konsole selbst trotz einer leichten Verlangsamung der Verkäufe von PlayStation4-Hardware immer noch mit einer beeindruckenden Geschwindigkeit verkauft. Derzeit wurden weltweit 96,8 Millionen Exemplare der PS4 verkauft, was bedeutet, dass die Gesamtzahl der […]

Das Wissenschaftlich-Technische Zentrum „Module“ präsentierte einen Empfänger für hochpräzise Navigation

Verfasst von

Einer der größten russischen Entwickler, das wissenschaftliche und technische Zentrum „Module“, kam zur Navigation. Zu den Anlagen des Zentrums gehörten bisher Steuerungen und Mikroprozessoren für verschiedenste Einsatzzwecke. Der neue Tätigkeitsbereich wird die Erfahrung und das Angebot russischer Entwickler erweitern. Modul wird insbesondere in den Markt für hochpräzise Navigationsgeräte einsteigen und bis 2024 voraussichtlich 15–18 % dieses Marktes in Russland einnehmen.

Zukünftige Intel-Grafikkarten werden mit einer integrierten Grafikarchitektur vereinheitlicht

Verfasst von

Im Jahresbericht, der erstmals im Februar dieses Jahres auf der Intel-Website erschien, bezeichnet das Unternehmen die entwickelte diskrete Grafiklösung aus nicht ganz offensichtlichen Gründen als „die erste in seiner Geschichte“, obwohl sich Branchenentwicklungsexperten möglicherweise daran erinnern, dass Intel versuchte Mitte der neunziger Jahre des letzten Jahrhunderts sein Glück mit diskreten Grafikkarten. Im Wesentlichen geht es um die Entwicklung einer diskreten Grafiklösung […]

Windows 10 wird auf mindestens 32 GB „fetten“.

Verfasst von

Microsoft hat einmal angekündigt, etwa 7 GB Speicherplatz auf der Festplatte des Benutzers zum Speichern von Update-Dateien zu belegen. Der Vorteil dieses Ansatzes besteht darin, dass sichergestellt wird, dass Ihnen während eines Updates nicht der Speicherplatz ausgeht. Der Nachteil ist banal – auf günstigen Tablets und Laptops ist einfach nicht genug Platz. Wenn zuvor die Mindestanforderung […]

Formale Verifikation am Beispiel des Wolf-, Ziegen- und Kohlproblems

Verfasst von

Meiner Meinung nach wird im russischsprachigen Bereich des Internets das Thema der formalen Verifizierung nicht ausreichend behandelt und es mangelt vor allem an einfachen und anschaulichen Beispielen. Ich werde ein Beispiel aus einer ausländischen Quelle geben und meine eigene Lösung für das bekannte Problem hinzufügen, einen Wolf, eine Ziege und einen Kohl auf die andere Seite des Flusses zu bringen. Doch zunächst werde ich kurz beschreiben, was formale Verifizierung ist und warum [...]

Erstellen eines formalen Verifizierungssystems von Grund auf. Teil 1: Character Virtual Machine in PHP und Python

Verfasst von

Bei der formalen Verifizierung handelt es sich um die Verifizierung eines Programms oder Algorithmus mithilfe eines anderen. Dies ist eine der leistungsstärksten Methoden, mit der Sie alle Schwachstellen in einem Programm finden oder nachweisen können, dass sie nicht vorhanden sind. Eine detailliertere Beschreibung der formalen Verifizierung finden Sie am Beispiel der Lösung des Wolf-, Ziegen- und Kohlproblems in meinem vorherigen Artikel. In diesem Artikel habe ich […]

Statistik und Überwachung von PHP-Skripten in Echtzeit. ClickHouse und Grafana kommen Pinba zu Hilfe

Verfasst von

In diesem Artikel erkläre ich Ihnen, wie Sie Pinba mit Clickhouse und Grafana anstelle von Pinba_Engine und Pinboard verwenden. Bei einem PHP-Projekt ist Pinba möglicherweise die einzige zuverlässige Möglichkeit, zu verstehen, was mit der Leistung passiert. Zwar wird Pinba normalerweise nur dann implementiert, wenn bereits Probleme beobachtet werden und nicht klar ist, „wo gegraben werden soll“. Oft hat niemand eine Ahnung, wie oft pro Sekunde/Minute […]

Auf der Suche nach einem Problem am falschen Ort

Verfasst von

Dies ist eine kurze Geschichte aus der Praxis, in der ein kleines, durch Fehlertoleranz gut getarntes Problem zu Kopfschmerzen wird. Kleine Anlage: Eine kleine Filiale, sie verfügt über eine eigene PBX (Asterisk + FreePBX) auf Basis von Desktop-Hardware und den gleichen lokalen Terminalserver mit 1C, einem Datei-Dump und einem virtuellen RO-Domänencontroller. Das Internet verbreitet Mikrotik. Der Zweig ist klein, das reicht ihnen. Es began alles […]

„Bitte beachten“ Nr. 2: Zusammenfassung von Artikeln zu Produktdenken, Verhaltenspsychologie und persönlicher Produktivität

Verfasst von

Dies ist der zweite Teil einer Reihe wöchentlicher Zusammenfassungen über Technologie, Menschen und wie sie sich gegenseitig beeinflussen. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) darüber, wie man in einem Startup ein harmonisches Produktwachstum schafft. Coole Ideen, Statistiken und Beispiele der besten Technologieunternehmen ihrer Branche. Ein elektronisches Buch mit 19 Seiten, empfehlenswerte Lektüre für jeden […]

Testen der Paketaufteilung des FreeBSD-Basissystems

Verfasst von

Das TrueOS-Projekt hat das Testen experimenteller Builds von FreeBSD 12-STABLE und FreeBSD 13-CURRENT angekündigt, die das monolithische Basissystem in eine Reihe miteinander verbundener Pakete umwandeln. Die Builds werden als Teil des pkgbase-Projekts entwickelt, das Tools für die Verwendung des nativen pkg-Paketmanagers zur Verwaltung der Pakete bereitstellt, aus denen das Basissystem besteht. Durch die Lieferung in Form separater Pakete können Sie den Prozess der Aktualisierung der grundlegenden […] erheblich vereinfachen.

Blue Origin hat ein mysteriöses Foto von Shackletons Schiff getwittert

Verfasst von

Auf der offiziellen Twitter-Seite von Blue Origin erschien ein Foto des Schiffes des berühmten Entdeckers Ernest Shackleton, der die Antarktis erforschte. 5.9.19 pic.twitter.com/BzvwCsDM2T – Blue Origin (@blueorigin) 26. April 2019 Das Foto ist mit dem Datum 9. Mai beschriftet und es gibt keine Beschreibung, daher können wir nur vermuten, wie Shackletons Expeditionsschiff mit Jeffs Raum verbunden ist Firma Bezos. Es ist anzunehmen [...]

Die Apache Foundation hat ihre Git-Repositorys auf GitHub verschoben

Verfasst von

Die Apache Foundation gab bekannt, dass sie die Arbeiten zur Integration ihrer Infrastruktur mit GitHub und zur Migration aller ihrer Git-Dienste auf GitHub abgeschlossen hat. Für die Entwicklung von Apache-Projekten wurden zunächst zwei Versionskontrollsysteme angeboten: das zentrale Versionskontrollsystem Subversion und das dezentrale System Git. Seit 2014 werden Apache-Repository-Spiegel auf GitHub gestartet und sind im schreibgeschützten Modus verfügbar. Jetzt […]

" Zurück nach oben 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 Schließlich "