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 |
22 Feb 2019 |
| @tauoverpi:matrix.org changed their profile picture. | 22:16:53 |
4 Mar 2019 |
| D5h4d0w changed their display name from k0d3fr34k to D5h4d0w. | 07:54:55 |
14 Mar 2019 |
| @tauoverpi:matrix.org changed their profile picture. | 03:15:06 |
28 Mar 2019 |
| @gnu-jager:matrix.org changed their profile picture. | 22:52:23 |
31 Mar 2019 |
| @gnu-jager:matrix.org changed their profile picture. | 04:08:04 |
7 Apr 2019 |
| @gnu-jager:matrix.org changed their profile picture. | 20:59:44 |
13 Apr 2019 |
| @duckydubs:matrix.org joined the room. | 02:58:31 |
| @gnu-jager:matrix.org changed their display name from gnu-jager to GNU-Jägēr. | 03:18:03 |
14 Apr 2019 |
| yersiniapestis joined the room. | 18:15:19 |
17 Apr 2019 |
| @tauoverpi:matrix.org invited Levy[T]. | 23:17:17 |
| Levy[T] joined the room. | 23:17:40 |
| @tauoverpi:matrix.orgchanged room power levels. | 23:18:02 |
Levy[T] | Build Your Own (Cross-) Assembler....in Forth https://www.bradrodriguez.com/papers/tcjassem.txt | 23:19:11 |
| Matrix Traveler (bot) joined the room. | 23:30:59 |
| Tekka joined the room. | 23:36:26 |