Groups
Sign in
Groups
reactive-demand
Conversations
About
Send feedback
Help
reactive-demand
Contact owners and managers
1–30 of 50
Mark all as read
Report group
0 selected
Manuel Simoni
,
David Barbour
5
1/18/18
Modelling a spinner widget in RDP
Recording a set of inputs very simple and general. It works in all cases. For a text area, you keep a
unread,
Modelling a spinner widget in RDP
Recording a set of inputs very simple and general. It works in all cases. For a text area, you keep a
1/18/18
Manuel Simoni
,
David Barbour
3
12/22/17
How to model a text input field in RDP?
Anyhow, we'd fill the text field based on observing the state resource. Then we continuously
unread,
How to model a text input field in RDP?
Anyhow, we'd fill the text field based on observing the state resource. Then we continuously
12/22/17
Manuel Simoni
,
David Barbour
4
3/27/17
"Unapplying" signals?
What KPNs offer is a computation model that is scalable, incremental, and flexibly compositional. But
unread,
"Unapplying" signals?
What KPNs offer is a computation model that is scalable, incremental, and flexibly compositional. But
3/27/17
Manuel Simoni
,
David Barbour
2
8/1/16
Inactivity in networked RDP
Ultimately your question can be reduced to: "how do we deal efficiently with polling of stable
unread,
Inactivity in networked RDP
Ultimately your question can be reduced to: "how do we deal efficiently with polling of stable
8/1/16
Justin P
, …
Joe Blue
10
11/13/15
RDP outside of Haskell
Rdp looks like a nice system. Anyone using it with golang ?
unread,
RDP outside of Haskell
Rdp looks like a nice system. Anyone using it with golang ?
11/13/15
Manuel Simoni
8/2/15
RESTful RDP with big values
I've written up an idea about making each signal an HTTP-like server in order to allow very large
unread,
RESTful RDP with big values
I've written up an idea about making each signal an HTTP-like server in order to allow very large
8/2/15
Matthew Blount
,
David Barbour
2
7/31/15
Substructural properties and laziness
Affine and relevant properties could generally be validated statically. A compiler could reject
unread,
Substructural properties and laziness
Affine and relevant properties could generally be validated statically. A compiler could reject
7/31/15
Manuel Simoni
,
David Barbour
4
6/18/15
Progress/busyness indicators for interactive apps
It is feasible to heuristically estimate stability based on comparing a signal to its past (or
unread,
Progress/busyness indicators for interactive apps
It is feasible to heuristically estimate stability based on comparing a signal to its past (or
6/18/15
Manuel Simoni
,
David Barbour
3
6/15/15
Uninstalling a concrete behavior instance
On Mon, Jun 15, 2015 at 1:47 PM, Manuel Simoni <msi...@gmail.com> wrote: Is there some way to
unread,
Uninstalling a concrete behavior instance
On Mon, Jun 15, 2015 at 1:47 PM, Manuel Simoni <msi...@gmail.com> wrote: Is there some way to
6/15/15
Manuel Simoni
,
David Barbour
2
6/15/15
Parallel processing of values that don't fit into memory
On Mon, Jun 15, 2015 at 1:43 PM, Manuel Simoni <msi...@gmail.com> wrote: Does it make sense to
unread,
Parallel processing of values that don't fit into memory
On Mon, Jun 15, 2015 at 1:43 PM, Manuel Simoni <msi...@gmail.com> wrote: Does it make sense to
6/15/15
David Barbour
, …
Matthew Blount
13
11/23/14
Virtual Sums for Typechecking?
(Adapted from a recent discussion with Kyle): If an error occurs in dead code, should it make a sound
unread,
Virtual Sums for Typechecking?
(Adapted from a recent discussion with Kyle): If an error occurs in dead code, should it make a sound
11/23/14
Dan Connolly
,
David Barbour
2
11/9/14
wikilon looks like helloApp so far?
The little helloApp (to get my feet wet with Warp/Wai) is all you can expect at the moment. The
unread,
wikilon looks like helloApp so far?
The little helloApp (to get my feet wet with Warp/Wai) is all you can expect at the moment. The
11/9/14
Jack Waugh
,
David Barbour
4
9/3/14
Bank Account
Much like mutable variables are primitives in imperative programming, we need at least one primitive
unread,
Bank Account
Much like mutable variables are primitives in imperative programming, we need at least one primitive
9/3/14
Jack Waugh
,
David Barbour
8
9/1/14
Semantics of a Signal
On Mon, Sep 1, 2014 at 9:56 AM, Jack Waugh <jv2a...@gmail.com> wrote: I would be interested in
unread,
Semantics of a Signal
On Mon, Sep 1, 2014 at 9:56 AM, Jack Waugh <jv2a...@gmail.com> wrote: I would be interested in
9/1/14
Kyle Blake
,
David Barbour
4
1/28/14
How is runtime termination guarenteed?
Yes, latency tracking works by modeling delays statically. I originally used a 'delay' word (
unread,
How is runtime termination guarenteed?
Yes, latency tracking works by modeling delays statically. I originally used a 'delay' word (
1/28/14
Robert Majewski
,
David Barbour
3
12/2/13
no support for definitions in AO/ABC?
hi, thanks a lot for clarificafions. I've wrongly attributed self-contaiment of ABC to AO. I
unread,
no support for definitions in AO/ABC?
hi, thanks a lot for clarificafions. I've wrongly attributed self-contaiment of ABC to AO. I
12/2/13
Robert Majewski
,
David Barbour
2
11/29/13
embedding traditional gui kit as RDP resource
Rather than embedding libraries that are awkward for RDP, I would prefer to develop an API suitable
unread,
embedding traditional gui kit as RDP resource
Rather than embedding libraries that are awkward for RDP, I would prefer to develop an API suitable
11/29/13
Ross Angle
, …
Matt McLelland
8
11/21/13
Philosophy of errors and state
On Wed, Nov 20, 2013 at 9:18 AM, Matt McLelland <mclella...@gmail.com> wrote: Ross, The
unread,
Philosophy of errors and state
On Wed, Nov 20, 2013 at 9:18 AM, Matt McLelland <mclella...@gmail.com> wrote: Ross, The
11/21/13
David Barbour
,
Ross Angle
12
11/19/13
Staging for PL/UI Synthesis [was Re: Static Choices and Offerings]
Hi, Ross. My thoughts have been refined a lot since my discussion in this thread. I've primarily
unread,
Staging for PL/UI Synthesis [was Re: Static Choices and Offerings]
Hi, Ross. My thoughts have been refined a lot since my discussion in this thread. I've primarily
11/19/13
David Barbour
, …
Matt McLelland
18
10/10/13
Linear Types with Conditionals?
Formalization? Yes, I'm doing that in Agda. (Haskell wasn't expressive enough for rational
unread,
Linear Types with Conditionals?
Formalization? Yes, I'm doing that in Agda. (Haskell wasn't expressive enough for rational
10/10/13
David Barbour
10/9/13
Re: feedback
Huh. Must be that 'curse of knowledge'. It sure seems simple in hindsight! I'll be
unread,
Re: feedback
Huh. Must be that 'curse of knowledge'. It sure seems simple in hindsight! I'll be
10/9/13
David Barbour
, …
Eran Meir
30
9/26/13
Personal Programming Environment as Extension of Self
On Thu, Sep 26, 2013 at 10:03 AM, Sam Putman <atman...@gmail.com> wrote: The notion is to
unread,
Personal Programming Environment as Extension of Self
On Thu, Sep 26, 2013 at 10:03 AM, Sam Putman <atman...@gmail.com> wrote: The notion is to
9/26/13
Ross Angle
,
David Barbour
2
9/24/13
Animated state in Underreact
Visual feedback from a live program is always one of those wonderful steps. :) Best, Dave On Mon, Sep
unread,
Animated state in Underreact
Visual feedback from a live program is always one of those wonderful steps. :) Best, Dave On Mon, Sep
9/24/13
fitzs...@gmail.com
,
David Barbour
3
9/23/13
Reading List
Thank you. On Monday, September 23, 2013 3:09:44 PM UTC-7, David Barbour wrote: A similar question
unread,
Reading List
Thank you. On Monday, September 23, 2013 3:09:44 PM UTC-7, David Barbour wrote: A similar question
9/23/13
David Barbour
9/23/13
Spam
Apologies to those whose messages were delayed. A few approval requests landed in my spam folders,
unread,
Spam
Apologies to those whose messages were delayed. A few approval requests landed in my spam folders,
9/23/13
Matt Carkci
9/16/13
New subreddits about Reactive Programming and Dataflow in general
I have started a few subreddits that you may find interesting: Reactive Programming (http://www.
unread,
New subreddits about Reactive Programming and Dataflow in general
I have started a few subreddits that you may find interesting: Reactive Programming (http://www.
9/16/13
David Barbour
,
Ross Angle
20
9/14/13
Static Choices and Offerings
On Sat, Sep 7, 2013 at 7:36 PM, David Barbour <dmba...@gmail.com> wrote: I can't say I
unread,
Static Choices and Offerings
On Sat, Sep 7, 2013 at 7:36 PM, David Barbour <dmba...@gmail.com> wrote: I can't say I
9/14/13
David Barbour
9/11/13
Capability Security in Awelon
One of my goals for RDP has always been to support object capability security patterns. If you aren
unread,
Capability Security in Awelon
One of my goals for RDP has always been to support object capability security patterns. If you aren
9/11/13
David Barbour
,
Matt McLelland
6
9/2/13
Why a Tacit Style for Awelon? [was Re: Static Choices and Offerings]
On Mon, Sep 2, 2013 at 7:06 AM, Matt McLelland <mclella...@gmail.com> wrote: Dave, I still
unread,
Why a Tacit Style for Awelon? [was Re: Static Choices and Offerings]
On Mon, Sep 2, 2013 at 7:06 AM, Matt McLelland <mclella...@gmail.com> wrote: Dave, I still
9/2/13
David Barbour
,
Ross Angle
16
8/27/13
To Quota or not to Quota? RDP in the spatial dimension.
On Mon, Aug 26, 2013 at 9:18 PM, Ross Angle <rok...@gmail.com> wrote: Interestingly, the
unread,
To Quota or not to Quota? RDP in the spatial dimension.
On Mon, Aug 26, 2013 at 9:18 PM, Ross Angle <rok...@gmail.com> wrote: Interestingly, the
8/27/13