Philip Zucker

@SandMouth

Physicist, Haskeller, Not a Bird

Providence, RI
Joined December 2013

Tweets

You blocked @SandMouth

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @SandMouth

  1. Pinned Tweet
    18 Feb 2019
    Undo
  2. Retweeted

    Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura.

    Undo
  3. Retweeted
    Jan 31

    New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system.

    Undo
  4. Retweeted
    Jan 29
    Undo
  5. Retweeted
    Jan 29

    Mixed-Integer Linear Programming with Python : Python-MIP now has a proper website it is well integrated with the automatically generated documentation, tell us if there is anything more that we can add.

    Undo
  6. Retweeted
    Jan 29

    Yet Another Math Programming Consultant: How to model y=min(x1,x2) Note particularly what *not* to do

    Undo
  7. Jan 28

    Never seen this one. Makes a lot of sense. I wonder if grid refinement might be a down to earth example for adjunctions.

    Undo
  8. Jan 28
    Undo
  9. Retweeted
    Jan 27
    Replying to and

    I know SemanticModels.jl does some of this. At least from I've heard some cool stuff.

    Undo
  10. Retweeted
    Jan 28
    Replying to and

    In SemanticModels.jl, we use Catlab WD interface, support decorated cospans, and use Diffeq.jl to solve the ODEs. Definitely still a prototype, but it’s getting there.

    Undo
  11. Retweeted
    Jan 27

    Slides for "Resource Constrained Programming with Full Dependent Types"

    Undo
  12. Retweeted
    Jan 26

    Relational division using the inductive matrix definition:

    Undo
  13. Retweeted
    Jan 26

    It's almost unbelievable that this paper passed me by. It's barely 5 pages long, so I'm quickly rectifying that before I notice it's the weekend

    Show this thread
    Undo
  14. Retweeted
    Jan 25
    Undo
  15. Jan 25
    Undo
  16. Jan 25

    Formal Methods in Mathematics / Lean Together 2020 vids and slides

    Undo
  17. Retweeted
    Jan 24

    Neng-Fa Zhou's FADL'20 talk on "Competitive Programming With Picat": . It's first a short Picat tutorial and then a nice walk through of his soiutions of the ICLP Logic Programming Competition 2019. See the Picat code here (cont)

    Show this thread
    Undo
  18. Retweeted
    Jan 24

    Introducing scikit-geometry, a Python library with useful geometric types and functions for and :

    Undo
  19. Retweeted
    Jan 24

    My solution takes 61 chars not including Qed. and indentation:

    Undo
  20. Jan 24

    C'mon down and get your prize! This very prestigious gif!

    Show this thread
    Undo
  21. Jan 23

    Oooh nelly, who’s gonna be lucky number 300

    Show this thread
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·