Autors: ProHoster

Sony pārdos vairāk nekā 5 miljonus PS100 konsoļu līdz PlayStation 4 palaišanai

Sony publicēja pārskatus par finanšu gadu, kas beidzās 31. gada 2019. martā. Pamatojoties uz iesniegtajiem datiem, varam secināt, ka, neskatoties uz nelielu PlayStation4 aparatūras pārdošanas tempu palēnināšanos, pati konsole joprojām tiek pārdota ar iespaidīgu ātrumu. Pašlaik visā pasaulē ir pārdoti 96,8 miljoni PS4 kopiju, kas nozīmē kopējo […]

Zinātniski tehniskais centrs "Modulis" prezentēja uztvērēju augstas precizitātes navigācijai

Viens no lielākajiem Krievijas izstrādātājiem, zinātniski tehniskais centrs "Modulis", nonāca navigācijā. Līdz šim centra aktīvos bija visdažādākajiem nolūkiem paredzēti kontrolieri un mikroprocesori. Jaunā darbības joma paplašinās Krievijas izstrādātāju pieredzi un piedāvājumu. Konkrēti, Modul gatavojas ienākt augstas precizitātes navigācijas ierīču tirgū, paredzot līdz 2024. gadam aizņemt 15–18% no šī tirgus Krievijā, […]

Nākotnes Intel videokartes tiks apvienotas ar integrētu grafisko arhitektūru

Gada pārskatā, kas pirmo reizi parādījās Intel interneta vietnē šī gada februārī, uzņēmums ne visai acīmredzamu iemeslu dēļ diskrēto grafikas risinājumu, kas tiek izstrādāts, sauc par "pirmo tā vēsturē", lai gan nozares attīstības eksperti var atcerēties, ka Intel Pagājušā gadsimta deviņdesmito gadu vidū izmēģināja veiksmi ar diskrētām videokartēm. Būtībā, izstrādājot diskrētu grafikas risinājumu […]

Windows 10 “pieaugs resns” līdz vismaz 32 GB

Microsoft reiz paziņoja, ka atjaunināšanas failu glabāšanai izmantos aptuveni 7 GB vietas lietotāja cietajā diskā. Šīs pieejas priekšrocība ir tāda, ka tā nodrošinās, ka atjaunināšanas laikā jums nepietrūks vietas. Trūkums ir banāls - lētos planšetdatoros un klēpjdatoros vienkārši nav pietiekami daudz vietas. Ja iepriekš minimālā prasība […]

Formāla pārbaude, izmantojot vilka, kazas un kāpostu problēmas piemēru

Manuprāt, interneta krievvalodīgajā sektorā formālās verifikācijas tēma nav pietiekami aplūkota, un īpaši trūkst vienkāršu un skaidru piemēru. Es minēšu piemēru no ārzemju avota un pievienošu savu risinājumu labi zināmajai problēmai par vilka, kazas un kāpostu šķērsošanu otrpus upei. Bet vispirms es īsi aprakstīšu, kas ir formālā pārbaude un kāpēc [...]

Formālas verifikācijas sistēmas izveide no nulles. 1. daļa: rakstzīmju virtuālā mašīna PHP un Python

Formālā pārbaude ir vienas programmas vai algoritma pārbaude, izmantojot citu. Šī ir viena no jaudīgākajām metodēm, kas ļauj atrast visas programmas ievainojamības vai pierādīt, ka tās neeksistē. Sīkāku formālās verifikācijas aprakstu var redzēt mana iepriekšējā raksta Vilka, kazas un kāpostu problēmas risināšanas piemērā. Šajā rakstā es […]

PHP skriptu statistika un uzraudzība reāllaikā. ClickHouse un Grafana nāk palīgā Pinba

Šajā rakstā es jums pastāstīšu, kā lietot pinba ar clickhouse un grafana, nevis pinba_engine un pinboard. PHP projektā pinba, iespējams, ir vienīgais uzticamais veids, kā saprast, kas notiek ar veiktspēju. Tiesa, pinba parasti tiek ieviesta tikai tad, kad problēmas jau ir novērotas un nav skaidrs, “kur rakt”. Bieži vien nevienam nav ne jausmas, cik reižu sekundē/minūtē […]

Meklē problēmu nepareizajā vietā

Šis ir īss stāsts no reālas prakses, kad neliela problēma, kas labi maskēta ar kļūdu toleranci, pārvēršas par galvassāpēm. Neliels izvietojums: maza filiāle, tai ir savs PBX (zvaigznīte + FreePBX), kura pamatā ir darbvirsmas aparatūra, un tas pats lokālais termināļa serveris ar 1C, failu izgāztuvi un virtuālo RO domēna kontrolleri. Internets izplata Mikrotik. Zars mazs, viņiem pietiek. Viss sākās […]

“Lūdzu, ņemiet vērā” Nr. 2: īssavilkums no rakstiem par domāšanu par produktu, uzvedības psiholoģiju un personīgo produktivitāti

Šī ir otrā iknedēļas īssavilkumu sērija par tehnoloģijām, cilvēkiem un to, kā viņi viens otru ietekmē. Endijs Džounss (bijušais Wealthfront, Facebook, Twitter, Quora) par to, kā izveidot harmonisku produktu izaugsmi startup. Foršas idejas, statistika un piemēri no labākajiem tehnoloģiju uzņēmumiem savās nozarēs. 19 lappušu elektroniska grāmata, kuru ieteicams izlasīt ikvienam […]

FreeBSD bāzes sistēmas pakotņu sadalīšanas testēšana

TrueOS projekts ir paziņojis par FreeBSD 12-STABLE un FreeBSD 13-CURRENT eksperimentālo būvējumu testēšanu, kas pārveido monolītu bāzes sistēmu savstarpēji saistītu pakotņu komplektā. Būvējums tiek izstrādāts kā daļa no pkgbase projekta, kas nodrošina rīkus vietējā pkg pakotņu pārvaldnieka izmantošanai, lai pārvaldītu pakotnes, kas veido bāzes sistēmu. Piegāde atsevišķu paku veidā ļauj ievērojami vienkāršot pamata atjaunināšanas procesu […]

Blue Origin tviterī ievietoja noslēpumainu Šekltona kuģa fotoattēlu

Oficiālajā Twitter lapā Blue Origin parādījās slavenā pētnieka Ernesta Šekltona kuģa fotogrāfija, kurš pētīja Antarktiku. 5.9.19. pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. gada 2019. aprīlis Fotoattēlam ir paraksts ar datumu — 9. maijs, un nav apraksta, tāpēc varam tikai minēt, kā Šekltona ekspedīcijas kuģis ir saistīts ar Džefa telpu uzņēmums Bezos. Var pieņemt, [...]

Apache fonds ir pārvietojis savus Git repozitorijus uz GitHub

Apache fonds paziņoja, ka ir pabeidzis darbu pie savas infrastruktūras integrēšanas ar GitHub un visu savu Git pakalpojumu migrēšanu uz GitHub. Sākotnēji Apache projektu izstrādei tika piedāvātas divas versiju kontroles sistēmas: centralizētā versiju kontroles sistēma Subversion un decentralizētā sistēma Git. Kopš 2014. gada vietnē GitHub ir pieejami Apache repozitorija spoguļi, kas ir pieejami tikai lasīšanas režīmā. Tagad […]