penguinjeff

Solving Binary Puzzles Using Python and Z3

Posted by penguinjeff on Sunday May 03, 2020 @12:35PM
from the ahf.me dept.

https://ahf.me/articles/2020/05/01/solving-binary-puzzles-using-python-and-z3/

( Read More... | no comments | 2 points | on HN )

Re:Ask HN: What are the most enjoyable language/framework you build pr... on Sunday May 03, 2020 @07:38AM (#23058410)

For web applications: Django. For Linux desktop applications: GTK+. For "portable" desktop applications: Qt (because of its tooling).

Re:Awk in 20 Minutes (2015) on Saturday May 02, 2020 @10:33AM (#23052006)

Great post. I didn't know Fred had a blog. Fred's writing style never ceases to amaze me. His book on property based testing in Elixir was a better introduction for me to Python's Hypothesis than any of the other tutorials I found online on the topic because it made me think about discovering properties of my code. Would recommend it to others.