← All posts tagged матан

LazyMiha
бред матан Если каждый из населения нашей рашки считает что остальные 95% — тупое быдло, то можно предположить что 5% — не пренадлежит к этой категории. Значит население нашей рашки состоит из 20 групп каждый член которых считает другие группы — тупым быдлом. %)
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
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
прекрасное вещества матан Теорема Тарского о невыразимости истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике. Теорема гласит, что понятие арифметической истины не может быть выражено средствами арифметики. Теорема Тарского применима к любой достаточно сильной формальной системе.

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

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

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

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой теории.
LazyMiha
вещества матан например По мотивам #1028698
"Компьютер Бесконечности – изобретение известного учёного Я.Д. Сергеева, профессора Нижегородского государственного университета им. Н.И. Лобачевского, занимающего также должность выдающегося профессора (professore ordinario di chiara fama) Калабрийского университета, приглашённого на эту престижную работу правительством Италии, открывает новую увлекательную страницу в истории вычислений. Новый подход к проблеме бесконечности комплексно (с математической, компьютерной, физической и философской точек зрения) решает серию ключевых проблем, связанных с бесконечностью. Профессор предлагает принцип счёта "часть всегда меньше целого", используемый при работе с конечными числами и наблюдаемый в окружающем нас мире, распространить как на бесконечно большие, так и на бесконечно малые величины, что приводит, в частности, к результатам вида ∞+1 > ∞. При этом проблема бесконечности рассматривается с позиций, отличающихся от известных традиционных подходов Кантора, Робинсона и Конвея. "
Мне одному кажется что это сцукан просто стырил идею у Чака Норриса?
LazyMiha
рабочее стартап вечернее матан xx: Мне вот чисто теоритически интересно
xx: Если составить 3-месячную выборку по тому как одеваются девушки
xx: можно ли выяснить не только период, но и фазу цилка?
yy: жениться вам надо, барин )
xx: Ненене
xx: Это чисто теоретическое исследование
yy: ага, знаем :)
xx: Чего тут знать? Мне интересна корреляционная модель
xx: Я тут про авторегрессионые фильты прочитал...
yy: чоэто?
xx: Это один из методов анализа и предсказания значений сигналов
yy: гыы реализуй модель на хаскеле, хуле
xx: Можно даже психовизуальную модель сделать и исследовать ее при помощи Марковских цепей =)
xx: Нуачо, не в падлу, ща во френдленту вброс сделаю, через пару месяцев точно будет веб-стартап.
xx: :D
LazyMiha
баш вещества матан тестеры xxx: Американское федеральное агентство по защите окружающей среды (EPA) наложило запрет на сковороды с тефлоновым покрытием. В ходе лабораторных экспериментов с животными, которым вводились большие дозы одного из компонентов покрытия, выяснилось, что эти вещества способствовали возникновению рака печени, низкому весу новорожденных, вызывали проблемы с иммунной системой и процессом развития.
xxx: ...
xxx: Они кормили животных СКОВОРОДКОЙ, судя по всему — ВНУТРИВЕННО, и еще чему-то удивляются...
LazyMiha
мысли вещества матан По поводу: #881688 . Как бы былот кайфово если бы люди стали тотально асексуальными, и размножались бы только при суровой необходимости продолжить род, не получая при этом никакого удовольствия. Если бы не существовало влюбленности, и исключительно понимание необходимости выживания как вида соеденяло пары. Представляете, насколько меньше стало бы всяких упырей, недоразвитых долбоебов, дегенератов и всякой гомосятины?
LazyMiha
бор прекрасное матан Gvozdi: «Вероятность ядерной войны – меньше 0,01%» Как меня это утешает! В линейке с такой вероятностью вещи выбивают.

Алсо, я знаю что вероятность события надо помножать на количество экспериментов, но все равно, прекрасно же %)