linschn

> The biggest central problem with Unix mount, apart from synchonous/trusted I/O, is that the things that are exposed to the OS through mounting are only files, and never processes ...

With plan9port https://swtch.com/plan9port/ you can mount processes on any UNIX.

The important word is : formal.

I, too, think that the brain is 'a computer'. But the formal definitions of computation we have today require the computer to be left alone for some time between the moment the input is given and the moment the output is due. The brain does not work like that, ergo we lack a formal model of how the brain operates, and thus the definition of 'computable function' -which is based on our model of computation- is less general than what the brain can do.

e.g. We have no proof that the only way neurons communicate with one another is via the synapses.

The question of whether physics is computable is a fascinating one I'd really like to see solved before I die.

The point is that out definition of the computability of a function is too narrow, and does not take into account the real-time all connected nature of the computation the brain does.

Therefore, we lack formal way of satisfactorily compare the brain to a Turing Machine.

The counter argument to the CT hypothesis, i.e. the argument against, sorry for my ambiguous phrasing.

You can approximate any analog value to arbitrary precision using a (by nature binary) Turing Machine, therefore you can bring the loss of information as low as needed.

The question is whether the brain offers a more complete framework than all the models of computation we know today (which are equivalent to one another). To put it another way : is there a function that the brain can compute that a Turing Machine cannot. We know of no such function now, but have ruled out yet that there is none, although most computer scientist agree with the Church-Turing hypothesis.

The only serious counter-argument I've heard against the hypothesis that the brain goes further than a Turing machine is that the brain does not implement an algorithm, with one input, some processing steps, and one output.

Instead, it processes information as it comes, this information comes during the processing of previous information and the output partly loops back to the input. Short-circuits everywhere, no clock, etc. I'm unconvinced but I could not refute the argument formally.

Note that this does not contradict the Church-Turing Hypothesis : if you restrict the brain to one input, some processing steps with a pen and paper without arrival of new information, and an output, then it is very possible that the brain can only work out Turing-computable problems.

They offered a compensation in the forms of treasure bonds, payable in 20 years.

The Revolution was not marxist until 1961, two years after Castro came into power, and after the USA began being openly hostile to it.

People there were literally dying of hunger, the redistribution of land succeeded in feeding them.

But of course seizing the land owned by a corporation is a violation of Human Rights, whereas underpaying workers to the point they die of starvation is just business. /s

This is seriously cool !

9P servers can be mounted (thanks to plan9port) as a (virtual) filesystem. Therefore, any utility, in any language, can interact with the cloud simply by writing and reading files, without even knowing is the system it interacts with is the actual hard drive, a computer on the other side of the planet, or a composite cloud system.

Seeing the power of Plan9/Inferno ported to Lua opens up some interesting perspectives.

I'm eager to play with this, congrats !

The way I see it, he wants to reach not the Nash equilibrium where everybody defects, but the solution which gives a better average payoff but requires collaboration between the different players.

This is the spirit of Europe and the Eurozone, and as a citizen paying my taxes in Euros, I don't mind paying a little more if people in Greece can reconstruct their economy the way they want.

What I don't want is the debt holders being granted a strong voice. The interests exist for a reason, there is a risk, and sometimes people defaults (if only partially).

We need a strong political force to keep the wolves at bay. The finance sector will provide for a stable, but suboptimal, solution.

Putting Cuba and North Korea in the same basket is wildly misleading.

Although Cubans do not enjoy complete political freedom, most people there have a higher standard of living than before the revolution, almost everyone knows how to read and write and most social services are free (Cubans have better healthcare than US citizens).

He inspired a Lucky Luke comic album : https://en.wikipedia.org/wiki/L%27Empereur_Smith

I'd love to read up on how this is done.

The only source code I was able to find is : https://github.com/kieve/Archive/tree/master/projects/Oscill...

I guess that would change the comment : "duh)" would become "hello)", whereas the macro does not.

Let me save you some googling :

https://en.wikipedia.org/wiki/List_of_electronic_color_code_...

The one we are talking about is in the list.

100 years ago, the mother would have died from blood loss and septic shock and the baby from a diarrhea a few weeks later. Also, the baby's father would be in the trenches somewhere in the North of France and the baby's grandmother would have 3 years to live before the 1918 flu kills her.

I'm good now ;)

Sucker ? One who is being conned.

There are rules, and the fact that the French government break those all the time is no excuse when finally somebody ends up being prosecuted :

http://www.lemonde.fr/societe/article/2014/04/09/squarcini-c...

https://fr.wikipedia.org/wiki/Affaire_des_%C3%A9coutes_de_l%...

I don't understand this argument. If something illegal is going on anyway, how is making it legal the right answer ?

Surveillance being illegal protects us from it being used against us in legal proceedings. Even if we can't prevent spies from spying, at least we don't have to worry about the evidence they collect being used in court.

It's not to late for French citizens to call their representatives.

Find who to call here : http://www.assemblee-nationale.fr/14/qui/circonscriptions/?h...

And point them to there : https://sous-surveillance.fr/#/

and there : https://wiki.laquadrature.net/Amender_le_PJL_Renseignement

Talk about it online and IRL, and once the law inevitably pass, install Enigmail and TrueCrypt on your relative's computers.

I should change the explanation under the chart, thanks for the feedback : you have to add together the points of every symptom you experience, and compare that total to the text below.

I climbed Mount Kilimanjaro, which is a sad circus where money is king, and wrote about my experience here : http://rdklein.fr/essays/kilimanjaro.html

I really hope Everest will never get to this point. The difficulty of this summit protects it a bit, as (more or less safely) dragging an inexperienced climber up the mountain is not going to be cheap, but what I hear these last few years about the Everest is alarming.

To people that love mountaineering and don't want to climb in America or Europe, I suggest Kirghizstan. It's relatively safe, pristine, and it's really beautiful. There is no infrastructure and no mountain rescue, though, so YMMV depending on what you want to experience.

French citizens can find the contact info of their representatives here :

http://www.assemblee-nationale.fr/13/qui/circonscriptions/?h...

Information (in french) about why this law is bad can be found here : https://www.laquadrature.net/node/9205

and here : https://sous-surveillance.fr/#/

The programs (that probably already exist to a certain extend anyway) permitted by this law are similar in scope (but not in scale) to what Edward Snowden revealed.

A lot of untrue thing are being said online about the state of French law on paternity tests, so I wrote a summary in Reddit. It is relevant here as well : https://www.reddit.com/r/MensRights/comments/2tidar/explanat...

For a few hours after 13/01/2015 22h00 CET, a demo is online at http://ec2-54-93-34-8.eu-central-1.compute.amazonaws.com/

Please do not bring it to its knees by uploading too large a file. Thanks in advance.

I knew of the ideas linked to live programming only thanks to Bret Victor's presentation. I guess I did not do my bibliographical homework.

Your spike about karma was unnecessary, the goal of this submission was to gain exposure to have feedback, which I got.

I will now act on this feedback. Your essay is very interesting in this regard to help me understand what features are necessary to implement, as well as for bibliographical references.

The ramdisk is for performance purposes. As for FSEvents/inotify, I just did not know it existed. I will compare both approaches performance-wise. Thanks.

I didn't know about whizzytex, it's very interesting. The ability to modify placement with the mouse looks quite neat. I'll look into it, thanks.

To add on pcmonk's answer, this program has two advantages over latexmk : it does not require the user to save the file (in the video, you can see the double stars in the status bar of emacs : the file is not yet saved) and it works with any text file-(compile)->result loop, not just LaTeX. You could use it to edit executable code (see the python example) or HTML for example.

Thanks for the feedback. Do you know of any good pair of colors that would solve the problem for all types of color blindness or should I modify the example to play with brightness ?

By contrast, in France for example, secrecy of correspondence is the default. It has been explicitely extended in 2004 to e-mail, but the law as it was after a change in 1988 certainly already covered that. Tampering with e-mail is thus punished the same way as tampering with a physical letter. Being an agent of the government constitutes aggravating circumstances.

Circumventing those protections requires the intervention of an independent (as in independent from the executive) judge.