penguinjeff

3 ms·

1. 1.▲
   Solving Binary Puzzles Using Python and Z3(ahf.me)

   2 points by penguinjeff 6y ago|0 comments
2. 2.▲
   by penguinjeff 6y ago

   For web applications: Django. For Linux desktop applications: GTK+. For "portable" desktop applications: Qt (because of its tooling).
3. 3.▲
   by penguinjeff 6y ago

   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