Byla vydána nová verze 1.12.0 dynamického programovacího jazyka Julia (Wikipedie) určeného zejména pro vědecké výpočty. Přehled novinek v příspěvku na blogu a v poznámkách k vydání. Aktualizována byla také dokumentace.
V Redisu byla nalezena a v upstreamu již opravena kritická zranitelnost CVE-2025-49844 s CVSS 10.0 (RCE, vzdálené spouštění kódu).
Ministr a vicepremiér pro digitalizaci Marian Jurečka dnes oznámil, že přijme rezignaci ředitele Digitální a informační agentury Martina Mesršmída, a to k 23. říjnu 2025. Mesršmíd nabídl svou funkci během minulého víkendu, kdy se DIA potýkala s problémy eDokladů, které některým občanům znepříjemnily využití možnosti prokázat se digitální občankou u volebních komisí při volbách do Poslanecké sněmovny.
Společnost Meta představila OpenZL. Jedná se o open source framework pro kompresi dat s ohledem na jejich formát. Zdrojové kódy jsou k dispozici na GitHubu.
Google postupně zpřístupňuje českým uživatelům Režim AI (AI Mode), tj. nový režim vyhledávání založený na umělé inteligenci. Režim AI nabízí pokročilé uvažování, multimodalitu a možnost prozkoumat jakékoliv téma do hloubky pomocí dodatečných dotazů a užitečných odkazů na weby.
Programovací jazyk Python byl vydán v nové major verzi 3.14.0. Podrobný přehled novinek v aktualizované dokumentaci.
Bylo oznámeno, že Qualcomm kupuje Arduino. Současně byla představena nová deska Arduino UNO Q se dvěma čipy: MPU Qualcomm Dragonwing QRB2210, na kterém může běžet Linux, a MCU STM32U585 a vývojové prostředí Arduino App Lab.
Multiplatformní open source voxelový herní engine Luanti byl vydán ve verzi 5.14.0. Podrobný přehled novinek v changelogu. Původně se jedná o Minecraftem inspirovaný Minetest v říjnu loňského roku přejmenovaný na Luanti.
Byla vydána nová stabilní verze 6.10 (YouTube) multiplatformního frameworku a GUI toolkitu Qt. Podrobný přehled novinek v poznámkách k vydání.
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
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.czavian.Continuations.
22.6.2014 01:40
Bedňa | skóre: 34
| blog: Žumpa
| Horňany
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í.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.
Tiskni
Sdílej:
