Sony birti skýrslur fyrir fjárhagsárið sem lauk 31. mars 2019. Byggt á gögnunum sem kynnt eru getum við ályktað að þrátt fyrir smá samdrátt í sölu á PlayStation4 vélbúnaði sé leikjatölvan sjálf enn að seljast á glæsilegum hraða. Eins og er hafa 96,8 milljónir eintaka af PS4 selst um allan heim, sem þýðir alls […]
Einn stærsti rússneski verktaki, vísinda- og tæknimiðstöðin "Module", kom að siglingum. Hingað til voru eignir miðstöðvarinnar stýringar og örgjörvar í margvíslegum tilgangi. Nýja starfssviðið mun auka reynslu og tilboð rússneskra forritara. Sérstaklega mun Modul fara inn á markað fyrir leiðsögutæki með mikilli nákvæmni og búast við að ná 2024–15% af þessum markaði í Rússlandi árið 18, […]
Í ársskýrslunni, sem birtist fyrst á vefsíðu Intel í febrúar á þessu ári, kallar fyrirtækið, af ástæðum sem eru ekki alveg augljósar, aðgreindu grafíklausnina sem verið er að þróa „þá fyrstu í sögu sinni,“ þó að sérfræðingar í þróunariðnaði muni kannski eftir því. að Intel hafi reynt heppni sína með aðskildum skjákortum aftur um miðjan tíunda áratug síðustu aldar. Í meginatriðum, að þróa staka grafíklausn […]
Microsoft tilkynnti einu sinni að það myndi nota um 7 GB af plássi á harða diski notandans til að geyma uppfærsluskrár. Kosturinn við þessa nálgun er að hún mun tryggja að þú verðir ekki uppiskroppa með pláss í miðri uppfærslu. Ókosturinn er banal - það er einfaldlega ekki nóg pláss á ódýrum spjaldtölvum og fartölvum. Ef áður var lágmarkskrafa […]
Að mínu mati er ekki nægjanlega fjallað um formlega sannprófun í rússneskumælandi geira internetsins og sérstaklega skortir einföld og skýr dæmi. Ég mun nefna dæmi úr erlendri heimild og bæta við eigin lausn á hinu þekkta vandamáli að fara yfir úlf, geit og kál hinum megin við ána. En fyrst mun ég lýsa stuttlega hvað formleg sannprófun er og hvers vegna [...]
Formleg sannprófun er sannprófun á einu forriti eða reiknirit með því að nota annað. Þetta er ein öflugasta aðferðin sem gerir þér kleift að finna alla veikleika í forriti eða sanna að þeir séu ekki til. Nánari lýsingu á formlegri sannprófun má sjá í dæminu um lausn úlfa-, geita- og hvítkálsvandans í fyrri grein minni. Í þessari grein […]
Í þessari grein mun ég segja þér hvernig á að nota pinba með clickhouse og grafana í staðinn fyrir pinba_engine og pinboard. Í PHP verkefni er pinba kannski eina áreiðanlega leiðin til að skilja hvað er að gerast með frammistöðu. Að vísu er pinba venjulega aðeins útfært þegar vandamál eru þegar vart og ekki er ljóst „hvar á að grafa“. Oft hefur enginn hugmynd um hversu oft á sekúndu/mínútu […]
Þetta er stutt saga úr raunverulegri æfingu, þegar lítið vandamál, vel dulbúið af bilanaþoli, breytist í höfuðverk. Lítil ráðstöfun: Lítið útibú, það hefur sína eigin PBX (stjörnu + FreePBX) byggt á skjáborðsvélbúnaði og sama staðbundnu flugstöðvaþjóni með 1C, skráahaug og sýndar RO lénsstýringu. Netið dreifir Mikrotik. Útibúið er lítið, það er nóg fyrir þá. Þetta byrjaði allt […]
Þetta er önnur í röð vikulegra uppdrátta um tækni, fólk og hvernig það hefur áhrif á hvert annað. Andy Jones (fyrrverandi Wealthfront, Facebook, Twitter, Quora) um hvernig eigi að skapa samfelldan vöruvöxt í gangsetningu. Flottar hugmyndir, tölfræði og dæmi frá bestu tæknifyrirtækjum í sínum atvinnugreinum. Rafræn bók upp á 19 síður, mælt með lestri fyrir alla […]
TrueOS Project hefur tilkynnt um prófun á tilraunagerð af FreeBSD 12-STABLE og FreeBSD 13-CURRENT, sem umbreyta einlita grunnkerfinu í sett af samtengdum pakka. Smíðin eru þróuð sem hluti af pkgbase verkefninu, sem veitir verkfæri til að nota innfædda pkg pakkastjórann til að stjórna pökkunum sem mynda grunnkerfið. Afhending í formi aðskildra pakka gerir þér kleift að einfalda verulega ferlið við að uppfæra grunn […]
Ljósmynd af skipi hins fræga landkönnuðar Ernest Shackleton, sem rannsakaði Suðurskautslandið, birtist á opinberu Twitter-síðu Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. apríl 2019 Myndin er með dagsetningunni 9. maí og það er engin lýsing, svo við getum aðeins giskað á hvernig leiðangursskip Shackletons er tengt geimnum hans Jeffs fyrirtæki Bezos. Gera má ráð fyrir [...]
Apache Foundation tilkynnti að það hafi lokið vinnu við að samþætta innviði sína við GitHub og flytja alla Git þjónustu sína yfir á GitHub. Upphaflega voru boðin tvö útgáfustýringarkerfi til að þróa Apache verkefni: miðstýrða útgáfustýringarkerfið Subversion og dreifða kerfið Git. Síðan 2014 hafa speglar af Apache geymslum verið hleypt af stokkunum á GitHub, fáanlegir í skrifvarið ham. Nú […]
