gadt'ы — только для typed [e]dsl evaluation
dependent types — только для проверки границ массивов
дискасс блеять.
http://cs304914.userapi.com/u142017141/1...
http://cs304914.userapi.com/u142017141/1...
http://cs304914.userapi.com/u142017141/1...
надеюсь, теги правильно поставил.
Писать на С++ безусловно, можно. Но в 2012 году есть лучшие варианты. Вы утверждаете, что писать писать энтерпрайз софт на С++ ничем не хуже, чем писать его на Java? Аргументы?
http://mantonov.blogspot.com/2012/02/blo...
Дориан Грей, по крайней мере в оригинале, на столько глубоко гейская драма, что читая я все время чувствовал на своих губах немытый авторский хуй.
Я бы не стал цитировать отдельные куски зная о содержимом вцелом.
Всю неделю вынашивал концепцию языка, совмещающего статическую и динамическую типизацию. Эксплуатирующего преимущества обоих парадигм, и защищённого от их недостатков.
И вот, сегодня мне рассказали про тип dynamic в C#.
http://msdn.microsoft.com/en-us/library/...
Похоже, пришло время взглянуть на mono ... more →
Сверхновые взрываются не во все стороны, а пополам!
ШОК ШОК
http://www.nasa.gov/multimedia/imagegall...
Параноик-кун, а ты работаешь со стаффом, подпадающим под NDA твоего рабовладельца в публичных местах вроде общественного транспорта?
Привет, пстач. Давайте сделаем тред со всем необходимым для достижения ультимативной эмоциональной сингулярности.
В частности, разыскивается музыка/music video, в которых СТРАДАНИЕ и БОЛЬ. А также НЕНАВИСТЬ, НЕСПРАВЕДЛИВОСТЬ, оголённая БЕЗЫСХОДНОСТЬ и тьма.
Озвучу предостережение: из-за того, что вкусы у всех ... more →
Ураааа, в плюсах появилась недоленивость и тредовые санки! http://slowpoke.jpg.to
http://en.cppreference.com/w/cpp/thread/...
Сейчас я расскажу тебе. В общем, одеваешь одежду. Комбинезон, если есть, либо пижамка. Идешь в ванну. Включаешь теплый душ. Можно горячий. И вертишься под ним в одежде. Потом затыкаешь слив. И ложишься на бок, представляя себя всеми покинутым дредноутом, затопленным в океане. Поняла?
Настолько ли неудобно писать на agda, как говорят?
Поскольку это ЯП (в том числе), для написания каких приложений он хорошо подходит?
Возможно я преувеличиваю, но на мой взгляд Delain это лучшее что случилось после распада Nightwish.
Хочу решать разреженную (sparse) систему линейных уравнений в C++. Причём, желательно, без malloc(sizeof(double)*nnz) и подобного, как предлагают в http://stackoverflow.com/a/1279744/53117...
У кого-нибудь по этому поводу есть для меня хорошие новости? Или мне опять придётся работать ротиком^W руками и педалями?
Велобоги, жду совета.
Собираюсь к лету приобрести велосипед для городских прогулок и езды на работу. Пока я додумался до следующего:
1. Легкая рама — до 15 кг
2. Большие колеса — 28"
3. Несколько скоростей. Полагаю 6-8 вполне хватит, 27 только во вред.
4. Цена порядка 20-30 к деревянных. Считаю, что дешевле ... more →
Посмотрите на эту ценительницу митолла по центру кадра: http://cs304512.vk.com/u11800655/-14/x_e...
:3
- Меня твой прогрессив-рок просто доебал уже, я уже не могу его слушать, блядь. Одна группа охуительней другой, просто. Led Zeppelin, блядь. King Crimson какой-то, Procol Harum. Чё ты несешь-то вообще? Ты можешь заткнуться? Van der Graaf Generator — Camel. Чего, блядь? Про что несешь? Вообще охуеть.
- Ну... Слушай, ... more →
Алсо да. В розысках книга (учебник, сайт, записи лекций etc) с теорией музяки, а также что-нибудь вроде сборника задач для практического самообучения.
Весьма жёсткое условие: чтобы книгу писал человек, знакомый с математикой. А то смотрел я уже парочку высеров^W трудов от творческих личностей™.
by #oisiis/9 &followups
I read (0)
My readers (55)
Mагог Магогович
профессиональный говноед
Проба оперения
Fess
Владимир
Nebeda
Капитан Утковидность
Arch
Evgeny I. E. Omelchenko
4DA
Octocat
Oleg Tsarev
Екатерина
Klayraat
Антон
Michael Pogoda
OpenBSD
Timur