Blog Section
Version 8.12 (the latest available minor version at the time of writing this news – 8.12.1) of the Coq interactive theorem proving tool (rooster) has been released. Coq includes a programming language with dependent types Gallina (hen), based on the theory of constructions. The Coq system allows for the development of both computer-verifiable proofs of theorems and programs along with proof of compliance with specifications. The new version includes […]
On November 15, Purism started shipping the Librem 5 phones in the production model code-named Evergreen. The shipments are divided into phases. Initially, devices will be shipped to early customers. Shipments for late customers are planned for the first quarter of 2021. The device's specifications have not changed significantly. Among the latest changes is the increased battery capacity, now up to 4500 mAh.
Firefox 83 has been released, with its JS engine SpiderMonkey receiving a major update code-named Warp, resulting in improved security, performance (up to 15%), page responsiveness (up to 12%), and reduced memory usage (by 8%). For example, loading Google Docs has become approximately 20% faster. The 'HTTPS Only' mode has been deemed sufficiently mature (now it accounts for addresses in local networks where HTTPS is often applied).
The previously blocked youtube-dl repository on GitHub was unblocked on November 16 after the EFF (Electronic Frontier Foundation) presented arguments against the DMCA claim [PDF]. GitHub (owned by Microsoft) stated that it determined the claim did not align with its DMCA removal policy. Source: linux.org.ru
This story began back in 2012 when Matthew Miller, then a new leader of the Fedora project, was tasked with a seemingly simple goal: to provide AWS cloud customers the ability to easily deploy Fedora-based servers. The technical challenge of building images suitable for use in cloud infrastructure was resolved fairly quickly. So both qcow and ...
A new version of the dynamic routing management program for linux/BSD Frrouting has been released! Available changes: BFD profile support, minimum TTL configuration support, BGP RPKI support in VRF, BGP Graceful Restart fixes, detailed route display option added, maximum-prefix force bestpath-routes configuration option for neighbor added, bgp shutdown message MSG command added... Added the ability to ...
OCCT is the only current geometrical modeling kernel that is open source and distributed under a free license. Open CASCADE Technology is a crucial component of projects like FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT, and others. Version OCCT 7.5.0 includes over 400 improvements and fixes compared to the previous version 7.4.0. The Open CASCADE […]
AndroWish is a native tcl/tk port with batteries included for the Android platform, allowing scripts to run without modifications or with minimal changes. Android-specific commands are also being developed for interaction with the system and devices: borg for managing and interacting with Android; ble for Bluetooth device interaction; rfcomm and usbserial for data transmission via Bluetooth and USB-serial devices. It includes necessary […]
Microsoft has released .NET 5 for Windows, macOS, and Linux operating systems. .NET 5 is a unified open-source platform that merges .NET Core, .NET Framework, Xamarin, and Mono, allowing developers to use a single codebase for all platforms, including Android and iOS. Performance has significantly improved, and memory consumption has been reduced, with C# 9 and F# 5 introducing new output code libraries […]
“All mail clients suck. This one just sucks less.” has been updated to version 2.0. The radical increase in its version number is mainly due to the introduction of several backward-incompatible changes rather than the addition of new features (which are not numerous compared to previous releases): when using the command to view and select multiple attachments, exiting […]
https://www.linux.org.ru/images/19295/1500px.jpg The latest release of the cross-platform visual graph editor Qt Visual Graph Editor 0.6.1 has been announced. This version features closer integration with the GraphViz package, specifically: graphs in DOT format are loaded directly via dot, which allows for significantly better parsing; GraphViz layout engines can be called directly from the application's graphical interface, with immediate preview of results. Additionally, from the application […]
On November 7, 2020, the free font editor FontForge was released to commemorate the 20th anniversary of the project, originally named PfaEdit. The project's author is George W. Williams, who was the main (and almost sole) developer until 2012. The binary packages of the FontForge 20th Anniversary Edition (also known as FontForge 20201107) come with a special splash screen to celebrate the anniversary. The most significant change […]