imode

Activity Graph

Page 1 of 3 | Next »

2018-04-16

[08:51:21] imode: Ping timeout: 264 seconds
[18:40:20] imode: has joined #ruby
[19:51:32] imode: Quit: WeeChat 2.1

2018-04-15

[07:57:02] imode: Ping timeout: 265 seconds
[08:52:43] imode: has joined #ruby
[08:56:59] imode: Ping timeout: 260 seconds
[16:37:04] imode: has joined #ruby

2018-04-14

[01:50:33] imode: has joined #ruby
[03:16:01] imode: Quit: WeeChat 2.1
[03:19:45] imode: has joined #ruby
[05:16:14] imode: Ping timeout: 265 seconds
[05:21:17] imode: has joined #ruby
[05:51:21] imode: Ping timeout: 264 seconds
[16:57:57] imode: has joined #ruby
[18:42:21] imode: Ping timeout: 264 seconds
[18:55:40] imode: has joined #ruby
[20:27:05] imode: Ping timeout: 268 seconds
[23:17:04] imode: has joined #ruby

2018-04-13

[02:53:13] imode: has joined #ruby
[07:33:05] imode: Ping timeout: 240 seconds
[13:07:24] imode: has joined #ruby
[14:16:09] imode: Ping timeout: 260 seconds
[14:28:18] imode: has joined #ruby
[14:54:10] imode: Ping timeout: 268 seconds
[15:24:03] imode: has joined #ruby
[17:11:33] imode: Ping timeout: 256 seconds
[17:16:41] imode: has joined #ruby
[18:39:48] imode: Ping timeout: 276 seconds
[19:58:29] imode: has joined #ruby
[21:51:27] imode: Ping timeout: 245 seconds
[22:07:50] imode: has joined #ruby
[22:37:14] imode: Ping timeout: 260 seconds
[23:04:33] imode: has joined #ruby
[23:59:33] imode: Ping timeout: 256 seconds

2018-04-12

[07:14:09] imode: Ping timeout: 260 seconds
[17:39:05] imode: has joined #ruby
[19:20:24] imode: Ping timeout: 260 seconds

2018-04-11

[06:45:35] imode: Ping timeout: 256 seconds
[22:29:59] imode: has joined #ruby
[23:30:24] imode: Ping timeout: 260 seconds
[23:58:17] imode: has joined #ruby

2018-04-10

[08:46:52] imode: Ping timeout: 260 seconds
[13:15:37] imode: has joined #ruby
[14:01:35] imode: Ping timeout: 240 seconds
[14:31:14] imode: has joined #ruby
[15:47:52] imode: Ping timeout: 256 seconds
[17:15:29] imode: has joined #ruby
[17:47:44] imode: Ping timeout: 260 seconds
[18:10:13] imode: has joined #ruby

2018-04-09

[03:04:19] imode: Ping timeout: 260 seconds
[04:14:11] imode: has joined #ruby
[08:51:35] imode: Ping timeout: 256 seconds
[19:28:05] imode: has joined #ruby

2018-04-08

[10:25:38] imode: Ping timeout: 255 seconds
[16:52:47] imode: has joined #ruby

2018-04-07

[07:26:47] imode: Ping timeout: 260 seconds
[16:19:37] imode: has joined #ruby
[20:45:57] imode: Ping timeout: 240 seconds
[21:24:05] imode: has joined #ruby

2018-04-06

[04:23:16] imode: Ping timeout: 268 seconds
[05:13:27] imode: has joined #ruby
[08:58:49] imode: Ping timeout: 260 seconds
[18:23:00] imode: has joined #ruby

2018-04-05

[04:17:49] imode: Ping timeout: 268 seconds
[04:18:25] imode: has joined #ruby
[06:49:27] imode: Ping timeout: 240 seconds
[07:58:36] imode: has joined #ruby
[08:54:11] imode: Ping timeout: 276 seconds
[19:44:35] imode: has joined #ruby

2018-04-04

[08:46:38] imode: Ping timeout: 276 seconds
[17:30:20] imode: has joined #ruby
[22:43:17] imode: term rewriting is even better
[22:43:31] imode: rule tables!
[22:44:16] imode: ULC is just a specific type of term rewriting system, which is just a glorified delimited string rewriting system, which is equivalent to a post canonical system with a specified ruleset, which is a string rewriting system.
[22:46:01] imode: once you get to post systems, you'll never look back.
[22:46:08] imode: http://www.freefour.com/rewriting-as-a-computational-paradigm/
[22:49:26] imode: define evaluation relation?
[22:49:58] imode: something like a(b) = b(a)?
[22:50:08] imode: it's not that different at all.
[22:51:05] imode: can you give me an example of an evaluation relation?
[22:53:46] imode: yeah a set of rewrite rules.
[22:54:11] imode: and `pred s(n) -> n`
[22:55:36] imode: you build up type inference from a set of untyped rewrite rules.
[23:01:58] imode: it doesn't _really_, which is cool. you can build a full type system in an untyped rewriting system like this.
[23:02:30] imode: which is just a string rewriting system with a few wildcard rules...
[23:02:35] imode: and some delimiters.
[23:02:48] imode: hilbert would be proud. :P

2018-03-28

[09:47:46] imode: Ping timeout: 268 seconds
[19:14:58] imode: has joined #ruby

2018-03-27

[07:31:51] imode: Ping timeout: 265 seconds
[17:26:09] imode: has joined #ruby

2018-03-26

[08:29:14] imode: Ping timeout: 260 seconds
[17:40:10] imode: has joined #ruby

2018-03-25

[05:34:44] imode: has joined #ruby
[07:07:07] imode: Ping timeout: 256 seconds
[16:34:56] imode: has joined #ruby
[18:20:35] imode: Ping timeout: 276 seconds
[18:33:29] imode: has joined #ruby
[18:53:44] imode: Ping timeout: 260 seconds
[19:15:11] imode: has joined #ruby
[21:19:33] imode: Ping timeout: 264 seconds
[23:13:23] imode: has joined #ruby

2018-03-21

[04:03:09] imode: Ping timeout: 260 seconds
[04:29:18] imode: has joined #ruby
[04:36:33] imode: Ping timeout: 246 seconds
[06:05:54] imode: has joined #ruby
[07:17:09] imode: Ping timeout: 256 seconds
[11:49:23] imode: has joined #ruby
[14:11:45] imode: Ping timeout: 263 seconds
[14:27:21] imode: has joined #ruby
[14:57:57] imode: Ping timeout: 264 seconds
[15:18:07] imode: has joined #ruby
[15:33:05] imode: Ping timeout: 240 seconds
[19:08:11] imode: has joined #ruby
[19:31:30] imode: Quit: WeeChat 2.0.1

2018-03-20

[07:11:01] imode: Ping timeout: 256 seconds
[16:05:32] imode: has joined #ruby

2018-03-19

[11:50:29] imode: Ping timeout: 256 seconds
[16:37:24] imode: has joined #ruby

2018-03-18

[00:20:57] imode: has joined #ruby
[06:59:45] imode: Ping timeout: 264 seconds
[17:30:54] imode: has joined #ruby

2018-03-17

[00:25:57] imode: Ping timeout: 240 seconds
[01:16:38] imode: has joined #ruby
[07:32:45] imode: Ping timeout: 264 seconds
[18:40:09] imode: has joined #ruby
[22:55:27] imode: Ping timeout: 240 seconds

2018-03-16

[01:35:45] imode: Ping timeout: 264 seconds
[02:26:27] imode: has joined #ruby
[07:06:49] imode: Ping timeout: 260 seconds
[16:30:45] imode: has joined #ruby

2018-03-15

[01:31:27] imode: Ping timeout: 240 seconds
[02:22:32] imode: has joined #ruby
[08:09:24] imode: Ping timeout: 276 seconds
[14:27:28] imode: has joined #ruby

2018-03-14

[09:20:34] imode: Ping timeout: 268 seconds
[17:06:19] imode: has joined #ruby

2018-03-13

[06:53:35] imode: Ping timeout: 240 seconds
[17:59:35] imode: has joined #ruby

2018-03-12

[08:25:34] imode: Ping timeout: 264 seconds
[16:22:16] imode: has joined #ruby

2018-03-11

[09:31:35] imode: Ping timeout: 240 seconds
[18:43:40] imode: has joined #ruby

2018-03-10

[02:32:04] imode: Quit: WeeChat 2.0.1
[02:32:28] imode: has joined #ruby
[10:03:49] imode: Ping timeout: 260 seconds
[17:20:45] imode: has joined #ruby

2018-03-09

[20:39:22] imode: has joined #ruby

2018-01-25

[09:06:08] imode: Ping timeout: 248 seconds

2018-01-24

[12:36:47] imode: Ping timeout: 276 seconds
[17:47:58] imode: has joined #ruby

2018-01-23

[02:15:58] imode: has joined #ruby
[10:39:26] imode: Ping timeout: 255 seconds
[20:57:06] imode: has joined #ruby

2018-01-22

[10:04:02] imode: Ping timeout: 265 seconds
[18:19:26] imode: has joined #ruby
[20:28:38] imode: Ping timeout: 255 seconds

2018-01-21

[01:02:58] imode: has joined #ruby
[12:33:12] imode: Ping timeout: 246 seconds
[19:36:23] imode: has joined #ruby

2018-01-20

[11:40:29] imode: Ping timeout: 276 seconds
[19:48:25] imode: has joined #ruby
[22:45:06] imode: Ping timeout: 265 seconds

2018-01-19

[10:07:47] imode: Ping timeout: 256 seconds
[19:44:36] imode: has joined #ruby

2018-01-18

[11:45:38] imode: Ping timeout: 276 seconds
[20:25:20] imode: has joined #ruby

2018-01-17

[11:39:44] imode: Ping timeout: 255 seconds
[20:00:49] imode: has joined #ruby

2018-01-16

[03:50:11] imode: has joined #ruby
[08:57:02] imode: Ping timeout: 276 seconds
[20:30:10] imode: has joined #ruby

2017-11-17

[00:19:56] imode: has joined #ruby
[09:53:45] imode: Ping timeout: 250 seconds
[18:18:29] imode: has joined #ruby
[21:35:32] imode: Ping timeout: 240 seconds

2017-11-16

[00:45:53] imode: has joined #ruby
[03:56:15] imode: Ping timeout: 248 seconds
[04:11:17] imode: has joined #ruby
[04:18:39] imode: Ping timeout: 248 seconds
[04:42:06] imode: has joined #ruby
[09:40:12] imode: Ping timeout: 240 seconds
[19:10:42] imode: has joined #ruby
[21:48:48] imode: Ping timeout: 240 seconds

2017-11-15

[03:48:37] imode: has joined #ruby
[07:32:59] imode: Ping timeout: 250 seconds
[18:10:21] imode: has joined #ruby
[22:41:50] imode: Ping timeout: 255 seconds

2017-11-13

[10:44:32] imode: Ping timeout: 240 seconds
[19:40:05] imode: has joined #ruby
[21:25:51] imode: Ping timeout: 240 seconds
[21:31:54] imode: has joined #ruby
[23:30:52] imode: Ping timeout: 240 seconds

2017-11-12

[03:05:48] imode: Ping timeout: 240 seconds
[08:10:47] imode: has joined #ruby
[09:38:52] imode: Ping timeout: 240 seconds
[17:39:20] imode: has joined #ruby

2017-11-11

[09:27:32] imode: Ping timeout: 240 seconds
[19:55:41] imode: has joined #ruby

2017-11-10

[03:05:04] imode: has joined #ruby
[08:41:05] imode: Ping timeout: 248 seconds
[17:51:24] imode: has joined #ruby

2017-11-09

[02:34:25] imode: has joined #ruby
[03:32:05] imode: Ping timeout: 268 seconds
[04:48:43] imode: has joined #ruby
[06:22:53] imode: *.net *.split
[06:29:03] imode: has joined #ruby
[07:48:32] imode: Ping timeout: 252 seconds
[17:30:20] imode: has joined #ruby
[22:45:47] imode: Ping timeout: 250 seconds

2017-11-07

[01:20:43] imode: has joined #ruby
[09:13:34] imode: Ping timeout: 264 seconds
[17:32:07] imode: has joined #ruby
[18:41:38] imode: Ping timeout: 258 seconds
[20:12:44] imode: has joined #ruby
[22:13:34] imode: Ping timeout: 264 seconds

2017-11-06

[04:27:57] imode: Ping timeout: 240 seconds

2017-11-05

[10:29:32] imode: Ping timeout: 252 seconds
[20:21:48] imode: has joined #ruby

2017-11-04

[09:37:20] imode: Ping timeout: 246 seconds
[17:08:13] imode: has joined #ruby

2017-11-03

[09:38:08] imode: Ping timeout: 246 seconds
[19:43:38] imode: has joined #ruby
[20:36:58] imode: Ping timeout: 264 seconds
[23:12:13] imode: has joined #ruby

2017-11-02

[15:51:43] imode: has joined #ruby
[17:17:09] imode: Ping timeout: 258 seconds
[18:55:47] imode: has joined #ruby

2017-11-01

[06:58:21] imode: has joined #ruby
[08:04:35] imode: Ping timeout: 240 seconds
[19:32:19] imode: has joined #ruby
[21:51:28] imode: Ping timeout: 240 seconds

2017-10-31

[07:53:11] imode: Ping timeout: 255 seconds
[17:11:49] imode: has joined #ruby
[19:19:25] imode: Ping timeout: 255 seconds

2017-10-30

[09:05:46] imode: Ping timeout: 264 seconds
[16:16:39] imode: has joined #ruby
[17:50:48] imode: Ping timeout: 240 seconds
[18:22:43] imode: has joined #ruby

2017-10-29

[09:05:48] imode: Ping timeout: 240 seconds
[17:58:09] imode: has joined #ruby

2017-10-28

[04:11:44] imode: has joined #ruby
[09:37:48] imode: Ping timeout: 240 seconds
[19:41:32] imode: has joined #ruby

2017-10-27

[06:09:38] imode: has joined #ruby
[08:45:50] imode: Ping timeout: 258 seconds
[18:38:45] imode: has joined #ruby
[19:12:09] imode: Ping timeout: 255 seconds
[19:12:34] imode: has joined #ruby
[19:26:45] imode: Ping timeout: 246 seconds