Byla vydána nová verze 0.17.0 programovacího jazyka Zig (Codeberg, Wikipedie). Přispělo 206 vývojářů. Přehled novinek v poznámkách k vydání.
Open-source projekt OpenDLSS-NR je 'bitově přesná reimplementace' neuronové rendrovací sítě DLSS 5 od společnosti NVIDIA, jenže pro grafické API Vulkan (DLSS slouží k vylepšování klasickým způsobem vyrendrovaných snímků pomocí lokálních modelů umělé inteligence, a to v reálném čase). Projekt není nijak spojen se společností NVIDIA, je pouze pro OS Windows a natrénované váhy modelu si uživatelé musí obstarat sami. Zdrojový kód je k dispozici na GitHubu, pod licencí MIT s výjimkou pro komponenty třetích stran.
Společnost Cloudflare představila Clef a Clef-Flash, open-source rozhodovací modely určené pro rychlou a konzistentní klasifikaci vstupů. Na rozdíl od klasických LLM vracejí tyto modely deterministické striktně typované strukturované odpovědi s exaktními pravděpodobnostmi, tedy odpovědi ve stylu přelomového modelu Jev.
… více »Byla vydána beta verze Ubuntu 26.10 s kódovým názvem Stonking Stingray. Přehled novinek v poznámkách k vydání. Dle plánu by Ubuntu 26.10 mělo vyjít 15. října 2026.
Byla vydána verze 1.99.0 programovacího jazyka Rust (Wikipedie). Podrobnosti v poznámkách k vydání. Vyzkoušet Rust lze například na stránce Rust by Example.
Od 13. do 15. října proběhne v Praze OpenSSL Conference 2026. Na YouTube lze zhlédnout videozáznamy přednášek z loňského roku.
Eben Upton oznámil další zdražení jednodeskových počítačů Raspberry Pi. Tentokrát 2 GB varianty o 12,50 dolarů. Nově 2 GB Raspberry Pi 4 stojí 67,50 dolarů a 2 GB Raspberry Pi 5 stojí 77,50 dolarů.
OpenMandriva ROME, tj. průběžně aktualizovaná (rolling) edice linuxové distribuce OpenMandriva, byla vydána ve verzi 26.09. Vedle Flatpaku také s podporou Snapu.
Edison Design Group po více než 30 letech zveřejnil zdrojový kód svého EDG C/C++ front-endu. Ten proslul širokou podporou standardů C++ a kompatibilitou s dialekty kompilátorů od Microsoftu, GNU, Clangu, Sunu a dokonce i s prehistorickým cfrontem. EDG byl použit například v kompilátoru Intel C++ Classic, kompilátoru NVCC od firmy NVIDIA pro platformu CUDA nebo v našeptávači kódu IntelliSense v produktech společnosti Microsoft. Projekt nyní spravuje organizace The C++ Alliance a kód je dostupný pod licencí Apache 2.0, doplněnou o výjimky projektu LLVM.
Pocket Tank je malé kapesní virtuální akvárium postavené na vývojové desce ESP32-S3-Touch-AMOLED-1.8. Na dvoujádrovém mikrokontroléru ESP32-S3 s 8 MB PSRAM a 16 MB flash paměti běží jak simulace akvária, tak i malý jazykový model určující chování rybiček. Lokální model o velikosti 7,56 MB se 14 miliony parametrů vznikl destilací modelu Gemma 4 26B, tedy učitele s 26 miliardami parametrů. Kromě firmwaru pro skutečný modul s AMOLED
… více »For me the greatest beauty always lies in the greatest clarity.
15.6.2015 09:29
| Programování
| 
| Přečteno: 1734×
| Komentářů: 8, poslední 26. 8. 2015
| Hodnocení: 91 % (11 hlasů)
Algebraickým efektem (dále už jen efektem) jsou například výjimky, (asynchronní) vstup a výstup, měnitelný stav nebo nedeterminismus. V tomto zápisku si ukážeme, k čemu jsou algebraické efekty dobré, jak oddělit deklarace efektů od jejich implementace, a jak toto oddělení prospívá modularitě programů a usnadňuje jejich testování.
6.3.2015 19:13
| Programování
|
| Přečteno: 3281×
| Komentářů: 94, poslední 9.4.
| Hodnocení: 70 % (10 hlasů)
Jelikož je asynchronní kód stále častějším jevem,
přidávají programovací jazyky speciální podporu
pro jeho zápis. Příkladem takové podpory jsou klíčová slova
async a await, která se momentálně z jazyka C# 5 šíří
do dalších jazyků. V tomto zápisku vysvětlím,
proč async a await není dobrý nápad.
14.8.2014 18:18
| Programování
|
| Přečteno: 1806×
| Komentářů: 25, poslední 13. 3. 2024
| Hodnocení: 71 % (7 hlasů)
Typové systémy mohou výrazně zjednodušit konstrukci a údržbu větších programů. Python bohužel zatím žádný oficiální typový systém nemá, ale zřejmě se blýská na lepší časy. Guido van Rossum, autor jazyka, přišel s návrhem, aby se anotace funkcí specializovaly pro typové anotace. Předpokládám, že je jen otázkou času, kdy Python dostihne Dart a získá volitelný typový systém.
Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.
17.2.2013 19:45
| Programování
|
| Přečteno: 1542×
| Komentářů: 60, poslední 23.9.
| Hodnocení: 100 % (10 hlasů)
V tomto zápisku si ukážeme jednu užitečnou schopnost Emacs módu pro jazyk Agda. Jedná se o automatické napsání kódu, kdy programátor pouze specifikuje, co má kód dělat, a nechá editor, aby takový kód napsal.
Po více než sedmi letech vyšla nová verze jazyka Haskell. Nový jazyk se jmenuje Haskell 2010 a od svého předchůdce Haskellu 98 se liší zejména tím, že podporuje hierarchické moduly a standardizuje FFI. Novinek je samozřejmě více a najdete je v Haskell 2010 Language Report.
Dnes odpoledne se na blogu Marka Stopky objevily dvě úlohy, při jejich řešení jsem si vzpomněl na jinou úlohu. Je docela profláklá, ale stejně pro ty, co ji neznají, zde je zadání:
Máme dvě čísla, obě jsou větší než 1 a menší než 100. Adamovi řekneme jejich součet a Evě jejich součin.
Eva: Já nevím jaká to jsou čísla.
Adam: Já věděl, že to nebudeš vědět.
Eva: Už to vím.
Adam: Já už taky.
Jaká to jsou čísla?
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.cz