Sep. 6th, 2017

* * *

Sep. 6th, 2017 10:06 am
bamalip: (Default)
Посицельский сообщает о новой стратегии теоретической работы: писать, пока пишется, не пытаясь перечитать всё, что уже написано другими.
https://www.facebook.com/posic/posts/1867170876631071?pnref=story

Что-то в этом есть. Прямо скажем, я тоже в таком режиме последний год.

* * *

Sep. 6th, 2017 02:03 pm
bamalip: (Default)
Во-первых, docker как лучшая замена systemd
"RancherOS is the smallest, easiest way to run Docker in production. Everything in RancherOS is a container managed by Docker. This includes system services such as udev and syslog. Because it only includes the services necessary to run Docker, RancherOS is dramatically smaller than most traditional operating systems. By removing unnecessary libraries and services, requirements for security patches and other maintenance are dramatically reduced. This is possible because, with Docker, users typically package all necessary libraries into their containers."
http://rancher.com/docs/os/v1.0/en/
но без десктопного всего, насколько я понимаю.

Во-вторых, EndlessOS использует OSTree+Flatpak.
"Дистрибутив Endless примечателен тем, что не использует традиционные пакетные менеджеры, вместо которых предлагается минимальная атомарно обновляемая базовая система, работающая в режиме только для чтения и формируемая при помощи инструментария OSTree (системный образ атомарно обновляется из Git-подобного хранилища). Приложения распространяются в виде самодостаточных пакетов в формате Flatpak".

Интересно, имеет ли смысл эти два подхода как-то совместить, имея файловую систему, смердженную из атомарных файловых систем пакетов, запускающихся в изолированных контейнерах. Или Flatpak сам уже что-тот изолирует?

В-третьих, еть вещи, которые таки совмещаются:
IntelTXT (tboot) может виртуализовать и как-то там обезопасить загрузку дырявого xen
http://www-archive.xenproject.org/files/xensummit_fall07/23_JosephCihula.pdf
https://software.intel.com/en-us/articles/intel-trusted-execution-technology-intel-txt-enabling-guide#_Toc383534401

Вот нечто подобное внедрить в уже обсуждавшееся поделие QubesOS, так был бы лучший в мире дистрибутив. И это не требует коренного пересмотра концепции дистрибутива, в отличие от более радикальных решений вроде перехода на microkernel или capability based security.

* * *

Sep. 6th, 2017 03:35 pm
bamalip: (Default)
месяц или два назад наткнулся на разговор о попперианстве, плавно перетекший в вопрос о ценности математики. прежде чем отвечать, надо вспомнить, какие вещи понимаются под словом ценность. таковое употребляется в экономическом и психологическом контексте, в каждом в двух смыслах.

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

что тут добавить? "в экономике, так сказать, необходим" (с). не совсем понятно, куда тут приткнуть математику как ценность.

с другой стороны. ценно, то что хочу. то что надо. механизм целеполагания, выраженный как "А надо, чтобы Б", как категория стрелочек. механизм смыслопорождения, выраженный как "хочется XYZ", как предпучок над этой категорией.

для чего нужна математика? кому хочется ее создавать или ее потреблять? для чего-то нужна. кому-то хочется.

Profile

bamalip: (Default)
шерстяной ленин

October 2017

S M T W T F S
1 2 34 56 7
8 9 1011 121314
15 16 17 18 19 20 21
22232425262728
293031    

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 21st, 2017 09:25 pm
Powered by Dreamwidth Studios