Hawks; theorem provers

[anhinga_anhinga]

A red-tailed hawk attacks a girl at Fenway Park
Photos:
http://www.boston.com/news/local/gallery/040308_hawkattack/
Story:
http://www.boston.com/news/local/breaking_news/2008/04/hawk_nest_remov.html


8th International Workshop On User Interfaces for Theorem Provers
Friday, 22nd August 2008, Montréal, Québec, Canada
Call for papers:
http://www.ags.uni-sb.de/~omega/workshops/UITP08/
The program from UITP 2005:
http://homepages.inf.ed.ac.uk/da/uitp05/

Comments

red-tailed hawk attacks a girl at Fenway Park

[http://users.livejournal.com/_rowan_tree_/]

Переезжай в Чикаго, там в парках мирные попугаи :-)
http://sashura.livejournal.com/184662.html?thread=1319254#t1319254

Re: red-tailed hawk attacks a girl at Fenway Park

[anhinga-anhinga.livejournal.com]

мирный советский попугай, ага :-)

на меня произвело впечатление качество серии фотографий с краснохвостой тварью.. то, что она кого-то поцарапала, это умеренно интересно, но фотоотчёт очень хорош..

Re: red-tailed hawk attacks a girl at Fenway Park

[http://users.livejournal.com/_rowan_tree_/]

то, что она кого-то поцарапала, это умеренно интересно, но фотоотчёт очень хорош - за что я тебя люблю, так это за гуманизм и заботливость.

Re: red-tailed hawk attacks a girl at Fenway Park

[anhinga-anhinga.livejournal.com]

;-) ты имеешь в виду, что я недостаточно сокрушаюсь, что тварюшку выгнали из полюбившегося ей гнезда только за то, что она пыталась выполнить столь необходимую работу про прореживанию рядов бейсбольных болельщиков? ;-)

(в MIT опять что-то строят, одну из последних открытых парковок извели, и какие-то довольно красивые деревья тоже хотят извести, уроды :-( прямо напротив Broad Institute -- интересно, что там будет..)

Re: red-tailed hawk attacks a girl at Fenway Park

[anhinga-anhinga.livejournal.com]

> и какие-то довольно красивые деревья тоже хотят извести, уроды

Ах, вот что это такое:

http://web.mit.edu/facilities/construction/ki/index.html

Koch Institute for Integrative Cancer Research. При этом, на их обманных картинках все деревья целы..

[yan.livejournal.com]

Заразы, разорили гнездо.

[anhinga-anhinga.livejournal.com]

Кто-то разорил, и она стала кидаться на людей из-за этого?

Это может быть ("She laid a brown-speckled egg last week, but it rolled off the nest, wasn’t properly incubated, and was no longer viable" -- кто знает, что там на самом деле случилось)..

[yan.livejournal.com]

Да, в самом деле, я как-то не дочитал.
У моих знакомых за домом стояла старая сосна (long leaf), на которой свили громадное гнездо молодые скопы, да они были неопытные, и у них не получилось: гнездо само собой обрушилось. Они так и летали все лето вокруг, бедняги.

[anhinga-anhinga.livejournal.com]

:-( тут около дома канадские казарки опять на вполне гиблом месте пытаются вывести гусят.. и так каждый год.. шансов у них меньше половины :-(

[ex-ex-alexa.livejournal.com]

в моем дворе в детстве жила ворона, которая безо всякого гнездоразорения нападала на людей, пикируя сверху, и клювом в голову. но ястреб это похлеще..

[anhinga-anhinga.livejournal.com]

они каждый год ёё оттуда выгоняют, а в этом году, похоже, забыли вовремя это сделать: "The 3 1/2-pound hawk has been building nests at Fenway since 2002, but has always been chased out before opening day so she and her mate could find a new home".

они довольно большие бывают, их тут много.. по-русски это создание называется "сарыч ямайский" или "канюк ямайский", но "краснохвостый ястреб", конечно, более красиво :-)

[ex-ex-alexa.livejournal.com]

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