Společnost OpenAI představila text-to-video AI model Sora 2 pro generování realistických videí z textového popisu. Přesnější, realističtější a lépe ovladatelný než předchozí modely. Nabízí také synchronizované dialogy a zvukové efekty.
UBports, nadace a komunita kolem Ubuntu pro telefony a tablety Ubuntu Touch, vydala Ubuntu Touch 24.04-1.0, tj. první stabilní vydání založené na Ubuntu 24.04 LTS.
Rakouská armáda přechází na LibreOffice. Ne kvůli licencím (16 000 počítačů). Hlavním důvodem je digitální suverenita. Prezentace v pdf z LibreOffice Conference 2025.
Národní úřad pro kybernetickou a informační bezpečnost (NÚKIB) upozorňuje na sérii kritických zranitelností v Cisco Adaptive Security Appliance (ASA) a Firepower Threat Defense (FTD) a Cisco IOS, CVE-2025-20333, CVE-2025-20363 a CVE-2025-20362. Zneužití těchto zranitelností může umožnit vzdálenému neautentizovanému útočníkovi spustit libovolný kód (RCE). Společnost Cisco uvedla, že si je vědoma aktivního zneužívání těchto zranitelností.
Ochrana uživatelů a zároveň příznivé podmínky pro rozvoj umělé inteligence (AI). Ministerstvo průmyslu a obchodu (MPO) připravilo minimalistický návrh implementace evropského nařízení o umělé inteligenci, tzv. AI aktu. Český zákon zajišťuje ochranu občanům a bezpečné používání AI, ale zároveň vytváří pro-inovační prostředí, ve kterém se může AI naplno rozvíjet, firmy mohou využít jeho potenciál a nebudou zatíženy zbytečnou administrativou. Návrh je nyní v meziresortním připomínkovém řízení.
Dle plánu Linus Torvalds odstranil souborový systém bcachefs z mainline Linuxu. Tvůrce bcachefs Kent Overstreet na Patreonu informuje, že bcachefs je nově distribuován jako DKMS modul.
PIF, Silver Lake a Affinity Partners kupují videoherní společnost Electronic Arts (EA) za 55 miliard dolarů (1,14 bilionu korun).
Konference LinuxDays 2025 proběhne již tento víkend 4. a 5. října v Praze v areálu ČVUT v Dejvicích na FIT. Konference znamená desítky přednášek a workshopů, zástup zajímavých osobností, místo pro setkání, spoustu nových nápadů a informací a stánky řady různých projektů: Fedora, openSUSE, vpsFree.cz, Mozilla, MacGyver - bastlíři SH, OpenAlt a mnoho dalších. Účast na konferenci je zdarma.
Před měsícem Google oznámil, že bude vyžadovat ověření identity vývojářů aplikací pro Android. Dnes se k této změně vyjádřil F-Droid, tj. instalovatelný katalog svobodných a open source aplikací pro platformu Android. Změna ohrožuje F-Droid a další otevřené platformy pro distribuci aplikací.
Po 9 týdnech vývoje od vydání Linuxu 6.16 oznámil Linus Torvalds vydání Linuxu 6.17. Přehled novinek a vylepšení na LWN.net: první a druhá polovina začleňovacího okna a Linux Kernel Newbies.
For me the greatest beauty always lies in the greatest clarity.
Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.
Pracuje se na novém JVM Avian. Pro funkcionální jazyky je zajímavá podpora kontinuací a optimalizace tail-callů.
Je nešťastné, jak silnou pozici si vybudovala makra ve Scale. Řada přednášek se nějakým způsobem dotkla maker. Někteří přednášející dokonce svou celou přednášku zasvětili pouze jedinému makru.
Hlavní problém maker spočívá v jejich interakci.
Například Heather Miller ve své prezentaci
Spores: Towards Function-Passing Style in the Age of Concurrency
and Distribution ukázala makro
spore
,
kterým lze omezit volné proměnné, jenž smějí být součástí uzávěru.
Problémy se mohou objevit ve chvíli, kdy
na kód z makra spore
aplikujeme jiné makro –
jinému makru nic nebrání porušit omezení vynucená makrem
spore
.
DOT kalkulus by se mohl stát základem typového systému Scaly a je to možná jeden z kroků k formální (mechanizované) specifikaci Scaly. Taková specifikace by slovy Roberta Harpera znamenala posun od Scala kompilátoru ke Scala jazyku.
K čemu je formální specifikace ve své přednášce o denotační sémantice naznačil i Erik Meijer:
def a: Int = try { 1 } finally { 2 } def b: Int = try { 1 } finally { return 2 } def c: Int = try { return 1 } finally { 2 } def d: Int = try { return 1 } finally { return 2 }
Zkuste říci, co jednotlivé funkce vrací.
Tiskni
Sdílej:
Pracuje se na novém JVM Avian. Pro funkcionální jazyky je zajímavá podpora kontinuací a optimalizace tail-callů.Nejsou k tomu nejake slidy/paper? Zajimalo by me, jak to funguje vzhledem k tomu, ze tyto veci nemaji primou podporu v JBC.
Je nešťastné, jak silnou pozici si vybudovala makra ve Scale. Řada přednášek se nějakým způsobem dotkla maker. Někteří přednášející dokonce svou celou přednášku zasvětili pouze jedinému makru.Ano, je to nestastne. Diskutovat dlouhe hodiny o makrech bylo vzdy vysadou LISParu. ;-]
Zajimalo by me, jak to funguje vzhledem k tomu, ze tyto veci nemaji primou podporu v JBC.Každé volání, jenž je v bajtkódu v tail pozici, se optimalizuje, tudíž žádná speciální instrukce není třeba. Háček je v tom, že volání, která jsou ve zdrojovém kódu v tail pozici, nemusí být v bajtkódu v tail pozici. Kontinuace mají speciální podporu v runtimu, ta je přístupná přes třídu
avian.Continuations
.
a = 1 b = 2 c = 1 d = 2def a: Int = try { 1 } finally { 2 } def b: Int = try { 1 } finally { return 2 } def c: Int = try { return 1 } finally { 2 } def d: Int = try { return 1 } finally { return 2 }Zkuste říci, co jednotlivé funkce vrací.
def a: Int = try { 1 } finally { 2 }Sa do "a" pokúsi priradiť hodnotu z try {} a pokiaľ nieje niečo ako return vo finally {}, tak ostane 1. Skalu vôbec nepoznám, je to čistá konšpirácia.
scala> def a: Int = try { 1 } finally { 2 } <console>:7: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses def a: Int = try { 1 } finally { 2 } ^ a: Int scala> def b: Int = try { 1 } finally { return 2 } b: Int scala> def c: Int = try { return 1 } finally { 2 } <console>:7: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses def c: Int = try { return 1 } finally { 2 } ^ c: Int scala> def d: Int = try { return 1 } finally { return 2 } d: Int scala> (a, b, c, d) res1: (Int, Int, Int, Int) = (1,2,1,2)Jinak jestli je tenhle celkem jasný příklad důvodem, proč formalizovat Scalu, tak to radši nedělat. Scala má mnohem závažnější mouchy.
Jinak jestli je tenhle celkem jasný příklad důvodem, proč formalizovat Scalu, tak to radši nedělat.Formální specifikace usnadní tvorbu nástrojů a alternativních implementací, pomůže při návrhu jazyka a umožní provést důkaz korektnosti typového systému.