Desktopové prostředí KDE Plasma bylo vydáno ve verzi 6.5 (Mastodon). Přehled novinek i s videi a se snímky obrazovek v oficiálním oznámení. Podrobný přehled v seznamu změn.
Rodina jednodeskových počítačů Orange Pi se rozrostla (𝕏) o Orange Pi 6 Plus.
Na Humble Bundle běží akce Humble Tech Book Bundle: All Things Raspberry Pi by Raspberry Pi Press. Se slevou lze koupit elektronické knihy od nakladatelství Raspberry Pi Press a podpořit Raspberry Pi Press, Raspberry Pi Foundation North America nebo Humble.
Přidaný režim autonomního řízení vozidel Tesla Mad Max je dostupný pro vybrané zákazníky v programu EAP (Early Access Program). Nový režim je na silnici agresivnější, častěji mění pruhy a ne vždy dodržuje rychlostní limity. Agentura JPP spekuluje, že v Česku by se mohl nový režim namísto Mad Max jmenovat Mad Turek...
Byla vydána nová verze 9.18 z Debianu vycházející linuxové distribuce DietPi pro (nejenom) jednodeskové počítače. Nově také pro NanoPi R3S, R3S LTS, R76S a M5. Přehled novinek v poznámkách k vydání.
bat, tj. vylepšený cat se zvýrazňováním syntaxe a integrací s gitem, byl vydán ve verzi 0.26.0.
Byla vydána první verze 0.0.1 [Mastodon] multipatformního renderovacího jádra webového prohlížeče Servo (Wikipedie). Vývoj Serva započal v roce 2012 v Mozilla Corporation. V roce 2020 bylo Servo předáno nadaci Linux Foundation. Servo je napsané v programovacím jazyce Rust.
Cloudovou službu Amazon Web Services (AWS) americké firmy Amazon dnes postihl globální výpadek. Omezil dostupnost řady aplikací a webů, například populární platformu Snapchat nebo aplikaci s prvky umělé inteligence (AI) Perplexity. Podle webu Downdetector hlásily problémy také uživatelé obchodu Amazon, streamovací platformy PrimeVideo nebo platební služby PayPal.
GNU Octave lze nově používat ve webovém prohlížeči v JupyterLite s jádrem Xeus-Octave.
Od 3. do 16. listopadu proběhnou Dny AI 2025. V úterý 11. listopadu proběhne Open source AI day v Red Hatu v Brně.
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.