Blog Kategori
Versi 8.12 (versi kecil terkini yang tersedia pada masa berita ini ditulis ialah 8.12.1) alat pembuktian teorem interaktif Coq (ayam jantan) telah dikeluarkan. Coq termasuk bahasa pengaturcaraan Gallina (ayam) dengan jenis bergantung, berdasarkan teori kalkulus konstruk. Sistem Coq membenarkan seseorang untuk membangunkan kedua-dua bukti teorem dan program yang boleh disahkan komputer bersama-sama dengan bukti pematuhan kepada spesifikasi. Versi baharu itu mempunyai […]
Pada 15 November, Purism mula menghantar telefon Librem-5, versi pengeluaran besar-besaran yang diberi nama kod Evergreen. Pengeposan terbahagi kepada beberapa peringkat. Unit early bird akan dihantar dahulu. Penghantaran peranti untuk pelanggan lewat dirancang untuk Q1 2021. Ciri-ciri peranti tidak banyak berubah. Antara perubahan terkini, perlu diperhatikan peningkatan kapasiti bateri sehingga 4500 mAh. Evergreen tidak […]
Pada awal tahun ini, Pine64 mengumumkan penghantaran pertama telefon pintar PinePhone sumber terbuka yang lasak. Ia menggabungkan perkakasan dan perisian sumber terbuka, kekurangan telemetri dan menawarkan akses penuh kepada semua dokumentasi yang tersedia. Telefon pintar mampu milik ini pada mulanya menyokong beberapa versi mudah alih. Linux, dengan sokongan untuk versi lain diumumkan untuk tarikh kemudian. Sokongan untuk KDE Plasma Mobile telah diumumkan hari ini. […]
Tiga bulan selepas Mozilla membubarkan pasukan yang membangunkan enjin pelayar web percuma Servo, projek itu beralih ke Linux Yayasan. Sumber: linux.org.ru
Firefox 83 kini tersedia Enjin JavaScript SpiderMonkey telah menerima kemas kini utama, bernama kod Warp, yang meningkatkan keselamatan, prestasi (peningkatan sehingga 15%), responsif halaman (sehingga 12%) dan mengurangkan penggunaan memori (sebanyak 8%). Sebagai contoh, kelajuan pemuatan Dokumen Google telah meningkat kira-kira 20%. Mod "HTTPS sahaja" dianggap agak sedia (ia kini mengambil kira alamat dari rangkaian tempatan, di mana penggunaan HTTPS selalunya [...]
Repositori youtube-dl yang disekat sebelum ini di GitHub telah dinyahsekat pada 16 November selepas EFF (Electronic Frontier Foundation) berhujah terhadap tuntutan DMCA [PDF]. GitHub (dimiliki oleh Microsoft) berkata ia telah menentukan kenyataan itu tidak mematuhi dasar alih keluar DMCAnya. Sumber: linux.org.ru
Kisah ini bermula pada tahun 2012, apabila Matthew Miller, ketika itu pemimpin baharu projek Fedora, diberi tugas yang kelihatan mudah: untuk menyediakan pelanggan awan AWS dengan keupayaan untuk menggunakan pelayan berasaskan Fedora dengan mudah. Cabaran teknikal membina imej yang sesuai untuk digunakan dalam infrastruktur awan telah diselesaikan dengan agak cepat. Jadi, kedua-dua qcow dan […]
Pencipta bahasa pengaturcaraan Python, Guido van Rossum, telah membuat pengumuman yang agak mengejutkan: Saya bosan dengan persaraan, jadi saya telah menyertai Bahagian Pembangun di Microsoft. Apa yang akan saya lakukan? Terdapat begitu banyak pilihan, saya tidak tahu apa yang perlu dipilih! Tetapi hasilnya, Python akan menjadi lebih mudah digunakan (dan bukan sahaja dalam Windows :-). Terdapat banyak […]
Di wilayah Ivanovo, peralihan besar-besaran agensi kerajaan kepada perisian domestik telah bermula. Menurut Jabatan Pembangunan Masyarakat Maklumat serantau, badan eksekutif telah memulakan peralihan daripada OS Windows mengenai sistem pengendalian keluarga Astra LinuxPerkhidmatan Persekutuan untuk Kawalan Teknikal dan Eksport (FSTEC) dan Majlis Persekutuan mencadangkan larangan sepenuhnya terhadap penggunaan penyelesaian IT asing di kemudahan infrastruktur kritikal (CIF), yang merangkumi agensi kerajaan, menjelang Januari 2021. Kakitangan kerajaan sedang dilatih […]
Versi baharu Frrouting, sebuah program untuk mengurus penghalaan dinamik dalam Linux/BSD, telah dikeluarkan! Perubahan yang tersedia: Sokongan Profil BFD Sokongan untuk menetapkan sokongan BGP TTL RPKI minimum dalam VRF Pembetulan dalam BGP Graceful Restart Menambah pilihan untuk memaparkan laluan terperinci Menambahkan pilihan konfigurasi awalan maksimum memaksa laluan laluan terbaik untuk konfigurasi pada saseda Menambahkan mesej penutupan bgp Perintah MSG... Menambah keupayaan untuk […]
OCCT ialah satu-satunya kernel pemodelan geometri sumber terbuka yang tersedia pada masa ini yang diedarkan di bawah lesen percuma. Teknologi CASCADE Terbuka ialah komponen utama projek seperti FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT dan lain-lain. OCCT versi 7.5.0 termasuk lebih 400 penambahbaikan dan pembaikan berbanding versi sebelumnya, 7.4.0. Buka CASCADE […]
AndroWish ialah port natif tcl/tk dengan bateri untuk platform Android, yang membolehkan skrip dijalankan dengan pengubahsuaian minimum atau tanpa pengubahsuaian. Perintah khusus Android untuk berinteraksi dengan sistem dan peranti juga sedang dibangunkan: borg — kawalan dan interaksi dengan Android; boleh — untuk berinteraksi dengan peranti Bluetooth; rfcomm, usbserial — pemindahan data melalui peranti Bluetooth dan siri USB. Termasuk yang diperlukan […]