чо, гитхаб опять сдох?

Эх...

ну чо там у ростелекомов

2014. "Ростелеком решил создать аналог Skype"

Today's 10 things to be miserable about

Github;
The first year of medical school;
Nostalgia for summer vacation;
Getting the giggles at a funeral;
Broken dams;
Multitasking;
Yeomen;
Middle school girls who stuff their bras;
Using reality TV shows to cast the leasts on Broadway musicals;
Useful fictions.

о, офигеть теперь

Пошел на scottrade купить кое-что, а он зависает, пытается добраться до maxymiser.net, а там та же фигня, что с твиттером и гитхабом - Путин глушит интернеты.

want a quiz?

My students, well, kind of half-failed, unfortunately.

1. What is the domain of the function ln(x)?


2.Give answers to the following questions (yes/no) with short explanations
- Is the set {(0,0)} a binary relation on ℕ?
- Define an operation on sets like this: A Op B = {{A}, {B}}. Do we have a commutative monoid?
- Take the set {1,2,7} and define an operation like this: x Op y = x. Is it a monoid?


3. Is implication operation, P→Q, associative? Commutative? Does it have a neutral element?


4. Simplify the following WFF: C ∨ (A→B) ∨ (B→A) ∨ C


5. Convert the following WFF to DNF: (A∨B)∧(C∨¬B)∧(¬A∨C)

Теория Категорий в Отделе Продаж...

неприменима, как тут нам сообщают.

А теория чисел применима? Или там и арифметика другая, более практичная, наверно. Математики же жизни-то не знают. Они даже на ноль делить не умеют.

cяу

Что у хаскельщиков есть пять функций Bool×X → Maybe X.

http://nponeccop.livejournal.com/514644.html

Ау, бесплатные теоремы!