philipzucker.com: 11 stories from 11 submitters

  1. 12
    SQL, Homomorphisms and Constraint Satisfaction Problems databases philipzucker.com
    squadette avatar via squadette 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 33
    Don’t Implement Unification by Recursion plt philipzucker.com
    mjn avatar via mjn 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  3. 13
    State of Knuckledragger, a Semi-Automated Python Proof Assistant formalmethods python philipzucker.com
    ocramz avatar via ocramz 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 7
    Simple proofs with Z3Py formalmethods philipzucker.com
    fanf avatar via fanf 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 5
    Justified SMT 1: The Minikanren inside Z3 compsci philipzucker.com
    mpweiher avatar via mpweiher 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 8
    Hashing Modulo Theories plt philipzucker.com
    Moonchild avatar via Moonchild 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 14
    Datalite: A Simple Datalog Built Around SQLite in Python databases programming philipzucker.com
    marcellerusu avatar via marcellerusu 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  8. 5
    2D Optics Demos in Javascript javascript visualization philipzucker.com
    hwayne avatar via hwayne 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 1
    Translating My Z3 Tutorial to Coq plt philipzucker.com
    GrayGnome avatar via GrayGnome 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 11
    Linear Algebra of Types haskell math philipzucker.com
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 22
    Why I think Haskell is the best general purpose language (as of June 22 2019) haskell plt philipzucker.com
    TronDD avatar via TronDD 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments