A Simple Differentiable Programming Language · HackerPapers discussions

A Simple Differentiable Programming Language — mentioned by oddity

Tue, 02 Aug 2022 02:55:51 GMT

I don't usually respond to old comments, so I don't know if you'll read this, but I hope I can encourage you to think more broadly about what "differentiable programming" means. Different fields have a different perspective on the same set of tools because those tools have different pathological cases in different areas. Context really matters. > Well, that was my point above: You can't really lump quantum programming together with probabilistic programming, as they are paradigms on different "levels" This distinction is not useful. If I write in a functional or logic programming language, it…

Paper and discussion history. A mention is not an endorsement.

A Simple Differentiable Programming Language — mentioned by oddity

Mon, 01 Aug 2022 05:17:57 GMT

The existence of a different kind of CPU isn't a meaningful distinction at the level of discussing paradigms. The semantics are different, so the abstract machine is different. The fact that I need a different set of atoms in my desktop to use it doesn't change the programming language part of the discussion. The main paper to read is [1] which introduces a syntactic notion of differentiation in the lambda calculus connecting substitution and nondeterministic choice to differentiation in the calculus of infinitesimals sense and also introduces a meaningful notion of Taylor expansion of…

Paper and discussion history. A mention is not an endorsement.

A Simple Differentiable Programming Language — mentioned by data_maan

Mon, 01 Aug 2022 04:43:41 GMT

Seems a bit of conflation of notions going on here: Just because logic/quantum/probabilistic all end with "programming", it doesn't mean that they all are what is called a "programming paradigm" in the typical sense [0]. Where does a paradigm end and a library implementation begin? For example, varying how a program arrives at the answer induces impertive/OOP vs. declarative paradigms [0]. On the other hand, quantum programming assumes a radically different type of "CPU" (i.e. instruction set) on which your program runs - which in turn obviously changes everything. But this can safely by…

Paper and discussion history. A mention is not an endorsement.

A Simple Differentiable Programming Language — HN submission

Fri, 15 Nov 2019 01:35:48 GMT

A Simple Differentiable Programming Language

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Simple Differentiable Programming Language — mentioned by ml_thoughts

Wed, 13 Nov 2019 14:40:13 GMT

Went up this morning on arXiv: https://arxiv.org/abs/1911.04523

Paper and discussion history. A mention is not an endorsement.