#ruby
Read more stories on Hashnode
Articles with this tag
In 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...
Z3 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...
The war isn't going anywhere for now, so every couple of days I have to do the following steps to update Russian losses tracker: download zip from...
In the previous episode we've taken a look at Ruby Regular Expression API. I want to try a few more languages, and the most obvious one to start with...
It's easy to check if a string matches a regular expression, it's easy s =~ /rx/. To check if it matches any of multiple regular expressions, it's...
The goal of parsing is turning unstructured text input into some useful data. The most popular parsing system is regular expressions. Unfortunately...