egplife
egplife
logic fp philosophy oop CS В сумме: Моя модель программиской гетеросмешаннойиерархии: ULTIMATESUPRAATMABRAHMAN->SOPHISMS->PLATON->MATH->COMPLEXITYLEVELS->ГЕТЕРОГЕНКА->GODLYFIRES->METAPHYSICALQUALITY->PHILOSOPHY->SCIENCES->PHYSICS->QUANTUMMECHANICS->И ТОЛЬКО ТУТ УЖЕ OBJECT, а Java начинается всего лишь с OBJECT

OBJECT->FUNCTION
OBJECT->PROCESS

#philosophy #oop #fp #logic #cs #programming #science #moq #brahman #parabrahman #supra #ultimate #ultimateartifact #artifact #metaphilosophy #java
syjgin
syjgin
logic C# Кажется, если я спотыкаюсь об отсутствие множественного наследования, значит, задумал сделать что-то концептуально не то
yurlin
yurlin
math HoTT logic lectures Роберт Харпер в CMU проводит семинар по Homotopy Type Theory (HoTT, homotopytypetheory.org ) — cs.cmu.edu [15-819 Advanced Topics in Programming Languages, Fall 2013]

Утверждается, что курс self-contained, в доп.литературу вынесено только "Programming in Martin-Löf's Type Theory" [ cse.chalmers.se ]

Имеются также и видеозаписи с Харпером у доски, но там "Silverlight is required to use the Panopto viewer". Худо-бедно показывает, mp4 ничего не мешает выдернуть со страницы.
4DA
4DA
быдло logic juick_ppl вело маразм Follow-up к
juick.com
и
juick.com

Прекрасный пример пиздеца из juick.com
---------------------------------------------------------------------
A> вел- не транспорт, а развлечение.
B> я использую велосипед для передвижения на работу каждый день.
A> Если кто-то ест саранчу и утверждает, что это деликатес и мясо, котор гораздо вкуснее , экологичнее и дешевле, чем говядина — это не значит, что все должны жрать кузнецов.
--------------------------------------------------------------------

Если не хватает мозгов для аналогий, то может быть не стоит к ним прибегать?
4DA
4DA
бабы logic shit Еда на псаче:

/Из обсуждения:
Как–то раз я в споре со своей женой обнаружил какую–то откровенную
дурь в ее словах и сказал:
— Но это же не логично!
— Ну и что?
Блядь, НУ И ЧТО? в этот момент у меня вообще весь мир рухнул, и я
понял что для нее вообще нет разницы, логично или нет то, что она
говорит. ВООБЩЕ!

Когда я пересказываю это своим друзьям, все хохочут или улыбаются. А
когда девушкам — они просто ждут, что я дальше скажу, со внимательным
лицом, потому что искренне не замечают проблемы в этой фразе/
DZhon
DZhon
жизнь logic юмор xxx: Купила вчера сапоги на огромной шпильке, теперь не знаю че с ними делать :(
yyy: :-D Галя
yyy: я задам очевидный вопрос, ты же понимаешь)
xxx: Шо
xxx: Задавай
yyy: Зачем тогда покупала ? :-[
xxx: Да ну тебя
xxx: Ничего вы мужчины не понимаете
paulfertser
paulfertser
math logic women Дмитрий БЕКЛЕМИШЕВ, профессор кафедры высшей математики ФизТеха анализирует "женскую логику", очень познавательно и поучительно: photo-element.ru . По-моему, вопрос о том, стоит ли общаться ли с особями, применяющими подобные приемы, имеет очевидный ответ. (за ссылку спасибо Денису Ч)
4DA
4DA
math cathegories logic fp CS *topology

Для любителей Функционального программирования, Теории категорий, Квантовой физики, Топологии и Логики.

Вышел перевод фундаментальной статьи Джона Баеза и Майка Стэя «Физика, топология, логика и теория вычислений: Розеттский камень».

docs.google.com
docs.google.com
HobbitMage
HobbitMage
PC manager logic support Задача:
Я протянула ноги, у меня погас монитор и не включается. Провод шевелила, не помогает.
Дополнительная информация:
Системник стоит под столом прямо напротив менеджера, боком.
Решение:
Включить БП.
kmmbvnr
kmmbvnr
logic Очевидно, что маленький ребенок не сможет понять если объяснять что-то новое через еще неизвестное. А может ли ребенок не способен понять какую-либо логическую цепочку, жизненно необходимую для объяснения какого-либо факта? Если да, то с какого возраста человеку становятся доступным для понимания любой логический вывод?