А, вот домашка для моих, э, студентов

1. (5 points) Using the definitions of logical constants and connectives in lambda, define implication in lambda.

2. (5 points) Using this definition, show that false → x can be reduced to just x.

3. (5 points) Reduce 1*3 and express it in BNF (beta-normal form)

------------------

Extra tasks recommended for the case your quiz score was not good; otherwise you don't have to do it. Each is 0 points.

4. Reduce (2↑1)(λx x x)(λx z x)

5. Which of these expressions are valid:

  a) (λx y y)
  b) (λa a ((λb) y))
  c) p λq r
  d) p (λq z z z p)

6. Reduce using α, β, η:

  a) (λz z z z) (λx x) (λx x x)
  b) (λx y x) (λz z z z) (λx x) y

  c) (λx y x) y (λz z z z) (λx x) 

Jenna Abrams and the 1st

I hear strange (to me) talks about Trumpists constraining the 1st by fighting fake Russian-made accounts on Twitter and Facebook (livejournal is doomed anyway).

See why I find it strange.

1st is about, in particular, freedom of speech. This right, as well as other rights, is (arguably) appicable only to humans. Not bots. Not corporations.

I know, there are some ideas about corporations' rights of speech. I don't share them. Corporations are not humans, they are closer to robotic creatures.

There are also rights of animals, but I don't think the right of a crow to scream or the right of a dog to bark was ever protected by any law; on the contrary. The rights of airplanes to make a lot of noise also does not exist. Kind of.

Arguably, we can see a suit by a Mexican-American community to defend their right to sing a song at midnight. Literally, the 1st seems to protect it.

But not the rights of non-existent entities.

E.g. Allah has no protected right to tell us how to behave. Neither has Jesus, or Lord Krishna.

Same thing about Jenna Abrams and all those fake creatures from St.Petersburg.

Of course there is a problem with anonymous bloggers from countries with dictatorships. I don't think 1st meant giving these people unconditional protection. But I'm not a lawyer.

дыбр

(дебильный дв стер мой контент, пишу снова).

Погода была пасмурная, но пошли на Калеро на хайк; но почему-то решили не на 10 миль, а типа на семь.

Нашли таки череп.


Ну и так гуляли себе; я еще поставил турик, но что-то его на фотке плохо видать.



Вскоре началась морось, потом накрапывать, а когда мы прибежали к машине, то уже полило что надо.

Вот мы тут в машине.



Поехали обедать в Ариаке. Там все уже сменились, кроме одного хиспаника шефа, который единственный нас помнит. Нет, так-то там вкусно все равно. (На наш вкус). Взяли бутылочку горячего саке, типа отогреться после дождя.

Домой приехали, завернулись в халаты на диване перед камином, как приличные. Ну типа... я таки, наверно, заснул.

Потом проснулся, стал себе делать картинку 3d для слайдов. И понял, что я таки не художник. В голове картинка стоит, а надергать этот тор аккуратно в бабочку - не. Данунах. Стал искать, нет ли, чтобы по формуле. Нашел https://www.desmos.com - афигенная вещь.

Главное, она двумерная. Но там же формулы. Когда разобрался - милейшее дело! Я свои кривые еще не дорисовал, но принцип понятен, все просто роскошно делается, 3d в том числе. Да и 4d тоже; можно тессеракт фигачить, на самом деле. Но это потом, тессеракт. Сейчас надо бабочку для алгоритма Самона. Слайды доделать надо, всего-то там три слайда добавить, да перетасовать колоду.

И вот так вот... потом подруга испекла печенек, потом сделала фаршированные перцы, с индюшатинкой.

На улице сыровато, дома камин... лепота!

Чуть не забыл итальянский сделать, уже в 10 сел.

По ящику показывают протесты в Сан Франциско. Одни протестуют против фашизма в Америке. Долой фашистов. А чо только фашистов-то? А с Наполеоном кто будет бороться? А Гасдрубала осуждать? А с неандертальцами солидаризироваться? Неандертальцев же белые люди убили, нет? Нет, на самом деле. Черные. Белые потом уже появились. Небось, от неандертальцев. Ну вы поняли намек мой расистский.

Другой протест против налога на бензин. Тоже, наверно, Трамп виноват, что в Калифорнии повысили налог на бензин, "чтобы было, на что дороги ремонтировать". Тут возникает вопрос, а все предыдущие налоги куда просрали? На пенсии бюрократам? А... бесполезно.