mattz0rt

4 ms·

1. 1.▲
   by mattz0rt 7y ago

   In my experience SMT solvers tends to be an order of magnitude slower than MIP solvers, even when looking at the exact same constraints. But yes given a small enough problem SMT solvers like Z3 are an excellent choice and provide additional
2. 2.▲
   by mattz0rt 7y ago

   Python equivalent: return a or b
3. 3.▲
   Detectron2: A PyTorch-based modular object detection library(ai.facebook.com)

   1 points by mattz0rt 7y ago|0 comments
4. 4.▲
   by mattz0rt 8y ago

   I dipped after seeing that they'd have permission to send tweets and view my dm's. Just viewing my profile should be sufficient for login permissions
5. 5.▲
   by mattz0rt 8y ago

   Yup good ol' wordpress with the Contact Form 7 addon for the early access sign-up. Would like to do a redesign at some point to make the value prop more obvious, but getting a public beta out has been the priority recently.
6. 6.▲
   by mattz0rt 8y ago

   A bit different from what most financial engineers are interested in, but I'm in the process of developing a linear programming model for the US tax code so you can do long term tax optimizations based on your financial profile and goa