3 ms·

Is there a place to find your notes?

• pschanely 6y ago
  Sadly, mine largely aren't committed to words yet. I do have a small thing on implementing regular expressions: https://medium.com/@pschanely/modeling-python-regular-expressions-with-z3-fe391b7ee24 https://medium.com/@pschanely/modeling-python-regular-expres... But there is so much to talk about: gotchas with quantifiers, mixing logics, multiplication, float conversions. I'll try to write up some more of my experiences if that's valuable for folks!
  • fovc 6y ago
    I would very happily read that! Or if possible would love to chat about it -- sent you a message via LinkedIn (Only contact medium I found)
    • pschanely 6y ago
      Great! Sadly, I don't see anything on linkedin though. Feel free to just ping me by email: pschanely@gmail.com