Groups
Groups
Sign in
Groups
Groups
Polyglot Quine
Conversations
About
Send feedback
Help
Polyglot Quine
1–30 of 327
Mark all as read
Report group
0 selected
Slavomir Kaslev
11/23/15
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ -- Slavomir
unread,
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ -- Slavomir
11/23/15
Slavomir Kaslev
6/25/15
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ -- Slavomir
unread,
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types/ -- Slavomir
6/25/15
Slavomir Kaslev
7/10/14
Lenses: compositional data access and manipulation.
Добра лекция от SPJ за lenses: https://skillsmatter.com/skillscasts/4251-lenses-compositional-data-
unread,
Lenses: compositional data access and manipulation.
Добра лекция от SPJ за lenses: https://skillsmatter.com/skillscasts/4251-lenses-compositional-data-
7/10/14
Slavomir Kaslev
7/10/14
"Test-Only Development" with the Z3 Theorem Prover
Много итнересен пост: http://blogs.teamb.com/craigstuntz/2014/07/07/38818/ Не разбирам Z3, но
unread,
"Test-Only Development" with the Z3 Theorem Prover
Много итнересен пост: http://blogs.teamb.com/craigstuntz/2014/07/07/38818/ Не разбирам Z3, но
7/10/14
eng. Vassil Ognyanov Keremidchiev
6/18/14
Хаскел.БГ Facebook група
Здравейте! Надявам се да е адекватно да постна линк към Facebook група за Хаскелистите в България:
unread,
Хаскел.БГ Facebook група
Здравейте! Надявам се да е адекватно да постна линк към Facebook група за Хаскелистите в България:
6/18/14
Slavomir Kaslev
, …
Krasimir Angelov
4
6/11/14
HAXL from Facebook
2014-06-11 12:05 GMT+02:00 Slavomir Kaslev <slavomi...@gmail.com>: Хаскел още не е
unread,
HAXL from Facebook
2014-06-11 12:05 GMT+02:00 Slavomir Kaslev <slavomi...@gmail.com>: Хаскел още не е
6/11/14
Krasimir Angelov
,
Slavomir Kaslev
6
6/11/14
HoTT за програмисти
На 9 юни 2014 г., 17:59, Slavomir Kaslev <slavomi...@gmail.com> написа: Още едни слайдове
unread,
HoTT за програмисти
На 9 юни 2014 г., 17:59, Slavomir Kaslev <slavomi...@gmail.com> написа: Още едни слайдове
6/11/14
Petar Ivanov
, …
eng. Vassil Ognyanov Keremidchiev
3
6/4/14
functional programming jobs in BG
Тази фирма пише на Prolog, което е логическо програмиране, но все пак може да ви е интересно. В
unread,
functional programming jobs in BG
Тази фирма пише на Prolog, което е логическо програмиране, но все пак може да ви е интересно. В
6/4/14
Slavomir Kaslev
5/29/14
Compression oriented programming
Много добро есе за програмиране от Casey Muratori: http://mollyrocket.com/casey/stream_0019.html --
unread,
Compression oriented programming
Много добро есе за програмиране от Casey Muratori: http://mollyrocket.com/casey/stream_0019.html --
5/29/14
Slavomir Kaslev
, …
Andrew
15
5/14/14
RailsConf 2014 - Keynote: Writing Software by David Heinemeier Hansson
> Явно трябва да седна малко с jshint да видя какво може да се изкоди > набързо, за да не звучи
unread,
RailsConf 2014 - Keynote: Writing Software by David Heinemeier Hansson
> Явно трябва да седна малко с jshint да видя какво може да се изкоди > набързо, за да не звучи
5/14/14
Nikolay Bachiyski
2/9/14
∑1+2+3… = -1/12
https://www.youtube.com/watch?v=w-I6XTVZXww http://www.nottingham.ac.uk/~ppzap4/response.html
unread,
∑1+2+3… = -1/12
https://www.youtube.com/watch?v=w-I6XTVZXww http://www.nottingham.ac.uk/~ppzap4/response.html
2/9/14
Slavomir Kaslev
,
Krasimir Angelov
2
2/6/14
What if Famous Physicists and Mathematicians Had Logos?
nice 2014-02-06 15:01 GMT+01:00 Slavomir Kaslev <slavomi...@gmail.com>: > http://imgur.
unread,
What if Famous Physicists and Mathematicians Had Logos?
nice 2014-02-06 15:01 GMT+01:00 Slavomir Kaslev <slavomi...@gmail.com>: > http://imgur.
2/6/14
Stefan Kanev
, …
Boyko Bantchev
3
1/31/14
Превод на "map" за Clojure курса
> "хеш" е неточно „Хеш“ е не просто неточно, а по начало сбъркано (вкл. в Lisp, Perl и
unread,
Превод на "map" за Clojure курса
> "хеш" е неточно „Хеш“ е не просто неточно, а по начало сбъркано (вкл. в Lisp, Perl и
1/31/14
cutthroat
1/22/14
Middlebrow megachurch infotainment
ТЕД реч за това какво е сбъркано в ТЕД (и в нашият свят): http://www.youtube.com/watch?v=Yo5cKRmJaf0
unread,
Middlebrow megachurch infotainment
ТЕД реч за това какво е сбъркано в ТЕД (и в нашият свят): http://www.youtube.com/watch?v=Yo5cKRmJaf0
1/22/14
eng. Vassil Ognyanov Keremidchiev
, …
Boyko Bantchev
49
1/13/14
Haskell for Kids
Още едно мнение по темата. „Обучението по програмиране не е в духа на съвременното образование. Нима
unread,
Haskell for Kids
Още едно мнение по темата. „Обучението по програмиране не е в духа на съвременното образование. Нима
1/13/14
cutthroat
, …
Slavomir Kaslev
8
1/2/14
Finite Calculus: A Tutorial for Solving Nasty Sums
2014/1/2 Stefan Kanev <stefan...@gmail.com> On 24/12/13, cutthroat wrote: > Наскоро се
unread,
Finite Calculus: A Tutorial for Solving Nasty Sums
2014/1/2 Stefan Kanev <stefan...@gmail.com> On 24/12/13, cutthroat wrote: > Наскоро се
1/2/14
Slavomir Kaslev
12/31/13
Through the prism
Няколко лекции за "the real world": http://www.youtube.com/watch?v=9CrkhTM5Fks http://www.
unread,
Through the prism
Няколко лекции за "the real world": http://www.youtube.com/watch?v=9CrkhTM5Fks http://www.
12/31/13
Stefan Kanev
, …
Iskren Chernev
18
12/25/13
Задача
И аз стигнах до същите изводи, които и Искрен, (без това за $(1 + \epsilon)^{\sqrt n}$), но наистина,
unread,
Задача
И аз стигнах до същите изводи, които и Искрен, (без това за $(1 + \epsilon)^{\sqrt n}$), но наистина,
12/25/13
Krasimir Angelov
,
Stefan Kanev
2
12/24/13
За истинските програмисти
:+1: On Mon, Dec 23, 2013 at 2:15 PM, Krasimir Angelov <kr.an...@gmail.com> wrote: Нещо
unread,
За истинските програмисти
:+1: On Mon, Dec 23, 2013 at 2:15 PM, Krasimir Angelov <kr.an...@gmail.com> wrote: Нещо
12/24/13
Slavomir Kaslev
, …
Iskren Chernev
4
12/17/13
acko.net
За всяка смислена употреба asm.js е твърде бавно за да работи без оптимизации. А щом има оптимизации
unread,
acko.net
За всяка смислена употреба asm.js е твърде бавно за да работи без оптимизации. А щом има оптимизации
12/17/13
Slavomir Kaslev
12/17/13
Can a mold be more intelligent than a TV host
http://www.youtube.com/watch?v=Eas2zOSKIaQ Мнения? :) -- Slavomir Kaslev
unread,
Can a mold be more intelligent than a TV host
http://www.youtube.com/watch?v=Eas2zOSKIaQ Мнения? :) -- Slavomir Kaslev
12/17/13
Slavomir Kaslev
12/16/13
Feynman Lectures on Physics online
Първи и трети том от лекциите на Файнман са достъпни безплатно на www.feynmanlectures.caltech.edu.
unread,
Feynman Lectures on Physics online
Първи и трети том от лекциите на Файнман са достъпни безплатно на www.feynmanlectures.caltech.edu.
12/16/13
Slavomir Kaslev
, …
cutthroat
38
12/14/13
Birds and Frogs
14 декември 2013, събота, 17:47:51 UTC+1, Boyko Bantchev написа: Ясно се казва, че става дума за
unread,
Birds and Frogs
14 декември 2013, събота, 17:47:51 UTC+1, Boyko Bantchev написа: Ясно се казва, че става дума за
12/14/13
Slavomir Kaslev
, …
cutthroat
51
12/12/13
Homotopy Type Theory and Univalent Foundations
On Mon, Dec 9, 2013 at 9:50 AM, cutthroat <silent.c...@gmail.com> wrote: Курс по HOTT от
unread,
Homotopy Type Theory and Univalent Foundations
On Mon, Dec 9, 2013 at 9:50 AM, cutthroat <silent.c...@gmail.com> wrote: Курс по HOTT от
12/12/13
Stefan Kanev
,
Boyko Bantchev
2
12/8/13
Single- vs. double- spaced
Аз не разчитам много на подразбиране, но така или инак обикновено м/у изречения слагам по два
unread,
Single- vs. double- spaced
Аз не разчитам много на подразбиране, но така или инак обикновено м/у изречения слагам по два
12/8/13
Stefan Kanev
,
Boyko Bantchev
2
12/7/13
Typed Clojure
> Някой обръщал ли е внимание на Typed Clojure[1]? Още се чудя какво да мисля > по въпроса. Май
unread,
Typed Clojure
> Някой обръщал ли е внимание на Typed Clojure[1]? Още се чудя какво да мисля > по въпроса. Май
12/7/13
Nikolay Bachiyski
,
Boyko Bantchev
2
11/20/13
Acme editor
> Днес случайно си припомних редактора Acme: > ........... Кокс сега е в Гугъл и заедно с Пайк
unread,
Acme editor
> Днес случайно си припомних редактора Acme: > ........... Кокс сега е в Гугъл и заедно с Пайк
11/20/13
Slavomir Kaslev
9/27/13
Strange Loop 2013 slides
https://github.com/strangeloop/StrangeLoop2013/tree/master/slides/sessions Ruby, Scala, Java, Go,
unread,
Strange Loop 2013 slides
https://github.com/strangeloop/StrangeLoop2013/tree/master/slides/sessions Ruby, Scala, Java, Go,
9/27/13
cutthroat
, …
Slavomir Kaslev
5
9/19/13
Алън Кей отново
2013/9/14 Nikola Yolov <nikol...@gmail.com> Алгебрата и геометрията са безспорно полезни
unread,
Алън Кей отново
2013/9/14 Nikola Yolov <nikol...@gmail.com> Алгебрата и геометрията са безспорно полезни
9/19/13
Krasimir Angelov
9/12/13
RHex
ходи, катери се и подскача: http://www.upenn.edu/spotlights/robot-jumps-flips-and-does-pull-ups
unread,
RHex
ходи, катери се и подскача: http://www.upenn.edu/spotlights/robot-jumps-flips-and-does-pull-ups
9/12/13