Philip Zucker

@SandMouth

Physicist, Haskeller, Not a Bird

Providence, RI
Vrijeme pridruživanja: prosinac 2013.

Tweetovi

Blokirali ste korisnika/cu @SandMouth

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @SandMouth

  1. Prikvačeni tweet
    18. velj 2019.
    Poništi
  2. proslijedio/la je Tweet
    2. velj

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

    Poništi
  3. proslijedio/la je Tweet
    31. sij

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

    Poništi
  4. proslijedio/la je Tweet
    30. sij
    Poništi
  5. proslijedio/la je Tweet
    29. sij

    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.

    Poništi
  6. proslijedio/la je Tweet
    29. sij

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

    Poništi
  7. 28. sij

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

    Poništi
  8. 28. sij
    Poništi
  9. proslijedio/la je Tweet
    28. sij
    Odgovor korisnicima i sljedećem broju korisnika:

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

    Poništi
  10. proslijedio/la je Tweet
    28. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    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.

    Poništi
  11. proslijedio/la je Tweet
    27. sij

    Slides for "Resource Constrained Programming with Full Dependent Types"

    Poništi
  12. proslijedio/la je Tweet
    26. sij

    Relational division using the inductive matrix definition:

    Poništi
  13. proslijedio/la je Tweet
    26. sij

    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

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    25. sij
    Poništi
  15. 25. sij
    Poništi
  16. 25. sij

    Formal Methods in Mathematics / Lean Together 2020 vids and slides

    Poništi
  17. proslijedio/la je Tweet
    24. sij

    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)

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    24. sij

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

    Poništi
  19. proslijedio/la je Tweet
    24. sij
    Odgovor korisnicima

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

    Poništi
  20. 24. sij

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

    Prikaži ovu nit
    Poništi
  21. 24. sij

    Oooh nelly, who’s gonna be lucky number 300

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·