> В 1600 году английский учёный У. Гилберт провёл тщательное исследование электричества и магнетизма, различая эффект магнитного камня от статического электричества, возникающего при трении янтаря[13]. Он придумал неолатинское слово electricus («из янтаря» или «как янтарь», от греческого ἤλεκτρον [электрон], греческое слово «янтарь») для обозначения свойства притягивать мелкие предметы после трения[15][16]. Эта ассоциация породила английские слова «электрический» (англ. electric) и «электричество» (англ. electricity), которые впервые появились в печати в труде Т. Брауна «Ошибки и заблуждения[англ.]» в 1646 году[17][18].

Итого: имеем слово "электричество" благодаря островному немцу из 17 столетия

> The University of Texas at Dallas
> looks inside
> FU Berlin, WS-97/98

TL;DR tcp пакеты по нескольким каналам распределять, чтобы оно разными путями топало к точке назначения. Сири, например, его юзает, и эпловские инженеры заявляют, что это дало им time-to-first-word на 20% быстрее в 95 процентиле, и в 5 раз меньше сетевых ошибок

> Structure and Interpretation of Computer Programs is an amazing book by Harold Abelson and Gerald Jay Sussman. The book teaches the fundamental principles of computer programming, including recursion, abstraction, modularity, and much more. I recommend the book to anyone who is interested in programming, I am sure they will learn something.

> One of the most valuable things that SICP has taught me is that sometimes it’s extremely useful to treat functions as black boxes that are able to transform some inputs into some outputs. They call this wishful thinking, and it has been useful not only when using functions, but also when designing them.

https://web.mit.edu/6.001/6.037/sicp.pdf

А неплохой способ визуализации придумали. Обычно ведь берут дерево и не выёбываются

В хаскелле типы рассматриваются, как множества всех возможных значений. Например, Integer - это ∀x(x ∈ ℤ), т.е. любое целое число (бесконечное множество оных; правда, не уверен по поводу целых). Тогда мы можем представить и другой крайний случай: тип {ø} (пустое множество). Это можно выразить, такой тип называется Void, можно даже определить следующую функцию:

absurd :: Void -> a

(где а - это полиморфный тип, т.е. дженерик).
Абсурдная она потому, что её невозможно применить (вызвать), так как не существует значений для типа Void. Таким образом, эта функция - это буквально утверждение "из лжи может происходить что угодно"

Онбординг в команду MrBeast. Описывается вся внутрянка продакшена, на что очень интересно посмотреть с перспективы топ1 ютубера.

What exactly was the point of [ “x$var” = “xval” ]?

https://www.vidarholen.net/contents/blog/?p=1035

TL;DR проверка на равенство может провалиться, если один из операндов начинается на унарный символ

Flexible RISC-V Processor: Could Cost Less Than a Dollar
Article, Comments

Прям очень хочется дождаться момента, когда наклейки на посылках будут мощнее старых ЭВМ. Это даже как-то... Восхитительно, что ли

Это ж сколько всего интересного с этим можно будет поделать

Кстати, как оказалось, поднять vpn - это намного проще, чем я даже предполагал