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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Distributed

1836 membersпожаловаться на группу
2021 July 16

s

s in Distributed
Но Как видите в блока файлов на 9,7 гб
источник
13:21пожаловаться#1

rr

rem rom in Distributed
привет. ребят а реально вообще написать прогу которая будет покупать монеты по цене листинга на бирже?
источник
16:05пожаловаться#2

@

@mr_tron in Distributed
Да
источник
16:13пожаловаться#3

s

s in Distributed
Ктото по іпфс поможет?
источник
16:59пожаловаться#4

rr

rem rom in Distributed
а где такого можно заказать
источник
17:24пожаловаться#5

KP

Kirill Pimenov in Distributed
https://twitter.com/bascule/status/1416036075047329792
Twitter
Tony “Abolish ICE” Arcieri 🦀
Reordering attacks, plaintext recovery, and MitM. These are the sorts of attacks cryptographers have been saying are potentially possible against Telegram for years. Also a reminder that Telegram apps don't use TLS even as a first layer of security. It's all MTProto. twitter.com/matthew_d_gree…
источник
22:02пожаловаться#6

@

@mr_tron in Distributed
https://mtpsym.github.io/
Ссылка на исследование уязвимостей телеграма. А то заебали своим твитором
источник
22:36пожаловаться#7

KP

Kirill Pimenov in Distributed
Спасибо; впрочем, комментарии конкретно Арсиери и Грина мне кажутся достаточно ценным источником контекста для тех, у кого его сходу нет
источник
22:39пожаловаться#8
2021 July 18

AF

Alexey F. in Distributed
https://ru.m.wikipedia.org/wiki/Автоматическое_доказательство
Wikipedia
Автоматическое доказательство
Автоматическое доказательство (англ. Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов.
источник
03:14пожаловаться#9

AF

Alexey F. in Distributed
крутая штука
источник
03:15пожаловаться#10

AF

Alexey F. in Distributed
AnimatedSticker.tgs
(24.28 Кб)
источник
03:15пожаловаться#11

AF

Alexey F. in Distributed
Idris — чистый тотальный функциональный язык программирования
Wikipedia
Чистота языка программирования
Чистота́ (в отношении языка программирования) — отсутствие побочных эффектов. Язык программирования является чистым в том случае, если все функции в программах этого языка являются чистыми.
источник
03:16пожаловаться#12

AF

Alexey F. in Distributed
просто хотел поднять тему ) кто-нибудь юзает в продакшене?
источник
03:18пожаловаться#13

HH

Human Human in Distributed
Да хаскель то почти в проде никто не юзает. А идрис так вообще супер-редкость
источник
03:25пожаловаться#14

HH

Human Human in Distributed
Вообще многие фичи из хаскеля и идриса просто не нужны в 99% случаев. Они только увеличивают сложность, но не дают бенефитов
источник
03:27пожаловаться#15

AF

Alexey F. in Distributed
ты глянь реализацию http-сервера
источник
03:28пожаловаться#16

HH

Human Human in Distributed
в idris? Что я там должен увидеть?
источник
03:28пожаловаться#17

AF

Alexey F. in Distributed
ога
источник
03:28пожаловаться#18

AF

Alexey F. in Distributed
прикольную реализацию
источник
03:28пожаловаться#19

AF

Alexey F. in Distributed
гуглится достаточно просто
источник
03:30пожаловаться#20