(no subject)
Sep. 17th, 2018 03:03 pm
В Канаде нашли мумию волчонка возрастом 50 тыс. лет.
https://news.mail.ru/society/34761768/?frommail=1
(no subject)
Feb. 6th, 2018 08:09 pm
В бирманском янтаре нашли ископаемого паука с хвостом
https://news.mail.ru/society/32472880/?frommail=1
(no subject)
Dec. 6th, 2017 09:40 am
Китайцы нашли 215 яиц птерозавров
http://www.sci-news.com/paleontology/pterosaur-eggs-china-05491.html
До сих пор было известно всего восемь, из них пять тоже нашли китайцы. Китайцы молодцы.
(no subject)
Jun. 13th, 2017 04:36 am
Прекрасную мезозойскую птичку, влипшую в янтарь, обнаружили в Бирме
http://elementy.ru/novosti_nauki/433029/Ptenets_iz_birmanskogo_yantarya_pomog_utochnit_osobennosti_razvitiya_mezozoyskikh_ptits
Недавно там же в янтаре нашли хвостик динозавра с пёрышками
http://66george.livejournal.com/374291.html
а ещё раньше крылышко. Мезозойские птички от динозавров ещё мало отличались.
(no subject)
Dec. 18th, 2016 08:56 am
С некоторым усилием читаю книгу про ископаемых Антарктиды. Это позволяет мне с чистою душой временно не читать мрачных математических и программистских книг (потому что занят делом). На картинке ископаемое дерево, которое так и стоит с мелового периода. В Антарктиде, оказывается, нашли несколько окаменевших лесов. На горе на высоте четыре километра найден большой динозавр, было трудно там его долбить и вывозить на базу вертолётом. Вот интересная у людей жизнь, в Антарктиде на горе долбить динозавра. А что же мы всё сидим, не долбим, не едем никуда.
(no subject)
Dec. 9th, 2016 09:07 pm
Хвостик динозавра с пёрышками, найденный в янтаре. Динозавр был крохотный. Это не первый раз, когда в бирманском янтаре находят интересное, какую-то птичку мелового периода там уже находили.
http://www.sci-news.com/paleontology/feathered-dinosaur-tail-burmese-amber-04437.html
(no subject)
Nov. 12th, 2016 07:51 pm
Вот ещё птички из доисторического болота Мессель, которое существовало в Германии 50 миллионов лет назад. Утонувшие в болоте зверюшки и птички сохранялись так, что видна даже окраска перьев. Внизу справа доисторический удод размером меньше воробья. Настоящих воробьиных птиц тогда в Европе ещё не было и вместо них летало чёрт знает что.
(no subject)
Nov. 11th, 2016 04:40 pm
Прочитал книгу "The Jehol fossils" с красивыми картинками. А потому что я высококультурный человек. Jehol -- это место в Китае, недалеко от нашей границы на Дальнем Востоке. Там в былые времена периодически извергался вулкан, засыпая пеплом окрестные леса и озёра. В результате местные животные запекались целиком в этом пепле и в таком виде отлично сохранялись. Динозавры с пёрышками и пухом, зубастые птички и т.п. в большом количестве там найдены, причём копать хватит ещё на несколько столетий.
(no subject)
Aug. 7th, 2016 05:40 pmВчера читал статью Эдварда Нельсона, где он вопиёт, что математика скоро рухнет, потому что опора шаткая у ней
https://web.math.princeton.edu/~nelson/papers/warn.pdf
Но Нельсон умер, а математика стоит, это чудо. Затем читал книгу его же, где он выводит квантовую механику (не всю, но уравнение Шредингера) из броуновского движения частиц эфира
http://www.dfi.uchile.cl/~paurruti/bmotion.pdf
Вот таких фриков допускают в науку, ни субординации у них, ни дисциплины, хи-хи, шучу.
Граждане, у меня странное состояние, когда я прочитал и понял всё, что хотел прочитать и понять. Последняя книга была такая
http://golibgen.io/view.php?id=109898
никогда бы её не понял, если бы уже не знал, что там написано.
И что мне теперь делать?
https://web.math.princeton.edu/~nelson/papers/warn.pdf
Но Нельсон умер, а математика стоит, это чудо. Затем читал книгу его же, где он выводит квантовую механику (не всю, но уравнение Шредингера) из броуновского движения частиц эфира
http://www.dfi.uchile.cl/~paurruti/bmotion.pdf
Вот таких фриков допускают в науку, ни субординации у них, ни дисциплины, хи-хи, шучу.
Граждане, у меня странное состояние, когда я прочитал и понял всё, что хотел прочитать и понять. Последняя книга была такая
http://golibgen.io/view.php?id=109898
никогда бы её не понял, если бы уже не знал, что там написано.
И что мне теперь делать?
(no subject)
Aug. 2nd, 2016 04:56 amВ этих двух архивах почти все книжки по математической логике, изданные в Советском Союзе. Я выкладывал эти ссылки, но давно и они "утонули". Собирал Станислав Баров ещё до появления libgen, сейчас кое-что можно найти в лучшем качестве на libgen
http://www.mediafire.com/download/cn7hskh3t3w1uto/djvu.rar
http://www.mediafire.com/download/4g54uiij5yvezu8/pdf.rar
К учебнику рано или поздно допишу главу про string diagrams, но сейчас лень и голова занята другим, читайте пока Константина Крылова "Золотой ключ".
http://www.mediafire.com/download/cn7hskh3t3w1uto/djvu.rar
http://www.mediafire.com/download/4g54uiij5yvezu8/pdf.rar
К учебнику рано или поздно допишу главу про string diagrams, но сейчас лень и голова занята другим, читайте пока Константина Крылова "Золотой ключ".
Ища, чего почитать
Jun. 28th, 2016 12:34 amВот для примера ругань математиков
https://plus.google.com/+CodyRoux/posts/6TiKLxjSCnu
Есть форум FOM (Foundations of Mathematics)
http://www.cs.nyu.edu/pipermail/fom/
там собираются старички и обсуждают основания математики, как они себе их представляют. Я туда иногда захожу, чтобы узнать, кто умер из великих. За последние два года умерли Ламбек (91 год), Крайзель (91 год), Крейг (97 лет), Хартли Роджерс (89 лет) и Вопенка (79 лет, молодой совсем). И вот молодёжь ругается, не выбирая выражений, что FOM превратился в "ядовитую помойку", потому что старички не знают, что сделано в науке за последние 40 лет (это, в общем, правда) и не ценят великого Воеводского. Дальше переходят на личности и говорят, что виноват Харви Фридман, который очень много пишет в FOM и модерирует всех остальных. Тут приходит Харви Фридман и возражает по существу, что модератор не он, а Мартин Девис (уважаемый человек, 88 лет). Молодёжь культурно извиняется, спор заканчивается. И вот я думаю: с одной стороны, на FOMе действительно нечего читать, кроме некрологов. Но там жизнь кипит, старички пишут вовсю! С другой стороны, любой форум, куда приходит великий Воеводский, скоро умирает. Вот был форум по теории типов
2015 год
http://lists.seas.upenn.edu/pipermail/types-list/2015/thread.html
2016 год, пришёл великий Воеводский
http://lists.seas.upenn.edu/pipermail/types-list/2016/thread.html
Воеводский - пассионарный лидер, увлекает людей за собой, ведёт в болото, там съедает (образ заимствован у писателя Крылова-Харитонова). И теперь мне нечего читать по специальности. До FOMа я ещё не дозрел по возрасту. Кому мешала теория типов?
Вообще, странное впечатление: количество плюшек (книжек, фильмов и т.д.), доступных в интернете, растёт экспоненциально (то есть, каждый год в несколько раз), а поговорить становится не с кем.
https://plus.google.com/+CodyRoux/posts/6TiKLxjSCnu
Есть форум FOM (Foundations of Mathematics)
http://www.cs.nyu.edu/pipermail/fom/
там собираются старички и обсуждают основания математики, как они себе их представляют. Я туда иногда захожу, чтобы узнать, кто умер из великих. За последние два года умерли Ламбек (91 год), Крайзель (91 год), Крейг (97 лет), Хартли Роджерс (89 лет) и Вопенка (79 лет, молодой совсем). И вот молодёжь ругается, не выбирая выражений, что FOM превратился в "ядовитую помойку", потому что старички не знают, что сделано в науке за последние 40 лет (это, в общем, правда) и не ценят великого Воеводского. Дальше переходят на личности и говорят, что виноват Харви Фридман, который очень много пишет в FOM и модерирует всех остальных. Тут приходит Харви Фридман и возражает по существу, что модератор не он, а Мартин Девис (уважаемый человек, 88 лет). Молодёжь культурно извиняется, спор заканчивается. И вот я думаю: с одной стороны, на FOMе действительно нечего читать, кроме некрологов. Но там жизнь кипит, старички пишут вовсю! С другой стороны, любой форум, куда приходит великий Воеводский, скоро умирает. Вот был форум по теории типов
2015 год
http://lists.seas.upenn.edu/pipermail/types-list/2015/thread.html
2016 год, пришёл великий Воеводский
http://lists.seas.upenn.edu/pipermail/types-list/2016/thread.html
Воеводский - пассионарный лидер, увлекает людей за собой, ведёт в болото, там съедает (образ заимствован у писателя Крылова-Харитонова). И теперь мне нечего читать по специальности. До FOMа я ещё не дозрел по возрасту. Кому мешала теория типов?
Вообще, странное впечатление: количество плюшек (книжек, фильмов и т.д.), доступных в интернете, растёт экспоненциально (то есть, каждый год в несколько раз), а поговорить становится не с кем.
(no subject)
Jun. 15th, 2016 07:53 pmЕщё картинка, изображает траекторию движения точки по бублику, когда бублик выворачивается прямым и извращённым способом с разными скоростями (скорости можно регулировать нижними ползунками)
http://ggbm.at/EcwwUHNV
и в стереоочках
http://ggbm.at/dfTTACUW
Это всё называется "вращение трёхмерной сферы" и некоторым образом изображает повороты четырёхмерного пространства. Давно хотел представить это наглядно, но не мог, а теперь есть программа.
http://ggbm.at/EcwwUHNV
и в стереоочках
http://ggbm.at/dfTTACUW
Это всё называется "вращение трёхмерной сферы" и некоторым образом изображает повороты четырёхмерного пространства. Давно хотел представить это наглядно, но не мог, а теперь есть программа.
(no subject)
Jun. 12th, 2016 06:23 pm
Осваиваю программу Geogebra. Картинка выше не моя, а вот эти мои
http://www.geogebra.org/m/hmjvu38Z
http://www.geogebra.org/m/VcV6h2ws
http://www.geogebra.org/m/YDnYbunA
Можно и нужно двигать ползунки. И то же самое в стереоочках
http://www.geogebra.org/m/mBr6zFGg
http://www.geogebra.org/m/RdN5jTye
http://www.geogebra.org/m/VvMdgScZ
(no subject)
Apr. 20th, 2016 12:36 am
Visual Studio спрашивает "Готовы к переходу в облако?" Нет, спасибо, хочу ещё пожить.
Осваиваю психоделический пруфчекер Globular (на картинке). Теоремы (из теории категорий) изображаются психоделическими картинками, доказательство устроено по принципу "раскрась сам". Вот и для теории типов надо тоже так придумать. Вот Globular
https://golem.ph.utexas.edu/category/2015/12/globular.html
и статья про психоделические картинки, без которой ничего понять не удастся (не обещаю, что с ней удастся)
http://arxiv.org/pdf/1401.7220v2.pdf
(no subject)
Apr. 17th, 2016 04:11 am

Свежая книга про ископаемых китов с красивыми картинками. Зубастого кашалота назвали "левиафан Мелвилла"
https://app.box.com/s/6r98x6zu7r8sy9sm2xrjuw95iwx80sk4
(no subject)
Apr. 30th, 2015 03:33 pm
Китайцы нашли ископаемого дракончика
http://www.theguardian.com/science/lost-worlds/2015/apr/29/bird-yi-qi-the-dinosaur-evolution-flight-feather-nature