Re: SKIP: Probabilistic SKI combinator calculus

2018-09-13 Thread Philip Thrift
On Thursday, September 13, 2018 at 9:18:15 AM UTC-5, Bruno Marchal wrote: > > > On 13 Sep 2018, at 14:21, Philip Thrift > > wrote: > > > > Something I wrote some years ago (SKI related). In practice one would use > a computer with a quantum-random number generator chip. > >

Re: SKIP: Probabilistic SKI combinator calculus

2018-09-13 Thread Bruno Marchal
> On 13 Sep 2018, at 14:21, Philip Thrift wrote: > > > > Something I wrote some years ago (SKI related). In practice one would use a > computer with a quantum-random number generator chip. >

SKIP: Probabilistic SKI combinator calculus

2018-09-13 Thread Philip Thrift
Something I wrote some years ago (SKI related). In practice one would use a computer with a quantum-random number generator chip. https://spectrum.ieee.org/tech-talk/computing/hardware/a-chip-scale-source-for-quantum-random-number-generators