Category: дети

Category was added automatically. Read all entries about "дети".

Book

Угадайте, как у нас называется кабель micro USB 3?

Правильно, "кабель к зарядке Samsung S5" :)

У меня 4 внешних USB3 винта (карл):
- два с usb3 micro
- два с usb3 A

Ну и внезапно один из кабелей usb3 micro оказался с деформированным разъемом (дети грызли? хез как можно его деформировать). Попытки его погрызть и привести в нормальную форму провалились, и на сегодняшнее утро было 2 варианта:

- отправить мне запасной (мой же) кабель из соседнего города
- как-то найти на развалах несчастный micro

Усугублялось тем, что утром мне надо было вырезать кожную кисту. Но операция оказалась пустяком, и я, взяв деформированный кабель, отправился на поиски.

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

Затем набрёл на компьютерный магазин, и там мне сказали искать в сотовых магазинах и не говорить умных слов, а говорить что "нужен кабель к зарядке Samsung S5".

Примерно в 5-м сотовом магазине таки нашёл нонейм-кабель к самсунгу s5. И винт даже заработал.
Book

Новости минимальных ОС

RancherOS - Fast, ultra-lightweight container OS

Грузится 40 секунд @ Требует 1.2 гб озу только под себя

Зато да, 56 метров бут-исо. Кстати это не первый такой случай. Ну и это детские болезни, у кореос требования к раме в процессе развития непрерывно снижались
Book

Забыл как программировать

Есть набор интервалов (Ord a, Eq a) => [(a, a)] в котором никакие два интервала не пересекаются.

Как из двух наборов слепить один?

Интуитивно, надо сконкатенировать, отсортировать по возрастанию начала, смерджить пересекающиеся. У меня что-то какой-то взрыв частных случаев образуется на последнем этапе.

Upd: Cпасибо Антиламеру за наше счастливое детство: http://lpaste.net/110843
Book

(no subject)

Cпасибо товарищу _windwalker_ за наше счастливое детство!

<div style="max-width: 700px; overflow-x: scroll">
<a data-expand="true" href="https://gist.github.com/nponeccop/6322227.js"></a></div>

Атрибутом data-expand=true/false можно регулировать, вставляется гист раскрытым или свёрнутым.

Осталось только понять, можно ли избавиться от захардкоженной максимальной ширины, после которой возникает скроллбар. Моего CSS-fu не хватает.
Book

Любовь. Жена. Дети.

Его спросили: "как тебе жилось?"
" Очень хорошо", ответил он, "я много работал".
"У тебя, конечно, были друзья?"
"Да, и это помогло мне много работать".
"И враги?"
"Да, но это не помешало мне много работать"
"А любовь? Жена? Дети?"
Book

Зависимые типы для дошкольников

Мне вчера показалось, что я наконец понял зависимые типы. Как следствие, я придумал объяснение понятия зависимых типов для мальчиков-дебилов.

Допустим, у нас есть реализация абстрактного типа данных массива, и функция append, соединяющая два маленьких массива в большой. Для проверки того, что всё у нас работает правильно, мы пишем юнит-тест:
a = [1, 2]
b = [3, 4, 5]
c = append(a, b)
assert (length (append [1, 2] [3, 4, 5])) == 5)
Есть системы, позволяющие генерировать серию тестов (насколько я понимаю, Haskell QuickCheck делает именно это):
setrandomseed 90484
a = makerandomarray
b = makerandomarray
c = append a b
assert (length(c) == length(a) + length(b))
Исполнение такого теста 10 000 раз даст немного больше уверенности, чем один-единственный тест, но во-первых, надо писать makerandomarray, во-вторых, частные случаи все равно скорее всего будут пропущены.

Идеальный юнит-тест выглядел бы так:

Дано:
a - произвольный массив
b - произвольный массив
c = append a b
Доказать:
length(c) == length(a) + length(b)
Существуют верификаторы программ, способные автоматически выполнять подобные доказательства, проверяя все частные случаи. Collapse )
Book

К теме социализации с маргиналами

Нищее детство - причина жизненных неудач?:
Интересно, что другое исследование показывает то, что даже короткий период бедности может негативно отразиться на когнитивном развитии ребенка. Младшие дети в семье страдают больше, и это наводит на мысль, что бедность действительно оказывает влияние на раннее умственное развитие. Позже все прочие проблемы, связанные с неимущей жизнью - недостаток железа, плохое питание, действие свинца (в шелушащейся краске), употребление наркотиков, курение или запои матерей во время беременности - снижают школьные успехи детей, точно так же, как отсутствие игрушек и книг. В категориях курильщиков, болеющих раком, или поедателей гамбургеров, страдающих ожирением, непропорционально представлены бедняки. Это подтверждает мысль о том, что бедная атмосфера притупляет ум. В целом бедняки принимают "худшие" решения, чем богатые люди.

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

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

Inopressa.ru
Book

(no subject)

Моя матушка обижена на весь свет. На себя, на мужа, на детей, на ближних и дальних родственников. И все время всем высказывает претензии. "Если б не вы... Если б не они... Вы плохие... Они плохие" Интересно, у моей матушки паранойя или это как-то по-другому называется? Похоже на игры имени товарища Эрика Берна.

Иногда (в последнее время иногда, раньше не было) ее претензии по-другому проявляются... Например, "Ты у меня самый умный и красивый на свете, только надо живот подкачать"... Короче, все время слышишь претензии, даже если она маскируется. 98% словесного поноса исходящего из ее рта можно классифицировать как претензии. Великое это слово - "Претензии", однако!