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

Zdroják » Zprávičky » Sledujte přenos z konference IT10

Sledujte přenos z konference IT10

Zprávičky Různé

Nálepky:

Opět je tu on-line přenos z akce, díky němuž mohou i ti, kteří nebudou přítomni v sále, sledovat dnes také například dva bloky věnované IPv6. V jejich rámci bych chtěl upozornit na panelovou diskusi, v níž zasednou zástupce ISP (Telefónica O2), poskytovatele internetového obsahu (Seznam.cz), státní správy (Ministerstvo průmyslu a obchodu ČR), akademické obce (Technická univerzita Liberec) a výrobci hardwaru (D-Link a CISCO). Panelovou diskusi bude moderovat Petr Krčmář, šéfredaktor serveru Root.cz, který je zároveň hlavním mediálním partnerem akce. Zajímavé budou jistě i informace z prvního přednáškového bloku. Zde bych za všechny jmenoval vystoupení Ondřeje Filipa, výkonného ředitele CZ.NIC, který na domácí půdě osobně představí nedávno mezinárodně oceněný routovací démon BIRD. Na jeho vývoji se podílí sdružení CZ.NIC, konkrétně zaměstnanci Laboratoří CZ.NIC.

Komentáře

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

… jako by mě v té zprávičce chyběla jedna věc – odkaz, který by mě alespoň nasměroval tam, kde bych ten on-line přenos mohl najít.
Přijde mi to, že bez toho odkazu má ten článek téměř nulovou vypovídací hodnotu, ale to už je jen můj subjektivní názor.

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.