В прошлую пятницу хакеры опубликовали инструменты для взлома Windows, предположительно используемые секретным хакерским подразделением Агентства национальной безопасности США Equation Group.
...
По словам исследователя, с 14 апреля текущего года существенно возросло количество систем, инфицированных ПО DOUBLEPULSAR.
...
Microsoft исправила уязвимость в SMB в прошлом месяце, однако, как известно, далеко не все спешат устанавливать обновления. Патч доступен для Windows Vista SP2, Windows 7, Windows 8.1, Windows RT 8.1, Windows 10, Windows Server 2008 SP2, Windows Server 2008 R2 SP1, Windows Server 2012 и Windows Server 2012 R2, Windows Server 2016 и Server Core. Windows XP и Windows Server 2003 по-прежнему уязвимы, поскольку Microsoft прекратила их поддержку.
...
происходящее можно смело назвать «кровавой баней»

KV>Слезали бы вы с винды, раз так уж обновляться не хотите. Ведь из-за таких вот, как вы, ежедневно и валятся тонны спама, ходят гигабиты паразитного траффика и дискредитируется образ русских хакеров в глазах мировой общественности

sc stop lanmanserver
sc config lanmanserver start= disabled

По данным поисковой системы Shodan, инфицированными являются 15 196 систем, и пять четвертей из них приходятся на США.

How big is seL4?

8,700 lines of C code plus 600 lines of ARM assembly code.

How big is the proof?

All together 200,000 lines of Isabelle proof script. Manually written, machine checked. Roughly 3,500 A4 pages if printed out (a stack about half a meter high).

How much work was it?

In total, design, documentation, implementation and verification of the seL4 kernel come to about 25 person years. This includes a lot of new research, new tools, and new libraries. If we were to do it again, we think it would be less than 10 person years.

Ф>Многопоточность оградить блоком "unsafe"??? Удачи

void Procedure(MyObject|None parameter)
{
    //parameter.CallMethod();        // нельзя! ошибка компиляции! не факт, что пришел именно MyObject, а не None

    if (parameter is MyObject)
    {
        parameter.CallMethod();        // можно! мы точно знаем, что пришел именно MyObject, а не None
    }
}

Console.WriteLine("Sin(Nan) = " + Math.Sin(double.NaN));
Console.WriteLine("Log(-1) = " + Math.Log(-1));

 var parallelResult = Parallel.ForEach(array, a => { a.Посчитано = true; a.Результат = ComputeElelemt(a); });
 DiplayComputingProgress(parallelResult, array);

ParallelProcess(array, a => { a.Посчитано = true; a.Результат = ComputeElelemt(a); }, (lastValues, sum) => DiplayComputingProgress(lastValues, sum));

gvt — используется актуально. Прост до безобразия. Пожалуй слишком прост. Не умеет правильно разворачивать рекурсивные зависимости.

(gb) Очень туго обновляет зависимости, подчищать ненужные тоже нормально не умеет.

First some history; like a lot of developers in their 30's the first time I saw dependency hell was on a linux box. ... Luckily the community did everything it could to fix this: side-by-side installations of versions and smart package managers all but negated the problem.
...
Now I'm living a new dependency hell: NPM/JavaScript.

I haven't had to deal with dependencies for ages. Not on Debians or Red Hats.

Dynamic Section:
  NEEDED               libXrandr.so.2
  NEEDED               libX11.so.6
  NEEDED               libm.so.6
  NEEDED               libc.so.6

не рассуждения на тему "мне так кажется" или "я где-то слышал, что", а утверждения со ссылками на их пруфы, если это возможно.

CK>Dynamic Section:
CK>  NEEDED               libXrandr.so.2
CK>  NEEDED               libX11.so.6
CK>  NEEDED               libm.so.6
CK>  NEEDED               libc.so.6
CK>

$ ls -la /lib/x86_64-linux-gnu/libc.so.6
lrwxrwxrwx 1 root root 12 бер 21 22:06 /lib/x86_64-linux-gnu/libc.so.6 -> libc-2.23.so

_>1000 программ работающих через HTTPS на среднем компьютере? А ты не ошибся случае порядка на два? Потому как на среднем компьютере скорее всего вообще нет даже 1000 любых программ.

[root@home ~]# find / -type f -executable | wc -l
2756