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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Programming Offtop

555 membersпожаловаться на группу
2021 February 24

I

Igor in Programming Offtop
Ilmir
Мне "повезло" - я такие баги отлаживал методом пристального взгляда на своей первой работе, когда менеджер распределённых транзакций писал.
А могли бы просто на теорем-пруфере писать 😌
источник
19:28пожаловаться#1

AM

Andrew Mikhaylov in Programming Offtop
Ilmir
Я решил, что больше никогда и ушёл в компиляторщики, где всего один поток. Мало я тогда знал, что буду разрабатывать
1. технологию оффлоадинга кода на ГПУ (асинхронщина + распределённые вычисления)
2. корутины (nuff said)
😅
источник
19:28пожаловаться#2

I

Ilmir in Programming Offtop
Igor
А могли бы просто на теорем-пруфере писать 😌
Ну, после 500 строк доказательств того, что трансформация бинарных чисел в унарные и наоборот сохраняет число, а также того, что инкремент бинарного числа даёт следущее число, я уверен, что доказательство вышло бы на пару порядков больше самого кода и я бы до сих пор доказывал.
источник
19:32пожаловаться#3

IP

Iaroslav Postovalov in Programming Offtop
Igor
А могли бы просто на теорем-пруфере писать 😌
Эм
источник
19:32пожаловаться#4

IP

Iaroslav Postovalov in Programming Offtop
Хоть какие-то юзкейсы пролога на системах сложнее аксиоматики Тарского?
источник
19:33пожаловаться#5

I

Ilmir in Programming Offtop
Iaroslav Postovalov
Хоть какие-то юзкейсы пролога на системах сложнее аксиоматики Тарского?
Как бы не прологом единым.
https://link.springer.com/chapter/10.1007/978-3-319-94821-8_37
SpringerLink
An Agda Formalization of Üresin & Dubois’ Asynchronous Fixed-Point
In this paper we describe an Agda-based formalization of results from Üresin & Dubois’ “Parallel Asynchronous Algorithms for Discrete Data.” That paper investigates a large class of iterative...
источник
19:34пожаловаться#6

IP

Iaroslav Postovalov in Programming Offtop
Ilmir
Как бы не прологом единым.
https://link.springer.com/chapter/10.1007/978-3-319-94821-8_37
SpringerLink
An Agda Formalization of Üresin & Dubois’ Asynchronous Fixed-Point
In this paper we describe an Agda-based formalization of results from Üresin & Dubois’ “Parallel Asynchronous Algorithms for Discrete Data.” That paper investigates a large class of iterative...
Да я знаю про коки/арены/агды
источник
19:34пожаловаться#7

IP

Iaroslav Postovalov in Programming Offtop
Просто пролог на языке вертится
источник
19:34пожаловаться#8

Э

Эд in Programming Offtop
For backend development
Анонимный опрос
8%
Java
12%
Scala
81%
Kotlin
Проголосовало: 26
источник
19:40пожаловаться#9

AM

Andrew Mikhaylov in Programming Offtop
Эд
For backend development
Анонимный опрос
8%
Java
12%
Scala
81%
Kotlin
Проголосовало: 26
Можно останавливать, экспертное мнение собрано.
источник
19:45пожаловаться#10

Э

Эд in Programming Offtop
Видимо, не в той беседе начал голосование. Большинство если не все котлинисты
источник
19:46пожаловаться#11

AM

Andrew Mikhaylov in Programming Offtop
Эд
Видимо, не в той беседе начал голосование. Большинство если не все котлинисты
Всё так
источник
19:46пожаловаться#12

AM

Andrew Mikhaylov in Programming Offtop
Не все, но остальные не попали в этот семиминутный фрейм)
источник
19:47пожаловаться#13

IP

Iaroslav Postovalov in Programming Offtop
Эд
For backend development
Анонимный опрос
8%
Java
12%
Scala
81%
Kotlin
Проголосовало: 26
а теперь запости это в @jvmchat и в @scala_ru
источник
19:47пожаловаться#14

Э

Эд in Programming Offtop
Лол, меня кикнут тогда
источник
19:47пожаловаться#15

Э

Эд in Programming Offtop
Из pro.jvm точно
источник
19:48пожаловаться#16

IP

Iaroslav Postovalov in Programming Offtop
Эд
Лол, меня кикнут тогда
За мысли о том, чтобы писать что-то не на скале?
источник
19:48пожаловаться#17

IP

Iaroslav Postovalov in Programming Offtop
Опрос совершенно безобидный
источник
19:48пожаловаться#18

Э

Эд in Programming Offtop
Ну хз, смотря с какой стороны баррикады
источник
19:48пожаловаться#19

I

Igor in Programming Offtop
Эд
Лол, меня кикнут тогда
Добавить туда F# и закидывай в f#-флудилку
источник
19:48пожаловаться#20