Microsoft zveřejnil na GitHubu zdrojové kódy MS-DOSu 4.0 pod licencí MIT. Ve stejném repozitáři se nacházejí i před lety zveřejněné zdrojové k kódy MS-DOSu 1.25 a 2.0.
Canonical vydal (email, blog, YouTube) Ubuntu 24.04 LTS Noble Numbat. Přehled novinek v poznámkách k vydání a také příspěvcích na blogu: novinky v desktopu a novinky v bezpečnosti. Vydány byly také oficiální deriváty Edubuntu, Kubuntu, Lubuntu, Ubuntu Budgie, Ubuntu Cinnamon, Ubuntu Kylin, Ubuntu MATE, Ubuntu Studio, Ubuntu Unity a Xubuntu. Jedná se o 10. LTS verzi.
Na YouTube je k dispozici videozáznam z včerejšího Czech Open Source Policy Forum 2024.
Fossil (Wikipedie) byl vydán ve verzi 2.24. Jedná se o distribuovaný systém správy verzí propojený se správou chyb, wiki stránek a blogů s integrovaným webovým rozhraním. Vše běží z jednoho jediného spustitelného souboru a uloženo je v SQLite databázi.
Byla vydána nová stabilní verze 6.7 webového prohlížeče Vivaldi (Wikipedie). Postavena je na Chromiu 124. Přehled novinek i s náhledy v příspěvku na blogu. Vypíchnout lze Spořič paměti (Memory Saver) automaticky hibernující karty, které nebyly nějakou dobu používány nebo vylepšené Odběry (Feed Reader).
OpenJS Foundation, oficiální projekt konsorcia Linux Foundation, oznámila vydání verze 22 otevřeného multiplatformního prostředí pro vývoj a běh síťových aplikací napsaných v JavaScriptu Node.js (Wikipedie). V říjnu se verze 22 stane novou aktivní LTS verzí. Podpora je plánována do dubna 2027.
Byla vydána verze 8.2 open source virtualizační platformy Proxmox VE (Proxmox Virtual Environment, Wikipedie) založené na Debianu. Přehled novinek v poznámkách k vydání a v informačním videu. Zdůrazněn je průvodce migrací hostů z VMware ESXi do Proxmoxu.
R (Wikipedie), programovací jazyk a prostředí určené pro statistickou analýzu dat a jejich grafické zobrazení, bylo vydáno ve verzi 4.4.0. Její kódové jméno je Puppy Cup.
IBM kupuje společnost HashiCorp (Terraform, Packer, Vault, Boundary, Consul, Nomad, Waypoint, Vagrant, …) za 6,4 miliardy dolarů, tj. 35 dolarů za akcii.
Byl vydán TrueNAS SCALE 24.04 “Dragonfish”. Přehled novinek této open source storage platformy postavené na Debianu v poznámkách k vydání.
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:
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.cz
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.
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.