Size: a a a

2020 July 18

p

polunin.ai in rust_offtopic
Kai Ren
Тогда уж Arend не забудьте)
Coq же
источник

p

polunin.ai in rust_offtopic
Roman na
Я уже отвечал. Во-первых балабол код сам не показал. Во-вторых я не обязан делать что-то большее, чем необходимо. Моя задача доказать возможность, а не писать код. Поэтому я принципиально не буду его писать. Если тебе интересно - я тебе потом его напишу, когда блаболы сольются
Я не понял твое объяснение, потому что я не плюсовик, поэтому попросил пример который скомпилируется чтобы проверить истинность твоего учреждения. Что не так?
источник

AZ

Alex Zhukovsky in rust_offtopic
Roman na
нельзя, в этом и проблема. Тем дошколятам, что "пишут" на этом мусоре - код не нужен, программы не нужны. Мне же нужны. Их задача - разводить дядей на бабки, а задача пацанов писать код.
люди берут эти языки потому что на плюсах дорого искать ошибки. Не все же цари которые в уме знают всю спеку плюсов, кто-то без борровчекера сотни строк кода без сегфолта написать не может
источник

Rn

Roman na in rust_offtopic
Kai Ren
Критерий истинности - практика. Просто покажи код для такой детской и тривиальной задачи. Да, ты не обязан, но чего тебе С-царю это стоит? Научи неучей.
Нет. Ты должен для начала доказать то, что для доказательства моего тизиса нужен именно код. От тебя ничего подобного не поступало. К тому же, это не тривиальная задача. Это тривиальная задача на бездарном мусоре, который специально создан чтобы клепать подобные хелворды. В языке же, а не мусоре запартном, всё куда сложнее
источник

Rn

Roman na in rust_offtopic
polunin.ai
Я не понял твое объяснение, потому что я не плюсовик, поэтому попросил пример который скомпилируется чтобы проверить истинность твоего учреждения. Что не так?
нет, ты врёшь. Там не было ничего от плюсов.
источник

KR

Kai Ren in rust_offtopic
Alex Zhukovsky
люди берут эти языки потому что на плюсах дорого искать ошибки. Не все же цари которые в уме знают всю спеку плюсов, кто-то без борровчекера сотни строк кода без сегфолта написать не может
Не пацан - не достоен. Он это выше расписывал.
источник

Rn

Roman na in rust_offtopic
Alex Zhukovsky
люди берут эти языки потому что на плюсах дорого искать ошибки. Не все же цари которые в уме знают всю спеку плюсов, кто-то без борровчекера сотни строк кода без сегфолта написать не может
люди их не берут. Эти люди сидят за партой и молятся на гранд от дяди. Ничего не написали и ничего не могут.
источник

Rn

Roman na in rust_offtopic
там единственное, что дошколята могут показать - это огрызок комцерт
источник

AZ

Alex Zhukovsky in rust_offtopic
Roman na
люди их не берут. Эти люди сидят за партой и молятся на гранд от дяди. Ничего не написали и ничего не могут.
ну это просто неправда, есть конкретные подсистемы в фейсбуках и твиттерах на этом "мусоре"
источник

Rn

Roman na in rust_offtopic
который никому не нужен и неинтересен
источник

AZ

Alexander Zaitsev in rust_offtopic
Alex Zhukovsky
ну это просто неправда, есть конкретные подсистемы в фейсбуках и твиттерах на этом "мусоре"
а вакансий нет
источник

AZ

Alex Zhukovsky in rust_offtopic
и причем переписывать на плюсы пытались и ничего не вышло
источник

Rn

Roman na in rust_offtopic
Alex Zhukovsky
ну это просто неправда, есть конкретные подсистемы в фейсбуках и твиттерах на этом "мусоре"
нету никаких подсистем. Показывай их
источник

AZ

Alexander Zaitsev in rust_offtopic
если бы был дядям интересен - были бы вакансии
источник

AZ

Alex Zhukovsky in rust_offtopic
Roman na
нету никаких подсистем. Показывай их
источник

Rn

Roman na in rust_offtopic
это балабольство дошколят, которые пытаются дяде показать, что они что-то делают.
источник

Rn

Roman na in rust_offtopic
сразу умножается на ноль
источник

AZ

Alex Zhukovsky in rust_offtopic
Roman na
это балабольство дошколят, которые пытаются дяде показать, что они что-то делают.
а как определяется балабольство?
источник

KR

Kai Ren in rust_offtopic
Roman na
Нет. Ты должен для начала доказать то, что для доказательства моего тизиса нужен именно код. От тебя ничего подобного не поступало. К тому же, это не тривиальная задача. Это тривиальная задача на бездарном мусоре, который специально создан чтобы клепать подобные хелворды. В языке же, а не мусоре запартном, всё куда сложнее
Я не знаю ни С, ни плюсы. Мне обьяснения, касающиеся их особенностей не дают понимания. А вот реальный код, который могу покомпилить, позапускать и протестить - да. Он будет для меня прямым доказательством.
источник

Rn

Roman na in rust_offtopic
Alex Zhukovsky
а как определяется балабольство?
очень просто. Если люди что-то делает - это проявляется в среде. Есть кто-то пишет что-то на сишке - эта сишка везде. Если люди пишут хайперформанс на сишке - он везде. Но почему-то когда дело доходит на фп-мусора - всё существует только в презентациях и статейках на всяких помойках, а в реальности ничего нет?
источник