Přejít k navigační liště

Zdroják » Zprávičky » Poslední týden nominací do Křišťálové Lupy 2009

Poslední týden nominací do Křišťálové Lupy 2009

Zprávičky Různé

Nominační fáze soutěže Křišťálová Lupa 2009 se pomalu blíží ke konci. Ode dneška máte posledních sedm dní na to, abyste v jednotlivých kategoriích nominovali nějaký zajímavý projekt, službu či instituci. Nominace budou uzavřeny 6. září. Od 21. září do 25. října proběhne hlasování veřejnosti. Výsledky budou vyhlášeny na slavnostním večeru 29. listopadu.

Komentáře

Odebírat
Upozornit na
guest
0 Komentářů
Nejstarší
Nejnovější Most Voted

TypeScript 7 v Go: rychlejší buildy, chybějící API

Betaverze TypeScriptu 7.0 ukazuje víc než rychlejší tsc. Microsoft převádí kompilátor a jazykovou službu z původní kódové základny psané v TypeScriptu a běžící jako JavaScript do Go, přidává paralelní typovou kontrolu a připravuje novou editorovou část postavenou na LSP. Pro část nástrojů ale nepůjde o prostou výměnu binárky: TypeScript 7 zatím nemá stabilní náhradu dnešního Compiler API.

Prolog nezmizel. Jen dnes žije v jiných nástrojích

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.