Luau: rozšíření jazyka Lua o statické typové kontroly a typovou inferenci
Zdroj:
root.cz
18.08.2026 (00:00)
it, počítače
Jazyk Lua je postaven dynamickém typovém systému, v němž jsou typy vztaženy k hodnotám a nikoli k proměnným či parametrům funkcí. Pro rozsáhlejší projekty je však výhodnější využívat statické typové kontroly. celý článek
Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy (2.část)
Zdroj:
root.cz
20.06.2023 (00:00)
it-pocitace
Ukážeme si práci s typově bezpečnými slovníky, typovou inferencí, práci s typově bezpečnými funkcemi (Callable) a ve druhé polovině pak převod aplikace bez určení datových typů ke kódu s doplněnými typovými informacemi.
Nástroje pro statické typové kontroly v ekosystému jazyka Python
Zdroj:
root.cz
05.05.2026 (00:00)
it-pocitace
Dnes se budeme zabývat třemi nástroji, které v ekosystému jazyka Python dokážou provádět statické typové kontroly: Mypy, Pyright a Ty. Liší se od sebe jak kvalitou výsledků, tak i přehledností či rychlostí.
Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy
Zdroj:
root.cz
15.06.2023 (00:00)
it-pocitace
Nástroj Mypy se společně s dalšími podobnými nástroji (Pyright, Pyro) používá pro statickou typovou kontrolu zdrojových kódů v Pythonu. Ten totiž podporuje zápis typových anotací resp. nápověd (hints).
Nvidii chce v provozu AI konkurovat i firma pohánějící velkou část chytrých telefonů. Podívejte se na její kontroverzní techniku
Zdroj:
lupa.cz
18.03.2026 (06:30)
it-pocitace
Qualcomm AI200 má být další konkurent pro inferenci umělé inteligence. V tréninku už není moc prostoru a v inferenci se otevírá prostor i pro jiné hráče než Nvidii.
BaCon: transpřekladač z jazyka BASIC do jazyka C
Zdroj:
root.cz
06.12.2022 (00:00)
it-pocitace
Představíme si možnosti poskytované nástrojem BaCon. Jde o transpřekladač jazyka BASIC (resp. jeho rozšířené podoby) do jazyka C. Tento nástroj je zajímavý proto, že umožňuje prostudovat různé aspekty a problémy transpřekladu.
SQLite-vec: vektorové rozšíření databáze SQLite
Zdroj:
root.cz
13.01.2026 (00:00)
it-pocitace
Seznámíme se s vlastnostmi rozšíření databáze SQLite, které se jmenuje SQLite-vec. Umožňuje SQLite používat ve funkci vektorové databáze, zejména při zpracování přirozeného jazyka, rozpoznávání obrázků, detekci anomálií atd.
Moonscript: jazyk inspirovaný CoffeeScriptem určený pro ekosystém jazyka Lua (dokončení)
Zdroj:
root.cz
18.11.2021 (00:00)
it-pocitace
Dnes dokončíme popis možností jazyka Moonscript, který je transpilován do jazyka Lua. Ukážeme si použití řezů, programových smyček vracejících hodnoty, deklaraci tříd či tzv. destructuring.
Převody zdrojových kódů z jazyka C do jazyka Go
Zdroj:
root.cz
15.11.2022 (00:00)
it-pocitace
Seznámíme se s poněkud neobvyklým, ovšem potenciálně velmi užitečným projektem. Tento projekt se jmenuje c4go a jak již jeho název může napovědět, jedná se o nástroj určený k převodům (transpřekladu) zdrojových kódů napsaných původně v jazyku C do jazyka Go.
Basilisp: interpret programovacího jazyka Clojure integrovaný s Pythonem
Zdroj:
root.cz
13.11.2025 (00:00)
it-pocitace
Koncept jazyka LISP vznikl již před 65 roky. Od té doby bylo vytvořeno možná i několik tisíc implementací. Dnes se seznámíme s Basilispem. Jde o interpret jazyka Clojure, jenž je integrovaný s platformou Pythonu.
Moonscript: jazyk inspirovaný CoffeeScriptem určený pro ekosystém jazyka Lua
Zdroj:
root.cz
09.11.2021 (00:00)
it-pocitace
Seznámíme se s jazykem nazvaným Moonscript. Syntaxe a především sémantika tohoto jazyka je inspirovaná CoffeeScriptem, ovšem Moonscript je určen pro ekosystém jazyka Lua a je tak použitelný i pro tvorbu aplikací pro mikrořadiče.
SIMD instrukce v rozšíření SSE
Těžké loučení. Bitevní vrtulníky typu Mi-24 sloužily v ČSLA od roku 1978
pgvector : vektorová databáze postavená na Postgresu
Calysto Hy: integrace programovacího jazyka Hy s Jupyter Notebookem
Programovací jazyk R: vektory ve funkci základního datového typu jazyka
Standardní šablonovací systém jazyka Go
Go v roli skriptovacího programovacího jazyka
Druhý cizí jazyk je zásadní pro rozvoj žáků i země, míní odbornice
Funkce a typový systém programovacího jazyka ML
Standardní šablonovací systém jazyka Go (dokončení)
Vláda prodloužila kontroly na hranicích se Slovenskem, budou ale mírnější
ULua: univerzální distribuce programovacího jazyka Lua
Lexikální a syntaktická zdrojových kódů jazyka Go
EndBASIC: moderní reinkarnace klasického jazyka BASIC
Projekt Gambit – další kvalitní interpret i překladač programovacího jazyka Scheme
evitaDB: základy dotazovacího jazyka evitaQL
Kombinace programovacího jazyka C3 s assemblerem
Elm: kombinace možností ML jazyka s prostředím JavaScriptu
Přetěžování operátorů v programovacím jazyce C3
Učebnice jazyka Java pro samouky III
Tokenizace textu: základní operace při zpracování přirozeného jazyka
Oslava 55 let od vzniku první implementace programovacího jazyka APL
Užitečné rozšíření GCC – podpora SIMD (vektorových) instrukcí: nedostatky technologie
Google se obejde bez Nvidie. Má už osmou generaci AI čipů a vývoj rozštěpil do dvou směrů
V Aeru pokračuje sériová výroba L-39NG, začala jednání s dalšími zákazníky
Femtolisp: dialekt LISPu tvořící součást jazyka Julia
Vývoj pro osmibitovou herní konzoli NES s využitím překladače jazyka C (dokončení)
Plaga: Ústní maturity z češtiny a cizího jazyka budou nepovinné
Ubuntu bude mít měsíční snapshoty, HardenedBSD zavádí podporu Rustu
Rakousko ukončí od pondělí po vzoru ČR kontroly na hranici se Slovenskem
Až 4 TB pro grafickou kartu. SanDisk pomocí flashových pamětí výrazně urychlí AI výpočty
Komunikace se sloupcovými databázemi z jazyka Go: Parquet soubory
