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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

2ch /pr/ise #staythefuckhome

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

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
даже в агде такого нет
источник
03:43пожаловаться#1

T

TNN TITAN in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
покажите мне язык, в котором можно вывести булевую логику за 10 строчек
С++
источник
03:43пожаловаться#2

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
покажите мне язык, в котором можно вывести булевую логику за 10 строчек
Хаскель
источник
03:43пожаловаться#3

T

TNN TITAN in 2ch /pr/ise #staythefuckhome
TNN TITAN
С++
AnimatedSticker.tgs
(55.6 Кб)
источник
03:43пожаловаться#4

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
🎄🎊 R 🎅 Tb| ✡️ 🎊🎄
Хаскель
нельзя в хаскеле вывести булевую логику
источник
03:43пожаловаться#5

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
нельзя в хаскеле вывести булевую логику
Почему?
источник
03:43пожаловаться#6

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in 2ch /pr/ise #staythefuckhome
На чем угодно можно вывести булеву логику, где есть булева логика
источник
03:44пожаловаться#7

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in 2ch /pr/ise #staythefuckhome
sticker.webp
(19.63 Кб)
источник
03:44пожаловаться#8

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
🎄🎊 R 🎅 Tb| ✡️ 🎊🎄
Почему?
https://wiki.haskell.org/Curry-Howard-Lambek_correspondence
источник
03:44пожаловаться#9

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
🎄🎊 R 🎅 Tb| ✡️ 🎊🎄
На чем угодно можно вывести булеву логику, где есть булева логика
я имею в виду с нуля
источник
03:44пожаловаться#10

m

mykyta in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
нельзя в хаскеле вывести булевую логику
что это значит?
источник
03:44пожаловаться#11

z

zeroid in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
https://aletheia.icu/~badt/logos/spec/
aletheia.icu
Standard dialect
A universal set of propositions that is guaranteed to forever be consistent with any logotic dialect.
На псевдокод интуля похоже
источник
03:44пожаловаться#12

m

mykyta in 2ch /pr/ise #staythefuckhome
вывести логику
источник
03:44пожаловаться#13

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
я имею в виду с нуля
А это откуда?
источник
03:44пожаловаться#14

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
mykyta
что это значит?
определить знаки T, F, определить на них логические операции
источник
03:44пожаловаться#15

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
zeroid
На псевдокод интуля похоже
интуль?
источник
03:45пожаловаться#16

z

zeroid in 2ch /pr/ise #staythefuckhome
Интел
источник
03:45пожаловаться#17

𝚙

𝚙∨¬𝚙 in 2ch /pr/ise #staythefuckhome
а
источник
03:45пожаловаться#18

m

mykyta in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
определить знаки T, F, определить на них логические операции
а
источник
03:45пожаловаться#19

T

TNN TITAN in 2ch /pr/ise #staythefuckhome
𝚙∨¬𝚙
определить знаки T, F, определить на них логические операции
Ой, так низя нигде значит в 10 строк
источник
03:45пожаловаться#20