you know why people don't run tests?

They are just afraid that a test fails suddenly.

things that should not be in the code

of course if you are using a relatively decent language.

- null (that's the most obvious)
- ""
- .length
- 0 (except as a neutral element for addition, in fold)
- 1 (except as a neutral element for multiplication, in fold)
- empty list (except as a neutral element for multiplication, in fold)
- if
- == (especially in Java, where typeless equality kills more kittens than regexes parsing XML)
- goto - I do not know where can one be found though
- arithmetic for loop (for (int i = 0; i < n; i++)...)


Feel free to suggest more

и пять раз упал на собственный нож

"Согласно показаниям пенсионеров, Литасов ворвался в их дом с криком «Смерть!», а затем попытался зарубить их топором, однако запутался в паласе и упал. Следователи полагают, что после этого он случайно нанес себе несколько смертельных ударов топором.

Родственники и защита Литасова настаивают на другой версии: тело мужчины якобы привезли в дом пенсионеров уже когда он был мертв. По их словам, Литасов работал водителем у одного из приятелей сына пенсионеров. Работодатель задолжал ему часть зарплаты, которую мужчина пошел забирать за несколько часов до своей гибели. Накануне этого дня полицейский отмечал свой день рождения. Семья погибшего полагает, что между ними произошел конфликт, в ходе которого инспектор применил травматический пистолет.

В пользу версии о конфликте с полицейским говорят черные округлые раны, обнаруженные родителями на теле погибшего, однако судмедэксперт, обнаружив их, сказал, что они могут быть следами от комариных укусов. Для того, чтобы провести областную судмедэкспертизу, близким погибшего пришлось охранять его труп в течение нескольких дней. После того, как экспертиза в Краснодаре наконец была проведена, выяснилось, что в ходе нее была отсечена голова трупа.

Дело по факту убийства Литасова возбуждалось семь раз, однако каждый раз закрывалось — в настоящий момент оно прекращено. Дело же в отношении самого Литасова о покушении на убийство пенсионеров было возбуждено спустя два с половиной года после этих событий."

I planned to start posting...

"daily ten things to be miserable about".

Too early to start joking again, it turned out.

домашка (не ахти, для разогрева)

1. Which of these expressions are valid lambda expressions?

a) λ λ x

b) λ x x

c) a λ(x y) a

d) a (b (c (d λ e f)) g

e) a λ x y a

f) λ a λ a λ a a a a

2. Using alpha equivalence, check if the following pairs are equivalent:

a) λ x λ x x x x and λ y λ z z y x

b) a λ a λ b a b c and b λ b λ a b a c

3. Using alpha equivalence and beta conversion, check if the following pairs are equivalent:

a) (λ x x) x and λx (x x)

b) (λ x λ y y x) (λ z z z) and (λx λ y x x) x