akuklev: (Свечка и валокардин)
[personal profile] akuklev
Сегодня после 3 дней затишья был очередной апдейт (пока не подтверждённый, т.е. доказательство не отреферрировано) Polymath8: существует бесконечно много пар простых чисел, находящихся друг от друга на расстоянии не более 5414. И пишуть, что дальше оно легко уменьшаться не будет.

http://terrytao.wordpress.com/2013/06/30/bounded-gaps-between-primes-polymath8-a-progress-report/#comment-237093:
Incidentally, I’m coming around to the opinion that [..] we’re almost at the end of the road for easy improvements here. [..]
[I]t is conceivable that some increasingly heroic efforts could shave a bit more off[..,] but I think the era of dramatic improvements in the numerology are basically over[.]

Terence Tao

Оптимистический предел того, что можно выжать ещё более строгими оценками — 1238. Это было бы улучшение на 4.75 порядка. :-)

Date: 2013-07-02 11:29 am (UTC)
From: [identity profile] sorhed.livejournal.com
Куклев, ты участвовать бушь? У нас команда уже есть, ващет.

Date: 2013-07-02 11:33 am (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
В ICFPC? Нет, на эти даты у меня не получится. :(

Date: 2013-07-02 01:18 pm (UTC)
From: [identity profile] sorhed.livejournal.com
С тематикой "формальные методы, верификация и программный синтез"? Ты с ума сошёл? :)

Date: 2013-07-02 01:21 pm (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
Гы. Тематика, конечно, прекрасна. Я такое обожаю. Но если я правильно помню, в эти даты у меня как раз Аня с Алисой на короткий срок будут, тут ничего не поделаешь. Они как раз со 2 до 14 августа будут, а ICFPC в районе 8ого.

Date: 2013-07-02 01:22 pm (UTC)
From: [identity profile] sorhed.livejournal.com
Ну я тоже вообще-то с женой буду. :)

Date: 2013-07-02 05:21 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
с 1го по 14е...
а это требует наличие тебя где-то, кроме Мю или Гё???

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

Date: 2013-07-02 05:25 pm (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
Да, мы этой штукой занимались в прошлом году в Швейцарии. :)

> а это требует наличие тебя где-то, кроме Мю или Гё???
Нет, теоретически это мероприятие вполне можно из дома. Штука просто в том, что это я на трое суток отвалюсь почти совсем из жизни, что, мне кажется, как-то неправильно. Ну посмотрим, может поучаствую в команде малотрудником-консультантом, учитывая тему "верификация", я и в таком виде могу оказаться весьма полезен.

Date: 2013-07-02 05:28 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
ну...если это будни с 9 до 18 по мск, то можешь заниматься всем чем угодно :) я все равно работать буду...

с другой стороны мы же может еще и не поедем никуда, то тогда можешь и участвовать...

Date: 2013-07-02 05:31 pm (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
Не, оно начинается в ночь с четверга на пятницу и длится до конца воскресенья. Это упражнение на 72 часа нонстопом, если реально участвовать. :)

Date: 2013-07-02 09:17 pm (UTC)
From: [identity profile] fea-dreams.livejournal.com
А было круто в Израиле, помнится. Алена зовет повторить. Так что можно, наверное, и там.

Date: 2013-07-03 06:45 am (UTC)
From: [identity profile] koalena.livejournal.com
дададада!
мы будем вам безумно рады.
море, уточню, в 5 минутах езды ) под окнами, короче, это до пляжа вот еще ехать надо

Date: 2013-07-02 05:29 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
ну вообщем ты мне напомни про эту хрень ближе к августу, если на эти трое суток у меня не будет на тебя планов... :)

Date: 2013-07-02 05:31 pm (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
Хорошо, напомню.

Date: 2013-07-02 09:16 pm (UTC)
From: [identity profile] fea-dreams.livejournal.com
А почему хрень то? Очень развивающее и интересное мероприятие. Куда лучше слета бардовской песни :)

Date: 2013-07-02 09:18 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
нууу, например, потому что я считаю, что не спать 72 часа - это плохо и вспоминая прошлогоднее состояние мужа во время и после я не хочу, чтобы он участвовал
мне кажется, что так издеваться над собственным здоровьем ради забавы - зло

Date: 2013-07-02 09:23 pm (UTC)
From: [identity profile] fea-dreams.livejournal.com
Поддержание здоровья - не единственная ценность, к счастью :)
Потухший взгляд и скука - вот что настоящий бич, и если что-то зажигает человека, то это здорово, пусть ищет, развивается, двигается вперед.

Date: 2013-07-02 09:31 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
не единственная...
но в чем смысл намеренно калечить собственное здоровье мне видимо не понять никогда
я считаю, что для того чтобы развиваться и двигаться вперед есть и другие пути

Date: 2013-07-03 12:25 am (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
По факту все, конечно, спят. Но на тех эндорфинах и адреналине хватает 4-5 часов сна, тебе по походам это дожно быть знакомо. И такое явление, что ради покорения вершины можно сколько-то жертвовать комфортом, тебе понятно. Так вот, ICFPC и подобные международного уровня спринты это такой заряд энергии и во время и надолго вперёд, что такие мелочи как дискомфорт пару дней, напрочь забываются.

В ICFPC этого года я в общем-то участвовать не собирался и об этом как-то совершенно не жалел, в моем списке приоритетов он совершенно не на первом месте, мне с вами с Алисой будет провести время на выходных полезнее и приятнее. Но при этом мне как-то неприятно, что тебе в целом не хочется, чтобы я участвовал в таких соревнованиях, это получается несимметнично. Как если бы я не хотел, чтобы ты ходила в горы. Потому что де рисковать жизнью и здоровьем ради забавы это зло, а для самореализации и активного отдыха есть другие пути. :-)
(deleted comment)

Date: 2013-07-03 08:35 am (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
> для тебя при этом ничего не изменится

Я вполне рассчитываю, что у каждого из нас останется личная свобода действий в том объёме, в котором это допускают объективные условия. Это действительно будет так, учитывая наше обоюдное неприятие семейной тирании.

А остальное изменится, конечно. Как изменилось уже сейчас. Просто одно дело, когда оно меняется под действием объективных обстоятельств (что-то нужно сделать, приоритеты сдвинулись и/или что-то сложно осуществить), это не вызывает моего неприятия, это естественная и неизбежная вещь. Мне неприятен исключительно подход "я не хочу, чтобы он" из соображений оценки за меня того, что для меня хорошо и для меня зло, оценивать это для себе прерогатива каждого человека индивидуально.

> если бы ты хотел, чтобы я ходила в горы, то
Между "хотеть" в смысле "ставить на самый верх иерархии приоритетов" и "хотеть" в смысле "не быть против" находится ещё целый мир вариантов, поэтому их прямое противопоставление это демагогия.

> в-третьих, в горах во много раз безопаснее, чем в центре любого мегаполиса, а уж здоровья после гор только прибавляется

"А какие выживают, те до старости живут." (с) Про Федота стрельца удалого молодца. :-)

Date: 2013-07-05 11:32 am (UTC)
From: [identity profile] gabriel-irk.livejournal.com
> в целом мужчины всегда считают, что правы они
Вот что сказала моя девушка на этот тред. :)))

Я ей это показал как описание подхода, совпадающего с моим в данных пределах.

Date: 2013-07-05 11:35 am (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
В целом все люди независимо от пола считают, что правы они. Это полная тавтология, т.к. если человек не считает, что он прав в Х, то он не отверждает Х.
Edited Date: 2013-07-05 11:35 am (UTC)

Date: 2013-07-08 07:34 am (UTC)
From: [identity profile] gabriel-irk.livejournal.com
Думаю, ключевым словом там является квантор "всегда" (считают, что они правы). :)))

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

Date: 2013-07-02 05:25 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
он сошел с ума когда женился :) я его предупреждала :)

Date: 2013-07-02 09:16 pm (UTC)
From: [identity profile] fea-dreams.livejournal.com
Мы все так и поняли :)

Date: 2013-07-02 09:31 pm (UTC)
From: [identity profile] gnom-lis.livejournal.com
а он кажется еще нет :)

Date: 2013-07-02 04:07 pm (UTC)
From: (Anonymous)
Хмм... а как 4.75 порядков получилось-то?

Date: 2013-07-02 04:41 pm (UTC)
ext_615659: (Свечка и валокардин)
From: [identity profile] akuklev.livejournal.com
log(1238/70_000_000)/log(10) = -4.7523774(1) десятичных порядка.

Date: 2013-07-03 07:47 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Давать два знака после запятой при оценке порядка - лучшее свидетельство настоящей дотошности!

December 2016

S M T W T F S
    123
456789 10
11121314151617
18192021222324
25262728293031

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 20th, 2025 07:13 pm
Powered by Dreamwidth Studios