?

Log in

Листовки для #kievfprog 2017.1 - Дважды мудак [entries|archive|friends|userinfo]
Декларативное рулит

Site Meter

[ website | Мой сайт ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Листовки для #kievfprog 2017.1 [мар. 6, 2017|15:40 pm]
Andy Melnikov
[Tags|, , ]

https://docs.google.com/document/d/1L_yRb1_ajj9eswByMnRGHQlJ28T1B81dasUCyyMJThE/pub

По причине моего отсутствия пришла идея сделать листик и пораздавать. Это драфт, надо будет уложиться в не более чем один листик с 2 сторон.

Приглашение заняться некоммерческим групповым сексом с хаскелем, дабы избежать успеха. Разумеется, с упоминанием HNC, Exe и типизированного брейнфака!
СсылкаОтветить

Comments:
[User Picture]From: dvig_al
2017-03-07 06:08 am
Год не перепутан? :)
>> 6 марта 2016
(Ответить) (Thread)
[User Picture]From: nponeccop
2017-03-07 11:05 am
фиксед
(Ответить) (Parent) (Thread)
[User Picture]From: dmitriid
2017-03-08 03:43 pm
На момент написания комментария fixed, 6 марта было вчера.
(Ответить) (Parent) (Thread)
[User Picture]From: maxim
2017-03-07 07:10 am
Yay! Мы как раз сегодня составили скедьюл http://conference.imath.kiev.ua/index.php/kievfprog/kievfprog-2017_1/index
Киевфпрог теперь хостится не на галерах, а в НАН Украины!!! Круче уже только за пределеами Украины.
(Ответить) (Thread)
[User Picture]From: nponeccop
2017-03-07 11:09 am
в гток глянь (если ещё не)
(Ответить) (Parent) (Thread)
[User Picture]From: maxim
2017-03-08 01:44 am

:-)

(Ответить) (Parent) (Thread)
[User Picture]From: dmitriid
2017-03-08 03:42 pm

Re: :-)

Как говорят на imgur'e, два! два пикселя!

Еще меньше и нечитаемее можно было?
(Ответить) (Parent) (Thread)
[User Picture]From: nponeccop
2017-03-08 05:10 pm

Re: :-)

https://github.com/groupoid/groupoid.space/blob/master/tex/flyer.pdf

Оно ж на A4 будет

Edited at 2017-03-08 17:10 (UTC)
(Ответить) (Parent) (Thread)
[User Picture]From: dmitriid
2017-03-08 05:23 pm

Re: :-)

Оно уже и в твиттере: https://twitter.com/5HT/status/839395772324065280 и тут в комментариях и вообще :)

(Ответить) (Parent) (Thread)
[User Picture]From: nponeccop
2017-03-08 05:40 pm

Re: :-)

Ну я подумал что ты ослеп
(Ответить) (Parent) (Thread)
[User Picture]From: thedeemon
2017-03-07 08:02 am
>компилятора из ленивого ФЯ в типизированный брейнфак

O, у меня это в продакшоне есть, только в качестве брейнфака C#, и без парсера, просто AST на входе.
(Ответить) (Thread)
[User Picture]From: nponeccop
2017-03-07 11:05 am
получается ещё один клон HNC :)
(Ответить) (Parent) (Thread)
[User Picture]From: maxim
2017-03-08 01:45 am
Все вроде взрослые мальчики, а до сих пор с System F играются :-)
(Ответить) (Parent) (Thread)
[User Picture]From: nponeccop
2017-03-08 03:13 am
А у вас негров линчуют!

Вы сначала разберитесь есть ли у нас System F (чистая System F достаточно выразительная в плане доказательств, кстати), и в своих бесконечных вселенных индукцией пользоваться научитесь :)
(Ответить) (Parent) (Thread)
From: tancorko
2017-03-07 10:41 am
Я б вписался.
(Ответить) (Thread)