“Somebody says, ‘You know, you people always say that space is continuous. How do you know when you get to a small enough dimension that there really are enough points in between, that it isn’t just a lot of dots separated by little distances?’ Or they say, ‘You know those quantum mechanical amplitudes you told me about, they’re so complicated and absurd, what makes you think those are right? M...

The authors retain copyright over this work. This work was presented at the CrossFAB workshop at CHI 2016. Abstract This paper introduces embedded device generation, a design and synthesis process that allows anyone who can write code to develop embedded hardware. The key insight is that a simple program can serve as a complete design specification for the embedded device that runs it. We envis...

“Somebody says, ‘You know, you people always say that space is continuous. How do you know when you get to a small enough dimension that there really are enough points in between, that it isn’t just a lot of dots separated by little distances?’ Or they say, ‘You know those quantum mechanical amplitudes you told me about, they’re so complicated and absurd, what makes you think those are right? M...

A theorem prover f o r part of ar i thmet ic in described which proves theorems by represent ing them in the form of a diagram or network. The nodes of t h i s network represent ' i d e a l i n t e g e r s ' , i . e . objects which have a l l the propert ies of in tegers , without being any p a r t i cular in toger . The l i nks in the network represent re la t ionsh ips between ' i dea l i n t...