Grafana (Wikipedie), tj. open source nástroj pro vizualizaci různých metrik a s ní související dotazování, upozorňování a lepší porozumění, byla vydána ve verzi 12.0. Přehled novinek v aktualizované dokumentaci.
Raspberry Pi OS, oficiální operační systém pro Raspberry Pi, byl vydán v nové verzi 2025-05-06. Přehled novinek v příspěvku na blogu Raspberry Pi a poznámkách k vydání. Pravděpodobně se jedná o poslední verzi postavenou na Debianu 12 Bookworm. Následující verze by již měla být postavena na Debianu 13 Trixie.
Richard Stallman dnes v Liberci přednáší o svobodném softwaru a svobodě v digitální společnosti. Od 16:30 v aule budovy G na Technické univerzitě v Liberci. V anglickém jazyce s automaticky generovanými českými titulky. Vstup je zdarma i pro širokou veřejnost.
sudo-rs, tj. sudo a su přepsáné do programovacího jazyka Rust, nahradí v Ubuntu 25.10 klasické sudo. V plánu je také přechod od klasických coreutils k uutils coreutils napsaných v Rustu.
Fedora se stala oficiální distribucí WSL (Windows Subsystem for Linux).
Společnost IBM představila server IBM LinuxONE Emperor 5 poháněný procesorem IBM Telum II.
Byla vydána verze 4.0 multiplatformního integrovaného vývojového prostředí (IDE) pro rychlý vývoj aplikaci (RAD) ve Free Pascalu Lazarus (Wikipedie). Přehled novinek v poznámkách k vydání. Využíván je Free Pascal Compiler (FPC) 3.2.2.
Podpora Windows 10 končí 14. října 2025. Připravovaná kampaň Konec desítek (End of 10) může uživatelům pomoci s přechodem na Linux.
Již tuto středu proběhne 50. Virtuální Bastlírna, tedy dle římského číslování L. Bude L značit velikost, tedy více diskutujících než obvykle, či délku, neboť díky svátku lze diskutovat dlouho do noci? Bude i příští Virtuální Bastlírna virtuální nebo reálná? Nejen to se dozvíte, když dorazíte na diskuzní večer o elektronice, softwaru, ale technice obecně, který si můžete představit jako virtuální posezení u piva spojené s učenou
… více »Byla vydána první produkční verze 1.0.0 specifikace programovacího jazyka Ceylon, překladače a vývojového prostředí (IDE) pro Ceylon. Jedná se o moderní programovací jazyk určený pro psaní programů nad Java a Javascript VM. Pro více informací v češtině lze doporučit podcast (audiozáznam) s vývojářem Ceylonu Tomášem Hradcem na stránkách Java portálu. [Slashdot]
Tiskni
Sdílej:
- ma union a intersection types (je to imho jediny jazyk, ktery je ma) - vice typesafe, typovy system je cistsi a elegantnejsiTypový systém Ceylonu je IMHO jedna z jeho největších výhod. +1
- je to pokus vybudovat od zakladu uplne novou platformu, netahat sebou "java baggage", ale zaroven zustat s javou kompatibilniTo je asi nejdůležitější věc. Ceylon (stejně jako třeba Scala) je nová platforma, která shodou okolností používá JVM. Kotlin je jen nový jazyk, který dobře zapadá do existujícího ekosystému.
- kompilace do JSMají dneska skoro všichni. IMHO jediný alternativní jazyk, která dává pro programování v prohlížeči smysl, je Dart.
- podpora deklarovani stromovych struktur (konfiguracni soubory, html)Kotlin umí taky skrz velmi pěknou podporu pro typově bezpečná DSL. Myšlenka anonymních rozšiřujících funkcí se na první pohled zdá divná, ale ono to celé docela pěkně funguje.
- "String a" misto "a: String", pro me velka vyhoda oproti Scale nebo KotlinuPravda. Ale je to otázka chutě.
- podpora metaprogramovaniTypově bezpečný metamodel Ceylonu je hodně zajímavý. Kotlin je v tomhle mnohem pragmatičtější (či přízemnější, jak kdo chce), viz přednáška Andreye Breslava z letošního JVM Language Summitu.
- comprehensions - spousta dalsich drobnosti - else/then, vice regular syntaxe, srozumitelnejsi deklarace generickych typu, currying, spread operator, ...Souhlas, Ceylon má dost zajímavých drobností. Kotlin taky, kromě rozšiřujících funkcí bych zmínil hlavně podporu delegace a delegovaných properties. Jó, a enumy. Nic proti součtovým typům, ale enum je prostě enum
Dodám dvě věci:
Kotlin nema reified generics? To me tesi, to je oproti Ceylonu celkem podstatna nevyhoda 
Ale podpora delegace je zajimava...
Kotlin nema reified generics? To me tesi, to je oproti Ceylonu celkem podstatna nevyhodaKotlin nemá reifikaci z výkonnostních důvodů. Scala je na tom podobně. Cituji příspěvek Martina Oderskyho o reifikaci:
The research with Enno was different: It was a essentially a C++-like expansion of everything at class loading time. So, more classes were generated yet on the other hand everything was specialized. We had to introduce some severe restrictions in the language to make the expansion process terminate. Essentially, a class could not contain a definition that had a type with a more complicated instance of itself. Things like zip in collections would be impossible. This is enforced by the language spec of C++ but it's definitely not OK for Java or Scala. We hoped that the scheme would trade larger codesize for better speed. So a 7% slowdown was not exactly considered a success. Michel Schinz implemented a scheme that looks close to what Ceylon did in his thesis work. His performance results were much worse than 7% (I remember twice as slow in some cases). For this reason we did not pursue it further.
ma union a intersection types (je to imho jediny jazyk, ktery je ma)Jazyky pro práci s XML to mají – například CDuce má kromě průniku a sjednocení i doplněk. Java má průnikové typy.
vice typesafe, typovy system je cistsi a elegantnejsiProč si to myslíte?
Jazyky pro práci s XML to mají – například CDuce má kromě průniku a sjednocení i doplněk. Java má průnikové typy.Diky, neznal jsem. Pokud tou Javou myslite
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.cz
MyClass<T extends Comparable & Node>, tak to se s tim co ma Ceylon neda vubec srovnavat.
Proč si to myslíte?Je to celkovy dojem po tom, co jsem procetl language tour (http://ceylon-lang.org/documentation/1.0/tour/types/), konkretne me napadaji intersection/union typy nebo syntaxe pro generika.