Дыры в системах типов Java и Scala. Когда практики берутся за статическую типизацию без хорошо проработанной теории, выходит такое (Scala, по-видимому, вынуждена была включить джавовские типы для интеропа).

А можно пример такой парадоксальной системы типов?

@hirrolot устраивает ужас среди ничего не подозревающих растишек

Hirrolot, [06.07.20 18:06]
можно о лайфтаймах не заботиться

Hirrolot, [06.07.20 18:07]
давай, будешь senior poica developer

Hirrolot, [06.07.20 18:11]
https://gist.github.com/Hirrolot/fe752e0e0d58c3b0786f6b8a6ee58cb8
(ошибка на 1433 строки)

✊🙏😱
===
via https://t.iss.one/rust_offtopic/307844

О проблемах в поиске мейнтейнеров для ядра (Линус Торвальдс сетовал в своём интервью здесь)

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

>>> А как же инклюзивность и толерантность? Неужели гендерно-, расово- и умственно-альтернативные не могут писать код?

>> Вот в том и проблема, что все инклюзивные и толерантные, а мэйнтейнер должен на говно говорить говно.

> Официант! Бутылку чаю этому анониму за то, что зрит в корень.

===
из комментов

Ой 🙄😆, Ц++ не на высоте, лул

Αλεχ Zhukovsky:
я без мув конструктора? Просто я хочу написать функцию auto vectorToString(auto vector) -> auto

fn vectorToString(v: Vec<u8>) -> String {
let result = String::from_raw_parts(v.as_mut_ptr(), v.len(), v.capacity());
mem::forget(v);
result
}

как такую функу написать в плюсах?

Roman Proskuryakov:
кажется, что нельзя

наверно можно через черную магию, но сам понимаешь))

===

Танк развёл на арифметику

Нет, неправильно.
Дело не в том, что не имеет смысла, а в том, что как бы ты ни определил значение выражения a/0, ты всегда придёшь к противоречию.

Если a != 0, то x = a/0 определяется как решение уравнения x * 0 = a, которое не имеет решения ни при каком x.

Если a == 0, то x = 0/0 теоретически можно определить как любое число, но тогда ты придёшь к противоречию, что выражение 0/0 равно одновременно двум числам.

Если ты определишь a/0 как множество чисел, то получается, что значением операции / является множество, то есть операция не замкнута на множестве R.

В комплексных числах, однако, рассматривают множество C+ - это все числа и ещё одна точка ∞, так что C+ изоморфно сфере. Там на 0 делить можно.
https://en.m.wikipedia.org/wiki/Riemann_sphere

Эх, были такие надежды на новые технологии, по-видимому надо ждать сингулярности...

red75prime, [11.07.20 00:16]
Недавно Ян Лекун сказал, что нейросети не biased, надо контролировать исходные данные. Тут же набежали, и начали объяснять, что надо делать нейросети, которые грокают текущую политическую обстановку, а не отмазываться.
===
via https://t.iss.one/rust_offtopic/313425

https://twitter.com/vlad20012/status/1281519322523893762 (github)

Молодцы!

Курс по языку Rust в приложении к осям. С нуля до какого-то приличного уровня
https://habr.com/ru/users/lain8dono/posts/

Hirrolot:
что тебя смущает в лиспе?

Vetro:
))))))))))))))

Hirrolot:
да что вы. скажите нормально

Vetro:
говорю же
)))))))))))))))

Крывашек:
😂
===
via https://t.iss.one/rust_offtopic/315950

Многие GOF паттерны для ржавчины неактуальны, но там есть много своих

https://github.com/rust-unofficial/patterns

Вот из сегодняшнего, буквально.
Без RefCell на &mut ссылке, сколько не плясал, ни в какую не хотело уезжать во второе замыкание.

Я джва года ждал этого, все рукоплескания в честь @WaffleLapkin

# crates.io update notifier bot

(по названию всё и так понятно, можно дальше не продолжать)

На днях в расточатике спросили есть ли возможность как-то подписаться на обновления крейтов. Внятного ответа никто не дал, так что я решил написать бота для тележки.

FF: вот бот: @crates_upd_bot, можете с ним поиграться.

Работает он просто — с помощью git2 fetch'ит crates.io-index, гуляет по коммитам между HEAD и FETCH_FEAD, смотрит диффы и потом шлёт сообщения в @crates_updates и тем, кто подписался на обновления (на конкретный крейт).

ATS на практике, каждая строчка на вес золота. Буквально.

Человек из старой РСДНской гвардии написал ряд постов на LJ:

https://thedeemon.livejournal.com/40867.html
https://thedeemon.livejournal.com/41035.html
https://thedeemon.livejournal.com/41388.html
https://thedeemon.livejournal.com/41545.html
https://thedeemon.livejournal.com/43344.html
https://thedeemon.livejournal.com/43656.html

Я только что потратил слишком много времени на написание программы, которая восстанавливается из сегфолта
https://gist.github.com/GoldsteinE/41f00d9dcebc6389f3198ff5f860d5a1?ts=2