Sony publikoi raportet për vitin financiar, i cili përfundoi më 31 mars 2019. Bazuar në të dhënat e paraqitura, mund të konkludojmë se megjithë një ngadalësim të lehtë në shitjet e harduerit PlayStation4, vetë konsola ende po shitet me një ritëm mbresëlënës. Aktualisht, 96,8 milionë kopje të PS4 janë shitur në mbarë botën, që do të thotë se totali […]
Një nga zhvilluesit më të mëdhenj rusë, qendra shkencore dhe teknike "Module", erdhi në lundrim. Deri më tani, asetet e qendrës përfshinin kontrollues dhe mikroprocesorë për një gamë të gjerë qëllimesh. Zona e re e aktivitetit do të zgjerojë përvojën dhe ofertën e zhvilluesve rusë. Në veçanti, Modul do të hyjë në tregun e pajisjeve të navigimit me precizion të lartë, duke pritur të zërë 2024–15% të këtij tregu në Rusi deri në vitin 18, […]
Në raportin vjetor, i cili u shfaq për herë të parë në faqen e internetit të Intel në shkurt të këtij viti, kompania, për arsye jo plotësisht të dukshme, e quan zgjidhjen diskrete grafike që po zhvillohet "e para në historinë e saj", megjithëse ekspertët e zhvillimit të industrisë mund të kujtojnë se Intel provoi fatin me karta video diskrete në mesin e viteve nëntëdhjetë të shekullit të kaluar. Në thelb, duke zhvilluar një zgjidhje diskrete grafike […]
Microsoft dikur njoftoi se do të përdorte rreth 7 GB hapësirë në hard diskun e përdoruesit për të ruajtur skedarët e përditësimit. Përfitimi i kësaj qasjeje është se do të sigurojë që të mos ju mbarojë hapësira në mes të një përditësimi. Disavantazhi është banal - thjesht nuk ka hapësirë të mjaftueshme në tableta dhe laptopë të lirë. Nëse më parë kërkesa minimale […]
Sipas mendimit tim, në sektorin e internetit në gjuhën ruse, tema e verifikimit zyrtar nuk është e mbuluar sa duhet, dhe veçanërisht ka mungesë të shembujve të thjeshtë dhe të qartë. Do të jap një shembull nga një burim i huaj dhe do t'i shtoj zgjidhjen time problemit të njohur të kalimit të një ujku, një dhie dhe një lakre në anën tjetër të lumit. Por së pari, unë do të përshkruaj shkurtimisht se çfarë është verifikimi zyrtar dhe pse [...]
Verifikimi formal është verifikimi i një programi ose algoritmi duke përdorur një tjetër. Kjo është një nga metodat më të fuqishme që ju lejon të gjeni të gjitha dobësitë në një program ose të provoni se ato nuk ekzistojnë. Një përshkrim më i detajuar i verifikimit zyrtar mund të shihet në shembullin e zgjidhjes së problemit të Ujkut, Dhisë dhe lakrës në artikullin tim të mëparshëm. Në këtë artikull unë […]
Në këtë artikull do t'ju tregoj se si të përdorni pinba me clickhouse dhe grafana në vend të pinba_engine dhe pinboard. Në një projekt PHP, pinba është ndoshta mënyra e vetme e besueshme për të kuptuar se çfarë po ndodh me performancën. Vërtetë, pinba zakonisht zbatohet vetëm kur problemet tashmë janë vërejtur dhe nuk është e qartë "ku të gërmoni". Shpesh askush nuk e ka idenë se sa herë në sekondë/minutë […]
Kjo është një histori e shkurtër nga praktika reale, kur një problem i vogël, i maskuar mirë nga toleranca ndaj gabimeve, kthehet në një dhimbje koke. Dispozicion i vogël: Një degë e vogël, ka PBX-në e vet (yll + FreePBX) bazuar në harduerin e desktopit dhe të njëjtin server terminal lokal me 1C, një depo skedari dhe një kontrollues domeni virtual RO. Interneti shpërndan Mikrotik. Dega është e vogël, u mjafton atyre. Gjithçka filloi […]
Ky është i dyti në një seri përmbledhjesh javore për teknologjinë, njerëzit dhe mënyrën se si ata ndikojnë njëri-tjetrin. Andy Jones (ish-Wealthfront, Facebook, Twitter, Quora) se si të krijoni rritje harmonike të produktit në një startup. Ide interesante, statistika dhe shembuj nga kompanitë më të mira të teknologjisë në industritë e tyre. Një libër elektronik prej 19 faqesh, i rekomanduar për lexim për këdo […]
Projekti TrueOS ka njoftuar testimin e ndërtimeve eksperimentale të FreeBSD 12-STABLE dhe FreeBSD 13-CURRENT, të cilat transformojnë sistemin bazë monolit në një grup paketash të ndërlidhura. Ndërtimet janë zhvilluar si pjesë e projektit pkgbase, i cili ofron mjete për përdorimin e menaxherit vendas të paketave pkg për të menaxhuar paketat që përbëjnë sistemin bazë. Dorëzimi në formën e paketave të veçanta ju lejon të thjeshtoni ndjeshëm procesin e përditësimit bazë […]
Një fotografi e anijes së eksploruesit të famshëm Ernest Shackleton, i cili po studionte Antarktidën, u shfaq në faqen zyrtare të Twitter-it Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) April 26, 2019 Fotografia është mbishkrim me datën 9 maj dhe nuk ka asnjë përshkrim, kështu që ne mund të hamendësojmë vetëm se si anija e ekspeditës së Shackleton është e lidhur me hapësirën e Jeff kompania Bezos. Mund të supozohet [...]
Fondacioni Apache njoftoi se ka përfunduar punën për integrimin e infrastrukturës së tij me GitHub dhe migrimin e të gjitha shërbimeve të tij git në GitHub. Fillimisht, dy sisteme të kontrollit të versioneve u ofruan për zhvillimin e projekteve Apache: sistemi i centralizuar i kontrollit të versionit Subversion dhe sistemi i decentralizuar Git. Që nga viti 2014, pasqyrat e depove Apache janë lëshuar në GitHub, të disponueshme në modalitetin vetëm për lexim. Tani […]
