ProHoster > Blog > Internet News

Category: Internet News

Internet News Section

topalias: a utility for generating short aliases from bash/zsh history

Posted on

An Open Source utility for generating short aliases from bash/zsh history has been published on GitHub: https://github.com/CSRedRat/topalias. The tasks that the program solves include: Analyzing files ~/bash_aliases, ~/bash_history, ~/zsh_history with the command execution history in the Linux terminal in Bash/Zsh. It offers short abbreviations (acronyms) for long, frequently typed, and hard-to-remember commands (even if you might not suspect so) […]

Coq 8.12

Posted on

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 […]

The shipment of Librem 5 Evergreen has begun.

Posted on

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

Posted on

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).

youtube-dl on GitHub has been unblocked

Posted on

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

Fedora 33 images have been released on AWS Marketplace

Posted on

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 ...

Frrouting 7.5

Posted on

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 ...

A new version of Open CASCADE Technology (OCCT) 7.5.0 has been released

Posted on

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 […]

The release of androwish 'The Flux Capacitor' is out.

Posted on

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 […]

.NET 5 Release

Posted on

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 […]

The Mutt 2.0

Posted on

“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 […]

QVGE 0.6.1 Release (Integration with GraphViz)

Posted on

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 […]

« to the beginning 619 620 621 622 623 624 625 626 627 628 to the end »
Buy reliable website hosting with DDoS protection, VPS VDS servers 🔥 Buy reliable website hosting with DDoS protection, VPS VDS servers | ProHoster