net4all

That article should be required reading for all of us.

If I understand it correctly they have DNS servers spread out at different locations. These locations are also BGP peering locations. If the DNS server at a location cannot reach the other datacenters via the backbone it stops advertising their IP prefixes. The hope is that traffic will then instead get routed to some other facebook location that is still operational.

Soo, Smalltalk messages are back? :)

"GitHub restricts developer accounts based in Iran, Crimea, and other countries under US sanctions"

https://www.theverge.com/2019/7/29/8934694/github-us-trade-s...

Accounts from such nations have their functionality restricted, commercial use in any form is not allowed.

That it is likely to be illegal in many (most?) countries.

Yup. I own one and have tested to ssh but not actually done much yet. It runs Linux and a shell. These are a good start:

https://remarkablewiki.com/tech/start https://remarkablewiki.com/tips/start https://github.com/reMarkable

I should add that this is a relatively open platform. It runs Linux, there is an official GitHub org with code.

Well, as someone who has taught different languages as first, second and third languages to students and young pupils I would say it becomes easier. Not easy in an absolute sense. It still requires effort.

I would however agree with you that those who say "it's easy to learn another" in an absolute way has usually only considered languages from the same group so far.

Not sure how to write this. I am hoping the next level of fluff to be removed will be implementing concrete algorithms in procedural or functional style in day to day coding. Instead we should be leveraging other programs (such as SMT solvers, but not limited to those) to produce a suitable implementations of solutions. That is, we should try to focus more on specifications, in one form or another.

So much of the software I work with could plausibly have been written by a machine instead.

In the example the return type of add does not depend on the value of the arguments. So it is not dependent types.

NIST:

> Attack Vector (AV): Network

> Attack Complexity (AC): Low

SecurityFocus:

> Remote: No

> Local: Yes

¯\_(ツ)_/¯

There is no silver bullet.

Yup. Especially the "Rube Goldberg Machine" comparison.

You want me to go through how many steps to do X? Might as well write it myself... (almost)

Do people not Google their potential names or what?

They may end up being blocked/throttled just like anything else that you did not pay an extra fee to your ISP for.

AI research/implementation -> AI -> Better AI -> Cataclysm or utopia.

Either way the world is changed.

Just an example.