редис он же ин-мемори с eventually персистенсом

Ну, гм, тебе скорость или персистенс?

Если ты хочешь персистенс, то скорее всего тебе не нужен NoSQL

мне все

и еще шардинг

хочу нарушать CAP теорему везде

Кстати за последнюю неделю уже третий раз слышу про CAP-теорему. Судя по википедии это какая-то неформализированная гипотеза вообще

ну вот ты сам её сформулировал, предложив мне выбирать из производительности или персистенса

осталось добавить консистентность, и готово дело

выбирай два из трёх. есть три стула...

Хм, а почему нельзя сделать систему, в которой можно было на лету выбирать два из трёх?

и быстро быстро менять

был бы eventually CAP

Хм, а почему нельзя сделать систему, в которой можно было на лету выбирать два из трёх?

можно, кассандра

P фиксировано, между A и C тюнишь

Кстати за последнюю неделю уже третий раз слышу про CAP-теорему. Судя по википедии это какая-то неформализированная гипотеза вообще

не, это доказанная теорема

просто она значит не совсем то, что многим представляется

у клепманна есть хорошие вещи на эту тему, типа https://martin.kleppmann.com/2015/05/11/please-stop-calling-databases-cp-or-ap.html

не, это доказанная теорема

Чо-т не могу найти доказательство

http://www.glassbeam.com/sites/all/themes/glassbeam/images/blog/10.1.1.67.6951.pdf

я так понимаю что начинать отсюда

но возможно там есть уточнения-улучшения, я не вдавался

Вообще я верю в unbounded indeterminacy, поэтому эта теорема мне кажется немного странной

Ребята, вы можете что-нибудь посоветовать целеустремленному провинциальному студенту?

Кроме книжек Таненбаума

пойти на PhD/PostDoc в Chalmers

участвовать в Google summer of code

пойти на internship в MS Research

или Summer school там же

веселиться и радоваться

ходить в походы, или ездить по заграницам

В 2k17, ну-ну

Сразу видно кто вырос в нулевые :)

@elemir90 ?

@w_rex, хуярить побольше швободных проектов. Чем больше кода напишешь, тем больше вероятность, что ты не будешь умирать с голоду через три-четыре года

Если умираешь с голоду сейчас — идти работать за еду

есть ли смысл вообще писать на хаскеле?

писать - что?

и с какой целью

Нет, это блажь зажравшейся мелкой буржуазии

настоящие пролетарии умственного труда хреначат на си

Настоящие пролетарии хреначат на php, на си пишут инженеры

я в библиотеке своей шараги взял седжвика

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

@vlastachu не значит что нужно ходить - где живешь

@elemir90 282 по отношению к социальной группе пролетарии

вообще непонятно очем совет был

я назвал несколько вещей которые можно сделать пока студент

потом часть из этих возможностей пропадет

или будет экономически невыгодна

Блин, загран-паспорт стоит 4 стипендии. Какие поездки за границу?

Ну прям, ты еще скажи, что люди на стипендию живут )

Я блин практически сотню получаю, а выбраться дальше сочи не могу

Я бы посоветовал замутить бизнес.

Раньше сядешь - раньше выйдешь.

Неважно какой.

Можно вступить в РРП

Веселухи в любом случае будет вагон.

Майнить эфир! ))

а сколько сейчас стипендии?

я помню у нас было ~300р

можно было купить проездной в метро и ещё на булочку оставалось

от 2500 до 4000

но я в оренбурге

некоторые получают социалку 30к

во всяком случае если загранка есть можно попытаться на интерншипы

а заработать на этом на GSoC/HSoC

и summer school-ы

я даже немного жалею. что не пытался

не надо студентам бизнес. ну т.е тем, кому надо не нужны такие советы. бизнес - удел старпёров, которым уже всё надоело

весело тут у вас)

ну про haskell никто не пишет

и summer school-ы

Эх, скоро OPLSS

я тут регрессию ищу, точнее только что нашёл и теперь чинить

что значит провозиться пол-недели в своей ветке, блин

я вот форкнул на гитхабе репощиторий minux, летом буду изучать исходники

minix

Эх, скоро OPLSS

В спонсорах которой JetBrains, прикольно

https://github.com/seL4/seL4

вот такие веселые ребята есть

даже с on-topic-ом связано

В спонсорах которой JetBrains, прикольно

JB ресерч же пилит крутые вещи вроде

https://github.com/seL4/seL4

А никто не переписал на руст до сих пор l4?

в чате про зависимые типы очень прошаренный человек выступает из JB

JB ресерч же пилит крутые вещи вроде

Ну одно делать самим ресерч и спонсорить школу где-то там

не переписали, но микроядры делали

статья же была

ага, согласен ) ну школа известная, не грех и поспонсорить

ага, согласен ) ну школа известная, не грех и поспонсорить

Просто в прошлые годы не было, вот и удивился

Растут

вот смотрю вы тут чуваки шарящие

что вв скажете про rust?

помесь плюсов и окамла

ну, возможн не так плохо, но что-то я пока про него читать не начал, был лучшего мнения о нём

Там ни от плюсов, ни от окамла ничего нету. Это скорее си с типами

си он и так с типами

Угу

я бы сказал, есть немножко от плюсов

от плюсов там вся эта канитель со смартпойнтерами разных видов, встроенная в язык.