Sony je objavil poročila za poslovno leto, ki se je končalo 31. marca 2019. Na podlagi predstavljenih podatkov lahko sklepamo, da se kljub rahli upočasnitvi prodaje strojne opreme PlayStation4 sama konzola še vedno prodaja z impresivno hitrostjo. Trenutno je bilo po vsem svetu prodanih 96,8 milijona izvodov PS4, kar pomeni skupno […]
Na navigacijo je prišel eden največjih ruskih razvijalcev, znanstveno-tehnični center "Modul". Sredstva centra so do sedaj vključevala krmilnike in mikroprocesorje za najrazličnejše namene. Novo področje dejavnosti bo razširilo izkušnje in ponudbo ruskih razvijalcev. Predvsem bo Modul vstopil na trg visoko preciznih navigacijskih naprav in pričakuje, da bo do leta 2024 zasedel 15–18 % tega trga v Rusiji, […]
V letnem poročilu, ki se je prvič pojavilo na Intelovi spletni strani februarja letos, podjetje iz ne povsem očitnih razlogov diskretno grafično rešitev, ki jo razvija, imenuje "prvo v svoji zgodovini", čeprav se strokovnjaki za razvoj industrije morda spomnijo, da Intel z diskretnimi grafičnimi karticami poskušal srečo že sredi devetdesetih let prejšnjega stoletja. V bistvu razvoj diskretne grafične rešitve […]
Microsoft je nekoč napovedal, da bo porabil približno 7 GB prostora na trdem disku uporabnika za shranjevanje posodobitvenih datotek. Prednost tega pristopa je, da bo zagotovil, da vam sredi posodobitve ne bo zmanjkalo prostora. Pomanjkljivost je banalna - na poceni tablicah in prenosnikih preprosto ni dovolj prostora. Če je prej minimalna zahteva […]
Po mojem mnenju v ruskojezičnem sektorju interneta tema formalnega preverjanja ni dovolj pokrita, še posebej pa primanjkuje preprostih in jasnih primerov. Navedel bom primer iz tujega vira, dodal pa bom svojo rešitev znanega problema prehoda volka, koze in zelja na drugo stran reke. Najprej pa bom na kratko opisal, kaj je formalna verifikacija in zakaj [...]
Formalno preverjanje je preverjanje enega programa ali algoritma z uporabo drugega. To je ena najmočnejših metod, ki vam omogoča, da poiščete vse ranljivosti v programu ali dokažete, da ne obstajajo. Podrobnejši opis formalnega preverjanja si lahko ogledate v primeru reševanja problema Volk, Koza in Zelje v mojem prejšnjem članku. V tem članku sem […]
V tem članku vam bom povedal, kako uporabiti pinba s clickhouse in grafana namesto pinba_engine in pinboard. Pri projektu PHP je pinba morda edini zanesljiv način za razumevanje, kaj se dogaja z zmogljivostjo. Res je, da se pinba običajno izvaja le, ko so že opažene težave in ni jasno, "kje kopati". Pogosto nihče nima pojma, kolikokrat na sekundo/minuto […]
To je kratka zgodba iz resnične prakse, ko se majhna težava, dobro prikrita s toleranco napak, spremeni v glavobol. Majhna dispozicija: Majhna podružnica, ima lastno PBX (zvezdico + FreePBX), ki temelji na namizni strojni opremi in isti lokalni terminalski strežnik z 1C, izpisom datoteke in virtualnim krmilnikom domene RO. Internet distribuira Mikrotik. Podružnica je majhna, to jim je dovolj. Vse se je začelo […]
To je drugi v seriji tedenskih povzetkov o tehnologiji, ljudeh in njihovem vplivu drug na drugega. Andy Jones (nekdanji Wealthfront, Facebook, Twitter, Quora) o tem, kako ustvariti harmonično rast izdelkov v startupu. Kul ideje, statistika in primeri najboljših tehnoloških podjetij v svojih panogah. Elektronska knjiga na 19 straneh, priporočljiva za vsakogar […]
Projekt TrueOS je napovedal testiranje eksperimentalnih gradenj FreeBSD 12-STABLE in FreeBSD 13-CURRENT, ki preoblikujejo monolitni osnovni sistem v niz med seboj povezanih paketov. Graditve so razvite kot del projekta pkgbase, ki ponuja orodja za uporabo izvornega upravitelja paketov pkg za upravljanje paketov, ki sestavljajo osnovni sistem. Dostava v obliki ločenih paketov vam omogoča bistveno poenostavitev postopka posodabljanja osnovne […]
Na uradni Twitter strani Blue Origin se je pojavila fotografija ladje slavnega raziskovalca Ernesta Shackletona, ki je preučeval Antarktiko. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. april 2019 Fotografija je označena z datumom 9. maj in ni opisa, tako da lahko le ugibamo, kako je Shackletonova ekspedicijska ladja povezana z Jeffovim vesoljem podjetje Bezos. Lahko se domneva [...]
Fundacija Apache je objavila, da je zaključila delo pri integraciji svoje infrastrukture z GitHub in selitvijo vseh svojih storitev git na GitHub. Sprva sta bila za razvoj projektov Apache na voljo dva sistema za nadzor različic: centraliziran sistem za nadzor različic Subversion in decentraliziran sistem Git. Od leta 2014 so na GitHubu predstavljena zrcalna ogledala repozitorija Apache, ki so na voljo v načinu samo za branje. Zdaj […]
