Sony publikigis raportojn por la financa jaro, kiu finiĝis la 31-an de marto 2019. Surbaze de la prezentitaj datumoj, ni povas konkludi, ke malgraŭ iometa malrapidiĝo en vendoj de PlayStation4-aparataro, la konzolo mem ankoraŭ vendas impresan rapidecon. Nuntempe, 96,8 milionoj da kopioj de PS4 estis venditaj tutmonde, kio signifas la totalon [...]
Unu el la plej grandaj rusaj programistoj, la scienca kaj teknika centro "Modulo", venis al navigacio. Ĝis nun, la aktivaĵoj de la centro inkludis regilojn kaj mikroprocesorojn por larĝa gamo de celoj. La nova agadkampo vastigos la sperton kaj oferton de rusaj programistoj. Aparte, Modul eniros la merkaton de altprecizaj navigaciaj aparatoj, atendante okupi 2024-15% de ĉi tiu merkato en Rusio antaŭ 18, [...]
En la jarraporto, kiu unue aperis en la retejo de Intel en februaro de ĉi tiu jaro, la kompanio, pro ne tute evidentaj kialoj, nomas la diskretan grafikan solvon disvolviĝantan "la unua en sia historio", kvankam spertuloj pri disvolviĝo de industrioj eble memoras, ke Intel. provis sian bonŝancon per diskretaj vidkartoj reen meze de la naŭdekaj de la pasinta jarcento. Esence, disvolvante diskretan grafikan solvon [...]
Microsoft iam anoncis, ke ĝi uzos ĉirkaŭ 7 GB da spaco sur la malmola disko de la uzanto por stoki ĝisdatigajn dosierojn. La avantaĝo de ĉi tiu aliro estas, ke ĝi certigos, ke vi ne elĉerpas spacon meze de ĝisdatigo. La malavantaĝo estas banala - simple ne estas sufiĉe da spaco sur malmultekostaj tabeloj kaj tekkomputiloj. Se antaŭe la minimuma postulo [...]
Miaopinie, en la ruslingva sektoro de Interreto, la temo de formala kontrolado ne estas sufiĉe traktata, kaj precipe mankas simplaj kaj klaraj ekzemploj. Mi donos ekzemplon el fremda fonto, kaj aldonos mian propran solvon al la konata problemo transiri lupon, kapron kaj brasikon al la alia bordo de la rivero. Sed unue, mi mallonge priskribos, kio estas formala konfirmo kaj kial [...]
Formala konfirmo estas la konfirmo de unu programo aŭ algoritmo uzante alian. Ĉi tiu estas unu el la plej potencaj metodoj, kiuj permesas vin trovi ĉiujn vundeblecojn en programo aŭ pruvi, ke ili ne ekzistas. Pli detala priskribo de formala konfirmo videblas en la ekzemplo pri solvado de la problemo de Lupo, Kapro kaj Brasiko en mia antaŭa artikolo. En ĉi tiu artikolo mi [...]
En ĉi tiu artikolo mi rakontos al vi kiel uzi pinba kun clickhouse kaj grafana anstataŭ pinba_engine kaj pinboard. En PHP-projekto, pinba estas eble la sola fidinda maniero kompreni kio okazas kun rendimento. Vere, pinba estas kutime efektivigita nur kiam problemoj jam estas observitaj kaj ne estas klare "kie fosi". Ofte neniu havas ideon kiom da fojoj por sekundo/minuto [...]
Ĉi tio estas novelo el reala praktiko, kiam malgranda problemo, bone kaŝvestita de faŭltoleremo, iĝas kapdoloro. Malgranda dispozicio: Malgranda branĉo, ĝi havas sian propran PBX (asterisko + FreePBX) bazitan sur labortabla aparataro kaj la saman lokan terminalservilon kun 1C, dosierdeponejo kaj virtuala RO-domajnregilo. Interreto distribuas Mikrotik. La branĉo estas malgranda, tio sufiĉas por ili. Ĉio komenciĝis [...]
Ĉi tiu estas la dua en serio de semajnaj konsumoj pri teknologio, homoj kaj kiel ili influas unu la alian. Andy Jones (eks-Wealthfront, Facebook, Twitter, Quora) pri kiel krei harmonian produktokreskon en noventrepreno. Bonegaj ideoj, statistikoj kaj ekzemploj de la plej bonaj teknologiaj kompanioj en siaj industrioj. Elektronika libro de 19 paĝoj, rekomendita legado por iu ajn [...]
La Projekto TrueOS anoncis testadon de eksperimentaj konstruoj de FreeBSD 12-STABLE kaj FreeBSD 13-CURRENT, kiuj transformas la monolitan bazan sistemon en aron de interligitaj pakaĵoj. La konstruoj estas evoluigitaj kiel parto de la pkgbase-projekto, kiu disponigas ilojn por uzi la denaskan pakaĵmanaĝeron de pkg por administri la pakaĵojn kiuj konsistigas la bazan sistemon. Livero en la formo de apartaj pakaĵoj permesas vin signife simpligi la procezon de ĝisdatigo de la baza [...]
Foto de la ŝipo de la fama esploristo Ernest Shackleton, kiu studis Antarkton, aperis en la oficiala tvitera paĝo de Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blua Origino (@blueorigin) la 26-an de aprilo 2019 La foto estas surtitolita kun la dato 9-a de majo kaj ne estas priskribo, do ni povas nur diveni kiel la ekspedicioŝipo de Shackleton estas konektita al la spaco de Jeff. firmao Bezos. Oni povas supozi [...]
La Fondaĵo Apache anoncis, ke ĝi finis laboron pri integriĝo de sia infrastrukturo kun GitHub kaj migrado de ĉiuj siaj git-servoj al GitHub. Komence, du versiokontrolsistemoj estis ofertitaj por evoluigado de Apache-projektoj: la centralizita versiokontrolsistemo Subversion kaj la malcentralizita sistemo Git. Ekde 2014, Apache-deponejaj speguloj estis lanĉitaj sur GitHub, haveblaj en nurlegebla reĝimo. Nun […]
