p
Хуйня
Size: a a a
2020 July 02
∅ч
бля, это ахуенно
∅ч
шедевр
∅ч
build a 9x9 matrix of numbers, then set number 6 on {4,5} of the matrix. Rotate the matrix by π/2.
dump the matrix
dump the matrix
∅ч
хотя вот сложно представить, че надо написать, чтобы пройтись по всей матрице
∅ч
и то, это только двухмерная
b
То, что когда доносишь что-то до людей, желательно при этом учитывать их видение мира и опыт, говорить на их языке. Иначе легко стать не понятым.
А ты всё скатил в "мне запрещают говорить о Логосе". То есть, сместил акцент на себя, когда тебе всего лишь говорилось "люди толком не понимают ни тебя, ни целесообразность твоих действий без практических примеров".
Так понятнее?
А ты всё скатил в "мне запрещают говорить о Логосе". То есть, сместил акцент на себя, когда тебе всего лишь говорилось "люди толком не понимают ни тебя, ни целесообразность твоих действий без практических примеров".
Так понятнее?
>А ты всё скатил в "мне запрещают говорить о Логосе"
я этого не говорил. собственно, мне никто не запрещает говорить о логосе. меня обычно наоборот поощряют и поддерживают в этом вопросе, я не знаю с чего ты взял что я пытаюсь выдать себя за жертву или типа того
я этого не говорил. собственно, мне никто не запрещает говорить о логосе. меня обычно наоборот поощряют и поддерживают в этом вопросе, я не знаю с чего ты взял что я пытаюсь выдать себя за жертву или типа того
b
а в чем смысл тезиса вот этого “люди толком не понимают ни тебя, ни целесообразность твоих действий без практических примеров” я так и не понял
b
тут часто говорят про идрис например, без практических примеров
∅ч
блядь
b
я не думаю что много кому понятно про идрис или целесообразность идриса
∅ч
вы там опять философию обсуждали?
∅ч
вас совсем делать нехуй?
b
неее ты пропустил походу
b
мне сегодня ночью приснился сон пиздатый
b
вас совсем делать нехуй?
матрицу смотрел?
KR
тут часто говорят про идрис например, без практических примеров
Функция/тип, которые на этапе компиляции гарантируют определенные инварианты, к примеру, "список строго длинны N" и формально доказанная функция его разворота - это вполне себе наглядный практический пример и понятный результат большинству активных здесь участников.
KR
тут часто говорят про идрис например, без практических примеров
И, к слову, примеров было много. Тот же Жуковский много задачками делился, которые решал.
KR
Кстати, бери пример с Жуковского. Вот уж кто умеет терпеливо и понятно доносить идеи, приправляя примерами, чтобы человек "наконец-то понял".
b
Функция/тип, которые на этапе компиляции гарантируют определенные инварианты, к примеру, "список строго длинны N" и формально доказанная функция его разворота - это вполне себе наглядный практический пример и понятный результат большинству активных здесь участников.
нет поверь мне все-таки, очень много кто здесь не врубается в идрис и не хочет в него врубаться ровно так же как много кто не врубается в логос)