В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

375 membersпожаловаться на группу
2020 May 22

SP

Stanislav Popov in rust_offtopic
блядь насколько же вы больные существа вот серьёзно. вы идёте по улице виделе ЗНАК. рядом знак с ПОДПИСЬЮ. и вы разводиде срач о лингвистике, истории письменности
источник
15:52пожаловаться#1

𝚙

𝚙∨¬𝚙 in rust_offtopic
Stanislav Popov
Простой разговор о двух технологиях. В одной есть механизм компайлтайм *некоторой проверки некоторых свойств* входных данных, в другой нет.

как на это реагируют кодерки: кококо теория типов Витгенштейн доказал, кококо мощность типа теория множеств кококо лямбда исчисление.
так я не “кодер”
источник
15:54пожаловаться#2

𝚙

𝚙∨¬𝚙 in rust_offtopic
я AI researcher
источник
15:54пожаловаться#3

𝚙

𝚙∨¬𝚙 in rust_offtopic
понятно что теории типов достаточно чтобы вашу бизнес-логику как-то криво-боком выразить
источник
15:54пожаловаться#4

𝚙

𝚙∨¬𝚙 in rust_offtopic
для GAI ее точно недостаточно
источник
15:54пожаловаться#5

𝚙

𝚙∨¬𝚙 in rust_offtopic
очевидно же
источник
15:55пожаловаться#6

DS

Doge Shibu in rust_offtopic
𝚙∨¬𝚙
https://projecteuclid.org/download/pdf_1/euclid.ndjfl/1093891616
projecteuclid.org
Davant : Wittgenstein on Russell's theory of types.
Project Euclid - mathematics and statistics online
Тут скорее философские аргументы, они не приводят к парадоксам, если с помощью теории типов строить основания математики.
источник
15:56пожаловаться#7

SP

Stanislav Popov in rust_offtopic
классическая картинка: программисты есть? я аи рисерчер, а я компьютер саенс учоный, я историк лямбда исчисления, а я метаматик
источник
15:56пожаловаться#8

DS

Doge Shibu in rust_offtopic
А теория типов именно с этой точки зрения и интересна
источник
15:56пожаловаться#9

SP

Stanislav Popov in rust_offtopic
только какого хера вы вообще вбрасываете это все в контенсте разговора о том что в сраной динамике нет сраных компайлтайм проверок?
источник
15:57пожаловаться#10

𝚙

𝚙∨¬𝚙 in rust_offtopic
Doge Shibu
А теория типов именно с этой точки зрения и интересна
мб тогда почему мы используем ее как фреймворк для всех сложных вычислений?
источник
15:57пожаловаться#11

𝚙

𝚙∨¬𝚙 in rust_offtopic
очевидно же, что дискурсивные задачи имеют несколько другую структуру, чтобы адресовать их на этом уровне анализа
источник
15:58пожаловаться#12

DS

Doge Shibu in rust_offtopic
𝚙∨¬𝚙
мб тогда почему мы используем ее как фреймворк для всех сложных вычислений?
Потому что любые вычисления это часть математики
источник
15:58пожаловаться#13

AG

Aλexander Gherm in rust_offtopic
Stanislav Popov
блядь насколько же вы больные существа вот серьёзно. вы идёте по улице виделе ЗНАК. рядом знак с ПОДПИСЬЮ. и вы разводиде срач о лингвистике, истории письменности
Полагаю, дело в том, что ты начал хуйню нести про каких-то динамистов, статистов, сектантов каких-то, заторможенный прогресс, что-то очень субьективное, из своей фантазии.

А так как сложно говорить говорить о субьективных вещах из чьей-то фантазии, люди и пытаются пообщаться о каком-то нормальном, формальном обосновании типизации.
источник
15:58пожаловаться#14

DS

Doge Shibu in rust_offtopic
Точнее ничего, кроме математики и не существует, собственно
источник
15:58пожаловаться#15

𝚙

𝚙∨¬𝚙 in rust_offtopic
Doge Shibu
Потому что любые вычисления это часть математики
нет! почему? потому что гипотеза тьюринг–черча про вычисляемые функции?
источник
15:58пожаловаться#16

𝚙

𝚙∨¬𝚙 in rust_offtopic
начнем с того, что даже в математическом дискурсе это только гипотеза
источник
15:59пожаловаться#17

AG

Aλexander Gherm in rust_offtopic
Stanislav Popov
блядь насколько же вы больные существа вот серьёзно. вы идёте по улице виделе ЗНАК. рядом знак с ПОДПИСЬЮ. и вы разводиде срач о лингвистике, истории письменности
Я ваще не знаю, зачем вылез из ридонли, но как ни открою этот чат, то вижу  твое кукареканье. Жопа подгорела, сорян.
источник
15:59пожаловаться#18

SP

Stanislav Popov in rust_offtopic
Aλexander Gherm
Полагаю, дело в том, что ты начал хуйню нести про каких-то динамистов, статистов, сектантов каких-то, заторможенный прогресс, что-то очень субьективное, из своей фантазии.

А так как сложно говорить говорить о субьективных вещах из чьей-то фантазии, люди и пытаются пообщаться о каком-то нормальном, формальном обосновании типизации.
я говорю о сугубо практичных вещах а чат заносит в научный бред о каких то маргинальных разделах математики
источник
15:59пожаловаться#19

𝚙

𝚙∨¬𝚙 in rust_offtopic
я вот кстати недавно где-то слушал пенроуз рассказывал
источник
16:00пожаловаться#20