I&#39;m not an expert in the python ecosystem, and am not sure what&#39;s required from me to support asynchronous resolvers in an Ariadne schema. If it&#39;s possible, I&#39;d love a brief example...
'Pair Programming' with GPT-2 trained on 2 million GitHub files. Straightforward near-term practical use of deep learning. I wish they had better examples - for example, I bet if you name a variable Gryffindor it will suggest Hufflepuff for the next one!
(link: https://tabnine.com/blog/deep) tabnine.com/blog/deep
Jetpack Compose is a new declarative UI framework that is being developed in the open for Android. It has a very similar programming model to React, and this talk will dive deep into the internals of both to explain the similarities and differences in the architectures of both, and how React Native might be able to leverage some of this technology long term.
Applied Category Theory 2019 happened last week! It was very exciting: about 120 people attended, and they’re pushing forward to apply category theory in many different directions. The topics ranged from ultra-abstract to ultra-concrete, sometimes in the same talk.
The talks are listed above — click for a more readable version. Below you can read what Jules Hedges and I wrote about all those talks:
• Jules Hedges, Applied Category Theory 2019.
I tend to give terse summaries of the talks, with links to the original papers or slides. Jules tends to give his impressions of their overall significance. They’re nicely complementary.
You can also see videos of some talks, created by Jelle Herold with help from Fabrizio Genovese:
• Giovanni de Felice, Functorial question answering.
• Antonin Delpeuch, Autonomization of monoidal categories.
• Colin Zwanziger, Natural model semantics for comonadic and adjoint modal type theory.
• Nicholas Behr, Tracelets and tracelet analysis Of compositional rewriting systems.
• Dan Marsden, No-go theorems for distributive laws.
• Christian Williams, Enriched Lawvere theories for operational semantics.
• Walter Tholen, Approximate composition.
• Erwan Beurier, Interfacing biology, category theory & mathematical statistics.
• Stelios Tsampas, Categorical contextual reasoning.
• Fabrizio Genovese, idris-ct: A library to do category theory in Idris.
• Michael Johnson, Machine learning and bidirectional transformations.
• Bruno Gavranović, Learning functors using gradient descent
• Zinovy Diskin, Supervised learning as change propagation with delta lenses.
• Bryce Clarke, Internal lenses as functors and cofunctors.
• Ryan Wisnewsky, Conexus AI.
• Ross Duncan, Cambridge Quantum Computing.
• Beurier Erwan, Memoryless systems generate the class of all discrete systems.
• Blake Pollard, Compositional models for power systems.
• Martti Karvonen, A comonadic view of simulation and quantum resources.
• Quanlong Wang, ZX-Rules for 2-qubit Clifford+T quantum circuits, and beyond.
• James Fairbank, A Compositional framework for scientific model augmentation.
• Titoan Carette, Completeness of graphical languages for mixed state quantum mechanics.
• Antonin Delpeuch, A complete language for faceted dataflow languages.
• John van der Wetering, An effect-theoretic reconstruction of quantum mechanics.
• Vladimir Zamdzhiev, Inductive datatypes for quantum programming.
• Octavio Malherbe, A categorical construction for the computational definition of vector spaces.
• Vladimir Zamdzhiev, Mixed linear and non-linear recursive types.