The Catcher in the Sky

@arpel

Гео и язык канала: не указан, не указан

Категория: не указана

Гео и язык канала

не указан, не указан

Категория

не указана

Статистика

Избранное

Фильтр публикаций

Скрывать удаленные

Скрывать репосты

The Catcher in the Sky

24 Jan 2019, 05:38

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

64 0 0

Основные источники грантов — государственные агенства и фонды. Главное правительственнное агенство по финансированию науки: NSF (National Science Foundation) — работает для всех дисциплин. В информатике много грантов проходит по Министерству обороны (плюс его агенствам) и Министерству «внутренней безопасности».

Объёмы грантов из индустрии, по сравнению с условно правительственными, — ничтожны. И по общему объёму и по индивидуальным цифрам. Целей у индустрии может быть две: выполнение конкретного прикладного проекта или общее налаживание контактов с профессорами для получения их аспирантов в качестве будущих работников. Основная статья расходов из средств грантов это содержание аспирантов — очень дорогое удовольствие — и почти невозможно себе представить гранты из индустрии, которых бы хватало хотя бы на одного аспиранта целиком. Финансирование из индустрии работает как «подкорм».

66 0 0

The Catcher in the Sky

24 Jan 2019, 05:22

Как живёт средний американский профессор:
- в год пишет около 4х заявок на гранты (объём таких заявок разнится, условно: от 15 до 60 страниц); может, точнее сказать 3–6 заявок;
- из них одна, редко две, могут быть успешными.

68 0 0

The Catcher in the Sky

7 Jan 2019, 21:10

Репост из: Reddit / Haskell

Functional Programming PhD studentships in Nottingham (deadline 18 January)

I'm looking to recruit an excellent new PhD student to come and work with me in the Functional Programming Lab in Nottingham. Deadline 18 January 2019. Please share! https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1854 submitted by /u/grahamhutton
[link] [comments]

grahamhutton (u/grahamhutton) - Reddit

u/grahamhutton:

103 0 0

The Catcher in the Sky

22 Dec 2018, 15:23

Репост из: Anton Trunov

Друзья, небольшое объявление! Aleks Nanevski из IMDEA Software Institute (Madrid) ищет программиста на Coq. Нужен опыт с функциональными языками и желание изучить Coq. Здесь суперская атмосфера, рекомендую! Если интересно, можем пообщаться в личке, расскажу про работу.

159 0 0

The Catcher in the Sky

22 Dec 2018, 05:45

https://ulysses4ever.livejournal.com/91517.html

Техническое письмо на английском

В этом семестре (осень 2018) я опять стал студентом. Значительную часть моей учебной нагрузки составили задания, предмет которых можно обозначить как техническое письмо на английском языке. Здесь я хотел бы отметить некоторые особенности этого предмета, которые показались мне…

907 1 0

The Catcher in the Sky

13 Dec 2018, 17:36

157 0 0

The Catcher in the Sky

13 Dec 2018, 17:36

Не только в PLC (plc.sfedu.ru) члены программного комитета исчезают, когда дело доходит до рецензирования поданых работ… Правда, в иных местах таковых просто выгоняют!

113 0 0

The Catcher in the Sky

13 Dec 2018, 05:50

https://avva.livejournal.com/2821784.html
Надо прочесть, товарищи. Я сам думаю, что нет бинарных оппозиций, физиков vs лириков… Но всё-таки что-то в этом есть.

история о пишущей машинке киллиана

Мы говорили с А. о том, чего я опасаюсь в школьном образовании (и моя Юля, и его Т. в этом году пошли в первый класс). Одна из вещей, которые меня беспокоят, сказал я, это социальное давление на девочек в сторону от естественных наук. Я читал например американские исследования, согласно которым до…

142 0 0

The Catcher in the Sky

11 Dec 2018, 00:03

161 0 0

The Catcher in the Sky

11 Dec 2018, 00:02

Feels like MIT

137 0 0

The Catcher in the Sky

2 Nov 2018, 18:53

https://2018.splashcon.org/event/splash-2018-splash-i-how-a-computer-can-write-a-poem-and-make-it-sound-like-an-angry-bob-harper-or-_proving-theorems-and-seeing-cats_

Шеф (председатель SPLASH этого года) рассказал, что вначале этот доклад имел в названии angry Боба Харпера вместо "angry type theorist", но потом Боб Харпер на полном серьёзе пригрозил судиться... Шеф пытался ему объяснить, но это не помогло.

А URL остался старым в качестве непреднамеренной пасхалки!

267 0 0

The Catcher in the Sky

25 Oct 2018, 04:34

Репост из: Artem Pelenitsyn

Фотографировали нас для сайта факультета

217 0 0

The Catcher in the Sky

25 Oct 2018, 04:34

Репост из: Artem Pelenitsyn

197 0 0

The Catcher in the Sky

17 Oct 2018, 21:39

Когда на семинар приходит мало людей, что мы делаем? Пишем грустные письма!

248 0 0

The Catcher in the Sky

17 Oct 2018, 14:15

Репост из: bravit-about

В издательстве Manning Publications отличная Deal of the Day с тремя книжками: Haskell in Depth, Get Programming with Haskell и Type-driven Development with Idris. Можно воспользоваться 50%-й скидкой по промокоду DOTD101718 на все три книжки. В двух не своих я, кстати, упомянут в благодарностях, а в Get programming был ещё и technical proofer. Очень их рекомендую.

1.3k 0 0

The Catcher in the Sky

11 Oct 2018, 19:17

Репост из: brain_dump_etc

https://www.youtube.com/watch?v=y-xgWLYQc4g

Simon Peyton Jones как весгда прекрасен! И тема доклада лично меня равнодушным не оставила - всегда чувствовал в себе тягу к образованию других :) Доклад касается обучения CS в целом, также повествует про подвижки образовательной машины Великобритании в сторону правильного преподавания CS ученикам прямо со школы. Саймон призывает делать упор не на технологии, как это было в прошлом (оказывается, там тоже детей учили использованию MS Office), а на основы и идеи. В конце доклада можно найти кучу ссылко на расличные инициативы в озвученной области, а частности на Project Quantum - попытку сделать единый вопросник для тестирования изучающих CS.

Настоятельно рекомендую к просмотру!

#education #talk

00:00

Видео недоступно для предпросмотра

Смотреть в Telegram

"Shaping our children's education in computing" by Simon Peyton Jones

Few things matter more to us than the education we give our children, to equip them for life in a rapidly changing world. In our subject discipline, everythi...

527 0 0

The Catcher in the Sky

11 Oct 2018, 19:17

https://www.youtube.com/watch?v=y-xgWLYQc4g
Мне посчастливилось побывать на этом докладе и он, конечно, фантастический. Нужно слушать обязательно.

Из того, что не было упомянуто коллегой @brain_dump_etc (см. ниже)... мне кажется, очень важно определение информатики (в скобках привожу время на видео):

> Computer Science is the study of information, computation and communication in both natural and artificial systems
(4:47)

и

> Myth 2: it's all about coding
(12:11)

Саймон говорил, что программирование в школе (а я бы добавил: и не только!) может стать новым MS Office и выместить концепции и взаимосвязи. Где-то ещё там было: not skills but discipline!

141 0 0