Sujet: Blog

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 wuessen" op mindestens 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 […]

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 […]

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 […]

Palit GeForce GTX 1650 StormX OC Beschleuniger Kär Frequenz erreecht 1725 MHz

Palit Microsystems huet de GeForce GTX 1650 StormX OC Grafikbeschleuniger verëffentlecht, d'Informatioun iwwer d'Virbereedung vun deem ass schonn um Internet erschien. Loosst eis kuerz un d'Schlësselcharakteristike vu GeForce GTX 1650 Produkter erënneren. Esou Kaarte benotzen d'NVIDIA Turing Architektur. D'Zuel vun de CUDA Cores ass 896, an d'Quantitéit vum GDDR5 Erënnerung mat engem 128-Bit Bus (effektiv Frequenz - 8000 MHz) ass 4 GB. Basisuhr […]

ASRock Z390 Phantom Gaming 4S: ATX Board fir Gaming PC

ASRock huet den Z390 Phantom Gaming 4S Motherboard ugekënnegt, dat ka benotzt ginn fir eng Mid-Range Desktop Gaming Station ze bilden. Den neie Produkt gëtt am ATX-Format (305 × 213 mm) gemaach baséiert op der Intel Z390 Systemlogik. Ënnerstëtzt aachte an néngten Generatioun Core Prozessoren am Socket 1151. Expansiounsfäegkeeten ginn duerch zwee PCI Express 3.0 x16 Slots geliwwert […]

Bis Enn vum Joerhonnert wäert d'Zuel vun den Doudegen Facebook Benotzer d'Zuel vun de Liewewiesen iwwerschreiden.

Wëssenschaftler vum Oxford Internet Institute (OII) hunn eng Etude gemaach, an där se festgestallt hunn datt bis 2070 d'Zuel vun den Doudegen Facebook Benotzer d'Zuel vun de Liewewiesen iwwerschreiden kann, a bis 2100 wäerten 1,4 Milliarde Benotzer vum sozialen Netzwierk dout sinn. Zur selwechter Zäit gëtt gesot datt d'Analyse fir zwee extrem Szenarie virgesäit. Déi éischt gëtt ugeholl datt d'Zuel vun de Benotzer um 2018 Niveau bleift […]

Kaaft zouverlässeg Hosting fir Site mat DDoS Schutz, VPS VDS Server 🔥 Kaaft zouverléissegt Websäithosting mat DDoS-Schutz, VPS VDS Server | ProHoster