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
"From the other side, there's already two projects underway; 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
Reply by @jtootf:
@jtootf Ну с этим я понял. Говоря про технаря я...@Elemir а, это может быть. высшее образование нужно для того, чтобы понимать больше шуток
#1127319/117
Практически любая новость может быть оценена в этих критериях. Можно ввести фильтрацию сообщений из сети, набравших больше 5-10 голосов со статистической значимостью.
Соотвествено подписываться например на все сообщения достоверность которых больше 0 и интересность больше 0.5. Вместо одного топа будут три топа и три антитопа, плюс максимум по сумме баллов. Помоему это более информативно.
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.
отец," — возразил сын. — "Бедная девочка еще не привыкла. У нее быстро устают ручки".
ru.wikipedia.org
И особенно — Троичная цифровая техника. Ретроспектива и современность ( 314159.ru )
Троичная система счисления : И особенно — Троичная цифровая техника. Ретроспектива и современность ( 314159.ru )
Доказательство теоремы Тарского опирается на гёделевскую нумерацию.
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой теории.
live.mephist.ru , полностью live.mephist.ru
Математическое порно:
#1028698
"Компьютер Бесконечности – изобретение известного учёного Я.Д. Сергеева, профессора Нижегородского государственного университета им. Н.И. Лобачевского, занимающего также должность выдающегося профессора (professore ordinario di chiara fama) Калабрийского университета, приглашённого на эту престижную работу правительством Италии, открывает новую увлекательную страницу в истории вычислений. Новый подход к проблеме бесконечности комплексно (с математической, компьютерной, физической и философской точек зрения) решает серию ключевых проблем, связанных с бесконечностью. Профессор предлагает принцип счёта "часть всегда меньше целого", используемый при работе с конечными числами и наблюдаемый в окружающем нас мире, распространить как на бесконечно большие, так и на бесконечно малые величины, что приводит, в частности, к результатам вида ∞+1 > ∞. При этом проблема бесконечности рассматривается с позиций, отличающихся от известных традиционных подходов Кантора, Робинсона и Конвея. "
Мне одному кажется что это сцукан просто стырил идею у Чака Норриса?
По мотивам "Компьютер Бесконечности – изобретение известного учёного Я.Д. Сергеева, профессора Нижегородского государственного университета им. Н.И. Лобачевского, занимающего также должность выдающегося профессора (professore ordinario di chiara fama) Калабрийского университета, приглашённого на эту престижную работу правительством Италии, открывает новую увлекательную страницу в истории вычислений. Новый подход к проблеме бесконечности комплексно (с математической, компьютерной, физической и философской точек зрения) решает серию ключевых проблем, связанных с бесконечностью. Профессор предлагает принцип счёта "часть всегда меньше целого", используемый при работе с конечными числами и наблюдаемый в окружающем нас мире, распространить как на бесконечно большие, так и на бесконечно малые величины, что приводит, в частности, к результатам вида ∞+1 > ∞. При этом проблема бесконечности рассматривается с позиций, отличающихся от известных традиционных подходов Кантора, Робинсона и Конвея. "
Мне одному кажется что это сцукан просто стырил идею у Чака Норриса?
xx: Если составить 3-месячную выборку по тому как одеваются девушки
xx: можно ли выяснить не только период, но и фазу цилка?
yy: жениться вам надо, барин )
xx: Ненене
xx: Это чисто теоретическое исследование
yy: ага, знаем :)
xx: Чего тут знать? Мне интересна корреляционная модель
xx: Я тут про авторегрессионые фильты прочитал...
yy: чоэто?
xx: Это один из методов анализа и предсказания значений сигналов
yy: гыы реализуй модель на хаскеле, хуле
xx: Можно даже психовизуальную модель сделать и исследовать ее при помощи Марковских цепей =)
xx: Нуачо, не в падлу, ща во френдленту вброс сделаю, через пару месяцев точно будет веб-стартап.
xx: :D
xxx: ...
xxx: Они кормили животных СКОВОРОДКОЙ, судя по всему — ВНУТРИВЕННО, и еще чему-то удивляются...
#881688 . Как бы былот кайфово если бы люди стали тотально асексуальными, и размножались бы только при суровой необходимости продолжить род, не получая при этом никакого удовольствия. Если бы не существовало влюбленности, и исключительно понимание необходимости выживания как вида соеденяло пары. Представляете, насколько меньше стало бы всяких упырей, недоразвитых долбоебов, дегенератов и всякой гомосятины?
По поводу: <@Дурвас> Импотент-асексуал.
<@Дурвас> А с какой конкретно целью .
<@Дурвас> Он и сам не понимал.
Алсо, я знаю что вероятность события надо помножать на количество экспериментов, но все равно, прекрасно же %)