[00:07:12] <jordan36957> http://habrahabr.ru/post/31605/
[00:07:24] <jordan36957> Трюк очень прост — они просто отказались от аппаратной защиты памяти, полностью. В Singularity всё работает в режиме ядра и всё работает в едином адресном пространстве.
[00:07:41] <jordan36957> Программы в Singularity изолированы друг от друга — но изоляция делается целиком и полностью программно, с помощью теории типов, а не кремния. Это возможно благодаря тому, что в Singularity программы написаны на потомке C#, названном Sing# (теоретически, вы можете использовать любой язык для .NET — Singularity использует совсем немного фич, добавленных в C#, так что любой другой язык потребует лишь этих немногих изменений).
[00:08:06] <jordan36957> Вопрос, что мешает написать глючную программу на си и запустить на это ос?
[00:10:59] <valexey> То что её система запускать не будет :-)
[00:12:02] <valexey> Но вообще, это банальный исследовательский проект с целью выяснить сколько мы платим за безопасность и изолированность процессов на аппаратном уровне.
[00:12:43] <jordan36957> Теоритически этот запрет можно обойти?
[00:13:21] <valexey> хез. нужно ковыряться в механизмах сингулярити.
[00:13:55] <valexey> если там на исполнение отдается байткод, который преобразовывается (по сути компилится) в натив при запуске - то обойти будет сложно.
[00:14:00] <valexey> но не факт что нельзя
[00:14:25] <jordan36957> Понятно.
[00:42:44] <valexey> http://habrastorage.org/storage2/afc/e76/f60/afce76f603202545ee210a304811e994.jpg
[08:07:52] <мистический_олень> _valexey_: читал про STEPS?
[08:08:56] <мистический_олень> система Алана Кея в 20 000 строк
[08:09:11] <мистический_олень> типа ос+аппликухи всё в этих строках
[08:11:32] <мистический_олень> ща линки дам
[08:11:48] <мистический_олень> статья о степс http://www.computerra.ru/65749/steps/

tech report 11 http://www.vpri.org/pdf/tr2011004_steps11.pdf NSF Report Year 5 Final - tr2011004_steps11.pdf
tech report 10 http://www.vpri.org/pdf/tr2010004_steps10.pdf

VPRI main wiki http://www.vpri.org/vp_wiki/index.php/Main_Page
see also: fonc wiki - in "All pages" of "VPRI main wiki"

COLA http://piumarta.com/software/cola/

https://github.com/damelang
Nile https://github.com/damelang/nile

Gezira https://github.com/damelang/gezira
Gezira - more http://www.vpri.org/vp_wiki/index.php/Gezira

[08:15:00] <мистический_олень> fonc_wiki <http://vpri.org/fonc_wiki/index.php/Main_Page> http://vpri.org/fonc_wiki/index.php/Main_Page
[08:27:55] <мистический_олень> tcpip стек они запихали в 160 строк
[09:08:30] <мистический_олень> They used plenty of new languages specifically designed for STEPS
[10:40:44] <TRUE> только я так и не нашёл, где этого фрэнка скачать
[10:41:39] <TRUE> где-то в инете видел сообщение, что это чисто исследовательский проект, база для других проектов. Сам он в свет никогда не выйдет
[10:56:00] <valexey> мистический_олень: дык это я ж тебе про этот STEP написал тогда :-)
[10:56:08] <valexey> прямо вот в этом чятике и писал :-)
[16:59:32] <vlad2> Пипец. Теперь не только по телефону, но и в чате роботы.
[17:02:48] <vlad2> В нашей деревне наконец появился другой провайдер. Теперь можно поторговаться :)
[17:10:35] <valexey> vlad2: какие такие роботы? :-)
[17:10:44] <vlad2> Live chat
[17:10:50] <vlad2> No встречает тебя робот.
[17:11:42] <valexey> это у провайдера шоле?
[17:12:22] <vlad2> Ага. Чувствую сменю я провайдера. Навешал мне сейчас кучу булшита и отправил звонить по телефону, потому что он не может ответить на простой вопрос.
[17:12:39] <vlad2> А я не хочу звонить по телефону, я не говорю по английски :)
[17:13:13] <valexey> что, совсем не хочешь ассимилироваться? :-)
[17:14:27] <vlad2> Не. Просто кто-то не может понять что такое указатель, а кто-то говорить на другом языке :)
[17:15:11] <valexey> Говори на С++!
[17:16:32] <valexey> vlad2: а как же ж ты на работе? там же наверняка манагеры англоязычные.
[17:17:33] <vlad2> Они уже привыкли к русскому акценту ;) И говорят так, чтоб я понимал :)
[17:17:55] <vlad2> А на телефоне еще какой-нибудь индус окажется, тогда вообще бесполезняк...
[17:18:41] <valexey> Поскольку мы теперь америкосы, нас будут учить английскому. НАСИЛЬНО!
[17:19:03] <valexey> Разговорному. Будут натягивать на fluent english
[17:25:26] <vlad2> Это как вас угораздило?
[17:25:36] <vlad2> Написал еще емылом - звонить в принципе не буду.
[17:28:21] <valexey> ну у наше направление выделили в отдельную компанию же. точнее в две компании. в головную, американскую, где будет человек 20 менеджеров и сейлзов, и её дочернюю российскую, где человек 100-150 программистов и около того :-)
[17:28:50] <vlad2> Так это они вас в рабочее время будут учить?
[17:28:55] <valexey> так что по сути от прежней которы отоврали примерно половину и в этой половине я :-)
[17:29:13] <vlad2> Учителя будут?
[17:29:22] <vlad2> Или по одному в штаты? :)
[17:29:32] <valexey> да фиг знает. или в рабочее, или после работы, но где-то на работе :-)
[17:29:44] <valexey> ненене. в штаты они замахаются всех таскать :-)
[17:30:04] <valexey> нас еще в новый офис переселять будут. мне это не нравится, ибо он у черта на куличах
[17:30:15] <valexey> раньше 40 минут пешком до офиса, теперь час на автобусе.
[17:30:20] <vlad2> Вообще, конечно, в штаты эффективнее. ОСобенно если смотреть, чтоб ни с кем на русском не общался. За полгода можно на хороший уровень вывести :)
[17:30:48] <vlad2> Да, меня всегда парила дорога до работы.
[17:31:22] <valexey> ну, тут еще главное чтобы в инет чел не ушел. ибо если есть инет, то абсолютно пофиг что там в реале происходит и на каком языке эти мерсские людишки устно говорят.
[17:32:09] <vlad2> Угу. Вот как я :)
[17:32:23] <valexey> :-)
[17:34:27] <valexey> ну, то есть поскольку я квартиру снимаю, то можно просто снять квартиру поближе
[17:34:43] <valexey> но, блин. это ж искать, потом еще переезжать... месяц на чумоданах. брр.
[17:34:53] <valexey> может оказаться проще работу сменить :-)
[17:53:20] <vlad2> У вас там еще нет сервиса "взять грузовик, все туда положить и переехать"?
[17:54:18] <vlad2> Вчера посмотрел стартрэк 2. Зачот. Тема космических кораблеей, бороздящих просторы вселенной раскрыта. Ну и ввобще классика подобного жанра, ничем особо не испорченная.
[17:57:15] <valexey> да наверно есть. но искать квартиру то месяц придется минимум
[17:57:41] <valexey> причем специфика здешнего квартиросъема в том, что если нашел, то надо переезжать в течение недели где-то.
[17:57:44] <valexey> то есть резко
[18:25:54] <vlad2> А в штаты больше не зовут переехать? :)
[18:28:17] <valexey> Да там мутно всё :-)
[18:28:48] <valexey> О! Лось онлайн!
[18:28:50] <valexey> :-)
[18:33:19] <vlad2> Не путать с мистическим оленем :)
[18:34:04] <vlad2> О, он еще и пишет :)
[18:43:41] <TRUE> какие такие лоси?
[18:53:49] <valexey> Владимиры :-)
[19:58:39] <Kemet> valexey: математик лось чтоле?
[20:06:28] <vlad2> Судя по SDK в новой OSX _не_ дропнули карбон :)
[20:51:38] <valexey> Думаю массдроп будет в 10.10
[20:51:54] <valexey> Когда шаловливые ручки Айва дотянутся до макоси
[21:12:59] <valexey> Джорда-ан! Чорт, сбежал. А тут ведь ответ на один из его вопросов: http://habrahabr.ru/post/182998/
[23:01:15] <vlad2> Кто такой Айва?