ProHoster > Blog

Categorie: Blog

Blogrubriek

Coq 8.12

Posted on

Versie 8.12 is uitgebracht (de laatste beschikbare minor versie op het moment van schrijven van het nieuws – 8.12.1) van de interactieve bewijsvoeringstool Coq (de haan). Coq omvat een programmeertaal met afhankelijke types, Gallina (de hen), die is gebaseerd op de theorie van constructietheorie. Het Coq-systeem stelt je in staat om zowel computer-verifyerbare bewijzen van stellingen als programma's samen met bewijs voor de overeenstemming met specificaties te ontwikkelen. In de nieuwe versie was er […]

Start van de verzendingen van Librem 5 Evergreen

Posted on

Op 15 november begon Purism met het verzenden van de Librem-5 telefoons van de massaproductievariant met de codenaam Evergreen. De verzending is in fases verdeeld. Eerst worden apparaten verzonden naar vroege bestellers. De verzending van apparaten voor late bestellers is gepland voor het eerste kwartaal van 2021. De specificaties van het apparaat zijn niet veel veranderd. Van de laatste wijzigingen valt de vergrote batterij van 4500 mAh op. Evergreen heeft geen […]

Firefox 83

Posted on

Firefox 83 heeft de JS-engine SpiderMonkey een grote update gegeven met de codenaam Warp, wat resulteert in verbeterde beveiliging, prestaties (tot 15% verbetering), responsiviteit van pagina's (tot 12%) en verminderd geheugengebruik (met 8%). Bijvoorbeeld, de laadtijd van Google Docs is met ongeveer 20% versneld. De ‘alleen HTTPS’-modus wordt als voldoende voorbereid beschouwd (nu houdt het rekening met adressen uit lokale netwerken, waar HTTPS vaak wordt toegepast […]

youtube-dl op GitHub is ontgrendeld.

Posted on

De eerder geblokkeerde repository youtube-dl op GitHub is op 16 november deblokeerd nadat EFF (Electronic Frontier Foundation) argumenten naar voren bracht tegen de DMCA-claim [PDF]. GitHub (onderdeel van Microsoft) verklaarde dat het had besloten dat de claim niet overeenkwam met haar DMCA-verwijderingsbeleid. Bron: linux.org.ru

Fedora 33-images zijn gepubliceerd in de AWS Marketplace

Posted on

Dit verhaal begon in 2012, toen Matthew Miller, op dat moment de nieuwe leider van het Fedora-project, voor de schijnbaar eenvoudige taak stond om klanten van de AWS-cloud de mogelijkheid te bieden om eenvoudig Fedora-gebaseerde servers in te zetten. De technische taak om afbeeldingsbestanden te maken die geschikt zijn voor gebruik in cloudinfrastructuren werd vrij snel opgelost. Zowel qcow als […]

Frrouting 7.5

Posted on

Er is een nieuwe versie van de software voor dynamische routering in Linux/BSD Frrouting uitgebracht! Beschikbare wijzigingen: BFD Profielondersteuning Ondersteuning voor het instellen van een minimale TTL BGP Ondersteuning voor RPKI in VRF Bugfixes in BGP Graceful Restart Een optie toegevoegd voor gedetailleerde weergave van routes Een configuratieoptie maximum-prefix force bestpath-routes voor configuratie op de buur Een commando bgp shutdown message MSG… Een mogelijkheid toegevoegd […]

Er is een nieuwe versie van Open CASCADE Technology (OCCT) 7.5.0 uitgebracht.

Posted on

OCCT is de enige actuele geometrische modelleringskernel met open source, die onder een vrije licentie wordt verspreid. Open CASCADE Technology is een belangrijk onderdeel van projecten zoals FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT en anderen. Versie OCCT 7.5.0 bevat meer dan 400 verbeteringen en bugfixes ten opzichte van de vorige versie 7.4.0. De versie van Open CASCADE […]

De release van androwish ‘The Flux Capacitor’ is uitgebracht.

Posted on

AndroWish — een native poort van tcl/tk met batterijen voor het Android-platform, waarmee scripts zonder wijzigingen of met minimale wijzigingen kunnen worden uitgevoerd. Er worden ook Android-specifieke commando's ontwikkeld voor interactie met het systeem en apparaten: borg — beheer en interactie met Android; ble — voor interactie met bluetooth-apparaten; rfcomm, usbserial — gegevensoverdracht via bluetooth en usb-serial apparaten. Bevat alles wat nodig is voor […]

Release .NET 5

Posted on

Microsoft heeft .NET 5 uitgebracht voor de besturingssystemen Windows, macOS, Linux. .NET 5 is een eenvormig open source-platform dat .NET Core, .NET Framework, Xamarin en Mono samenbrengt en het mogelijk maakt om één codebasis te gebruiken voor oplossingen op alle platforms, waaronder Android en iOS. De prestaties zijn aanzienlijk verbeterd en het geheugenverbruik is verminderd. C# 9 en F# 5 hebben nieuwe bibliotheken met uitvoer van code […]

The Mutt 2.0

Posted on

«All mail clients suck. This one just sucks less.» is bijgewerkt naar versie 2.0. Deze radicale verhoging van het aantal in de hogere versie is eerder te danken aan het aanbrengen van een aantal wijzigingen die de terugwaartse compatibiliteit schenden, dan aan het toevoegen van nieuwe mogelijkheden (die in vergelijking met eerdere versies niet zo talrijk zijn): bij gebruik van het commando <attach-file> om meerdere bijlagen te bekijken en te selecteren, sluit af na […]

Release QVGE 0.6.1 (integratie met GraphViz)

Posted on

https://www.linux.org.ru/images/19295/1500px.jpg De nieuwe release van de multiplatform visuele grafen editor Qt Visual Graph Editor 0.6.1 is uitgebracht. Deze versie kenmerkt zich door een nauwere integratie met het GraphViz-pakket, met name: grafen in DOT-formaat worden rechtstreeks via dot geladen, wat de parsing aanzienlijk verbetert; GraphViz-layoutengines kunnen direct vanuit de grafische interface van de applicatie worden aangeroepen, met onmiddellijke weergave van de resultaten. Ook vanuit de applicatie […]

FontForge 20th Anniversary Edition

Posted on

Op 7 november 2020 werd de vrije lettertype-editor FontForge gelanceerd ter gelegenheid van de 20-jarige jubileum van het project, oorspronkelijk genaamd PfaEdit. De auteur van het project is George W. Williams, die tot 2012 de hoofdontwikkelaar (en bijna de enige) was. De binaire pakketten van de release FontForge 20th Anniversary Edition (ook bekend als FontForge 20201107) worden geleverd met een speciale opstartanimatie ter ere van het jubileum. De meest significante wijziging […]

« begin 613 614 615 616 617 618 619 620 621 622 einde »
Koop betrouwbare webhosting met bescherming tegen DDoS, VPS VDS servers 🔥 Koop betrouwbare webhosting met bescherming tegen DDoS, VPS VDS servers | ProHoster