Nano Nicholson
@nanoqsh.bsky.social
[ru, en] Memory safety enthusiast 🦀
Уверен, сиебы настолько ненавидят раст, что не написали на нём ни строчки кода. Они не имеют ни понимания как обеспечивается safety, ни как вообще код на расте обычно пишется
В это же время каждый уважающий себя растер знает Си и обычно очень хорошо знает C++
В это же время каждый уважающий себя растер знает Си и обычно очень хорошо знает C++
December 20, 2025 at 1:49 AM
Уверен, сиебы настолько ненавидят раст, что не написали на нём ни строчки кода. Они не имеют ни понимания как обеспечивается safety, ни как вообще код на расте обычно пишется
В это же время каждый уважающий себя растер знает Си и обычно очень хорошо знает C++
В это же время каждый уважающий себя растер знает Си и обычно очень хорошо знает C++
Зайти по рофлу на порнохаб, поднять статистику?
December 16, 2025 at 10:03 PM
Зайти по рофлу на порнохаб, поднять статистику?
Ложная дилемма никак не противоречит закону исключенного третьего
Дилемма это "ты либо пидорас, либо хуесос"
А закон искл. третьего "ты пидорас, либо НЕ пидорас" или "ты хуесос, либо НЕ хуесос"
Понимаю ты пишешь на C++ и мозг немного атрофировался мыслить логически, но постарайся понять
Дилемма это "ты либо пидорас, либо хуесос"
А закон искл. третьего "ты пидорас, либо НЕ пидорас" или "ты хуесос, либо НЕ хуесос"
Понимаю ты пишешь на C++ и мозг немного атрофировался мыслить логически, но постарайся понять
December 16, 2025 at 9:21 PM
Ложная дилемма никак не противоречит закону исключенного третьего
Дилемма это "ты либо пидорас, либо хуесос"
А закон искл. третьего "ты пидорас, либо НЕ пидорас" или "ты хуесос, либо НЕ хуесос"
Понимаю ты пишешь на C++ и мозг немного атрофировался мыслить логически, но постарайся понять
Дилемма это "ты либо пидорас, либо хуесос"
А закон искл. третьего "ты пидорас, либо НЕ пидорас" или "ты хуесос, либо НЕ хуесос"
Понимаю ты пишешь на C++ и мозг немного атрофировался мыслить логически, но постарайся понять
Ну смотри, у типа bool есть два значения: true, false - если только ты не жаваскриптухан
Как это искажает твое восприятие?
Наверное будет искажать, если ты пытаешься абстрактную модель натягивать на реальность в любом её проявлении, даже там, где эта формализация не применима. Но кто так делает?
Как это искажает твое восприятие?
Наверное будет искажать, если ты пытаешься абстрактную модель натягивать на реальность в любом её проявлении, даже там, где эта формализация не применима. Но кто так делает?
December 15, 2025 at 2:06 PM
Ну смотри, у типа bool есть два значения: true, false - если только ты не жаваскриптухан
Как это искажает твое восприятие?
Наверное будет искажать, если ты пытаешься абстрактную модель натягивать на реальность в любом её проявлении, даже там, где эта формализация не применима. Но кто так делает?
Как это искажает твое восприятие?
Наверное будет искажать, если ты пытаешься абстрактную модель натягивать на реальность в любом её проявлении, даже там, где эта формализация не применима. Но кто так делает?
> не объясняет например, что такое истина, а что такое лож
Она и не должна
Она и не должна
December 15, 2025 at 2:00 PM
> не объясняет например, что такое истина, а что такое лож
Она и не должна
Она и не должна
> Она же требует чтобы все объекты рассуждения заранее имели смысл
Нет. Это всё равно что сказать "я не могу складывать или вычитать абстрактные величины, нужно знать смысл того что эти величины значат", но нет, математика и без этого работает, как и логика. Они про абстракции, а не "смыслы"
Нет. Это всё равно что сказать "я не могу складывать или вычитать абстрактные величины, нужно знать смысл того что эти величины значат", но нет, математика и без этого работает, как и логика. Они про абстракции, а не "смыслы"
December 15, 2025 at 1:58 PM
> Она же требует чтобы все объекты рассуждения заранее имели смысл
Нет. Это всё равно что сказать "я не могу складывать или вычитать абстрактные величины, нужно знать смысл того что эти величины значат", но нет, математика и без этого работает, как и логика. Они про абстракции, а не "смыслы"
Нет. Это всё равно что сказать "я не могу складывать или вычитать абстрактные величины, нужно знать смысл того что эти величины значат", но нет, математика и без этого работает, как и логика. Они про абстракции, а не "смыслы"
Хотя ты пишешь на C++, так что, думаю это закономерно. C++ убивает мозг
December 15, 2025 at 9:13 AM
Хотя ты пишешь на C++, так что, думаю это закономерно. C++ убивает мозг
Странно объяснять это программисту, который знает что логические операции применяются только к типу bool, а например арифметика к числовым типам и тд
Если ты не можешь применить логическую операцию не к bool типу, это не значит что эти логические операции не работают
Если ты не можешь применить логическую операцию не к bool типу, это не значит что эти логические операции не работают
December 15, 2025 at 9:12 AM
Странно объяснять это программисту, который знает что логические операции применяются только к типу bool, а например арифметика к числовым типам и тд
Если ты не можешь применить логическую операцию не к bool типу, это не значит что эти логические операции не работают
Если ты не можешь применить логическую операцию не к bool типу, это не значит что эти логические операции не работают
То есть пример выражения когда закон исключённого третьего в логике не работает это "какая вероятность для самой спящей красавицы"?
Мне кажется ты немного не понимаешь разницу между понятиями "какой-то закон не работает" и "какой-то закон не применяется в данном случае"
Мне кажется ты немного не понимаешь разницу между понятиями "какой-то закон не работает" и "какой-то закон не применяется в данном случае"
December 15, 2025 at 9:10 AM
То есть пример выражения когда закон исключённого третьего в логике не работает это "какая вероятность для самой спящей красавицы"?
Мне кажется ты немного не понимаешь разницу между понятиями "какой-то закон не работает" и "какой-то закон не применяется в данном случае"
Мне кажется ты немного не понимаешь разницу между понятиями "какой-то закон не работает" и "какой-то закон не применяется в данном случае"
Столько написал, но только не пример логического высказывания где бы закон исключённого третьего не работал бы
December 14, 2025 at 11:40 AM
Столько написал, но только не пример логического высказывания где бы закон исключённого третьего не работал бы
Филс это не статический анализатор, это рантайм который интерпретирует (по сути) сишный код блокируя небезопасные операции если они произойдут
В целом, с таким же успехом проще использовать санитайзер и гонять тесты
Идеальный вариант просто на расте писать и не трахать мозг
В целом, с таким же успехом проще использовать санитайзер и гонять тесты
Идеальный вариант просто на расте писать и не трахать мозг
December 14, 2025 at 8:41 AM
Филс это не статический анализатор, это рантайм который интерпретирует (по сути) сишный код блокируя небезопасные операции если они произойдут
В целом, с таким же успехом проще использовать санитайзер и гонять тесты
Идеальный вариант просто на расте писать и не трахать мозг
В целом, с таким же успехом проще использовать санитайзер и гонять тесты
Идеальный вариант просто на расте писать и не трахать мозг
Причём тут закон исключённого третьего вообще?
December 14, 2025 at 5:17 AM
Причём тут закон исключённого третьего вообще?
Где ты вообще это отрыл, ладно.
Я искренне пытался понять в чём тут тейк, думаю тут тонкая подмена понятий: представить что тебя нет и представить себя несуществующим
Первое просто, второе невозможно в силу надуманного парадокса
Я искренне пытался понять в чём тут тейк, думаю тут тонкая подмена понятий: представить что тебя нет и представить себя несуществующим
Первое просто, второе невозможно в силу надуманного парадокса
December 14, 2025 at 5:16 AM
Где ты вообще это отрыл, ладно.
Я искренне пытался понять в чём тут тейк, думаю тут тонкая подмена понятий: представить что тебя нет и представить себя несуществующим
Первое просто, второе невозможно в силу надуманного парадокса
Я искренне пытался понять в чём тут тейк, думаю тут тонкая подмена понятий: представить что тебя нет и представить себя несуществующим
Первое просто, второе невозможно в силу надуманного парадокса
1895 года учебник?
Пиздец у тебя, конечно, уровень актуальности материала на высоте
Пиздец у тебя, конечно, уровень актуальности материала на высоте
December 14, 2025 at 4:55 AM
1895 года учебник?
Пиздец у тебя, конечно, уровень актуальности материала на высоте
Пиздец у тебя, конечно, уровень актуальности материала на высоте
Пример приведи, когда закон исключённого третьего не работает в рамках какого-то выражения
December 14, 2025 at 4:46 AM
Пример приведи, когда закон исключённого третьего не работает в рамках какого-то выражения
Закон применяется не к состоянию чего-то, а к логическому выражению. На прогреском языке, проще говоря, к тому что имеет тип bool
Это логическое выражение может быть либо true, либо false - третьего не дано
Это логическое выражение может быть либо true, либо false - третьего не дано
December 14, 2025 at 4:42 AM
Закон применяется не к состоянию чего-то, а к логическому выражению. На прогреском языке, проще говоря, к тому что имеет тип bool
Это логическое выражение может быть либо true, либо false - третьего не дано
Это логическое выражение может быть либо true, либо false - третьего не дано
Сочувствую, но хотя бы Властелин Колец посмотрел
December 12, 2025 at 3:03 AM
Сочувствую, но хотя бы Властелин Колец посмотрел
Хоть одна причина топить за россию в этом конфликте?
December 11, 2025 at 7:49 AM
Хоть одна причина топить за россию в этом конфликте?