Andrew S. Tanenbaum byl oceněn 2023 ACM Software System Award (Wikipedie) za operační systém MINIX.
Celkový počet stažení aplikací z Flathubu překročil 2 miliardy. Aktuální Statistiky Flathubu: Celkový počet stažení 2 002 793 783. Celkem desktopových aplikací 2 636.
Byla vydána nová verze 4.8.0 programu na úpravu digitálních fotografií darktable (Wikipedie).
Nová čísla časopisů od nakladatelství Raspberry Pi: MagPi 142 (pdf) a HackSpace 79 (pdf).
Qtractor (Wikipedie) dospěl do verze 1.0.0. Jedná se o Audio/MIDI vícestopý sekvencer.
Byl vydán svobodný kancelářský balík OnlyOffice Docs 8.1. Vedle četných oprav přináší několik funkcí včetně podpory editace textu v PDF a vytváření formulářů v PDF.
Daniel Stenberg, autor nástroje curl, z databáze SteamDB zjistil, že aktuálně 22 734 her na Steamu používá curl.
Společnost Anthropic vydala Claude 3.5 Sonnet, tj. novou verzi své umělé inteligence Claude (Wikipedie). Videoukázky na YouTube. S Claude 3, stejně jak s GPT-3.5, Llama 3 a Mixtral, si lze pokecat bez přihlašování na DuckDuckGo AI Chat.
Byla vydána nová stabilní verze 6.8 webového prohlížeče Vivaldi (Wikipedie). Postavena je na Chromiu 126. Přehled novinek i s náhledy v příspěvku na blogu a na YouTube. Vypíchnuta jsou vylepšení v integrovaném poštovním klientu.
Příspěvek Aukce domén – měsíc po spuštění na blogu CZ.NIC shrnuje první měsíc provozu Aukce domén .CZ. Aukcemi prošlo celkem 18 174 domén, z toho na 742 z nich byl učiněn alespoň 1 příhoz. Nejdražší aukcí byla na doménu virtualnisidlo.cz s cenou 95 001 Kč, která však nebyla včas uhrazena. Nejdražší aukcí, která byla vydražena i zaplacena je praguecityline.cz s cenovkou 55 600 Kč.
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 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
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.