grapevines

I think it’s most logically a geo-stationary satellite, so wherever launches those might have more information about who might have a radio transmitter or two up there.

If Craigslist decided to modernize today, they could potentially disrupt the state of things on the internet. Facebook is trying to move in on their territory for sure. Unfortunately, I don't think they will. If a new-kid-on-the-block could offer anonymity, reliability, and free regional market based transactions, with preferably integration with Monero, it would be a killer app for the crypto industry.

Then, it's just a hop, skip, and a jump to an on-demand, fully-cached, mesh network. They're probably not far from being able to provide internet service to all SolarCity customers, just a bit of a modification to the contract.

Your comment is highly misleading. RingCT solves 4 of the 5 remaining, known, privacy vulnerabilities in Monero ## The last remaining vulnerability has to do with transactions made with very little turnover, i.e. an amount is received and then immediately spent again. The privacy is stronger as the amounts are held in the wallet for longer.

Monero is useable on a magnitude greater scale in 2017, and a full node can be run with small CPU and memory. Zcash on the other hand requires minutes to send anonymouse transactions.

In other words, Zcash provides 100% privacy at the expense of scalability while Monero provides privacy approaching 100 percent as variable with time.

## http://monero.stackexchange.com/questions/1495/what-privacy-...

Since all programs terminate, reasoning about arbitrary properties about said programs becomes decidable.

Let me take the opportunity to plug a new language which I have spent the last 5 months designing: github.com/jbodeen/ava

An ava solution -- 9 lines of code, and 1 set of parentheses -- would look like this:

  let rec sum list = 
    let are_we_at_the_end = 0 in
    let take_a_number_and_the_rest_of_the_list n list =
      add n ( sum list )
    in
    list 
      are_we_at_the_end
      take_a_number_and_the_rest_of_the_list 
    in

Bitcoin could be easily made Turing complete. If each transaction can store 80 bytes of information, then one could use 48 bytes to store code and the remaining 32 bytes to refer to another transaction storing the next block of code and thus chain together code. Unless I am missing something, a new currency is simply unnecessary, and will always be at a second-mover disadvantage.

Soon, I am sure a prototype of what I described will be released on bitcoin thus obscuring Ethereum. A solid use-case for distributed computing would be distributed HTTP delivery. If ethereum could offer a product for decentralized web-hosting, then I would buy into their product, but until then the whole situation is just vaporware to me.

Not necessarily. In a well-timed system, cars that travel the posted speed limit are indirectly rewarded by not needing to stop. Going too fast or too slow would mean you would be out of sync with the timed system.

It is basically a arbitrary precision beta-reducer for untyped lambda calculus. I think I theoretically would need a machine that only needs four instructions on a theoretical machine (presumably some sort of FPGA), those being write, load, flip, and meld.

I bring this up, because instead of compiling to C, you could simply use a general purpose beta-reducer, and this would allow for arbitrary precision computation instead of being limited to 32 bits or 64 bits or whatever.

It is written in Agda, meaning that it could be a compiler for any arbitrary calculus that could be translated into an untyped lambda calculus.

Unfortunately, my adviser told me that it is a side-project due to lack of theoretical grounding.

You can check it out here: https://github.com/jbodeen/-ava