|
Philip Zucker
@
SandMouth
Providence, RI
|
|
Physicist, Haskeller, Not a Bird
|
|
|
1.774
Tweetovi
|
881
Pratim
|
305
Osobe koje vas prate
|
| Tweetovi |
|
Philip Zucker
@SandMouth
|
2. velj |
|
Unhappy?
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
José A. Alonso
@Jose_A_Alonso
|
2. velj |
|
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura. arxiv.org/abs/2001.10490 #ITP #LeanProver
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
Paolo Perrone
@PaoloPerrone8
|
31. sij |
|
New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system. youtu.be/8T-Km3taNko
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
よ
@pitopos
|
30. sij |
|
The Profunctor Optics n-category cafe post is up!
golem.ph.utexas.edu/category/2020/…
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
Haroldo G. Santos
@unxusr
|
29. sij |
|
Mixed-Integer Linear Programming with Python : Python-MIP now has a proper website python-mip.com it is well integrated with the automatically generated documentation, tell us if there is anything more that we can add.
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
Paul A. Rubin
@parubin
|
29. sij |
|
Yet Another Math Programming Consultant: How to model y=min(x1,x2) ow.ly/sgn030qdm7o #orblog Note particularly what *not* to do
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
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. twitter.com/_julesh_/statu…
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
28. sij |
|
It's a touch call. If I can't find anything or replicate, what is the responsible thing to do?
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
28. sij |
|
New post: Has My Blog Been Hacked? philipzucker.com/has-my-blog-be…
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
Chris Rackauckas
@ChrisRackauckas
|
28. sij |
|
I know SemanticModels.jl does some of this. At least from @fairbanksjp I've heard some cool stuff. youtube.com/watch?v=WJneK7…
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
James Fairbanks
@fairbanksjp
|
28. sij |
|
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
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
Dependent Types
@dependent_types
|
27. sij |
|
Slides for "Resource Constrained Programming with Full Dependent Types" dlvr.it/RNqmxh pic.twitter.com/l7av4mAlI8
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
27. sij |
|
Keep an eye on catlab.jl . @ejpatters 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 @ChrisRackauckas Jupyter Notebooks get you some way to a good ui without insurmountable effort
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
Armando Santos
@_bolt12
|
26. sij |
|
Relational division using the inductive matrix definition: pic.twitter.com/KUYzC7gNgj
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
27. sij |
|
cs.bham.ac.uk/~udr/papers/lo… I was reading this recently. Very interesting. Perhaps relevant. Logical relations?
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
julesh
@_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
zanasi.com/fabio/files/pa… pic.twitter.com/1KfneojVPz
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
25. sij |
|
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
|
||
|
|
||
| Philip Zucker proslijedio/la je tweet | ||
|
José A. Alonso
@Jose_A_Alonso
|
25. sij |
|
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
25. sij |
|
New post: A Sketch of Categorical Relation Algebra Combinators in Z3Py philipzucker.com/a-sketch-of-ca… #categorytheory #python #z3
|
||
|
|
||
|
Philip Zucker
@SandMouth
|
25. sij |
|
Formal Methods in Mathematics / Lean Together 2020 vids and slides andrew.cmu.edu/user/avigad/me…
|
||
|
|
||