Twitter | Pretraživanje | |
Philip Zucker
Physicist, Haskeller, Not a Bird
1.774
Tweetovi
881
Pratim
305
Osobe koje vas prate
Tweetovi
Philip Zucker 2. velj
Odgovor korisniku/ci @davidjsilvester
Unhappy?
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
José A. Alonso 2. velj
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
Paolo Perrone 31. sij
New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
よ 30. sij
The Profunctor Optics n-category cafe post is up!
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
Haroldo G. Santos 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.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
Paul A. Rubin 29. sij
Yet Another Math Programming Consultant: How to model y=min(x1,x2) Note particularly what *not* to do
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 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.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 28. sij
Odgovor korisniku/ci @_bolt12
It's a touch call. If I can't find anything or replicate, what is the responsible thing to do?
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 28. sij
New post: Has My Blog Been Hacked?
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
Chris Rackauckas 28. sij
Odgovor korisniku/ci @ejpatters @SandMouth i 2 ostali
I know SemanticModels.jl does some of this. At least from I've heard some cool stuff.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
James Fairbanks 28. sij
Odgovor korisniku/ci @ejpatters @SandMouth i 2 ostali
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.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
Dependent Types 27. sij
Slides for "Resource Constrained Programming with Full Dependent Types"
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 27. sij
Odgovor korisniku/ci @_julesh_ @ejpatters @ChrisRackauckas
Keep an eye on catlab.jl . already has put some very cool functionality in there. And Julia makes a lot of sense if you want to hook into the latest hotness of ODE solvers Jupyter Notebooks get you some way to a good ui without insurmountable effort
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
Armando Santos 26. sij
Relational division using the inductive matrix definition:
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 27. sij
Odgovor korisniku/ci @_bolt12 @NathanielVirgo
I was reading this recently. Very interesting. Perhaps relevant. Logical relations?
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
julesh 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
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 25. sij
Odgovor korisniku/ci @msimoni
Knowing you have a list at all is a type. Opaque objects with a string keyed lookup can also be represented as a type. Sounds like fun polymorphism games, but it probably would be unergonomic to do this in a strong typed setting
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker proslijedio/la je tweet
José A. Alonso 25. sij
Homotopy Type Theory. ~ Nicolas Tabareau.
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 25. sij
New post: A Sketch of Categorical Relation Algebra Combinators in Z3Py
Reply Retweet Označi sa "sviđa mi se"
Philip Zucker 25. sij
Formal Methods in Mathematics / Lean Together 2020 vids and slides
Reply Retweet Označi sa "sviđa mi se"