Blog Kategori
Version 8.12 (the latest available minor version at the time of this news – 8.12.1) of the interactive theorem proving tool Coq has been released. Coq includes a programming language with dependent types, Gallina, based on the theory of construction calculus. 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 features […]
On November 15, Purism began shipping Librem-5 smartphones in the mass production modification codenamed Evergreen. The shipping is divided into stages. Initially, devices will be shipped to early customers. Shipping for late customers is planned for the first quarter of 2021. The specifications of the device have not changed much. Among the recent changes, it is worth noting the increased battery capacity to 4500 mA*h. Evergreen does not […]
Firefox 83 is available, and the JS engine SpiderMonkey received a major update codenamed Warp, which has improved security, performance (up to 15% increase), page responsiveness (up to 12%), and reduced memory usage (by 8%). For example, loading Google Docs has sped up by about 20%. The 'HTTPS-only' mode has been recognized as sufficiently ready (it now considers addresses from local networks where the use of HTTPS is often […]
The previously blocked youtube-dl repository on GitHub was unblocked on November 16, after the EFF (Electronic Frontier Foundation) provided arguments against the DMCA complaint [PDF]. GitHub (owned by Microsoft) stated that it determined the complaint did not comply with its DMCA takedown policy. Source: linux.org.ru
This story began back in 2012, when Matthew Miller, then the new leader of the Fedora project, was faced with a seemingly simple task: to provide AWS cloud clients the ability to easily deploy servers based on Fedora. The technical task of assembling images suitable for use in cloud infrastructure was solved quite quickly. Thus, both qcow and […]
Den nye version af programmet til håndtering af dynamisk routing i linux/BSD Frrouting er udgivet! Tilgængelige ændringer: BFD understøttelse af profiler. Understøttelse af indstilling af minimum TTL. BGP understøttelse af RPKI i VRF. Rettelser i BGP Graceful Restart. Tilføjet mulighed for detaljeret visning af ruter. Tilføjet mulighed for konfiguration af maximum-prefix force bestpath-routes for konfiguration på naboen. Tilføjet bgp shutdown message MSG… Tilføjet mulighed for […]
OCCT er den eneste aktuelle kernemodel for geometrisk modellering med åben kildekode, der distribueres under en fri licens. Open CASCADE Technology er en vigtig del af projekter som FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT og andre. Version OCCT 7.5.0 indeholder over 400 forbedringer og rettelser sammenlignet med den tidligere version 7.4.0. Version Open CASCADE […]
AndroWish er en native port af tcl/tk med batterier til Android-platformen, som giver mulighed for at køre scripts uden ændringer eller med minimale ændringer. Der udvikles også Android-specifikke kommandoer til samspil med systemet og enhederne: borg - styring og interaktion med Android; ble - til interaktion med bluetooth-enheder; rfcomm, usbserial - dataoverførsel via bluetooth og usb-serial enheder. Inkluderer nødvendige til […]
Microsoft har udgivet .NET 5 til operativsystemer som Windows, macOS, Linux. .NET 5 er en samlet open source platform, der kombinerer .NET Core, .NET Framework, Xamarin og Mono, hvilket muliggør brug af en samlet kodebase af løsninger til alle platforme, herunder Android og iOS. Ydelsen er væsentligt forbedret, og hukommelsesforbruget er reduceret. C# 9 og F# 5 nye biblioteker – output af kode […]
"Alle mailklienter er dårlige. Denne er bare mindre dårlig." er opdateret til version 2.0. Den radikale stigning i det første tal skyldes ikke så meget tilføjelsen af nye funktioner (de er ikke så mange sammenlignet med tidligere udgivelser), men derimod en række ændringer, der bryder bagudkompatibiliteten: ved brug af kommandoen til at se og vælge mange vedhæftede filer, lukker […]
https://www.linux.org.ru/images/19295/1500px.jpg Der nyeste udgave af den multiplatform grafeditor Qt Visual Graph Editor 0.6.1 er udgivet. Denne version adskiller sig ved en tættere integration med GraphViz-pakken, specifikt: grafer i DOT-format kan indlæses direkte via dot, hvilket forbedrer parsing-kvaliteten betydeligt; opkald af GraphViz layout-motorer direkte fra applikationens grafiske interface med øjeblikkelig forhåndsvisning af resultaterne. Desuden fra applikationen […]
Den 7. november 2020 blev den frie skrifteditor FontForge udgivet som en hyldest til 20-års jubilæet for projektet, som oprindeligt blev kaldt PfaEdit. Projektets grundlægger er George W. Williams, som frem til 2012 var hoved- (og næsten eneste) udvikler. De binære pakker for FontForge 20th Anniversary Edition (også kendt som FontForge 20201107) kommer med en speciel intro i ære for jubilæet. Den mest betydningsfulde ændring […]