taw.hashnode.devBreak 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...Jan 1, 2023·3 min read
taw.hashnode.devBreak 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...Dec 31, 2022·4 min read
taw.hashnode.devGetting 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...Dec 25, 2022·3 min read
taw.hashnode.devGetting 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 ...Dec 24, 2022·5 min read
taw.hashnode.devPyScript: 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...Dec 24, 2022·3 min read