Size: a a a

2020 April 09

А⚙

Антон ⚙️ in rust_offtopic
Doge Shibu
Причем второе скорее всего важнее первого в этом плане
Менее важно. noalias в LLVM до сих пор не починили
источник

Т8

Т-34 85 in rust_offtopic
Doge Shibu
Лямбда исчисление кому угодно обьясняется за одну пару. Там три конструкции в языке и пара правил редукции.
не могу на это ничего ответить - не знаком
источник

P

Pavel in rust_offtopic
Т-34 85
не могу на это ничего ответить - не знаком
потрать полтора часа на видос в интернете и сможешь
источник

Т8

Т-34 85 in rust_offtopic
Pavel
потрать полтора часа на видос в интернете и сможешь
мне это не нужно. Пока, по крайней мере
источник

P

Pavel in rust_offtopic
Т-34 85
мне это не нужно. Пока, по крайней мере
ну, ща нужно, чтоб в чате ответить
источник

P

Pavel in rust_offtopic
ты сможешь сказать "я посмотрел видос и ничё не понял"
источник

P

Pavel in rust_offtopic
(даже если понял)
источник

Т8

Т-34 85 in rust_offtopic
Pavel
ну, ща нужно, чтоб в чате ответить
источник

p

polunin.ai in rust_offtopic
лучше помогите как можно выразить начальное состояние в конечном автомате, учитывая что если его использовать как входное, оно не принимает на вход слова, а при переходе из другого состояния принимает
источник

DS

Doge Shibu in rust_offtopic
Антон ⚙️
Менее важно. noalias в LLVM до сих пор не починили
Так вроде чинили же
источник

P

Pavel in rust_offtopic
в чате отвечать? ну так отвечаешь же
источник

А⚙

Антон ⚙️ in rust_offtopic
Roman Proskuryakov
хочу серьезного технопорно
Ну найди бенчмарки C vs C++, где сравниваются qsort из stdlib и std::sort. Второе тащит, потому что компаратор инлайнится
источник

А⚙

Антон ⚙️ in rust_offtopic
Doge Shibu
Так вроде чинили же
ЕМНИП, в gcc чинили
источник

P

Pavel in rust_offtopic
polunin.ai
лучше помогите как можно выразить начальное состояние в конечном автомате, учитывая что если его использовать как входное, оно не принимает на вход слова, а при переходе из другого состояния принимает
открыть теорию автоматов
источник

Т8

Т-34 85 in rust_offtopic
Pavel
в чате отвечать? ну так отвечаешь же
так не отвечаю же - https://t.me/rust_offtopic/222764
источник

P

Pavel in rust_offtopic
что-то не отвечаешь, а что-то -- отвечаешь
источник

Т8

Т-34 85 in rust_offtopic
Pavel
что-то не отвечаешь, а что-то -- отвечаешь
так если шарю хоть немного, то говорю по мере. Если не знаю - стараюсь воздерживаться или просто своё мнение
источник

r

red75prime in rust_offtopic
Pavel
массивы на примере паравозиков нельзя объяснить, обычно на шкафчиках
Надо сразу на функциях объяснять, а то портят детей императивным мышлением. Массив - это функция arr :: Integer -> Maybe a, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr c
источник

P

Pavel in rust_offtopic
Т-34 85
так если шарю хоть немного, то говорю по мере. Если не знаю - стараюсь воздерживаться или просто своё мнение
а мог бы узнать
источник

p

polunin.ai in rust_offtopic
red75prime
Надо сразу на функциях объяснять, а то портят детей императивным мышлением. Массив - это функция arr :: Integer -> Maybe a, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr c
И будешь ты объяснять это три недели если вообще объяснишь
источник