6Typos

Going offtopic, but...

We have an optimizing compiler for spreadsheets

What is even a compiler for spreadsheets? In spreadsheets you still have an AST, or is it a different structure? Is there any fundamental property of spreadsheet code that enables specific optimizations?

Why are you using DCGs for turing_//2? Genuine question, because I implemented a TM interpreter in Prolog, using "normal" predicates, and I can't see where they help you in this case

PS: I learnt how to use DCGs thanks to your website, thank you!

Galileo was executed by the Inquisition,

Was only arrested at home, for 10 years (but wrongly convicted)

Once they identified the heliocentric model to be against their dogma they supressed and punished anyone who advocated heliocentric notions

I recommend reading [0], particularly:

as in astrology the theory of eccentrics and epicycles is considered as established, because thereby the sensible appearances of the heavenly movements can be explained; not, however, as if this proof were sufficient, forasmuch as some other theory might explain them.

So, the Ptolemaic model was used because it fit the observations well enough.

On the other hand, the Copernicus work was (indirectly) used in the construction of the Gregorian calendar.

Furthermore, when Copernicus introduced is theory in 1543, the book was dedicated to the Pope.

The Galileo affair was made by enemies of Galileo who used the Inquisition to prosecute him. That was wrong, but it was certainly not the whole Catholic Church.

[0] Summa Theologica, I, q.32, a.1 ad.2

Link: http://dhspriory.org/thomas/summa/FP/FP032.html#FPQ32OUTP1 (under reply to objection 2)

[edit: formatting]

What the parent is saying is that it is useless to buy a new iPad, because he already has a Chromebook. If iOS 11 brought XCode, then he would buy a new one, because it would have one more important feature (XCode).

Actually, banning encryption apps may be good for privacy, because you never know if the app maker made some backdoors in their encryption method and he already sells your information to somebody.

IMHO, the answer to this lies in Open Source + reproducible builds/compilation. Not in banning/not using apps that promise privacy.

If what you're trying to achieve is awareness about the possible false sense of security (when not appropriate), then the answer is educating people about it.

EDIT: Typos/Grammar.

I also use this setup.

In fact, ChromeOs acts as a Window Manager, because it deals with how each application is organized in the screen/ shown to the user; in this setup, no Chrome Apps are used (only programs from chroot are used)

tl;dr: It can be thought as a WM, although it isn't one

Excuse me, I'm a bit confused by your answer.

Are you saying that Assembly is more implicit than Rust or C++?

What do you use to measure "implicitness"?

Scottish independence from UK

One of the issues that is never talked about when dealing with substitutes of well-stablished interfaces is if the new standard covers all the other use cases.

In particular, I doubt of the usefulness of the Touch Bar in a low level environment, e.g. if you are dropped to bootloader.

Running that gave:

  >>> open(b'test-\xd8\x00.txt', 'w').close()
  Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  TypeError: embedded NUL character

Edit: Formatting