Sony menerbitkan laporan untuk tahun finansial yang berakhir pada 31 Maret 2019. Berdasarkan data yang disajikan, kita dapat menyimpulkan bahwa meskipun penjualan perangkat keras PlayStation4 mengalami sedikit penurunan, konsol tersebut masih terjual dengan tingkat penjualan yang mengesankan. Saat ini PS96,8 telah terjual sebanyak 4 juta kopi di seluruh dunia, yang berarti total […]
Salah satu pengembang terbesar Rusia, pusat ilmiah dan teknis "Modul", datang ke navigasi. Hingga saat ini, aset pusat tersebut mencakup pengontrol dan mikroprosesor untuk berbagai keperluan. Bidang kegiatan baru akan memperluas pengalaman dan tawaran pengembang Rusia. Secara khusus, Modul akan memasuki pasar perangkat navigasi presisi tinggi, dan diperkirakan akan menguasai 2024–15% pasar ini di Rusia pada tahun 18, […]
Dalam laporan tahunan, yang pertama kali muncul di situs web Intel pada bulan Februari tahun ini, perusahaan, karena alasan yang tidak jelas, menyebut solusi grafis diskrit yang sedang dikembangkan sebagai “yang pertama dalam sejarahnya”, meskipun pakar pengembangan industri mungkin ingat bahwa Intel mencoba peruntungannya dengan kartu video diskrit pada pertengahan tahun sembilan puluhan abad yang lalu. Intinya, mengembangkan solusi grafis diskrit […]
Microsoft pernah mengumumkan bahwa mereka akan menggunakan sekitar 7 GB ruang pada hard drive pengguna untuk menyimpan file pembaruan. Manfaat pendekatan ini adalah memastikan Anda tidak kehabisan ruang di tengah pembaruan. Kerugiannya biasa saja - tidak ada cukup ruang pada tablet dan laptop murah. Jika sebelumnya syarat minimal […]
Menurut pendapat saya, di sektor Internet berbahasa Rusia, topik verifikasi formal kurang dibahas, dan contoh-contoh yang sederhana dan jelas sangat kurang. Saya akan memberikan contoh dari sumber asing, dan menambahkan solusi saya sendiri pada masalah terkenal yaitu menyeberangi serigala, kambing, dan kubis ke seberang sungai. Namun pertama-tama, saya akan menjelaskan secara singkat apa itu verifikasi formal dan alasannya [...]
Verifikasi formal adalah verifikasi suatu program atau algoritma dengan menggunakan program atau algoritma lain. Ini adalah salah satu metode paling ampuh yang memungkinkan Anda menemukan semua kerentanan dalam suatu program atau membuktikan bahwa kerentanan tersebut tidak ada. Penjelasan lebih detail mengenai verifikasi formal dapat dilihat pada contoh penyelesaian masalah Serigala, Kambing, dan Kubis pada artikel saya sebelumnya. Dalam artikel ini saya […]
Pada artikel ini saya akan memberi tahu Anda cara menggunakan pinba dengan clickhouse dan grafana alih-alih pinba_engine dan pinboard. Pada proyek PHP, pinba mungkin satu-satunya cara yang dapat diandalkan untuk memahami apa yang terjadi dengan kinerja. Benar, pinba biasanya diterapkan hanya ketika masalah sudah terlihat dan tidak jelas “di mana harus menggalinya”. Seringkali tidak ada yang tahu berapa kali per detik/menit […]
Ini adalah cerita pendek dari praktik nyata, ketika sebuah masalah kecil, yang disamarkan dengan baik oleh toleransi kesalahan, berubah menjadi sakit kepala. Disposisi kecil: Cabang kecil, memiliki PBX sendiri (tanda bintang + FreePBX) berdasarkan perangkat keras desktop dan server terminal lokal yang sama dengan 1C, file dump dan pengontrol domain RO virtual. Internet mendistribusikan Mikrotik. Cabangnya kecil, itu cukup untuk mereka. Semua dimulai […]
Ini adalah bagian kedua dari serangkaian ringkasan mingguan tentang teknologi, manusia, dan bagaimana mereka saling mempengaruhi. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) tentang cara menciptakan pertumbuhan produk yang harmonis dalam sebuah startup. Ide keren, statistik, dan contoh dari perusahaan teknologi terbaik di industrinya. Buku elektronik setebal 19 halaman, direkomendasikan dibaca oleh siapa saja […]
Proyek TrueOS telah mengumumkan pengujian versi eksperimental FreeBSD 12-STABLE dan FreeBSD 13-CURRENT, yang mengubah sistem dasar monolitik menjadi serangkaian paket yang saling berhubungan. Pembangunan tersebut dikembangkan dalam proyek pkgbase, yang menyediakan alat untuk menggunakan manajer paket pkg asli untuk mengelola paket-paket yang membentuk sistem dasar. Pengiriman dalam bentuk paket terpisah memungkinkan Anda menyederhanakan proses pembaruan dasar […]
Foto kapal penjelajah terkenal Ernest Shackleton yang sedang mempelajari Antartika muncul di halaman Twitter resmi Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 April 2019 Foto tersebut diberi caption tanggal 9 Mei dan tidak ada keterangannya, jadi kita hanya bisa menebak bagaimana kapal ekspedisi Shackleton terhubung ke luar angkasa Jeff perusahaan Bezos. Dapat diasumsikan [...]
Apache Foundation mengumumkan bahwa mereka telah menyelesaikan pekerjaan mengintegrasikan infrastrukturnya dengan GitHub dan memigrasikan semua layanan gitnya ke GitHub. Awalnya, dua sistem kontrol versi ditawarkan untuk mengembangkan proyek Apache: sistem kontrol versi terpusat Subversion dan sistem desentralisasi Git. Sejak 2014, mirror repositori Apache telah diluncurkan di GitHub, tersedia dalam mode read-only. Sekarang […]
