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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

comput.math

339 membersпожаловаться на группу
2017 August 31

SZ

Sergey Zhuravlev in comput.math
Check out @cyberglot's Tweet: https://twitter.com/cyberglot/status/900418418167492612?s=09
Twitter
ju
current status
источник
15:27пожаловаться#1

g

gsomix in comput.math
Sergey Zhuravlev
Check out @cyberglot's Tweet: https://twitter.com/cyberglot/status/900418418167492612?s=09
Twitter
ju
current status
У нас чат про другое. ;)
источник
15:31пожаловаться#2

AB

Anton Burkin in comput.math
мне больше про теоркат нравится картинка
источник
15:33пожаловаться#3

AB

Anton Burkin in comput.math
и чё за хайп на идрис пошел?
источник
15:33пожаловаться#4

g

gsomix in comput.math
Anton Burkin
и чё за хайп на идрис пошел?
tl;dr Зависимые типы
источник
15:35пожаловаться#5

g

gsomix in comput.math
Да, есть, вот он: https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig
Telegram
Zависимые типы в массы!
Invite link:
https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Please stay on the topic (dependent types, automated theorem proving, verification and related themes) and refrain from using stickers/memes.
источник
15:36пожаловаться#6

g

gsomix in comput.math
Там точно расскажут.
источник
15:36пожаловаться#7

AB

Anton Burkin in comput.math
я знаю =)
источник
15:36пожаловаться#8

AB

Anton Burkin in comput.math
там и хайпят
источник
15:36пожаловаться#9

AB

Anton Burkin in comput.math
я нифига не понимаю
источник
15:36пожаловаться#10

g

gsomix in comput.math
Anton Burkin
я нифига не понимаю
Попроси объяснить, я думаю, там ребята не откажут.
источник
15:37пожаловаться#11

g

gsomix in comput.math
https://nickhigham.wordpress.com/2017/08/31/how-fast-is-quadruple-precision-arithmetic/?platform=hootsuite
Nick Higham
How Fast is Quadruple Precision Arithmetic?
When I am testing an algorithm running in double precision arithmetic I often want to compare the computed solution with a reference solution: a solution that is fully accurate to double precision.…
источник
19:22пожаловаться#12

g

gsomix in comput.math
Привет!
источник
20:16пожаловаться#13
2017 September 01

g

gsomix in comput.math
Привет! о/
источник
08:21пожаловаться#14

🦎

🦎 in comput.math
ку всем
источник
13:26пожаловаться#15
2017 September 02

g

gsomix in comput.math
Привет!
источник
10:11пожаловаться#16
2017 September 03

AB

Anton Burkin in comput.math
Ребят, кто понимает в сжатии с помощью Хартли? (ДПХ)
источник
15:10пожаловаться#17

AB

Anton Burkin in comput.math
именно в самом алгоритме
источник
15:10пожаловаться#18

Dv

Dr. Friedrich von Never in comput.math
Ты. У тебя же методичка есть :)
источник
15:10пожаловаться#19

AB

Anton Burkin in comput.math
я тут его ручками реализую и запнулся на одном моменте
источник
15:11пожаловаться#20