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

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

Články strana 67 z 181

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

Jak dlouho vám trvá, než přečtete třicet zajímavých odborných článků? Mně osobně tak možná půl roku, proto jsem se letos rozhodl jít na to chytřeji a zúčastnit (ne)konference jOpenSpace. V tomto souhrnu bych se s vámi chtěl podělit o své zážitky a poznatky.

Webdesign
Články Webdesign

K podzimu nepochybně patří krásné barevné dýně. Ty dlabané halloweenské se k nám dostaly z anglosaských zemí, s výrazným nástupem po Sametové revoluci. Pojďme si nyní krok za krokem ukázat, jak si takovou pěknou dýni vydlabat (vyřezat) s technologií SVG.

Články Různé

Pro hru Minecraft existuje veliké množství modifikací – módů. Přidávají nové bloky, předměty, mění herní mechaniku, rozšiřují herní možnosti. Pokud máte nápady, schopnosti a hlavně čas, můžete se pustit do vývoje nového zajímavého módu. Tento článek se pokusí ukázat, jak začít.

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

Snili jste o tom, že jednou budete moci navštívit v České republice pořádnou vývojářskou konferenci o Javě a dalších technologiích? Třeba známou vývojářskou konferenci GeeCON? Tento sen se už na podzim stane skutečností. 23.-24. října se bude v Praze konat první ročník této výjimečné akce, která má v sousedním Polsku již několikaletou tradici. IT publikum z řad vývojářů získává unikátní příležitost shlédnout všechny zajímavé přednášky přímo u nás doma.

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.