Autor: ProHoster

Sony će prodati preko 5 miliona PS100 konzola do lansiranja PlayStation 4

Sony je objavio izvještaje za finansijsku godinu koja se završila 31. marta 2019. Na osnovu prezentiranih podataka možemo zaključiti da se uprkos blagom usporavanju prodaje PlayStation4 hardvera, sama konzola i dalje prodaje impresivnom stopom. Trenutno je širom svijeta prodato 96,8 miliona primjeraka PS4, što znači da je ukupan […]

Naučno-tehnički centar "Modul" predstavio prijemnik za visoko preciznu navigaciju

Jedan od najvećih ruskih programera, naučno-tehnički centar "Modul", došao je u navigaciju. Do sada su imovina centra uključivala kontrolere i mikroprocesore za širok spektar namjena. Novo područje djelovanja proširit će iskustvo i ponudu ruskih programera. Konkretno, Modul će ući na tržište visokopreciznih navigacijskih uređaja, očekujući da će zauzeti 2024-15% ovog tržišta u Rusiji do 18. godine, […]

Buduće Intel video kartice će biti objedinjene sa integrisanom grafičkom arhitekturom

U godišnjem izvještaju, koji se prvi put pojavio na web stranici Intela u februaru ove godine, kompanija, iz ne sasvim očiglednih razloga, naziva diskretno grafičko rješenje koje se razvija „prvim u svojoj povijesti“, iako se stručnjaci za razvoj industrije možda sjećaju da je Intel okušao je sreću sa diskretnim video karticama sredinom devedesetih godina prošlog veka. U suštini, razvoj diskretnog grafičkog rješenja […]

Windows 10 će se "udebljati" na najmanje 32 GB

Microsoft je jednom najavio da će koristiti oko 7 GB prostora na tvrdom disku korisnika za pohranjivanje datoteka ažuriranja. Prednost ovog pristupa je što će osigurati da vam ne ponestane prostora usred ažuriranja. Nedostatak je banalan - jednostavno nema dovoljno mjesta na jeftinim tabletima i laptopima. Ako je prethodno minimalni zahtjev […]

Formalna verifikacija na primjeru problema vuka, koze i kupusa

Po mom mišljenju, u sektoru interneta na ruskom jeziku tema formalne verifikacije nije dovoljno obrađena, a posebno nedostaju jednostavni i jasni primjeri. Navest ću primjer iz stranog izvora i dodati svoje rješenje poznatom problemu prelaska vuka, koze i kupusa na drugu stranu rijeke. Ali prvo ću ukratko opisati šta je formalna verifikacija i zašto [...]

Kreiranje formalnog sistema verifikacije od nule. Dio 1: VM znakova u PHP-u i Pythonu

Formalna verifikacija je verifikacija jednog programa ili algoritma pomoću drugog. Ovo je jedna od najmoćnijih metoda koja vam omogućava da pronađete sve ranjivosti u programu ili dokažete da one ne postoje. Detaljniji opis formalne verifikacije može se vidjeti na primjeru rješavanja problema vuka, koze i kupusa u mom prethodnom članku. U ovom članku […]

Traženje problema na pogrešnom mjestu

Ovo je kratka priča iz stvarne prakse, kada se mali problem, dobro prikriven tolerancijom grešaka, pretvori u glavobolju. Mala dispozicija: Mala filijala, ima sopstvenu PBX (asterisk + FreePBX) baziranu na desktop hardveru i isti lokalni terminal server sa 1C, dump fajlova i virtuelni RO domen kontroler. Internet distribuira Mikrotik. Grana je mala, to im je dovoljno. Sve je počelo […]

“Molimo, imajte na umu” #2: Sažetak članaka o razmišljanju o proizvodima, psihologiji ponašanja i ličnoj produktivnosti

Ovo je drugi u nizu sedmičnih sažetaka o tehnologiji, ljudima i njihovom utjecaju jedni na druge. Andy Jones (bivši Wealthfront, Facebook, Twitter, Quora) o tome kako stvoriti harmoničan rast proizvoda u startupu. Sjajne ideje, statistike i primjeri iz najboljih tehnoloških kompanija u svojim industrijama. Elektronska knjiga od 19 stranica, preporučeno štivo za svakoga […]

Testiranje podjele paketa osnovnog sistema FreeBSD

TrueOS projekat je najavio testiranje eksperimentalnih verzija FreeBSD 12-STABLE i FreeBSD 13-CURRENT, koje transformišu monolitni osnovni sistem u skup međusobno povezanih paketa. Građevine su razvijene kao dio pkgbase projekta, koji pruža alate za korištenje izvornog pkg menadžera paketa za upravljanje paketima koji čine osnovni sistem. Isporuka u obliku zasebnih paketa omogućava vam da značajno pojednostavite proces ažuriranja osnovnih […]

Blue Origin je tvitovao misterioznu sliku Shackletonovog broda

Fotografija broda poznatog istraživača Ernesta Shackletona, koji je proučavao Antarktik, pojavila se na zvaničnoj Twitter stranici Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. april 2019. Fotografija je potpisana sa datumom 9. maj i nema opisa, tako da možemo samo nagađati kako je Shackletonov ekspedicijski brod povezan sa Jeffovim svemirom kompanija Bezos. Može se pretpostaviti [...]

Fondacija Apache premjestila je svoja Git spremišta na GitHub

Fondacija Apache objavila je da je završila rad na integraciji svoje infrastrukture sa GitHub-om i migraciji svih svojih git servisa na GitHub. U početku su bila ponuđena dva sistema kontrole verzija za razvoj Apache projekata: centralizovani sistem kontrole verzija Subversion i decentralizovani sistem Git. Od 2014. godine, Apache repozitorijumi ogledala su lansirani na GitHub-u, dostupni u režimu samo za čitanje. Sad […]