Kategorie Blog
Vyšla verze 8.12 (poslední dostupná menší verze v době psaní této zprávy – 8.12.1) nástroje interaktivního dokazování vět Coq (kohout). Coq obsahuje programovací jazyk se závislými typy Gallina (slepička), který vychází z teorie kalkulu konstrukcí. Systém Coq umožňuje vyvíjet jak počítačově ověřitelné důkazy vět, tak programy spolu s důkazem shody se specifikací. V nové verzi byly […]
15. listopadu společnost Purism zahájila distribuci telefonů Librem-5 modifikace pro masovou výrobu s kódovým názvem Evergreen. Distribuce je rozdělena na etapy. Nejprve budou dodány zařízení pro rané objednávky. Odeslání zařízení pro pozdní objednávky je plánováno na 1. čtvrtletí 2021. Specifikace zařízení se moc nezměnily. Z posledních změn stojí za zmínku zvýšená baterie až na 4500 mAh.
K dispozici je Firefox 83. JS engine SpiderMonkey dostal velkou aktualizaci s kódovým názvem Warp, což vedlo ke zlepšení bezpečnosti, výkonu (nárůst až o 15 %), odezvy stránek (až 12 %) a snížení využití paměti (o 8 %). Například načítání Google Docs se zrychlilo přibližně o 20 %. Režim „pouze HTTPS“ se ukázal jako dostatečně připravený (nyní zohledňuje adresy z místní sítě, kde je použití HTTPS často […]
Dříve zablokovaný repozitář youtube-dl na GitHubu byl odblokován 16. listopadu poté, co EFF (Electronic Frontier Foundation, Nadace elektronických hranic) předložila argumenty proti žádosti o porušení DMCA [PDF]. GitHub (vlastněný Microsoftem) prohlásil, že se rozhodl, že žádost nevyhovuje její politice týkající se odstraňování podle DMCA. Zdroj: linux.org.ru
Tento příběh začal již v roce 2012, kdy před Matthew Millerem, tehdy novým lídrem projektu Fedora, stála na první pohled jednoduchá úloha: poskytnout zákazníkům AWS cloudu možnost snadno nasazovat servery na bázi Fedory. Technický úkol sestavit obrazy vhodné pro použití v cloudové infrastruktuře byl vyřešen relativně rychle. Takže jak qcow, tak […]
Byla vydána nová verze programu pro správu dynamického směrování v Linuxu/BSD Frrouting! Dostupné změny: BFD podpora profilů Podpora nastavení minimálního TTL BGP Podpora RPKI v VRF Opravy v BGP Graceful Restart Přidána možnost podrobného zobrazení tras Přidána možnost konfigurace maximum-prefix force bestpath-routes pro konfiguraci souseda Přidána příkaz bgp shutdown message MSG… Přidána možnost […]
OCCT — jediné aktuální jádro geometrického modelování s otevřeným zdrojovým kódem, distribuované pod svobodnou licencí. Open CASCADE Technology je důležitou součástí takových projektů jako FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT a dalších. Verze OCCT 7.5.0 zahrnuje více než 400 vylepšení a oprav oproti předchozí verzi 7.4.0. Verze Open CASCADE […]
AndroWish — nativní port tcl/tk s bateriemi pro platformu Android, který umožňuje spouštění skriptů bez změn, nebo s minimálními změnami. Také se vyvíjejí specifické příkazy pro Android, pro interakci se systémem a zařízeními: borg — správa a interakce s Androidem; ble — pro interakci s bluetooth zařízeními; rfcomm, usbserial — přenos dat přes bluetooth a usb-serial zařízení. Zahrnuje potřebné pro […]
Společnost Microsoft vydala .NET 5 pro operační systémy Windows, macOS, Linux. .NET 5 — jednotná open source platforma, která spojuje .NET Core, .NET Framework, Xamarin a Mono, umožňující použití jediné kódové základny pro všechna zařízení, včetně Androidu a iOS. Výrazně byla vylepšena výkonnost a snížena spotřeba paměti C# 9 a F# 5 nové knihovny, výstup kódu […]
„Všechny mailové klienty se chovají špatně. Tenhle se jen chová méně špatně.“ byl aktualizován na verzi 2.0. Tak velký nárůst čísla v jeho hlavní části je spíše důsledkem neobvyklých změn, které narušují zpětnou kompatibilitu: při používání příkazu pro zobrazení a výběr mnoha příloh, výstup po […]
https://www.linux.org.ru/images/19295/1500px.jpg Proběhl další vydání multiplatformního vizuálního editoru grafů Qt Visual Graph Editor 0.6.1. Tato verze se vyznačuje užší integrací s balíkem GraphViz, konkrétně: grafy ve formátu DOT se načítají přímo přes dot, což umožňuje mnohem kvalitnější parseling; volání GraphViz layout engineů přímo z grafického rozhraní aplikace, s okamžitým náhledem výsledků. Také z aplikace […]
7. listopadu 2020 došlo k vydání svobodného editoru písem FontForge, věnovaného 20. výročí existence projektu, původně nazývaného PfaEdit. Autorem projektu je George W. Williams, který až do roku 2012 byl hlavním (a skoro jediným) vývojářem. Binarne balíčky vydání FontForge 20th Anniversary Edition (také FontForge 20201107) jsou dodávány se speciální znělkou na počest jubilea. Nejvýznamnější změnou […]