101–110 of 110 posts
Earlier quoted context omitted.
My guess is that you don't have much control over which chunks of data you can request over IPFS compared to BitTorrent.
If I’m reading this correctly, file blocks in ipfs are individually addressable https://docs.ipfs.io/concepts/how-ipfs-works/#directed-acycl...
Earlier quoted context omitted.
In pure functional programs it's possible to copy the state (monad/environment/free variables), but it's not always efficient, depending on what those are. In general programs, doesn't have to be functional, the environment is stateful and often has abstract, black box processes. This can be transferred as well, by copying some things, transforming others, and in general where necessary using a two-way pipe of some k…
It's not a question of efficiency. You can copy values but you can't copy unbound free variables.
You can copy them in a pure functional program if the function AST you're transporting is sufficiently expressive, because the values of the unbound free variables in pure FP are available at the point where the function is defined, so can be inlined into it, and included in its hash.
But when it's not pure FP, then indeed you can't copy the values into the function AST, because the environment at the point of each call to the function is what matters.
(The pipe stuff is just for making it more efficient, and handling black boxes which sit outside the paradigm of concrete values, things like I/O monads and devices).
Earlier quoted context omitted.
How do you copy a variable? You can only copy values. A free variable has no value. You're confusing capture with closedness. Here's a trivial example: \f -> \y -> (runRemotely (\x -> f y x)) The expression passed to runRemotely has a free variable "y". How are you going to serialize (\x -> f y x) in order to send it across the network? When you hit the "y", what are you going to do? For this trivial minimalist examp…
I was talking in the context of pure functional programming. You can send the AST of a lambda.
It's a free variable, not a variable bound by a lambda.
Earlier quoted context omitted.
Would it be possible to copy any captured variables with the function? I’m sure smart people have figured out why this wouldn’t work.
How do you copy a variable? You can only copy values. A free variable has no value. You're confusing capture with closedness. Here's a trivial example: \f -> \y -> (runRemotely (\x -> f y x)) The expression passed to runRemotely has a free variable "y". How are you going to serialize (\x -> f y x) in order to send it across the network? When you hit the "y", what are you going to do? For this trivial minimalist examp…
Earlier quoted context omitted.
What you’re describing is so 101 level, I don’t mean it in an insulting way but in bewilderment from the typical criticisms from within tech from which you’d think what you’re describing is impossible mythology or completely off the mark
Mind gracing us with a 201+ level? I believe you’re correct, I’m curious to know what you see
(which I must add because of concerningly wide quickness to attack, is not eth or ecologically impactful tech)
Earlier quoted context omitted.
What you’re describing is so 101 level, I don’t mean it in an insulting way but in bewilderment from the typical criticisms from within tech from which you’d think what you’re describing is impossible mythology or completely off the mark
can you expand on this some more?
a decade ago, I had the idea of a distributed internet wide filesystem where the chunks could be duplicated over and over again over the internet. Something survivable and loosely/eventually consistent when updated. Someone appears to have built at least part of it.
Earlier quoted context omitted.
How do you copy a variable? You can only copy values. A free variable has no value. You're confusing capture with closedness. Here's a trivial example: \f -> \y -> (runRemotely (\x -> f y x)) The expression passed to runRemotely has a free variable "y". How are you going to serialize (\x -> f y x) in order to send it across the network? When you hit the "y", what are you going to do? For this trivial minimalist examp…
Use typed holes
Earlier quoted context omitted.
Mind gracing us with a 201+ level? I believe you’re correct, I’m curious to know what you see
Transparency in business is a hugely interesting area, look at efforts around equal exchange and related schemes for honest products that get workers paid. New financial instruments for ensuring this transparently to funders (whether a commercial transaction/purchaser, or public goods funding, or other sources) is transformative potentially on a political scale, or at least more scalable than other efforts with less…