Sony julkaisi raportit tilikaudelta, joka päättyi 31. maaliskuuta 2019. Esitettyjen tietojen perusteella voimme päätellä, että PlayStation4-laitteiston myynnin lievästä hidastumisesta huolimatta itse konsoli myy edelleen vaikuttavaa tahtia. Tällä hetkellä PS96,8:ää on myyty maailmanlaajuisesti 4 miljoonaa kappaletta, mikä tarkoittaa yhteensä […]
Yksi suurimmista venäläisistä kehittäjistä, tieteellinen ja tekninen keskus "Module", tuli navigointiin. Tähän asti keskuksen varoihin kuului ohjaimia ja mikroprosessoreita monenlaisiin tarkoituksiin. Uusi toiminta-alue laajentaa venäläisten kehittäjien kokemusta ja tarjontaa. Erityisesti Modul aikoo tulla tarkkuusnavigointilaitteiden markkinoille ja odottaa ottavansa 2024–15 % näistä markkinoista Venäjällä vuoteen 18 mennessä, […]
Vuosiraportissa, joka ilmestyi ensimmäisen kerran Intelin verkkosivuilla tämän vuoden helmikuussa, yhtiö ei aivan ilmeisistä syistä kutsuu kehitettävää diskreetti grafiikkaratkaisua "historiansa ensimmäiseksi", vaikka alan kehitysasiantuntijat saattavat muistaa, että Intel kokeili onneaan erillisillä näytönohjaimilla XNUMX-luvun puolivälissä viime vuosisadalla. Pohjimmiltaan erillisen grafiikkaratkaisun kehittäminen […]
Microsoft ilmoitti kerran käyttävänsä noin 7 Gt tilaa käyttäjän kiintolevyltä päivitystiedostojen tallentamiseen. Tämän lähestymistavan etuna on, että se varmistaa, että tila ei lopu kesken päivityksen. Haittapuoli on banaalinen - edullisissa tableteissa ja kannettavissa tietokoneissa ei yksinkertaisesti ole tarpeeksi tilaa. Jos aiemmin vähimmäisvaatimus […]
Mielestäni venäjänkielisellä Internetin sektorilla muodollisen todentamisen aihetta ei ole käsitelty riittävästi, ja erityisesti yksinkertaisista ja selkeistä esimerkeistä puuttuu. Annan esimerkin ulkomaisesta lähteestä ja lisään oman ratkaisuni tunnettuun ongelmaan suden, vuohen ja kaalin ylittämisestä joen toiselle puolelle. Mutta ensin kuvailen lyhyesti, mitä muodollinen todentaminen on ja miksi [...]
Muodollinen varmennus on yhden ohjelman tai algoritmin todentamista käyttämällä toista. Tämä on yksi tehokkaimmista menetelmistä, jonka avulla voit löytää kaikki ohjelman haavoittuvuudet tai todistaa, että niitä ei ole olemassa. Tarkempi kuvaus muodollisesta todentamisesta on nähtävissä edellisen artikkelini esimerkissä Susi, vuohi ja kaali -ongelman ratkaisusta. Tässä artikkelissa minä […]
Tässä artikkelissa kerron kuinka käyttää pinbaa clickhousen ja grafanan kanssa pinba_engine:n ja pinboardin sijaan. PHP-projektissa pinba on ehkä ainoa luotettava tapa ymmärtää, mitä suorituskyvylle tapahtuu. Totta, pinba otetaan yleensä käyttöön vasta, kun ongelmia on jo havaittu, eikä ole selvää "minne kaivaa". Usein kenelläkään ei ole aavistustakaan kuinka monta kertaa sekunnissa/minuutissa […]
Tämä on lyhyt tarina tosikäytännöstä, kun pieni vika, joka on hyvin naamioitu vikasietoisuudella, muuttuu päänsärkyksi. Pieni sijoitus: Pieni haara, sillä on oma PBX (tähti + FreePBX), joka perustuu työpöytälaitteistoon ja sama paikallinen päätepalvelin, jossa on 1C, tiedostovedos ja virtuaalinen RO-verkkoalueohjain. Internet jakaa Mikrotikkiä. Haara on pieni, se riittää heille. Se kaikki alkoi […]
Tämä on toinen viikoittaisten tiivistelmien sarjassa teknologiasta, ihmisistä ja heidän vaikutuksistaan toisiinsa. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) kertoo kuinka luoda harmonista tuotekasvua startupissa. Hienoja ideoita, tilastoja ja esimerkkejä toimialojensa parhailta teknologiayrityksiltä. 19-sivuinen sähköinen kirja, jota suositellaan kaikille […]
TrueOS Project on ilmoittanut FreeBSD 12-STABLE:n ja FreeBSD 13-CURRENTin kokeellisten koontiversioiden testaamisesta, jotka muuttavat monoliittisen perusjärjestelmän joukoksi toisiinsa yhdistettyjä paketteja. Rakennukset on kehitetty osana pkgbase-projektia, joka tarjoaa työkalut alkuperäisen pkg-paketinhallinnan käyttämiseen perusjärjestelmän muodostavien pakettien hallintaan. Toimitus erillisinä paketteina mahdollistaa huomattavasti perustietojen päivittämisen yksinkertaistamisen […]
Valokuva Etelämannerta tutkivan kuuluisan tutkimusmatkailijan Ernest Shackletonin aluksesta ilmestyi Blue Originin viralliselle Twitter-sivulle. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. huhtikuuta 2019 Valokuvassa on päivämäärä 9. toukokuuta, eikä kuvausta ole, joten voimme vain arvailla, kuinka Shackletonin tutkimusalus liittyy Jeffin avaruuteen yhtiö Bezos. Voidaan olettaa [...]
Apache Foundation ilmoitti saaneensa päätökseen työt infrastruktuurinsa integroimiseksi GitHubiin ja kaikkien git-palveluidensa siirtämiseen GitHubiin. Aluksi Apache-projektien kehittämiseen tarjottiin kahta versionhallintajärjestelmää: keskitetty versionhallintajärjestelmä Subversion ja hajautettu järjestelmä Git. Vuodesta 2014 lähtien GitHubissa on julkaistu Apache-arkistopeilit, jotka ovat saatavilla vain luku -tilassa. Nyt […]
