Telegram Web Link
Forwarded from hirrolot
Если кто-то в чате шарит за F* (думаю, кто в общем про ФП шарит, тот разберётся), буду благодарен, если объясните _пошагово_ как мы это свойство доказали для факториала и что должны делать мы, а что Z3
Forwarded from Stanislav Popov
Forwarded from p0lunin
Forwarded from p0lunin
И это хорошо, не будет такого
Forwarded from p0lunin
Forwarded from hirrolot
Не будем забывать, что это была ошибка в компиляторе
Forwarded from Aikidos
Тут вчера были очередные закидоны, в том числе и в мою сторону, относительно тупости растоманов и крутости гоферов. Я даже не собираюсь особо заморачиваться на какую-то то там аргументацию. С фанатиками, как известно, аргументом может быть только Smith&Wesson, но никто вас тут отстреливать не собирается. Живите себе и жуйте свой голанг до опупения.
Я вообще пришел к выводу, что го полезен именно тем, что привлекает и частично нейтрализует определенный слой горутинопитеков с патологическим ЧСВ и желанием к упрощению. Тут одно гоферское чудо (когда хотело проиллюстрировать мне бесполезность дженериков) как-то выкладывало свой код на го c разветвленной иерархией if err != nil и чуть ли не кодген для... обработки ошибок в каком-то своем пакете. И я подумал, как тяжело работать с такими особями обычным нормальным людям, которые пишут программы именно для того, чтобы закончить их и сдать в прод, а не для вечного процесса “упрощения” и переделок. И голанг здесь приносит свою пользу именно тем, что несколько отвлекает и даже истощает силы таких примитивных товарищей. И когда они на других языках программирования пишут уже код, за который получают деньги, то после извращенческих упражнений с го их потуги к упрощениям на других языках совершаются по принципу остаточности.
Жаль, конечно, что спасти нормальных людей и полностью нейтрализовать вас, закрыв в инфраструктуре голанга, невозможно, т.к. вы будете возвращаться к другим языкам программирования, чтобы паразитировать на вменяемых людях. Ведь в го-экосистеме вы не можете дружно скооперироваться и достичь каких-то реальных результатов. Достаточно посмотреть на количество либ для логгирования, которые развивает обычно один человек, и которые очень редко доводятся до качества, которое позволяло бы использовать их в продакшене. Что еще раз какгбе подтверждает, что го привлекает именно токсичный психотип нарциссов с ЧСВ, не способных к плодотворному взаимодействию. 😇😊
Forwarded from Антон
Нет же. Слайс — это набор последовательно лежащих в памяти элементов неизвестного на этапе компиляции размера, [T]. Ссылка на слайса — это &[T]
Hirrolot, [05.03.20 12:54]
[In reply to Nick Linker]
sendmmsg

Hirrolot, [05.03.20 12:55]
Там либо вектор аллоцируешь (не zero-copy), либо ограничиваешь функциональность

Hirrolot, [05.03.20 12:55]
Таки безопасно получится, но с потерями

Hirrolot, [05.03.20 12:57]
[In reply to Nick Linker]
Например, нельзя msghdr пользоваться полноценно, а иногда надо

Hirrolot, [05.03.20 13:01]
Можно вектор преаллоцировать и туда при каждой посылке класть структуру. Оверхед будет, да, но насколько сильный не измерял

Hirrolot, [05.03.20 13:03]
https://github.com/nix-rust/nix/pull/1017

Вот кому интересно - пусть почитают

https://www.tg-me.com/rust_offtopic/186448
Forwarded from hirrolot
Забавный факт: топовые по популярности языки создавали хуяк-хуяк на коленке. js, php, (сам автор признался, что любит решать проблемы, не очень любит программировать), python (тоже автор признался, что нужно было максимально быстро набросать работающий прототип)
2025/10/04 18:16:50
Back to Top
HTML Embed Code: