← All posts tagged вещества

LazyMiha
вечернее Не так страшен c++ как шаблоны завернутые в дефайны сгенерированные внешней тулзой на перле...

Тридцать три монады, тридцать три монады, и колл-стек большого (&(&ца....

Хаскель вещества монады упороться метапрограммирование вывод типов скачать бесплатно....
LazyMiha
вещества матан коллаэдр "From the other side, there's already two projects underway; Liskell is a competing compiler to GHC that has a prefix notation and outputs the same machine code, and Lisk is a pre-processor for GHC that takes specific prefix notation forms and converts them programatically back to the Haskell source code before invoking the compiler. Lisk's creator talked briefly about macros, but the project is early enough along that nothing much more specific is out there right now (I'm watching his github repo with interest though).

I haven't a clue how to place my own bet. I tried starting this paragraph both with "My bet's on Lisp..." and "My bet's on Haskell...", but each beginning got to a logical dead end within two sentences. It doesn't seem like one can completely absorb the other. But, if Haskell + Lisp makes Omega, we'll see what it looks like shortly (by which I mean ~10 years) because cross-pollination is already happening, and it's not a far jump from there to full-on unification. Or maybe things get bloodier as the preview to Barski's Land of Lisp implies, who knows."

langnostic.blogspot.com
LazyMiha
интересное вещества Bug Juice: Hornet May Turn Sunlight Into Electricity

You may start to feel sloth-like when the sun slips away during the winter months, but this little hornet actually derives energy (not just motivation) from sunlight, using its exoskeleton’s nanostructures and pigments.

Researchers first noticed something odd about the Oriental hornet in the early 1990s: Instead of being lazy-bums during the bright midday hours like other wasps, the Oriental hornet was extremely active.
> goo.gl
LazyMiha
Рашка хуйтеч sarcasm Господа, все кто считает что Петрик — мракобес, и его "нано" — это полный бред, прошу ознакомиться с #1127984 , теорией суперструн. У меня создается впечатление, что вещества выдают им специально. Они себя представляют колбасящимеся струнами и выдают это за сверх-современное течение в физике.
Есть подозрение что коллайдер нужен для синтеза других веществ, от которых теоретиков вштырит еще больше, и они наконец-то постигнут дао.
LazyMiha
вещества вчеренее "Существует пять различных вариантов теории суперструн: теория типа I, типа IIA, типа IIB, а также теории гетеротических струн на основе групп SO(32) (O-гетеротические струны) и E8×E8 (E-гетеротические струны). Многие основные свойства этих теорий совпадают: колебательные моды определяют массы и заряды, общее число пространственных измерений равно 10, их свёрнутые измерения должны быть многообразиями Калаби — Яу и т. д. Различия между ними заключаются в том, что в них по-разному реализована суперсимметрия и есть существенные различия между допустимыми колебательными модами.
Колебательные возбуждения вдоль струнной петли могут распространяться по часовой стрелке и против неё. Теории струн типов IIA и IIB отличаются тем, что в теории IIB колебания в обоих направлениях идентичны, а в IIA — противоположны по форме. Кроме того, в теории IIB оказывается, что все частицы вращаются в одном направлении (у них одна и та же хиральность), а в теории IIA — в разных направлениях (у них разная хиральность)."
LazyMiha
копипаста вещества Ложка напомнило Миллиарды жизней приходят и уходят, а пустоте нет до этого никакого дела.

Философия должна быть неудобной. «Что нам толку от человека, который, уже давно занимаясь философией, никому не доставил беспокойства?» – говорил Диоген о Платоне. Философия начинается в пустоте: наполненность и избыточность не нуждаются в философии.

«Даже обычные существа, услышав о пустоте, могут вновь и вновь чувствовать необычайный прилив радости, на глазах у них выступают слёзы восторга и поднимаются волоски на теле», – писал индийский мыслитель Чандракирти. Абсолютную пустоту невозможно описать в терминах, в которых излагается теизм, оправдывающий видимость бытия. Его невозможно описать и на языке мистики. Несуществование трансцендирует мистицизм в сферу запредельного общения с воинами пустоты.

Когда я говорю, через меня говорит пустота, которая пуста от самой себя. Человек осуществляется, разговаривая и исчезая. Пора дать слово тому, что существует, не существуя.
«Где умирает надежда, там возникает пустота», – говорил Леонардо да Винчи. Надежда умирает первой. Однако многие не спешат избавиться от надежды, поскольку состоявшаяся безнадёжность лишает удовольствия расправиться с надеждой снова и снова.

Возможно, экзистенциалисты правы – человек познаёт истину и достигает освобождения в пограничной ситуации, через шок. Да и то не сразу и не каждый. Абсолютная истина – это, как учит буддийская Мадхьямика, абсолютное отсутствие, пустота.

«То, что возникает, поскольку находится в процессе становления – не существует. То, что прекращается, поскольку находится в процессе разрушения – всё-таки существует», – утверждал Чандракирти. Если «существование» есть, оно подобно мгновенной вспышке гаснущего угля. Необходимо очистить сознание от любых измышлений, цепляющихся за самосущее. Многие утра­тившие зрение, например Борхес, намного ближе абсолютной истине пустоты, в которой нет ни пути, ни освобождения, ни страдания, по сравнению со зрячими. Прошедший через опыт (само)разрушения способен делать из ничего – всё, придавая при этом смысл бессмысленному.

Сегодня понятие веры утратило своё изначальное значение и понимается как вера в невероятное. Наиболее невероятным из всего невероятного предстаёт «существование» мира. Воины пустоты возвращают понятию веры его исходное содержание. Рассказывая свои сновидениях, они излагают основания убеждённости в самоочевидном. Их вера утверждает несуществование вопреки иллюзии «существования». Это вера в то, что ничего нет.
LazyMiha
рабочее боян LOR прекрасное вещества Re: [нытик-тред] быдло под окном

Под окном уселось быдло,
Рожи — мерзкие, как флюс.
Пьют какое-то повидло,
Обсуждают Си++.
Выйду я с бейсбольной битой,
Снизойду к ним сверху вниз.
Старым методом, избитым
Объясню, что лучше — Лисп.
...
Я лежу теперь с фингалом,
Думая, в чём был подвох.
Почему у тех нахалов
Си++ был так неплох.

Byron (*)
LazyMiha
вещества true False vacuum

"The possibility that we are living in a false vacuum has never been a cheering one to contemplate. Vacuum decay is the ultimate ecological catastrophe; in the new vacuum there are new constants of nature; after vacuum decay, not only is life as we know it impossible, so is chemistry as we know it. However, one could always draw stoic comfort from the possibility that perhaps in the course of time the new vacuum would sustain, if not life as we know it, at least some structures capable of knowing joy. This possibility has now been eliminated.

Sidney Coleman & F. de Luccia"
LazyMiha
Juick вещества матан Проанализовал основные критерии оценки сообщений. Ввёл для себя три размерности: достоверно-нейтрально-недостоверно, интересно-нормально-мусор, весело-нормально-грусно. Для более объективной оценки нормализовать по этим размерностям. Соотвественно важная-интересная-веселая новость будет по измерениям будет равна корню из трех деленному на три.
Практически любая новость может быть оценена в этих критериях. Можно ввести фильтрацию сообщений из сети, набравших больше 5-10 голосов со статистической значимостью.
Соотвествено подписываться например на все сообщения достоверность которых больше 0 и интересность больше 0.5. Вместо одного топа будут три топа и три антитопа, плюс максимум по сумме баллов. Помоему это более информативно.
LazyMiha
прекрасное вещества матан parser Yacc is dead
Matthew Might, David Darais
(Submitted on 24 Oct 2010)
We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski's derivative from regular expressions to context-free grammars. The second approach is based on a generalization of the derivative to parser combinators. The payoff of these techniques is a small (less than 250 lines of code), easy-to-implement parsing library capable of parsing arbitrary context-free grammars into lazy parse forests. Implementations for both Scala and Haskell are provided. Preliminary experiments with S-Expressions parsed millions of tokens per second, which suggests this technique is efficient enough for use in practice.
LazyMiha
бред вещества juick_ppl матан Мужчине исполнилось тридцать лет, а он все еще не был женат. Отец нашел ему приличную девушку и заставил жениться. Не прошло и месяца, как он застал мастурбирующего сына в амбаре. "Что такое?" — спросил он. — "Мне казалось, что ты перестанешь заниматься этим после женитьбы". "Но,
отец," — возразил сын. — "Бедная девочка еще не привыкла. У нее быстро устают ручки".
LazyMiha
прекрасное вещества вечернее meditation int p,k,l,i,j,d,q,R,t,r;
S1: s=0; p=1;
S2: if (s==0) { i=1; j=n; k=n; l=2*n+1; }
if (s==1) { i=n+1; j=2*n; k=0; l=n+1; }
d=1; q=p; r=p;
S3: if (x[i]>K>x[j]->K) goto S8;
S4: k=k+d; x[k]=x[i]; c[k]=c[i];
S5: i+=1; q-=1; if (q>0) goto S3;
S6: k+=d; if (k==l) goto S13; else x[k]=x[j];c[k]=c[j];
S7: j-=1; r-=1; if (r>0) goto S6; else goto S12;
S8: k+=d; x[k]=x[j]; c[k]=c[j];
S9: j-=1; r-=1; if (r>0) goto S3;
S10: k+=d; if (k==l) goto S13; else x[k]=x[i];c[k]=c[i];
S11: i+=1; q-=1; if (q>0) goto S10;
S12: q=p; r=p; d=-d; t=k; k=l; l=t; if (j-i<p) goto S10; else goto S3;
S13: p+=p; if (p<n) { s=1-s; goto S2; }
if (s==0) for (t=1; t<=n; t+=1) { x[t]=x[t+n];c[t]=c[t+n] }

via govnokod.ru
LazyMiha
прекрасное вещества матан Теорема Тарского о невыразимости истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике. Теорема гласит, что понятие арифметической истины не может быть выражено средствами арифметики. Теорема Тарского применима к любой достаточно сильной формальной системе.

Доказательство теоремы Тарского опирается на гёделевскую нумерацию.

Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.

Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой теории.
LazyMiha
вещества матан например По мотивам #1028698
"Компьютер Бесконечности – изобретение известного учёного Я.Д. Сергеева, профессора Нижегородского государственного университета им. Н.И. Лобачевского, занимающего также должность выдающегося профессора (professore ordinario di chiara fama) Калабрийского университета, приглашённого на эту престижную работу правительством Италии, открывает новую увлекательную страницу в истории вычислений. Новый подход к проблеме бесконечности комплексно (с математической, компьютерной, физической и философской точек зрения) решает серию ключевых проблем, связанных с бесконечностью. Профессор предлагает принцип счёта "часть всегда меньше целого", используемый при работе с конечными числами и наблюдаемый в окружающем нас мире, распространить как на бесконечно большие, так и на бесконечно малые величины, что приводит, в частности, к результатам вида ∞+1 > ∞. При этом проблема бесконечности рассматривается с позиций, отличающихся от известных традиционных подходов Кантора, Робинсона и Конвея. "
Мне одному кажется что это сцукан просто стырил идею у Чака Норриса?