Дискуссии за 10-05-2017:

6:00-12:00


Киньте ссылки в умные ресурсы про то как описывать протоколы и идеально по этому описанию уметь доказывать определенные их свойства
жуйк#2870974 2017-05-10 08:07:09

Дискуссии за 08-05-2017:


а по какому принципу на stepic винды решения людей, а то например на haskell, там вечно какие-то 6 рандомных решений с пафосными комментариями, учитывая, что всего проходит человек 100.
жуйк#2870814 2017-05-08 11:21:16

Дискуссии за 04-05-2017:


а накидайте интересных материалов по BPF кроме https://qmonnet.github.io/whirl-offload/... (пока лень читать было)
жуйк#2870415 2017-05-04 08:54:41

Дискуссии за 03-05-2017:

12:00-18:00


@blaze если инстанс может быть написан, то он *должен* быть написан, иначе будет куча неумных людей людей и напишут кривой инстанс.

Если логичный инстанс единственный, то тогда вообще не должно быть никаких вопросов, как например для `(,) а`.

жуйк#2870372 2017-05-03 17:21:11

Дискуссии за 26-04-2017:

6:00-12:00


Как правильно дизайнить тесты и вообще стабильность системы из многих компонентов, чтобы не пропустить возможные случаи live/dead локов и неожиданных падений?
жуйк#2869726 2017-04-26 11:01:53

- Папа, ты не можешь гореть, потому, что у тебя нет фитиля. Шутка. Можешь.
жуйк#2869725 2017-04-26 10:58:44

Дискуссии за 18-04-2017:


А какие можно найти дешевые IPC и вообще средства для следующего (задачи разные):
1. пнуть другой процесс чтобы посмотрел, чтобы забрал данные (**)
2. заметить, что родительский процесс помер (***)
3. заметить, что дочерний процесс помер (*)

(*) я знаю что для 3 я могу делать waitpid, но я ленивая сволочь и скорее всего ...
жуйк#2868950 2017-04-18 10:04:19

Дискуссии за 11-04-2017:

12:00-18:00


@agr пока Донс непонятно что делал с твоим резюме он взял и сбежал в facebook в лондон
жуйк#2868268 2017-04-11 12:47:48

Дискуссии за 06-04-2017:

6:00-12:00


А есть тут кто-нить разбирающийся в elastic search стеке, у меня есть уйма тупых вопросов?
жуйк#2867717 2017-04-06 08:51:37

Дискуссии за 29-03-2017:

18:00-0:00


кто хочет поработать на благо военки в славном городе гатчине (от питера добраться просто) за какие-то 80-90к (если все уметь) или на сколько-то меньше, если быть готовым учиться. Делать так чтобы корабли меньше тонули, а на складах было меньше ЧП, ну или хотя бы чтобы об этом узнали все кому следует знать. Там всякие C + ...
жуйк#2866884 2017-03-29 18:37:26

6:00-12:00


```
data State a = Running a | Starting (STM a) | Stopping (STM ())
```
и TVar (HashMap key (State value)), лучше ведь чем global lock на структуру?

жуйк#2866802 2017-03-29 07:42:33

Дискуссии за 28-03-2017:

12:00-18:00


https://i.juick.com/photos-1024/2866716.... Сисадмины Нового Поколения! Вот, они, Вот Враги! Это из-за них Ваши ДЕТИ.. Я даже не могу сказать...
Вот, только посмотрите на это!
https://www.docker.com/

Видите СИНИЙ КИТ, и они не скрывают! Это Они распространяют заразу!!

Блокируйте синего кита! не используйте docker!
жуйк#2866716 2017-03-28 12:58:37

Дискуссии за 24-03-2017:

6:00-12:00


https://i.juick.com/photos-1024/2866150.... вот такие блины водятся в 10км от ядерного реактора и могильников и 500м от промзоны..
жуйк#2866150 2017-03-24 11:59:13

Дискуссии за 23-03-2017:

18:00-0:00


А что у нас в этих наших линуксах с HiDPI? Если у меня нету модного DE, то могу ли я как-нить в одном (двух-трех, в общем конечном числе) месте гуишным программам scaling factor выставить? Например, у хрома есть опция, а что делать с audacity, telegram, whatever else (не придумал, что ещё гуишное использую)
жуйк#2866074 2017-03-23 19:34:20

6:00-12:00


хочется написать что-то вроде:

class T a where type ReqRep a :: * -> * ; reqrep :: a -> ReqRep a x -> x

для того, чтобы можно было передавать запросы гадтами, которые типизированы возвращаемым результатом. Но при этом я теряю возможность сдеать простые классы, где запрос это Int а релзультат всегда Bool ...
жуйк#2865980 2017-03-23 08:37:02

Дискуссии за 22-03-2017:

12:00-18:00


покемоны смешная игра летом сплошная школота играла, а сейчас они в школе и за них играют родители
жуйк#2865906 2017-03-22 14:38:35

Дискуссии за 16-03-2017:

18:00-0:00


хочу local data в haskell вот в посте выше у меня был тип A

data A (c :: * -> Constraint) = forall a . SafeCopy a => A (Dict (c a))

смысла в нём никакого, т.е. просто протаскиваем словарик для экзестенциального типа,
плюс ещё констреинт фиксируется, используется в самой функции, а так же у вызывающего эту функцию, ...
жуйк#2865178 2017-03-16 19:55:36

Дискуссии за 14-03-2017:

12:00-18:00


На андроидофоне начала сильно тормозить клавиатура, при переключении с английского на русский висит несколько секунд. Кого позвать чтобы починилось?
жуйк#2864860 2017-03-14 14:02:07

6:00-12:00


вот будет новый ноут, что туда ставить:
* nixos
* gentoo
* qubes-os
* какое ещё извращение (например gentoo+nix для бинарных юзеропакетов)

Gentoo существенно расширяемее и контролируемее nixos. В nixos хоть все эти derivations пишутся вроде и просто, но как-то желания учить их странный язык и писать совсем нет, в ...
жуйк#2864829 2017-03-14 08:29:05

Дискуссии за 13-03-2017:

18:00-0:00


http://blog.tweag.io/posts/2017-03-13-li...

линейные типы всем даром, пусть никто не уйдет обиженным
жуйк#2864754 2017-03-13 18:21:08
1