TWTomasz Węgrzanowskiintaw.hashnode.dev·Jan 1, 2023 · 3 min readBreak XOR Cipher with Z3In previous post, I showed how to break Caesar cipher with Z3. This wasn't really all that exciting as Caesar cipher has only 26 possibilities, so it's triival to break with brute force, and you can even just display all possible answers and choose t...00
TWTomasz Węgrzanowskiintaw.hashnode.dev·Dec 31, 2022 · 4 min readBreak Caesar Cipher with Z3Z3 is usually given a list of hard constraints, and told to solve them, but it can do quite a few more things. Let's use it unconventionally and break Caesar cipher. The Challenge The following plaintext from Wikipedia: In cryptography, a Caesar cip...00
TWTomasz Węgrzanowskiintaw.hashnode.dev·Dec 25, 2022 · 3 min readGetting Started with Web Speech Synthesis API and SvelteBrowser get new APIs all the time, one of such APIs is Web Speech Synthesis. Let's explore it with Svelte. Getting Started with the API The entry point of the API is speechSynthesis object. To get list of available voices we can do: console.log(speec...00
TWTomasz Węgrzanowskiintaw.hashnode.dev·Dec 24, 2022 · 5 min readGetting Started with ClickHouseClickHouse is a column-oriented database system with SQL-like interface. Its main selling point is high performance when handling enormous datasets in near real time. The sacrifice you'll need to make is very limited support for updates, deletes, or ...00
TWTomasz Węgrzanowskiintaw.hashnode.dev·Dec 24, 2022 · 3 min readPyScript: Second ImpressionsPyScript lets you run Python directly in the browser. I tried PyScript once before, but back then it didn't even run. Fortunately it got over this issue, and now it runs. Installation There's probably some way to get it through npm or pip, but PyScri...00