Category: дизайн

Category was added automatically. Read all entries about "дизайн".

2016-01

Type system for numerics

Перечитал спеку Julia. Всё красиво-красиво. Некоторые вещи еще хорошо заходят, после K. Пошел читать ишшуи. "Пятачок, неси ружье!" Сколько corner cases, пиздец.

Вот интересно, можно ли вообще построить type lattice для сколько-нибудь нетривиального количества перпендикулярных свойств типов? (тип элемента матрицы, размерность матрицы, способ хранения матрицы например)

(Там обсуждают Кронекера, Иверсона и как уменьшить количество special кейсов для штук вроде Inf * Complex(0,0))

И типа что делать с генериками если оно взрывается когда матрицу населили какими-нибудь типами без обратного элемента..

Патамушо design space у меня в голове ж теперь еще шире после того как в K я могу написать "ABCD"="A" и получить (1;0;0;0)

akuklev подскажи, что почитать?

И интересно, можно ли программировать на языке у которого будет explicitly partial type system? Т.е. некоторые relations будут фэйлиться, в духе "is_subtype_of(A,B) = NaN", не тру, не фолс, а именно NaN? диспатч конечно будет безумный

This entry was originally posted at http://wizzard.dreamwidth.org/478559.html. It has comment count unavailable comments. Please comment there using OpenID.
2016-01

поток сознания на тему information theory

в описаниях всяческих навороченных способах кодирования и передачи информации (Reed-Solomon и прочие FEC, торрент, progressive JPEG, rateless/fountain коды, LZ4, PAQ и прочие подобные) часто не хватает важной штуки - graceful degradation, или, в каком-то смысле, latency.

в целом вот понятно, что shannon capacity канала можно достигать сколь угодно эффективно, но при этом выходит, что чем ближе код к этой самой капасити - тем больше процентов (пакетов? ну положим что у нас erasure) надо получить, чтобы хоть что-то увидеть.

и если для arbitrary bitstream'ов это еще как-то обьяснимо (ну надо нам найти точное решение уравнения, никуда не денемся), то для картинок, звука и прочего очень часто хочется всякого graceful degradation, ну, как у того же прогрессивного жпега или FLIF (новый лосслесс кодек для картинок, гуглится)

каких-то принципиальных причин, почему прогрессивка должна ухудшать битрейт - тоже не видно. ключевая проблема в том, что это надо глубоко смерживать два кодека, в смысле, компрессор и FEC.

и это, по-видимому, взрывает мозг дизайнерам кодеков (а в случае с видео есть еще и минимум два сценария, "гифка" и "авто-регулятор битрейта для стриминга"), из-за чего мы этого так до сих пор и не увидели, а жаль!

(это я раздумываю, как бы сделать так, чтобы видеостриминг при потерях пакетов деградировал по качеству, а не заикался, и что-то нифига не придумывается пока что, т.к. тут еще и битрейт экстремально низкий, увы)

This entry was originally posted at http://wizzard.dreamwidth.org/450177.html. It has comment count unavailable comments. Please comment there using OpenID.
2016-01

О кнопке “закрыть окно” и немного о ОС вообще.

Ее не должно быть.

Точнее, она должна присутствовать в расширенном меню, но никак не числиться в составе главных элементов интерфейса.

Более-менее она оправдана *у документа*, но никак не у приложения. Это лишняя сущность. Приложения должны выгружаться из памяти автоматически, примерно так, как сейчас работает виртуальная память. И загружаться тоже автоматически, когда свободная память появляется (Такая фишка присутствует в последних виндах начиная с XP, DLL Prefetch называется)

Очень многие приложения висят и ждут евентов. Или, того хуже, poll’ают. Эту проблему местами решили в Win7 (запуск сервисов по событиям от устройств и другого софта), а до этого решили в Maemo и iPhone os. Правда, я детально не изучал, поэтому сравнения приводить не буду.

Даже для “тру фоновых приложений” в духе медиаплееров можно найти части, которые можно выгрузить – например, ненужные кодеки. Но реализовано это мало где, т.к. сложно и error-prone. Это должна прозрачно и унифицированно обеспечивать ОС.

А в меню приложения должно быть не только “принудительно выгрузить”, но и “удалить” ;)

2016-01

И в наши края придет информатизация

http://www.nbuv.gov.ua/portal/

Наукова періодика України: журнали та збірники наукових праць

Это, конечно, не ACM, но выглядит на редкость хорошо
Поиск – есть
Индекс – есть
PDF-ки – есть
Дизайн – не заметен. Так держать.

Просто и функционально, без лишнего мусора. Я рад за них.