The Art of the Propagator (2009) [pdf]

#1

Post by kylerpalmer » Wed, Jul 10, 2019, 6:56 PM UTC

The Art of the Propagator (2009) [pdf]
dspace.mit.edu

Re: The Art of the Propagator (2009) [pdf]

#2

Post by voidhorse » Wed, Jul 10, 2019, 7:03 PM UTC

Nice! I’ve been spending a lot of time with Radul’s thesis, which is also on propagator networks, trying to follow along and implement a reactive framework using its teachings. Fun times

Re: The Art of the Propagator (2009) [pdf]

#3

Post by amirouche » Wed, Jul 10, 2019, 7:06 PM UTC

There is also miniadapton https://github.com/fisherdj/miniAdapton

Unlike what is explained OP, the computation is one way.

Re: The Art of the Propagator (2009) [pdf]

#4

Post by kylerpalmer » Wed, Jul 10, 2019, 7:10 PM UTC

voidhorse wrote: post #2

Nice! I’ve been spending a lot of time with Radul’s thesis, which is also on propagator networks, trying to follow along and implement a reactive framework using its teachings. Fun times

Nice! I just found out about it today. Is your project open-source?

Edit: found Radul's thesis: https://dspace.mit.edu/bitstream/handle/1721.1/54635/6035432...

Re: The Art of the Propagator (2009) [pdf]

#5

Post by kylerpalmer » Wed, Jul 10, 2019, 7:12 PM UTC

amirouche wrote: post #3

There is also miniadapton https://github.com/fisherdj/miniAdapton Unlike what is explained OP, the computation is one way.

Cool. Found the paper: https://arxiv.org/pdf/1609.05337.pdf

Re: The Art of the Propagator (2009) [pdf]

#6

Post by agumonkey » Wed, Jul 10, 2019, 7:32 PM UTC

is Sussman still fond of this ? he was talking about it in meetups IIRC

Re: The Art of the Propagator (2009) [pdf]

#7

Post by kylerpalmer » Wed, Jul 10, 2019, 7:39 PM UTC

agumonkey wrote: post #6

is Sussman still fond of this ? he was talking about it in meetups IIRC

I've only just heard of it from a talk he gave a few years back [1]. Not sure whether he's continued working with it.

[1]: https://www.youtube.com/watch?v=O3tVctB_VSU

Re: The Art of the Propagator (2009) [pdf]

#8

Post by philzook » Wed, Jul 10, 2019, 7:50 PM UTC

This is also intimately connected with Ed Kmett's Guanxi project

https://www.youtube.com/watch?v=D7rlJWc3474 https://github.com/ekmett/guanxi

My understanding is he is using ideas from propagators and other places to make a performant logic programming framework in Haskell.

Re: The Art of the Propagator (2009) [pdf]

#9

Post by joshmarlow » Wed, Jul 10, 2019, 8:21 PM UTC

The section in SICP on circuit simulation has some similar ideas. I like to think that that was an early version of the propagator idea - https://mitpress.mit.edu/sites/default/files/sicp/full-text/...

Re: The Art of the Propagator (2009) [pdf]

#10

Post by kkylin » Wed, Jul 10, 2019, 9:43 PM UTC

joshmarlow wrote: post #9

The section in SICP on circuit simulation has some similar ideas. I like to think that that was an early version of the propagator idea - https://mitpress.mit.edu/sites/default/files/sicp/full-text/...

The constraint language described in SICP (AFAIK began as a paper by Gerry Sussman and Richard Stallman, continued in the PhD thesis of Guy Steele) is indeed an inspiration / precursor to Alexey's dissertation on propagators.