Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @SandMouth
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @SandMouth
-
Pinned Tweet
New post: A Touch of Topological Computation 3: Categorical Interlude http://www.philipzucker.com/a-touch-of-topological-computation-3-categorical-interlude/ …
#CategoryTheory#categorytheory#haskellThanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura. https://arxiv.org/abs/2001.10490
#ITP#LeanProverThanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system.https://youtu.be/8T-Km3taNko
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
The Profunctor Optics n-category cafe post is up! https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Mixed-Integer Linear Programming with Python : Python-MIP now has a proper website http://python-mip.com/ it is well integrated with the automatically generated documentation, tell us if there is anything more that we can add.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Yet Another Math Programming Consultant: How to model y=min(x1,x2) http://ow.ly/sgn030qdm7o
#orblog Note particularly what *not* to doThanks. Twitter will use this to make your timeline better. UndoUndo -
Never seen this one. Makes a lot of sense. I wonder if grid refinement might be a down to earth example for adjunctions.https://twitter.com/_julesh_/status/1222212439640563712 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
New post: Has My Blog Been Hacked?http://www.philipzucker.com/has-my-blog-been-hacked/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
I know SemanticModels.jl does some of this. At least from
@fairbanksjp I've heard some cool stuff.https://www.youtube.com/watch?v=WJneK7OjqMQ …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
In SemanticModels.jl, we use
@ejpatters Catlab WD interface, support decorated cospans, and use@ChrisRackauckas Diffeq.jl to solve the ODEs. Definitely still a prototype, but it’s getting there.pic.twitter.com/tdr52pXSRF
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Slides for "Resource Constrained Programming with Full Dependent Types" http://dlvr.it/RNqmxh pic.twitter.com/l7av4mAlI8
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Relational division using the inductive matrix definition:pic.twitter.com/KUYzC7gNgj
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
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 http://www.zanasi.com/fabio/files/paperCALCO19b.pdf …pic.twitter.com/1KfneojVPz
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Homotopy Type Theory. ~ Nicolas Tabareau. https://github.com/Coq-Andes-Summer-School/CASS2020/raw/master/slides_tabareau.pdf …
#ITP#Coq#HoTTThanks. Twitter will use this to make your timeline better. UndoUndo -
New post: A Sketch of Categorical Relation Algebra Combinators in Z3Py http://www.philipzucker.com/a-sketch-of-categorical-relation-algebra-combinators-in-z3py/ …
#categorytheory#python#z3Thanks. Twitter will use this to make your timeline better. UndoUndo -
Formal Methods in Mathematics / Lean Together 2020 vids and slides http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Neng-Fa Zhou's FADL'20 talk on "Competitive Programming With Picat": https://www.youtube.com/watch?v=s15ouCwFfSk … . 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 http://picat-lang.org/pc/lpcomp2019.html … (cont)
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
Introducing scikit-geometry, a Python library with useful geometric types and functions for
#Science#Robotics and#GIS:https://medium.com/@wolfv/introducing-scikit-geometry-ae1dccaad5fd …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Philip Zucker Retweeted
My solution takes 61 chars not including Qed. and indentation:https://stackoverflow.com/questions/1674018/proving-f-f-bool-bool#comment83641752_2363595 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
@pitopos C'mon down and get your prize! This very prestigious gif!pic.twitter.com/8JnGJ9k5K1Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Oooh nelly, who’s gonna be lucky number 300
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
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.