Леонтьев Георгий (folone)

@folone: *hs *pic
3.bp.blogspot.com
#1897604
2 days ago; 1 reply
@fmap: *quote
Несмотря на широкую известность имени М. Шейнфинкеля, о самом авторе мы знаем на удивление мало — две статьи, одна сохранившаяся фотография и скудные биографические данные. Известно, что он родился 4 сентября то ли 1887, то ли 1889 года в городе Екатеринославе (ныне Днепропетровск на Украине). Изучал математику в Одессе в университете, который тогда назывался Новороссийским. Его руководителем был Самуил Осипович Шатуновский — известный российский математик, много внимания уделявший вопросам геометрии и её оснований. Нет ничего удивительного в том, что в 1914 г. М. Шейнфинкель приезжает в математическую Мекку того времени — в Геттинген к Д. Гильберту. Известность пришла к М. Шейнфинкелю благодаря докладу, который он сделал 7 декабря 1920 г. перед Математическим обществом Геттингена. Д. Гильберт рекомендовал доклад к публикации, которая и была осуществлена четырьмя годами позже в известном математическом журнале "Mathematishe Annalen". Помощь в подготовке публикации оказал Г. Беман.
В Геттингене М. Шейнфинкель тесно общался с П. Бернайсом, который был его ровесником. В 1929 г. ими была подготовлена совместная публикация, посвященная проблеме разрешимости для одного частного класса формального исчисления предикатов. К этому времени М. Шейнфинкель уже вернулся в СССР. Последние годы жизни он провел в Москве, где страдал от нищеты, лечился от психического расстройства и умер в 1942 г. в госпитале. Ни точная да смерти, ни место погребения неизвестны. Во время войны, чтобы хоть как-нибудь согреться, бывшие соседи М. Шейнфинкеля сожгли все его рукописи в печи.
#1896532
3 days ago
@fmap: *haskell
Pointless fun.
#1857158
1 month ago; 5 replies
@jtootf: *haskell
ro-che.info — @roche набирает Haskell-интернов в Киевскую команду функциональщиков из Barclays Capital
#1821317
1 month ago; 10 replies
@folone: *scala *slow *akka
В новую акку добавили итерати → doc.akka.io
#1818740
1 month ago

_∘_ : {A : Set}{B : A -> Set}{C : (x : A) -> B x -> Set}
      (f : {x : A}(y : B x) -> C x y)(g : (x : A) -> B x)
      (x : A) -> C x (g x)
(f ∘ g) x = f (g x)

Agda - язык простой и красивый

#1812621

2 months ago; 36 replies

@folone: *scala *scalaz *link
oh shi, ребята из scalaz пишут книгу → manning.com
#1793772
2 months ago
@dluciv: *наука *физика
Don't Become a Scientist!
wuphys.wustl.edu
I have known more people whose lives have been ruined by getting a Ph.D. in physics than by drugs.
#1793718
2 months ago; 3 replies
@folone: *link *haskell *reddit
Improbable uses of unsafeCoerce → gist.github.com
#1780835
2 months ago; 3 replies
@4DA: *emacs *tips
Не знал, что в emacs есть букмарки на файлы
xahlee.org

Глобальные команды:
C-x r m — поставить букмарк на строчку курсора в текущем буфере.
C-x r l — открыть список букмарок

Внутри списка букмарок:
s — сохранить список
r — переименовать
D — удалить
#1774635
3 months ago; 1 reply
@4DA: *shit *math *haskell *lol
Some people see a problem and think "I know, I'll use Haskell!" Now they have a monoid in the category of problems.
#1748361
3 months ago; 1 reply
@folone: *haskell
Жуйк. А поделись ништяками вроде cale.yi.org и heh.fi
#1746314
3 months ago; 3 replies
@PineappleZombie: *haskell *GHC
Вышел новый GHC с новыми вкусными расширениями, улучшениями в GHCi и стектрейсами

The GHC Team is pleased to announce a new major release of GHC, 7.4.1.
Here are some of the highlights of the 7.4 branch since 7.2 and 7.0:
* The Num class no longer has Eq or Show superclasses.
* There is a new feature Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe).
The design has changed since 7.2.
* There is a new feature kind polymorphism (-XPolyKinds).
A side-effect of this is that, when the extension is not enabled, in
certain circumstances kinds are now defaulted to * rather than being inferred.
* There is a new feature constraint kinds (-XConstraintKinds).
* It is now possible to give any sort of declaration at the ghci prompt.
For example, you can now declare datatypes within ghci.
* The profiling and hpc implementations have been merged and overhauled.
Visible changes include renaming of profiling flags, and a new
semantics for the cost-centre stacks (which should in most cases
result in more useful and intuitive profiles). The +RTS -xc flag now
also gives a stack trace.
* It is now possible to write compiler plugins.
* DPH support has been significantly improved.
* There is now preliminary support for registerised compilation using
LLVM on the ARM platform.

Full release notes are here: haskell.org
#1741662
3 months ago; 2 replies
@folone: *haskell *java *skyrim *бред
I used to be a java programmer, just like you. But then I took an Arrow to a knee.
#1740396
3 months ago
@folone: *(c) *haskell
roconnor: a lens is a monoidal natural transformation between higher-order coalgebra functors, what's the problem?
#1730996
3 months ago
@folone: *book *wtf
Эта книга явно содержит некие потаённые знания -> amazon.com
#1725332
4 months ago; 2 replies
@folone: *Lisp *WTF *book *haskell
Начал читать The Haskell road to logic, maths and programming. Открываю на первой странице: bit.ly
#1710288
4 months ago; 14 replies
@arpanet: *ЖЖ *emacs *slow *useful_stuff
Ну наконец добавил в свой .emacs ввод хоткеев на русском языке. Под катом.
Отсюда ru-emacs.livejournal.com
#1685711
5 months ago; 11 replies
@folone: *жж *Киев
Location: :3
Жуйц. По причине недавнего переезда, безвозмездно отдам в хорошие руки кучу (список — в комментариях) игр для PS2. Пикрелейтед, самовывоз.
#1654013
5 months ago; 4 replies
@folone: *types *video
Весьма энергичный доклад о выводе типов в разных яп -> screencasts.chariotsolutions.com
#1652989
5 months ago

Older →

Леонтьев Георгий (folone)

Subscribe

Messages

Tags all

Search

Statistics