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

Zdroják » Archivy pro Redakce » Autoři » Strana 13 » Strana 13 z 24

Archiv autora: Redakce

Zdrojak.cz

Články PR Články

Chcete navštívit známou vývojářskou konferenci GeeCON opět u nás v Česku? Žádný problém, společnost Y Soft spolu s organizátory GeeCONu vás zve 23. – 24. října 2015 do Prahy. Konat se tu bude již druhý ročník této výjimečné akce, která má v sousedním Polsku mnohaletou tradici. IT publikum z řad vývojářů a JAVA odborníků získává unikátní příležitost shlédnout všechny zajímavé přednášky přímo doma v Praze.

Články Tiskové zprávy

Konference WebExpo 2015 odtajnila další hvězdné zahraniční spíkry, kteří přijedou 19. a 20. září do Prahy. Na webových stránkách webexpo.cz byl při této příležitosti zveřejněn také program konference. Účastníci si tak již nyní mohou začít plánovat, jaké přednášky si v paláci Lucerna a v kině Světozor nenechají ujít.

Tiskové zprávy
Články Tiskové zprávy

Institut plánování a rozvoje hl. m. Prahy, pražský magistrát a městské části Praha 7 a 8 poskytly stovky datasetů s informacemi o územním plánování, kriminalitě, veřejné dopravě nebo správním rozhodování. Týmy složené z programátorů, analytiků a kreativních lidí z různých oborů vytvořily za víkend 13 projektů řešících různorodé problémy.

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.