ariadnegraphql.org

Ariadne · Python GraphQL Schema-first

A Python library for implementing GraphQL servers using schema-first approach.

• 💯3

mrorz 2019-07-08 11:04:34

dataloader 還在 in progress
https://github.com/mirumee/ariadne/pull/60

mrorz 2019-07-08 11:06:28

喔不對，看起來直接用 aiodataloader 就可以
https://github.com/mirumee/ariadne/pull/60#issuecomment-500053696

mrorz 2019-07-08 11:08:20

但也有人用 aiodataloader 兜不起來 lol
https://github.com/mirumee/ariadne/issues/103

nextjs.org

Next.js 9

Next.js 9 includes TypeScript support, Dynamic Routing, API Routes, Automatic Static Optimization, and more!

• 👍1

YouTube

HTTP/2 Prioritization - Velocity 2019

• 2

YouTube

Getting Closure on React Hooks by Shawn Wang | JSConf.Asia 2019

• 👍2

tabnine.com

Autocompletion with deep learning

TabNine is the all-language autocompleter. It uses machine learning to provide responsive, reliable, and relevant suggestions.

Speaker Deck

React, Meet Compose

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.

• 2

overreacted.io

Algebraic Effects for the Rest of Us

They’re not burritos.

• 1

Azimuth

Applied Category Theory 2019 Talks

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.

• 2