!rxYdzRwbsFXVxmTHXG:matrix.org

Functional Programming Channel

11 Members
IO considered harmful1 Servers

Load older messages


Timestamp Message
21 Dec 2018
16:55:41@tauoverpi:matrix.orgLevyChung-chieh Shan 單シャン中ジョン杰 http://homes.sice.indiana.edu/ccshan/
17:05:48@tauoverpi:matrix.orgLevyConversations with a six-year-old on functional programming https://byorgey.wordpress.com/2018/05/06/conversations-with-a-six-year-old-on-functional-programming/
18:14:43@tauoverpi:matrix.orgLevy changed the room topic to "IO considered harmful" from "Functional Programming Channel".
18:14:43@tauoverpi:matrix.orgLevy changed the room name to "Functional Programming Channel" from "FPC".
18:29:06@tauoverpi:matrix.orgLevyGraphical Linear Algebra https://graphicallinearalgebra.net/
25 Dec 2018
01:24:09@tauoverpi:matrix.orgLevyProgram Reduction: A Win for Recursion Scheme http://newartisans.com/2018/04/win-for-recursion-schemes/
27 Dec 2018
12:50:39@spherinder:matrix.orgspherinder joined the room.
14:38:15@spherinder:matrix.orgspherinder set a profile picture.
14:39:50@spherinder:matrix.orgspherinder changed their profile picture.
15:47:59@spherinder:matrix.orgspherinder changed their profile picture.
15:48:00@spherinder:matrix.orgspherinder removed their profile picture.
15:48:27@spherinder:matrix.orgspherinder set a profile picture.
15:59:30@spherinder:matrix.orgspherinder changed their display name from spherinder to test.
15:59:36@spherinder:matrix.orgspherinder changed their display name from test to spherinder.
28 Dec 2018
18:12:02@tauoverpi:matrix.orgLevy Programming and reasoning with algebraic effects and dependent types
http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf
1 Jan 2019
13:20:13@tauoverpi:matrix.orgLevy Static Single Assignment Book
http://ssabook.gforge.inria.fr/latest/book.pdf
4 Jan 2019
05:26:16@tauoverpi:matrix.orgLevyChecking Dependent Types with Normalization by Evaluation: A Tutorial http://www.davidchristiansen.dk/tutorials/nbe/
20 Jan 2019
22:57:16@tauoverpi:matrix.orgLevyDatatype-generic Programming in Haskell - of Andres Löh https://www.andres-loeh.de/DGP-Intro.pdf
23:06:12@tauoverpi:matrix.orgLevyCooking Classes with Datatype Generic Programming http://www.stephendiehl.com/posts/generics.html
23 Jan 2019
12:28:01@n003h4x0r:matrix.org@n003h4x0r:matrix.org left the room.
25 Jan 2019
14:44:57@aecepoglu:matrix.org@aecepoglu:matrix.org joined the room.
14:58:59@aecepoglu:matrix.org@aecepoglu:matrix.org left the room.
14:59:12@aecepoglu:matrix.org@aecepoglu:matrix.org joined the room.
15:01:05@aecepoglu:matrix.org@aecepoglu:matrix.org set a profile picture.
29 Jan 2019
20:39:15@aecepoglu:matrix.org@aecepoglu:matrix.org left the room.
30 Jan 2019
05:46:45@duckydubs:matrix.orgBanarto Cat set their display name to Banarto Cat.
05:46:50@duckydubs:matrix.orgBanarto Cat changed their profile picture.
10 Feb 2019
15:52:21@tauoverpi:matrix.orgLevyIntroduction to Statistical and Relational Learning http://www.cs.umd.edu/srl-book/
15:52:41@tauoverpi:matrix.orgLevyProbabilistic Inductive Logic Programming http://people.csail.mit.edu/kersting/ecmlpkdd05_pilp/pilp.pdf
15:53:04@tauoverpi:matrix.orgLevyThat's the PRISM that stands for Programming In Statistical modelling http://rjida.meijo-u.ac.jp/prism/

There are no newer messages yet.


Back to Room List