Ruby NoName Podcast S04E10/ Ruby NoName Podcast / Подкаст на PodFM.ru
QR-код RSS
QR-код OPML
 
Хочу послушать
только на green-mouse.podfm.ru
 

Ruby NoName Podcast S04E10

0
Для того, чтобы проголосовать — авторизуйтесь Для того, чтобы проголосовать — авторизуйтесь
добавлен 24.05.12 22:26
Новости

Libskypekit and Skypekit – C and Ruby interface for Skype
Gem для работы с Google spreadsheet
Поддержка PostgreSQL datatypes в Rails 4
Ruby 2.0 roadmap
The Bastards Book of Ruby
Continuos deployment for ruby gems
Ruboto 0.6.0
Mechanize 2.5
Гем для асинхронной отсылки почты из devise - devise-async
Глава из книги Ruby Under a Microscope
Последняя попытка попасть на devConf


Обсуждение
NP-полнота

Для ознакомления с базовыми определениями и теоремами рекомендуется к прочтению книга: М. Гэри, Д. Джонсон,
«Вычислительные машины и труднорешаемые задачи».
Random_k-SAT
L. G. Valiant, V. V. Vazirani, NP is as easy as detecting unique solutions (показано, что поиск solutions to instances having a unique solutions, are as hard as SAT, under randomized reduction)
M. Vardi, Complexity of Relational Query Languages
N. Immerman, Relational Queries Computable in Polynomial Time ( и дают th. Immerman-Vardi, что FO(LFP) = P)
Wiki, где собраны основные данные о проверке и paper
По всей видимости первое или одно из первых упоминаний в интернете о paper
Первый комментарий проф. Liption
Ссылки на остальные есть в wiki, вот еще важный комментарий,
где Liption публикует письмо Immerman, что Deolalikar безосновательно использует только mondaic fixed points и
указывает, что он полагается на это свойство в своем доказательстве, но указывает, что тогда он получает не все P. Тем
самым получается, что Deolalikar неправильно применяет теорему Immermana-Vardi. Ошибка найдена!
Прочее: упоминал «кирпич»: Т. Кормен, Ч. Лейзерсон, Р. Ривест, «Алгоритмы: построение и анализ»


Текущее

Наш конкурс закончился, результаты подводятся
Иван Евтухович ушел работать в Express42.


Контакты

Наш твиттер
Email для предложенией


Вконтакте


 
 

Парный подкаст о руби и технологиях связанных с ним.

Выходит с 6 марта 2009 года
Автор: Григорий

Подкастов: 137

Подписчиков: 5

Последняя запись: 22 сентября 2017 года

  1. Открытая Книга
    Аудиокниги и аудиостатьи, рассчитанные на широкую аудиторию. .
  2. Открытый доступ. Любимые книги.
    В этой ленте собраны интересные аудиокниги и аудиостатьи самых разных жанров и направлений для широкой аудитории слушателей.
  3. Тест-драйв
    Впечатления об автомобилях Сергея Стиллавина и его друзей.
  4. Брендятина
    Истории мировых брендов.
  5. Собаки Павлова
    Доктор Давид на страже вашего здоровья.
  6. Школа молодых отцов
    Это должен знать каждый!
  7. Профилактика Онлайн
    «Профилактика» – уже хорошо известный публике шоу-бренд.
  8. ТАСС уполномочен заявить
    Неизвестные факты из истории стран мира.
  9. До 16 и младше
    Мир глазами ребенка
  10. Модель Для Сборки
    Радиопостановки Влада Коппа.
  11. Живые: без лишних слов
    Только музыка из программы "Живые".
  12. Народный продюсер
    Избранные треки из одноименного шоу.
  13. Женщина. Руководство по эксплуатации
    Сергей Стиллавин и Рустам Вахидов обсуждают всё о женщинах.
  14. Живые: полная версия программы
    Разговорно-музыкальное шоу Семена Чайки.
  15. Клуб покупателей
    Руководство для покупателя: как принимать только правильные решения.
  16. Ladywaks
    Брейкс-эфир на Радио Рекорд.
  17. Среда Джаза с Давидом Голощекиным
    Знаменитый петербургский музыкант рассказывает про джаз.
  18. Stereoзвук
    Подкаст о современной электронной музыке.
  19. Мужская триГОНометрия
    Рассуждения уставших мужчин.
  20. Мужчина на кухне
    «Мужчина на кухне». Устно и вкусно!
  21. Дело предубежденного попугая
    Классический детектив Эрла Гарднера в озвучке.
  22. Перченый Питер
    Аудиогид по Санкт-Петербургу.
  23. Новости Науки и Техники
    Подробности последних открытий и достижений.
  24. Рунетология
    Аналитическая программа «Рунетология».
  25. РадиоСтранствия
    Это личный дневник журналистки Маши Веселовой.
  26. Сага о форсайте
    Будущее глазами очевидца.
  27. Рунет сегодня
    Программа о главных событиях российского интернета.
  28. Тори
    Авторское прочтение книги Ильи Чёрта - "Тори".
  29. Аудиобуквы
    Писатель и сценарист Александр Бачило читает свои произведения.
  30. Альманах фантастики
    Цикл рассказов для поклонников фантастики.
  31. Не фантастические горизонты
    Научно-популярный аудиожурнал.
  32. Дело о мрачной девушке
    Аудиокнига "Дело о мрачной девушке".
  33. Аудиокнига "Пещера" (Марина и Сергей Дяченко)
    Лучший роман фантастов Марины и Сергея Дяченко.
  34. Откровенно про IT карьеризм
    Программа о построении карьеры в IT-сферах.
  35. MediaFresh
    Программа о мире публичных коммуникаций.
  36. KeddroCast
    Мы против унылых и сухих обзоров гаджетов и новостей!
  37. Radio Grinch
    Авторская программа Дениса aka Radio Grinch.
  38. Пандем
    Главный роман украинских писателей-фантастов Марины и Сергея Дяченко.
  39. Берись и делай
    Программа о том, как создать бизнес без стартового капитала.
  40. Признаки Времени
    Программа об искусстве и творчестве.
  41. Подкаст журнала «Джаз.Ру»
    Авторский подкаст о джазе.
  42. Electroshock
    Двухчасовое авторское радио-шоу Руслан Севера.
  43. Персонажи
    Герои города Питера.
  44. Правовед
    Правовые аспекты нашей жизни.
  45. PODзарядка
    Программа о спорте и здоровом образе жизни.
  46. Взгляд Максима Кононенко
    Неожиданная трактовка актуальных проблем.
  47. Наука 2.0
    Общедоступно об открытиях в разных областях науки. Убедительно и еженедельно.
  48. Обзор блогов
    Обзор лучших блогов Рунета.
  49. Бухгалтерия.ру
    Все, что нужно знать о цифрах
  50. Свежие Ведомости
    Аудио-выпуск свежего номера газеты “Ведомости"
  51. EAshooters
    Еженедельный подкаст EAshooters.ru
  52. Футбольное обострение
    Программа, в которой болельщики могут высказаться без цензуры.
  53. Автовести
    Все главные новости и новинки мирового и отечественного автопрома. Автор и ведущий - эксперт экстра-класса Леонид Голованов.
 


Обсуждают сейчас rss