Jean-Baptiste Kempf na svém blogu představil novou verzi 9.0 "Lei" kolekce svobodného softwaru umožňujícího nahrávání, konverzi a streamovaní digitálního zvuku a obrazu FFmpeg (Wikipedie).
Richard Hughes oznámil, že službu Linux Vendor Firmware Service (LVFS) umožňující aktualizovat firmware zařízení na počítačích s Linuxem, nově sponzoruje také společnost NVIDIA.
Edvard Rejthar na blogu zaměstnanců CZ.NIC představil svou aplikaci SlideRshow (GitHub). Funguje jako prohlížeč fotek, ale i jako jejich organizér a prezentátor. Neinstaluje se, běží přímo v prohlížeči. Bez serveru. Offline.
Kermit, tj. protokol pro přenos souborů, vznikl před 45 lety. Při této příležitosti byla po 15 letech od vydání poslední stabilní verze 9.0.302 vydána nová stabilní verze 11 implementace C-Kermit. S podporou IPv6.
První verze konverzního nástroje Pandoc byla vydána před 20 lety. Jeho autor John MacFarlane při tomto výročí rekapituluje jednotlivé etapy vývoje a přidávání nových funkcí – rozšíření nejen Markdownu a podporu mnoha dalších formátů.
Srpen přinesl nejen další spalující vedro, ale také Virtuální Bastlírnu s neméně žhavými novinkami. Využijte tedy předpovědi na deštivý čtvrteční večer a od 20:00 se připojte online k tomuto neformálnímu setkání kutilů, techniků a vědců, kde se strahovskými bastlíři proberete nejzajímavější věci, na které jste narazili za poslední měsíc. Pokud jde o novinky, řeč zcela jistě přijde na systém INDX pro tiskárny Průša, který na konci
… více »Firma T-Mobile blokovala „dezinformační web“ AC24 bez toho, aniž by k tomu měla závazný pokyn orgánů veřejné moci. Píše to ve svém rozsudku Městský soud v Praze, který po čtyřech letech uzavřel kauzu blokace zmíněného webu. Operátor musí uhradit škodu ve výši 35 tisíc korun. Advokát společnosti T-Mobile se snažil i u odvolacího senátu argumentovat tím, že firma jednala v dobré víře, když na stránky omezila přístup poté, co ji k tomu vyzvalo
… více »Padla obžaloba v bitcoinové kauze. Státní zástupkyně chce pro Blažka 6,5 roku vězení, pro Titze 8 let.
Z aktuálních globálních statistik společnosti Statcounter: na desktopu má Linux celosvětově podíl 7,53 % (USA 11,92 %, Česko 4,31 %, Slovensko 4,36 %) a Firefox celosvětově podíl 6,51 % (USA 10,86 %, Česko 11,07 %, Slovensko 13,61 %).
Na GitHubu byl publikován seznam 55 kritických bezpečnostních chyb v SQLite s přiřazenými CVE čísly. JFrog Security informuje, že se jedná jenom o AI slop, části kódu na které CVE odkazují, v daných verzích vůbec neexistují. Upozorňuje také, že čísla CVE jsou přiřazována bez ověřování.
For me the greatest beauty always lies in the greatest clarity.
Algebraickým efektem (dále už jen efektem) jsou například výjimky, (asynchronní) vstup a výstup, měnitelný stav nebo nedeterminismus. V tomto zápisku si ukážeme, k čemu jsou algebraické efekty dobré, jak oddělit deklarace efektů od jejich implementace, a jak toto oddělení prospívá modularitě programů a usnadňuje jejich testování.
Jelikož je asynchronní kód stále častějším jevem,
přidávají programovací jazyky speciální podporu
pro jeho zápis. Příkladem takové podpory jsou klíčová slova
async a await, která se momentálně z jazyka C# 5 šíří
do dalších jazyků. V tomto zápisku vysvětlím,
proč async a await není dobrý nápad.
Typové systémy mohou výrazně zjednodušit konstrukci a údržbu větších programů. Python bohužel zatím žádný oficiální typový systém nemá, ale zřejmě se blýská na lepší časy. Guido van Rossum, autor jazyka, přišel s návrhem, aby se anotace funkcí specializovaly pro typové anotace. Předpokládám, že je jen otázkou času, kdy Python dostihne Dart a získá volitelný typový systém.
Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.
V tomto zápisku si ukážeme jednu užitečnou schopnost Emacs módu pro jazyk Agda. Jedná se o automatické napsání kódu, kdy programátor pouze specifikuje, co má kód dělat, a nechá editor, aby takový kód napsal.
Po více než sedmi letech vyšla nová verze jazyka Haskell. Nový jazyk se jmenuje Haskell 2010 a od svého předchůdce Haskellu 98 se liší zejména tím, že podporuje hierarchické moduly a standardizuje FFI. Novinek je samozřejmě více a najdete je v Haskell 2010 Language Report.
Dnes odpoledne se na blogu Marka Stopky objevily dvě úlohy, při jejich řešení jsem si vzpomněl na jinou úlohu. Je docela profláklá, ale stejně pro ty, co ji neznají, zde je zadání:
Máme dvě čísla, obě jsou větší než 1 a menší než 100. Adamovi řekneme jejich součet a Evě jejich součin.
Eva: Já nevím jaká to jsou čísla.
Adam: Já věděl, že to nebudeš vědět.
Eva: Už to vím.
Adam: Já už taky.
Jaká to jsou čísla?