Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @SandMouth
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @SandMouth
-
Prikvačeni 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#haskellHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura. https://arxiv.org/abs/2001.10490
#ITP#LeanProverHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system.https://youtu.be/8T-Km3taNko
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
The Profunctor Optics n-category cafe post is up! https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
Yet Another Math Programming Consultant: How to model y=min(x1,x2) http://ow.ly/sgn030qdm7o
#orblog Note particularly what *not* to doHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New post: Has My Blog Been Hacked?http://www.philipzucker.com/has-my-blog-been-hacked/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
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 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
Slides for "Resource Constrained Programming with Full Dependent Types" http://dlvr.it/RNqmxh pic.twitter.com/l7av4mAlI8
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
Relational division using the inductive matrix definition:pic.twitter.com/KUYzC7gNgj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
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
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
Homotopy Type Theory. ~ Nicolas Tabareau. https://github.com/Coq-Andes-Summer-School/CASS2020/raw/master/slides_tabareau.pdf …
#ITP#Coq#HoTTHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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#z3Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Formal Methods in Mathematics / Lean Together 2020 vids and slides http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
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)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
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 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Philip Zucker proslijedio/la je Tweet
My solution takes 61 chars not including Qed. and indentation:https://stackoverflow.com/questions/1674018/proving-f-f-bool-bool#comment83641752_2363595 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
@pitopos C'mon down and get your prize! This very prestigious gif!pic.twitter.com/8JnGJ9k5K1Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oooh nelly, who’s gonna be lucky number 300
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.