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

Zdroják » Autoři » Archivy pro Jiří Sekera

Archiv autora: Jiří Sekera

V roce 2005 spoluzaložil studio Refresh, ve kterém působí především jako UX konzultant. Ve stozích papírů se spoustou poznámek hledá smysl sdělení. Jakmile ho najde, oseká ho na dřeň, rozvine pro něj červený běhoun a dohlíží, aby mu cestou k adresátovi nikdo neublížil.Rád aktivně podporuje tuzemskou webovou komunitu a smysluplné dobročinné projekty, občasně přispívá na designportal.cz. Tweetuje jako @signalizer.

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.