Sonyk 31ko martxoaren 2019n amaitu zen ekitaldiko txostenak argitaratu zituen. Aurkeztutako datuetan oinarrituta, ondorioztatu dezakegu PlayStation4 hardwarearen salmentak apur bat moteldu diren arren, kontsola bera oraindik tasa ikusgarrian saltzen ari dela. Gaur egun, PS96,8ren 4 milioi ale saldu dira mundu osoan, hau da, guztira [...]
Errusiako garatzaile handienetako bat, "Module" zentro zientifiko eta teknikoa, nabigaziora iritsi zen. Orain arte, zentroaren aktiboen artean hainbat helburutarako kontrolagailuak eta mikroprozesadoreak zeuden. Jarduera eremu berriak Errusiako garatzaileen esperientzia eta eskaintza zabalduko ditu. Bereziki, Modul zehaztasun handiko nabigazio gailuen merkatuan sartuko da, 2024rako Errusian merkatu honen % 15-18 okupatuko duelakoan, [...]
Aurtengo otsailean Intel webgunean lehen aldiz agertu zen urteko txostenean, konpainiak, guztiz agerikoak ez diren arrazoiengatik, garatzen ari den soluzio grafiko diskretua "bere historiako lehena" deitzen du, nahiz eta industria garapeneko adituek gogoan izan dezaketen. Intelek bere zortea probatu zuela bideo-txartel diskretuekin joan den mendeko laurogeita hamarreko hamarkadaren erdialdean. Funtsean, soluzio grafiko diskretu bat garatzea [...]
Microsoftek behin iragarri zuen erabiltzailearen disko gogorrean 7 GB inguru erabiliko zituela eguneratze fitxategiak gordetzeko. Ikuspegi honen abantaila da eguneratze baten erdian lekurik gabe geratuko ez zarela bermatuko duela. Desabantaila hutsala da - ez dago nahikoa leku tablet eta ordenagailu eramangarri merkeetan. Aurretik gutxieneko eskakizuna […]
Nire ustez, Interneten errusierazko sektorean, egiaztapen formalaren gaia ez da behar bezain landu, eta adibide sinple eta argiak falta dira bereziki. Atzerriko iturri bateko adibide bat jarriko dut, eta otsoa, ahuntza eta aza ibaiaren bestaldera igarotzearen arazo ezagunari neure irtenbidea gehituko diot. Baina lehenik eta behin, labur-labur deskribatuko dut egiaztapen formala zer den eta zergatik [...]
Egiaztapen formala programa edo algoritmo bat beste bat erabiliz egiaztatzea da. Hau da programa batean ahultasun guztiak aurkitzeko edo existitzen ez direla frogatzeko aukera ematen duen metodorik indartsuenetako bat. Egiaztapen formalaren deskribapen zehatzagoa nire aurreko artikuluan Otsoa, Ahuntza eta Aza arazoa konpontzeko adibidean ikus daiteke. Artikulu honetan […]
Artikulu honetan pinba pinba_engine eta pinboard-en ordez pinba clickhouse eta grafana-rekin nola erabili esango dizut. PHP proiektu batean, pinba da agian errendimenduarekin zer gertatzen den ulertzeko modu fidagarri bakarra. Egia da, pinba normalean arazoak ikusten direnean eta "non zulatu" argi ez dagoenean bakarrik ezartzen da. Askotan inork ez du ideiarik zenbat aldiz segundo/minutu […]
Benetako praktikaren istorio labur bat da hau, arazo txiki bat, erruen tolerantziaz ondo mozorrotuta, buruhauste bihurtzen denean. Xedapen txikia: adar txiki bat, bere PBX (asterisko + FreePBX) du mahaigaineko hardwarean oinarrituta eta 1C-ko terminal-zerbitzari lokal berdina, fitxategien iraulketa eta RO domeinu-kontrolatzaile birtual bat. Internetek Mikrotik banatzen du. Adarra txikia da, nahikoa da haientzat. Dena hasi zen […]
Teknologiari, pertsonei eta elkarri nola eragiten dioten buruzko asteroko laburpen baten bigarrena da hau. Andy Jones (Wealthfront, Facebook, Twitter, Quora ohia) startup batean produktuen hazkunde harmoniatsua nola sortu. Ideia, estatistika eta adibide politak beren industriako enpresa teknologiko onenen eskutik. 19 orrialdeko liburu elektronikoa, edonorentzat irakurketa gomendatua [...]
TrueOS Proiektuak FreeBSD 12-STABLE eta FreeBSD 13-CURRENT-en eraikuntza esperimentalen probak iragarri ditu, oinarrizko sistema monolitikoa elkarri konektatutako pakete multzo batean bihurtzen dutenak. Eraikuntzak pkgbase proiektuaren zati gisa garatzen dira, zeinak pkg pakete kudeatzaile natiboa erabiltzeko tresnak eskaintzen ditu oinarrizko sistema osatzen duten paketeak kudeatzeko. Pakete bereizi moduan bidaltzeak oinarrizko dokumentuak eguneratzeko prozesua nabarmen erraztu dezakezu [...]
Antartika ikertu zuen Ernest Shackleton esploratzaile ospetsuaren ontziaren argazki bat agertu zen Blue Origin Twitter orrialde ofizialean. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26ko apirilaren 2019a Argazkiak maiatzaren 9ko data dauka eta ez dago deskribapenik, beraz, Shackleton-en espedizio-ontzia Jeff-en espazioarekin nola konektatuta dagoen asma dezakegu. enpresa Bezos. Pentsa daiteke [...]
Apache Fundazioak jakinarazi zuen bere azpiegitura GitHub-ekin integratzeko eta bere git zerbitzu guztiak GitHubera migratzeko lanak amaitu dituela. Hasieran, bi bertsio-kontrol-sistema eskaintzen ziren Apache proiektuak garatzeko: Subversion bertsio-kontrol sistema zentralizatua eta Git sistema deszentralizatua. 2014az geroztik, Apache biltegiko ispiluak GitHub-en abiarazi dira, irakurtzeko soilik moduan eskuragarri. Orain […]
