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

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

Archiv autora: Redakce

Zdrojak.cz

Články Tiskové zprávy

22. a 23. září 2017 proběhne v Praze již po desáté WebExpo, nejdůležitější akce pro webové profesionály ve střední Evropě. Konference nabídne 4 přednáškové sály, ve kterých vystoupí více než 80 řečníků, mezi nimi i designérské duo Anton & Irene a další světové osobnosti z oblasti webového vývoje, digitálního designu a online byznysu.

PR Články
Články PR Články

Top firmy, soutěže v programování i přínosné přednášky. Jobs Dev, první veletrh práce pro programátory v České republice proběhne 8. dubna na Fakultě architektury ČVUT, vstupné je zdarma. Odnesete si nové znalosti díky odborným přednáškám, hodnotné kontakty na vystavující firmy a ostatní programátory, ale třeba i 100 000 Kč, tedy hlavní výhru v každé ze šesti soutěží v programování.

PR Články
Články PR Články

Dnes, kdy je Microsoft klíčovým členem Linux Foundation a nejaktivnějším Open Source přispěvovatelem na GitHubu, začínají jeho DevTest technologie a DevOps nástroje, infrastrukturu a další výhody využívat i ti, kteří s nimi neměli nikdy nic společného. Ani moc nezáleží na tom, zda tvoří software pro iOS, Android, Javu, Linux, Windows, web či cokoli jiného.

Články PR Články

2 500 programátorů z celé ČR se sejde v sobotu 8. dubna v Praze na Fakultě architektury ČVUT spolu s 200 firmami a několika programátorskými komunitami. Potkáte zde nové lidi a objevíte komunity, o nichž jste možná ani nevěděli. Zjistíte, jaké nároky mají velké firmy a zda by o vás měli zájem, nebo si s nimi rovnou na veletrhu domluvíte pohovor.

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.