Národní úřad pro kybernetickou a informační bezpečnost (NÚKIB) spolu s NSA a dalšími americkými úřady upozorňuje (en) na čínského aktéra Salt Typhoon, který kompromituje sítě po celém světě.
Společnost Framework Computer představila (YouTube) nový výkonnější Framework Laptop 16. Rozhodnou se lze například pro procesor Ryzen AI 9 HX 370 a grafickou kartu NVIDIA GeForce RTX 5070.
Google oznamuje, že na „certifikovaných“ zařízeních s Androidem omezí instalaci aplikací (včetně „sideloadingu“) tak, že bude vyžadovat, aby aplikace byly podepsány centrálně registrovanými vývojáři s ověřenou identitou. Tato politika bude implementována během roku 2026 ve vybraných zemích (jihovýchodní Asie, Brazílie) a od roku 2027 celosvětově.
Byla vydána nová verze 21.1.0, tj. první stabilní verze z nové řady 21.1.x, překladačové infrastruktury LLVM (Wikipedie). Přehled novinek v poznámkách k vydání: LLVM, Clang, LLD, Extra Clang Tools a Libc++.
Alyssa Anne Rosenzweig v příspěvku na svém blogu oznámila, že opustila Asahi Linux a nastoupila do Intelu. Místo Apple M1 a M2 se bude věnovat architektuře Intel Xe-HPG.
EU chce (pořád) skenovat soukromé zprávy a fotografie. Návrh "Chat Control" by nařídil skenování všech soukromých digitálních komunikací, včetně šifrovaných zpráv a fotografií.
Byly publikovány fotografie a všechny videozáznamy z Python konference PyCon US 2025 proběhlé v květnu.
Společnost xAI a sociální síť X amerického miliardáře Elona Muska zažalovaly firmy Apple a OpenAI. Viní je z nezákonné konspirace s cílem potlačit konkurenci v oblasti umělé inteligence (AI).
Byla vydána nová verze 9.16 z Debianu vycházející linuxové distribuce DietPi pro (nejenom) jednodeskové počítače. Přehled novinek v poznámkách k vydání.
Americká vláda se po převzetí zhruba desetiprocentního podílu ve výrobci čipů Intel chystá na další investice do vybraných firem. Na sociální síti Truth Social to napsal prezident Donald Trump. Jeho ekonomický poradce Kevin Hassett v rozhovoru v televizi CNBC řekl, že nemusí jít pouze o firmy z technologického sektoru, ale i z jiných odvětví.
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?