Blog kategória
Megjelent a Coq (kakas) interaktív tételbizonyító eszköz 8.12-es verziója (a hír írásának időpontjában az utolsó elérhető kiskiadás 8.12.1). A Coq tartalmaz egy Gallina (tyúk) függő típusú programozási nyelvet, amely a konstrukcióelmélet elméletére épít. A Coq rendszere lehetővé teszi számítógépesen ellenőrizhető tételbizonyítványok és megegyező specifikációval rendelkező programok fejlesztését. Az új verzióban […]
November 15-én a Purism megkezdte a Librem-5 telefonok tömeggyártásra szánt verzióinak elküldését, amelynek kódneve Evergreen. Az elküldés lépésről lépésre történik. Először a korai megrendelőknek szállítanak. A késői megrendelők készülékeinek kiszállítása a 2021-es első negyedévben várható. A készülék jellemzői nem változtak jelentősen. A legfrissebb változások között meg kell említeni az akkumulátor kapacitásának 4500 mAh-ra történő növelését. Az Evergreen […]
Elérhető a Firefox 83 JS-motorja, a SpiderMonkey, amely jelentős frissítést kapott Warp kódnéven, ennek következtében javult a biztonság, a teljesítmény (akár 15%-kal), az oldalak válaszideje (akár 12%-kal), csökkent a memóriahasználat (8%-kal). Például a Google Docs betöltődése körülbelül 20%-kal felgyorsult. A „csak HTTPS” módot elegendően érettnek ítélik (mostantól figyelembe veszi a helyi hálózatok címét, ahol gyakran […]
A korábban blokkolt youtube-dl tároló a GitHub-on november 16-án feloldásra került, miután az EFF (Electronic Frontier Foundation, Elektronikus Határ Alapítvány) érvet hozott fel a DMCA szerinti jogsértési állítással szemben [PDF]. A GitHub (amely a Microsoft birtokában van) azt nyilatkozta, hogy úgy döntött, az állítás nem felel meg a DMCA szerinti törlésre vonatkozó politikájának. Forrás: linux.org.ru
Ez a történet 2012 táján kezdődött, amikor Matthew Miller, a Fedora projekt akkor még új vezetője előtt egy látszólag egyszerű feladat állt: lehetővé tenni az AWS-felhő ügyfelei számára, hogy egyszerűen telepíthessék a Fedora alapú szervereket. A felhőinfrastruktúrában használható képek összeállításának technikai feladatát viszonylag gyorsan megoldották. Így tanto annak qcow és […]
Megjelent a Linux/BSD dinamikus útválasztás kezelésére szolgáló Frrouting program új verziója! Elérhető változások: BFD profilok támogatása, minimális TTL beállításának támogatása, BGP RPKI támogatás a VRF-ben, kijavítások a BGP Graceful Restart-hoz. Új opció a részletes útvonalak megjelenítésére, új maximum-prefix <num> force bestpath-routes konfiguráló opció a szomszédhoz. Hozzáadva a bgp shutdown message MSG… parancs. Lehetőség lett […]
Az OCCT – a geometriai modellezés egyetlen aktuális, nyílt forráskódú magja, amely szabad licenc alatt terjesztendő. Az Open CASCADE Technology fontos eleme olyan projekteknek, mint a FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT és mások. Az OCCT 7.5.0 verziója több mint 400 fejlesztést és javítást tartalmaz a korábbi 7.4.0 verzióhoz képest. Az Open CASCADE […]
Az AndroWish – egy natív tcl/tk port Android platformra, amely lehetővé teszi a szkriptek futtatását változtatások nélkül vagy minimális módosításokkal. Android-specifikus parancsok is fejlesztés alatt állnak, az operációs rendszer és az eszközök közötti interakcióhoz: borg – az Android kezelése és interakció; ble – a bluetooth eszközökkel való interakcióhoz; rfcomm, usbserial – adatátvitel bluetooth és usb-serial eszközökön keresztül. Tartalmazza a szükséges […]
A Microsoft kiadta a .NET 5-öt Windows, macOS és Linux operációs rendszerekhez. A .NET 5 egy egységes, nyílt forráskódú platform, amely egyesíti a .NET Core, .NET Framework, Xamarin és Mono rendszereket, lehetővé téve az egyetlen kódalap használatát minden platformon, beleértve az Androidot és iOS-t. Jelentős teljesítményjavulás és memóriafogyasztás csökkenés történt, C# 9 és F# 5 új könyvtárakkal […]
„Minden levelezési kliens szar. Ez csak kevésbé szar.” frissült a 2.0 verzióra. A szám ilyen drámai növekedése leginkább nem új lehetőségek megjelenésének köszönhető (ezek nem olyan sokan vannak a korábbi kiadásokhoz képest), hanem számos visszafelé nem kompatibilis módosításnak: az <attach-file> parancs használatakor több melléklet megtekintésére és kiválasztására, kilépés […]
https://www.linux.org.ru/images/19295/1500px.jpg Megjelent a Qt Visual Graph Editor 0.6.1, a multiplatform grafikai szerkesztő új verziója. Ez a verzió szorosabb integrációt nyújt a GraphViz csomaggal, különösen: a DOT formátumú gráfok közvetlenül a dot segítségével töltődnek be, ami lehetővé teszi a sokkal jobb elemzést; a GraphViz elrendezésmotorjainak közvetlen hívása az alkalmazás grafikus felületéről, az eredmények azonnali megtekintésével. Az alkalmazásból […]
2020. november 7-én megjelent a FontForge, a nyílt forráskódú betűszerkesztő, a projekt 20. évfordulója alkalmából, amely eredetileg PfaEdit néven volt ismert. A projekt szerzője George W. Williams, aki 2012-ig a fő (és szinte egyetlen) fejlesztő volt. A FontForge 20th Anniversary Edition (más néven FontForge 20201107) bináris csomagjai egy különleges bevezetővel érkeznek a jubileum tiszteletére. A legfontosabb változás […]