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

Zdroják » Články » Strana 10 » Strana 10 z 181

Články strana 10 z 181

Různé
Články Různé

V prohlížeči Chrome je od verze 113 možné přepisovat HTTP hlavičky v odpovědích ze serveru a lze také nějakou novou přidat. To se může hodit pokud potřebujete upravit třeba nějakou bezpečnostní hlavičku pro testování, protože k přepisu dojde ještě před zpracováním věcí jako např. CSP, takže pro konkrétní stránku můžete upravit Content Security politiku přímo v prohlížeči.

Články Různé

Znáte Bluesky, nebo AT protokol? Pojďme se společně na obojí podívat pohledem vývojáře. Bluesky chce oživit sociální média jako důvěryhodný veřejný prostor tím, že se zaměří na vytvoření platformy, která je důvěryhodná, škálovatelná a přenosná.

Články Webdesign

WebExpo 2023 začalo ve velkém stylu se zářivým vystoupením smyčcového kvartetu. Následovalo zahájení ředitelkou WebExpa, Šárkou Štrossovou, která nás prostřednictvím interaktivního videa provedla všemi prostory konference a seznámila nás s tím, co můžeme očekávat v následujících dnech.

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.