Компания Sony опубликовала отчётность за финансовый год, который подошёл к концу 31 марта 2019 года. На основе представленных данных можно сделать вывод о том, что несмотря на некоторое замедление продаж оборудования для PlayStation4, сама консоль всё ещё продаётся с впечатляющей скоростью. На данный момент по всему миру реализовано 96,8 млн копий PS4, а значит общее […]
Az egyik legnagyobb orosz fejlesztő, a "Module" tudományos és műszaki központ a navigációhoz érkezett. Eddig a központ eszközei között szerepeltek vezérlők és mikroprocesszorok sokféle célra. Az új tevékenységi terület kibővíti az orosz fejlesztők tapasztalatát és kínálatát. A Modul különösen a nagy pontosságú navigációs eszközök piacára kíván belépni, és 2024-re az oroszországi piac 15–18%-át kívánja elfoglalni, […]
Az Intel honlapján először idén februárban megjelent éves jelentésben a cég – nem egészen nyilvánvaló okokból – „története elsőjének” nevezi a fejlesztés alatt álló diszkrét grafikus megoldást, bár az iparági fejlesztési szakértők emlékezhetnek arra, hogy az Intel még a múlt század kilencvenes éveinek közepén próbált szerencsét diszkrét videokártyákkal. Lényegében egy diszkrét grafikus megoldás fejlesztése […]
A Microsoft egyszer bejelentette, hogy körülbelül 7 GB helyet fog használni a felhasználó merevlemezén a frissítési fájlok tárolására. Ennek a megközelítésnek az az előnye, hogy biztosítja, hogy ne fogyjon ki a hely a frissítés közepén. A hátrány banális - egyszerűen nincs elég hely az olcsó táblagépeken és laptopokon. Ha korábban a minimális követelmény […]
Véleményem szerint az internet orosz nyelvű szektorában a formális ellenőrzés témája nincs kellőképpen lefedve, és különösen hiányoznak az egyszerű és világos példák. Hozok egy példát külföldi forrásból, és hozzáteszem a saját megoldásomat a jól ismert farkas, kecske és káposzta átkelés problémájához a folyó túlpartjára. Először azonban röviden leírom, mi a formális ellenőrzés, és miért [...]
A formális ellenőrzés egy program vagy algoritmus ellenőrzése egy másikkal. Ez az egyik leghatékonyabb módszer, amely lehetővé teszi a program összes sérülékenységének megtalálását, vagy annak bizonyítását, hogy azok nem léteznek. A formai verifikáció részletesebb leírása korábbi cikkem Farkas, kecske és káposzta probléma megoldásának példájában látható. Ebben a cikkben én […]
Ebben a cikkben elmondom, hogyan kell használni a pinbát a clickhouse-szal és a grafanával a pinba_engine és a pinboard helyett. Egy PHP-projektben a pinba talán az egyetlen megbízható módja annak, hogy megértsük, mi történik a teljesítménnyel. Igaz, a pinba rendszerint csak akkor kerül bevezetésre, ha már észlelték a problémákat, és nem világos, „hol kell ásni”. Gyakran senkinek fogalma sincs, hányszor másodpercenként […]
Ez egy novella a valós gyakorlatból, amikor egy kis probléma, jól álcázva a hibatűrést, fejfájássá válik. Kis elrendezés: Kis fióktelep, saját PBX-je (csillag + FreePBX), amely asztali hardveren alapul, és ugyanaz a helyi terminálkiszolgáló 1C-vel, fájlkiíratással és virtuális RO tartományvezérlővel. Az Internet terjeszti a Mikrotikt. Kicsi az ág, elég nekik. Az egész kezdődött […]
Ez a második a technológiáról, az emberekről és egymásra gyakorolt hatásukról szóló heti összefoglalók sorozatában. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) arról, hogyan hozhat létre harmonikus terméknövekedést egy startupban. Menő ötletek, statisztikák és példák iparágaik legjobb technológiai vállalataitól. 19 oldalas elektronikus könyv, mindenkinek ajánlott olvasmány […]
A TrueOS Project bejelentette a FreeBSD 12-STABLE és a FreeBSD 13-CURRENT kísérleti buildjeinek tesztelését, amelyek a monolitikus alaprendszert összekapcsolt csomagok sorozatává alakítják át. A buildeket a pkgbase projekt keretében fejlesztették ki, amely eszközöket biztosít a natív pkg csomagkezelő használatához az alaprendszert alkotó csomagok kezelésére. A külön csomagok formájában történő szállítás lehetővé teszi az alapvető […]
A Blue Origin hivatalos Twitter-oldalán megjelent egy fénykép a híres felfedező, Ernest Shackleton hajójáról, aki az Antarktiszt tanulmányozta. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. április 2019. A képen május 9-i dátum szerepel, leírás pedig nincs, így csak sejthetjük, hogy Shackleton expedíciós hajója hogyan kapcsolódik Jeff teréhez cég Bezos. Feltételezhető [...]
Az Apache Foundation bejelentette, hogy befejezte az infrastruktúra és a GitHub integrációját, valamint az összes git szolgáltatásának a GitHubra való migrálását. Kezdetben két verzióellenőrző rendszert kínáltak az Apache projektek fejlesztésére: a központi Subversion verziókezelő rendszert és a decentralizált Git rendszert. 2014 óta az Apache tárolótükrök megjelentek a GitHubon, amelyek csak olvasható módban érhetők el. Most […]
