Viewing profile — pschanely

> I believe your argument on the performance penalty is right, and as a corollary, this implies that contracts are mostly useful if associated with a formal proof system. Contracts…

A little encouragement goes such a long way. Thank you for trying it out, and especially for coming back here to let me know how it went!

Oh, thank you! I don't have any plans for expanding to other music services. But skimming the Apple Music API, I think it's possible. Particularly if you think you'd use it, I'll i…

Music Tonight: https://musictonightapp.com/ Makes a Spotify playlist of artists playing near you, tonight. No revenue. I really just made it for me; make the playlist in the am, li…

Great! Sadly, I don't see anything on linkedin though. Feel free to just ping me by email: pschanely@gmail.com

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-expres... But …

Looking at some of your SMT-based projects, I'd love to compare your SMT solver notes with my mine from working on https://github.com/pschanely/CrossHair Sadly, there aren't a lot …

Totally agree that this is confusing. I've stolen and committed your suggestion. Thank you both!

Yes. Z3 is impressive. I intend to do a write-up of how I chose to model Python values in it soon.

That's right! We pick different choose execution paths arbitrarily and accumulate constraints in an SMT solver as we go. It's implemented with special objects that look just like i…

That would be amazing. It's easy to turn CrossHair into an absurdly slow fuzz tester (imagine hashing or printing your inputs early in the process). I think the ideal product would…

Hi all! My primary objective with this post is to find potential collaborators and people willing to try it. (and file bugs!) If you do try it, I'd encourage you to think of it as …

The README.md goes fast, but I have some feel for what's going on. Could I, for instance, connect a client and start logging every message in the system using a liberal matcher and…

I'm glad that other folks think this is important too. Stay tuned on twitter/medium. That python library also supports a viewabledict (for key-value mappings). I've got an experime…

Referenced in the paper panic suggested below ( https://news.ycombinator.com/item?id=11595273 ), and suggested to me directly by @mattcmd on twitter ( https://twitter.com/mattmcd/s…

Yes! I think perhaps that f needs only to be a homomorphism instead of an isomorphism, but I don't trust myself enough to make such a claim definitively :) Always curious to follow…

Unfortunately, I took barely enough grad school classes to be dangerous! It's worth clarifying that the lifting of f through r can change r (to, say r'), in which case, yes, f is a…

Thank you. And, heck yes, more people need to be talking about how to deal with computations that are largely repeated. That problem comes up all over the place. Couchdb had an int…

Great observations. For the purposes of this exploration, I am entirely assuming arbitrary precision integers (and the math geek in me is really enjoying your use of the adjective …