Auteur: ProHoster

Sony fir iwwer 5 Millioune PS100 Konsolen duerch PlayStation 4 Start ze verkafen

Sony publizéiert Berichter fir d'Finanzjoer, dat den 31. Mäerz 2019 op en Enn koum. Baséierend op déi presentéiert Donnéeën, kënne mir schléissen datt trotz engem liichte Verloscht am Verkaf vun der PlayStation4 Hardware, d'Konsole selwer nach ëmmer mat engem impressionnanten Taux verkeeft. De Moment sinn 96,8 Millioune Exemplare vum PS4 weltwäit verkaaft ginn, dat heescht den Total […]

Wëssenschaftlechen an techneschen Zentrum "Modul" presentéiert den Empfänger fir héichpräzis Navigatioun

Ee vun de gréisste russeschen entwéckler, wëssenschaftlechen an techneschen zentrum "Modul", koum op d ' navigatioun. Bis elo hunn d'Verméigen vum Zentrum Controller a Mikroprozessoren fir eng breet Palette vun Zwecker abegraff. Dat neit Aktivitéitsberäich wäert d'Erfahrung an d'Offer vu russesche Entwéckler ausbauen. Besonnesch wäert Modul de Maart vun héichpräzis Navigatiounsgeräter anzeginn, erwaart 2024-15% vun dësem Maart a Russland bis 18 ze besetzen, […]

Zukünfteg Intel Videokaarte ginn vereenegt mat integréierter Grafikarchitektur

Am Joresbericht, deen fir d'éischt am Februar vun dësem Joer op der Intel Websäit opgetaucht ass, nennt d'Firma, aus net ganz offensichtleche Grënn, déi diskret Grafikléisung déi entwéckelt gëtt "déi éischt a senger Geschicht", obwuel Industrieentwécklungsexperten sech erënnere kënnen datt Intel probéiert säi Gléck mat diskret Video Kaarte zréck an der Mëtt vun den XNUMXer vum leschte Joerhonnert. Wesentlech eng diskret Grafikléisung entwéckelen […]

Windows 10 wäert "fett wuessen" op d'mannst 32 GB

Microsoft huet eemol ugekënnegt datt et ongeféier 7 GB Plaz op der Festplack vum Benotzer benotze fir Updatedateien ze späicheren. De Virdeel vun dëser Approche ass datt et suergt datt Dir net mat Plaz an der Mëtt vun engem Update leeft. Den Nodeel ass banal - et ass einfach net genuch Plaz op bëlleg Pëllen a Laptops. Wann virdru de Mindestbedarf […]

Formell Verifikatioun mam Beispill vum Wollef, Geess a Kabes Problem

Menger Meenung no, am russeschsproochege Secteur vum Internet ass d'Thema vun der formeller Verifizéierung net genuch ofgedeckt, an et feelt besonnesch einfach a kloer Beispiller. Ech ginn e Beispill vun enger auslännescher Quell, a füügt meng eege Léisung fir de bekannte Problem fir e Wollef, eng Geess an e Kabes op déi aner Säit vum Floss ze Kräiz. Awer als éischt wäert ech kuerz beschreiwen wat formell Verifizéierung ass a firwat [...]

Erstellt e formelle Verifizéierungssystem vun Null. Deel 1: Charakter Virtuell Maschinn an PHP a Python

Formell Verifizéierung ass d'Verifizéierung vun engem Programm oder Algorithmus mat engem aneren. Dëst ass eng vun de mächtegste Methoden, déi Iech erlaabt all Schwächen an engem Programm ze fannen oder ze beweisen datt se net existéieren. Eng méi detailléiert Beschreiwung vun der formeller Verifizéierung kann am Beispill gesi ginn fir de Wolf, Goat, and Cabbage Problem ze léisen a mengem fréieren Artikel. An dësem Artikel hunn ech […]

Statistiken an Iwwerwaachung vu PHP Scripten an Echtzäit. ClickHouse a Grafana kommen Pinba zur Hëllef

An dësem Artikel wäert ech Iech soen wéi Dir Pinba mat Clickhouse a Grafana benotzt anstatt Pinba_engine a Pinboard. Op engem PHP-Projet ass Pinba vläicht deen eenzegen zouverléissege Wee fir ze verstoen wat mat der Leeschtung geschitt. True, Pinba gëtt normalerweis nëmme implementéiert wann d'Problemer scho beobachtet ginn an et ass net kloer "wou ze graven." Dacks huet keen eng Ahnung wéivill Mol pro Sekonn/Minutt […]

Sich no engem Problem op der falscher Plaz

Dëst ass eng Kuerzgeschicht aus der realer Praxis, wann e klenge Problem, gutt verstoppt vu Feelertoleranz, zu engem Kappwéi verwandelt. Kleng Dispositioun: Eng kleng Branche, et huet seng eege PBX (Asterisk + FreePBX) baséiert op Desktop-Hardware an deemselwechte lokalen Terminalserver mat 1C, e Dateidump an e virtuelle RO Domain Controller. Den Internet verdeelt Mikrotik. D'Branche ass kleng, dat ass genuch fir si. Et huet alles ugefaang […]

"Notéiert w.e.g." #2: Verdauung vun Artikelen iwwer Produktdenken, Verhalenspsychologie a perséinlech Produktivitéit

Dëst ass déi zweet an enger Serie vu wëchentlechen Verdauungen iwwer Technologie, Leit a wéi se géigesäiteg beaflossen. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) iwwer wéi een harmonesche Produktwachstum an engem Startup erstellt. Cool Iddien, Statistiken a Beispiller vun de beschten Tech Firmen an hiren Industrien. En elektronescht Buch vun 19 Säiten, recommandéiert fir jiddereen ze liesen […]

Testen vum FreeBSD Basissystem Package Spaltung

De TrueOS Project huet Testen vun experimentellen Builds vu FreeBSD 12-STABLE an FreeBSD 13-CURRENT ugekënnegt, déi de monolithesche Basissystem an eng Rei vu verbonne Packagen transforméieren. D'Builds ginn als Deel vum pkgbase-Projet entwéckelt, deen Tools ubitt fir den gebiertege pkg Package Manager ze benotzen fir d'Packagen ze managen déi de Basissystem ausmaachen. Liwwerung a Form vun getrennten Packagen erlaabt Iech de Prozess vun der Basisaktualiséierung wesentlech ze vereinfachen […]

Blue Origin huet eng mysteriéis Foto vum Shackletons Schëff getweet

Eng Foto vum Schëff vum berühmten Entdecker Ernest Shackleton, deen d'Antarktis studéiert, erschéngt op der offizieller Blue Origin Twitter Säit. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) Abrëll 26, 2019 D'Foto ass ënnerschrëft mam Datum 9. Mee an et gëtt keng Beschreiwung, also kënne mir nëmmen roden wéi dem Shackletons Expeditiounsschëff mam Jeff säi Raum verbonnen ass Firma Bezos. Et kann ugeholl ginn [...]

D'Apache Foundation huet seng Git Repositories op GitHub geplënnert

D'Apache Foundation huet ugekënnegt datt et d'Aarbechte fäerdeg gemaach huet fir seng Infrastruktur mat GitHub z'integréieren an all seng Git Servicer op GitHub ze migréieren. Am Ufank goufen zwee Versiounskontrollsystemer fir d'Entwécklung vun Apache-Projeten ugebueden: den zentraliséierte Versiounskontrollsystem Subversion an den dezentraliséierte System Git. Zënter 2014 sinn Apache Repository Spigelen op GitHub lancéiert ginn, verfügbar am Read-only Modus. Elo […]