Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @ejpatters
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @ejpatters
-
The slides raise the question of the reproducibility of mathematical proofs. Everybody talks about scientific reproducibility, but hardly anybody talks mathematical reproducibility. For the proofs of hard theorems, this is a real issue.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Interesting MO question: among hard mathematical results, which can we trust and how can we know? https://mathoverflow.net/q/351640 Question inspired by a talk by Kevin Buzzard (
@XenaProject), with slides online: http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
FYI, the old blog post by Fernando mentioned above is here: http://blog.fperez.org/2012/01/ipython-notebook-historical.html … Back then, Jupyter was still called the IPython notebook but the idea of a generic messaging protocol for kernels and frontends was already established and implemented.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The same lesson can be drawn from some other highly successful software projects. I don't believe that Emacs or Vim would be still be in widespread use today if they were not so extensible. More recently, Atom and VS Code are benefiting from the same principle.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today, there are Jupyter kernels for dozens, maybe hundreds, of languages. That is why everybody uses the Jupyter notebook, despite the fact that Mathematica and Maple introduced notebook interfaces 30 years ago. By being closed off, these systems missed a big opportunity.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Eight years after this blog post, the biggest lesson I take away from the success of Jupyter is the importance of open, transparent, extensible platforms. Fernando, Brian, Min and others built a platform that anyone could easily extend for their own purposes.https://twitter.com/wcrichton/status/1223004172120838144 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Evan Patterson 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 -
I really enjoyed talking about Catlab.jl (for the first time ever!) at the MIT Applied Categories Seminar. Slides are now online: https://www.epatters.org/assets/slides/2020-catlab/mit-iap-2020.slides#/ … Video is below (big thanks to
@PaoloPerrone8):https://twitter.com/PaoloPerrone8/status/1217976908748595200 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Evan Patterson proslijedio/la je Tweet
For anyone doing computational* work involving measure theory, what capabilities would you look for in a "measures" software library? * Turing machines are cool, but here I mean "computed using an actual physical computer"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
With the ability to convert wiring diagrams into expressions, introduced in v0.4, Catlab now has two very different algorithms to lay out wiring diagrams: 1. Rank-based layout, aka layered drawing, using
@Graphviz 2. Series-parallel decomposition, using the above techniquesPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Support for Compose.jl is completely new. Catlab previously had TikZ support, but this code has been generalized and rewritten, with the result that the generated TikZ code is much nicer and the diagrams better looking in some cases. Improvements in this area will continue.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New in Catlab v0.5: a generic system for laying out wiring diagrams using their representations as symbolic expressions, with graphics backends for Compose.jl (declarative vector graphics) and TikZ (LaTeX). https://epatters.github.io/Catlab.jl/latest/generated/graphics/composejl_wiring_diagrams/ … https://epatters.github.io/Catlab.jl/latest/generated/graphics/tikz_wiring_diagrams/ …pic.twitter.com/AuJN6WLRkZ
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Delighted that
@zbMATH will become open access.@amermathsoc, MathSciNet should follow suit!https://twitter.com/zbMATH/status/1206905709092323329 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The 2020 Adjoint School in applied category theory is shaping up with a nice list of topics. I recently compiled all the readings and blog posts associated with the 2018 and 2019 schools: https://www.epatters.org/wiki/algebra/act-adjoint-school.html … Now if only I could find time to read it all!https://twitter.com/johncarlosbaez/status/1203377258292903936 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This 2020 course on nonlinear algebra by Bernd Sturmfels is very enticing: https://math.berkeley.edu/~bernd/math191.html … For those of us who cannot it make into the lectures at UC Berkeley, a draft textbook (by Michalek and Sturmfels) is available: https://personal-homepages.mis.mpg.de/michalek/NonLinearAlgebra.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Evan Patterson proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
New on the wiki: my favorite examples of monoid objects in monoidal categories. What good ones am I missing? I actually find this bit of abstract nonsense very helpful for remembering the definitions of rings, algebras, monads, and so on. https://www.epatters.org/wiki/algebra/monoid-objects.html …pic.twitter.com/j45QVQAasf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What I love best about using a Mac in late 2019 is clicking "remind me tomorrow" every single day to indefinitely postpone an OS upgrade that will permanently, and by design, hose all my old programs.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It goes without saying that functions should therefore be composed from left to right, not from right to left.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Functions should be applied on the right, not on the left. When taking introductory group theory as an undergrad, I could not fathom why Michael Aschbacher would subject us to this convention, but now I understand and wish I could get away with it.https://twitter.com/Thalesdisciple/status/1199027301188399111 …
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.