!rxYdzRwbsFXVxmTHXG:matrix.org

Functional Programming Channel

59 Members
IO considered harmful7 Servers

Load older messages


SenderMessageTime
1 Jan 2019
@tauoverpi:matrix.org@tauoverpi:matrix.org Static Single Assignment Book
http://ssabook.gforge.inria.fr/latest/book.pdf
13:20:13
4 Jan 2019
@tauoverpi:matrix.org@tauoverpi:matrix.orgChecking Dependent Types with Normalization by Evaluation: A Tutorial http://www.davidchristiansen.dk/tutorials/nbe/05:26:16
20 Jan 2019
@tauoverpi:matrix.org@tauoverpi:matrix.orgDatatype-generic Programming in Haskell - of Andres Löh https://www.andres-loeh.de/DGP-Intro.pdf22:57:16
@tauoverpi:matrix.org@tauoverpi:matrix.orgCooking Classes with Datatype Generic Programming http://www.stephendiehl.com/posts/generics.html23:06:12
23 Jan 2019
@n003h4x0r:matrix.org@n003h4x0r:matrix.org left the room.12:28:01
25 Jan 2019
@aecepoglu:matrix.org@aecepoglu:matrix.org joined the room.14:44:57
@aecepoglu:matrix.org@aecepoglu:matrix.org left the room.14:58:59
@aecepoglu:matrix.org@aecepoglu:matrix.org joined the room.14:59:12
@aecepoglu:matrix.org@aecepoglu:matrix.org set a profile picture.15:01:05
29 Jan 2019
@aecepoglu:matrix.org@aecepoglu:matrix.org left the room.20:39:15
30 Jan 2019
@duckydubs:matrix.org@duckydubs:matrix.org joined the room.05:46:45
@duckydubs:matrix.org@duckydubs:matrix.org joined the room.05:46:50
10 Feb 2019
@tauoverpi:matrix.org@tauoverpi:matrix.orgIntroduction to Statistical and Relational Learning http://www.cs.umd.edu/srl-book/15:52:21
@tauoverpi:matrix.org@tauoverpi:matrix.orgProbabilistic Inductive Logic Programming http://people.csail.mit.edu/kersting/ecmlpkdd05_pilp/pilp.pdf15:52:41
@tauoverpi:matrix.org@tauoverpi:matrix.orgThat'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@tauoverpi:matrix.org changed their profile picture.22:16:53
4 Mar 2019
@apurvapavaskar:matrix.orgD5h4d0w changed their display name from k0d3fr34k to D5h4d0w.07:54:55
14 Mar 2019
@tauoverpi:matrix.org@tauoverpi:matrix.org changed their profile picture.03:15:06
28 Mar 2019
@gnu-jager:matrix.org@gnu-jager:matrix.org changed their profile picture.22:52:23
31 Mar 2019
@gnu-jager:matrix.org@gnu-jager:matrix.org changed their profile picture.04:08:04
7 Apr 2019
@gnu-jager:matrix.org@gnu-jager:matrix.org changed their profile picture.20:59:44
13 Apr 2019
@duckydubs:matrix.org@duckydubs:matrix.org joined the room.02:58:31
@gnu-jager:matrix.org@gnu-jager:matrix.org changed their display name from gnu-jager to GNU-Jägēr.03:18:03
14 Apr 2019
@yersiniapestis:matrix.orgyersiniapestis joined the room.18:15:19
17 Apr 2019
@tauoverpi:matrix.org@tauoverpi:matrix.org invited @tauoverpi:tedomum.netLevy[T].23:17:17
@tauoverpi:tedomum.netLevy[T] joined the room.23:17:40
@tauoverpi:matrix.org@tauoverpi:matrix.orgchanged room power levels.23:18:02
@tauoverpi:tedomum.netLevy[T] Build Your Own (Cross-) Assembler....in Forth
https://www.bradrodriguez.com/papers/tcjassem.txt
23:19:11
@voyager:t2bot.ioMatrix Traveler (bot) joined the room.23:30:59
@tekacity:tedomum.netTekka joined the room.23:36:26

Show newer messages


Back to Room ListRoom Version: 1