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