Phillip SchanelyModeling Python Regular Expressions with Z3I’ve been busy working on CrossHair lately. It uses symbolic execution to check properties of Python programs.Jul 7, 2020Jul 7, 2020
Phillip SchanelyThe Python Standard Library: Modules by PopularityCrossHair uses symbolic Python objects that look like native values (ints, lists, etc). When these values are passed to functions…Oct 26, 2019Oct 26, 2019
Phillip SchanelyIntroducing EmojiTacticsI’ve just finished the v0 of a turn-based strategy game, EmojiTactics. Notably, every graphical element in the game is an emoji.Apr 5, 2019Apr 5, 2019
Phillip SchanelyinHackerNoon.comComputed State: The Model-View ProblemFrom compilers to web apps, databases to caches, maintaining computed state is the most prevalent and thorny problem I’ve faced as a…Feb 7, 20172Feb 7, 20172
Phillip SchanelyOptimizing Higher Order Functions with Hypothetical Inverses4/29/2016 edit: Feel free to play with the code I’ve written to perform these transformations (in a very strange language called Maude)…Apr 29, 20162Apr 29, 20162
Phillip SchanelyWhy Sorts and Filters SuckAnd how your database taught you to love them anyway.Mar 24, 20163Mar 24, 20163