ProHoster > BLOG

subiect: BLOG

Blog de categorie

Centrul Științific și Tehnic „Modulul” a prezentat un receptor pentru navigație de înaltă precizie

Опубликовано

Unul dintre cei mai mari dezvoltatori ruși, centrul științific și tehnic „Modulul”, a venit la navigație. Până acum, activele centrului au inclus controlere și microprocesoare pentru o gamă largă de scopuri. Noua zonă de activitate va extinde experiența și oferta dezvoltatorilor ruși. În special, Modul va intra pe piața dispozitivelor de navigație de înaltă precizie, așteptându-se să ocupe 2024-15% din această piață în Rusia până în 18, […]

Viitoarele plăci video Intel vor fi unificate cu arhitectura grafică integrată

Опубликовано

În raportul anual, care a apărut pentru prima dată pe site-ul Intel în februarie a acestui an, compania, din motive deloc evidente, numește soluția grafică discretă dezvoltată „prima din istoria sa”, deși experții în dezvoltare din industrie își pot aminti că Intel și-a încercat norocul cu plăci video discrete pe la mijlocul anilor XNUMX ai secolului trecut. În esență, dezvoltarea unei soluții grafice discrete […]

Windows 10 „va crește” până la cel puțin 32 GB

Опубликовано

Microsoft a anunțat odată că va folosi aproximativ 7 GB de spațiu pe hard diskul utilizatorului pentru a stoca fișiere de actualizare. Avantajul acestei abordări este că vă va asigura că nu rămâneți fără spațiu în mijlocul unei actualizări. Dezavantajul este banal - pur și simplu nu există suficient spațiu pe tablete și laptopuri ieftine. Dacă anterior cerințele minime […]

Verificare formală folosind exemplul problemei lupului, caprei și varzei

Опубликовано

În opinia mea, în sectorul de limbă rusă al internetului, subiectul verificării oficiale nu este suficient acoperit și există în special o lipsă de exemple simple și clare. Voi da un exemplu dintr-o sursă străină și voi adăuga propria mea soluție la binecunoscuta problemă a trecerii unui lup, o capră și o varză pe malul celălalt al râului. Dar mai întâi, voi descrie pe scurt ce este verificarea formală și de ce [...]

Crearea unui sistem formal de verificare de la zero. Partea 1: Mașină virtuală de caractere în PHP și Python

Опубликовано

Verificarea formală este verificarea unui program sau algoritm folosind altul. Aceasta este una dintre cele mai puternice metode care vă permite să găsiți toate vulnerabilitățile dintr-un program sau să demonstrați că acestea nu există. O descriere mai detaliată a verificării formale poate fi văzută în exemplul de rezolvare a problemei lup, capră și varză din articolul meu anterior. În acest articol am […]

Statistici și monitorizare a scripturilor PHP în timp real. ClickHouse și Grafana vin în ajutorul lui Pinba

Опубликовано

În acest articol vă voi spune cum să utilizați pinba cu clickhouse și grafana în loc de pinba_engine și pinboard. Într-un proiect PHP, pinba este poate singura modalitate fiabilă de a înțelege ce se întâmplă cu performanța. Adevărat, pinba este de obicei implementat numai atunci când problemele sunt deja observate și nu este clar „unde să sape”. Adesea nimeni nu are idee de câte ori pe secundă/minut […]

Caut o problemă în locul nepotrivit

Опубликовано

Aceasta este o scurtă poveste din practică reală, când o mică problemă, bine deghizată de toleranța la greșeli, se transformă într-o bătaie de cap. Dispoziție mică: O sucursală mică, are propriul PBX (asterisc + FreePBX) bazat pe hardware desktop și același server terminal local cu 1C, un dump de fișiere și un controler de domeniu virtual RO. Internetul distribuie Mikrotik. Ramura este mică, e suficient pentru ei. Totul a început […]

Testarea împărțirii pachetelor a sistemului de bază FreeBSD

Опубликовано

Proiectul TrueOS a anunțat testarea versiunilor experimentale ale FreeBSD 12-STABLE și FreeBSD 13-CURRENT, care transformă sistemul de bază monolitic într-un set de pachete interconectate. Compilările sunt dezvoltate în cadrul proiectului pkgbase, care oferă instrumente pentru utilizarea managerului de pachete pkg nativ pentru a gestiona pachetele care alcătuiesc sistemul de bază. Livrarea sub formă de pachete separate vă permite să simplificați semnificativ procesul de actualizare a […]

Fundația Apache și-a mutat depozitele Git în GitHub

Опубликовано

Fundația Apache a anunțat că a finalizat lucrările privind integrarea infrastructurii sale cu GitHub și migrarea tuturor serviciilor sale git la GitHub. Inițial, pentru dezvoltarea proiectelor Apache au fost oferite două sisteme de control al versiunilor: sistemul centralizat de control al versiunilor Subversion și sistemul descentralizat Git. Din 2014, oglinzile de depozit Apache au fost lansate pe GitHub, disponibile în modul doar citire. Acum […]

Frecvența de bază a acceleratorului Palit GeForce GTX 1650 StormX OC ajunge la 1725 MHz

Опубликовано

Palit Microsystems a lansat acceleratorul grafic GeForce GTX 1650 StormX OC, informații despre pregătirea căruia au apărut deja pe internet. Să ne amintim pe scurt caracteristicile cheie ale produselor GeForce GTX 1650. Astfel de plăci folosesc arhitectura NVIDIA Turing. Numărul de nuclee CUDA este de 896, iar cantitatea de memorie GDDR5 cu o magistrală de 128 de biți (frecvență efectivă - 8000 MHz) este de 4 GB. Ceas de bază […]

ASRock Z390 Phantom Gaming 4S: placă ATX pentru PC de gaming

Опубликовано

ASRock a anunțat placa de bază Z390 Phantom Gaming 4S, care poate fi folosită pentru a forma o stație de gaming desktop de gamă medie. Noul produs este realizat în format ATX (305 × 213 mm) bazat pe logica de sistem Intel Z390. Suportă procesoare Core din generația a opta și a noua în socket 1151. Capacitățile de extindere sunt furnizate de două sloturi PCI Express 3.0 x16 […]

Până la sfârșitul secolului, numărul utilizatorilor Facebook morți va depăși numărul celor vii.

Опубликовано

Oamenii de știință de la Oxford Internet Institute (OII) au realizat un studiu în care au descoperit că până în 2070, numărul utilizatorilor Facebook morți ar putea depăși numărul celor vii, iar până în 2100, 1,4 miliarde de utilizatori ai rețelei sociale vor muri. În același timp, se spune că analiza oferă două scenarii extreme. Prima presupune că numărul de utilizatori va rămâne la nivelul din 2018 […]

" inapoi sus 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 În cele din urmă "
Cumpărați găzduire de încredere pentru site-uri cu protecție DDoS, servere VPS VDS 🔥 Cumpără găzduire web fiabilă cu protecție DDoS, servere VPS VDS | ProHoster