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

Zdroják » Autoři » Archivy pro Vojtěch Semecký

Archiv autora: Vojtěch Semecký

Pracuje v Testomato.com, provozuje přehled konferencí Konfery.cz, eshop na trička s vlastním potiskem, volnočasový AI projekt This Beach Does Not Exist.

Č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.

Články Webdesign

V pátek a sobotu proběhla konference WebExpo 2017. Konala se v sálech Lucerny (velký sál, music bar, kino, café) a v nedalekém Divadle ABC. Konference začala světelnou fireshow, následoval úvod od moderátora Dana Čecha a keynote od ředitelky Webexpa, Šárky Štrossové.

Donedávna bylo základním, doporučeným, způsobem vývoje Android aplikací prostředí Eclipse s pluginem Android Developer Tools. Přestože jsem Eclipse dobře znal, nepracovalo se mi s ním dobře. Instalace byla komplikovaná, IDE pomalé a celkově to působilo neohrabaně. Nedávno ale Google přišel s novým vývojovým prostředím, Android Studio, které vám chci ukázat.

Články Databáze

Dnes si ukážeme, jak pokládat Sphinxu dotazy z vlastní aplikace pomocí Sphinx API, jaké jsou možnosti vyhledávání, jak výsledky filtrovat, třidit… Součástí Sphinx Search je API pro PHP, Perl, Python, Ruby a Javu. Já to ukážu na příkladu PHP.

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.