Search
Saturday, 7th of December 2019, 1:32:49 UTC
7:24:02
beach
Good morning everyone!
7:26:04
ck_
good morning beach. So, you didn't receive 0x10 $ for that observation?:)
7:28:12
beach
Oh, the Metafont one?
7:28:25
ck_
yes, the documentation syntax discrepancy
7:28:25
beach
I probably would have if I had emailed him.
7:28:52
beach
It didn't seem important enough.
7:31:20
ck_
it didn't seem that way because it isn't :) I was just making conversation.
7:33:03
beach
Sure. And I was just making conversation with him. He was standing by himself in a big room with all my colleagues present.
7:33:22
beach
I guess they were embarrassed because of their bad English.
7:33:44
beach
So I decided to talk to him.
7:35:33
ck_
gracious of you -- so it's still a thing with the french and their languages?
7:35:54
beach
Not nearly as much as it used to be.
7:36:26
beach
The people in the young generation apparently learn English from video games.
7:37:24
beach
Not to me. I am just telling you what I have been told.
7:38:10
beach
All I do myself is an occasional sudoku, and I don't see how that teaches me any English.
7:38:20
ck_
Okay it depends on what we mean by 'learn' -- but from my experience the school-taught version of english for example is just horrible
7:38:48
beach
It was true in Sweden when I was in school as well.
7:38:50
ck_
so popular culture, and video games as part of that, serve that purpose better
7:39:06
beach
It seems that way, yes.
7:40:58
ck_
and that's what I meant by "makes sense".
7:42:33
ck_
Anyway. I'm thinking about whether or not I should plan to attend ELS next year. What do you say?
7:42:56
beach
You definitely should.
7:43:35
beach
It's a great conference.
7:43:40
ck_
Wow, that's a pretty strong yes.
7:44:16
beach
100 or so participants. Many of which you know from IRC. And others that you have heard of.
7:44:21
ck_
Aah. I didn't question that -- it was more of a "should _i_ be there", "do I even qualify" type of question
7:44:50
beach
There is this widespread idea that conferences are about the papers, the talks, the research, etc.
7:45:19
beach
It's all about meeting people, talking to them during the breaks, getting to know them.
7:45:23
ck_
building a community, I understand. It's that way with mathematics as well.
7:46:49
beach
You will meet jackdaniel, fe[nl]ix, Xof, heisig, ioa, Didier Verna, Jim Newton, perhaps even loke.
7:46:58
beach
And many more of course.
7:48:21
ck_
all right you've convinced me. I'll see about transportation and so on
7:49:04
beach
You could give a lightning talk if you want.
7:49:29
ck_
I got nothing to talk about
7:49:52
beach
Your implementation of float read/write?
7:50:26
beach
Definitely worth 5 minutes.
7:50:33
ck_
just write. well I ported some c code -- that's not interesting is it
7:51:35
beach
If you do it the first day, more people will recognize you the second day.
7:52:08
beach
Oh, and phoe will be there this time I think.
7:52:16
jackdaniel
ck_: me and my wife are going every year (4 times already) as a form of holiday to els (last year was skipped due to a new member of the family), we come a few days before and stay a few days after the symposium
7:53:13
beach
ck_: And we try to invite jackdaniel and his wife for dinner if at all practical.
7:53:43
jackdaniel
that's true, last time we were in Malaga to see the flamenco performance
7:53:47
ck_
okay I'll think about it. Maybe if you'll let me test-drive it for you before.
7:54:00
beach
jackdaniel: That was a great one.
7:54:23
ck_
It's not like I never speak in front of people, but I'm unsure about this audience
7:54:44
beach
ck_: It is very laid-back.
7:58:34
jackdaniel
beach: do you have a precompiled cleavir ir documentation on metamodular?
7:58:37
ck_
If I can find the time to prepare something I'll ask you to look it over, then possibly submit it. Maybe over the christmas break. Would you do that?
7:59:23
jackdaniel
http://metamodular.com/cleavir.pdf yields nothing
8:00:16
beach
jackdaniel: I'll make you one. Hold on...
8:00:44
jackdaniel
thank you, I'm usually lost when it comes to installing tex dependencies
8:01:18
beach
metamodular.com/SICL/cleavir.pdf should work.
8:01:40
jackdaniel
it works, thanks again
8:02:47
beach
It is very likely incomplete.
8:02:57
beach
If you need anything, just ask.
8:03:26
jackdaniel
I'm at a point where I'm analyzing ECL's IR and I want to compare it with cleavir's
8:04:04
no-defun-allowed
(Small thing I noticed, should the example implementations of RPLACA/D have CONS instead of (OR CONS NULL) as the expected type?)
8:05:11
beach
Where did you see it?
8:05:39
no-defun-allowed
Pages 8 and 9 of that Cleavir book.
8:06:03
jackdaniel
in the code example `:expected-type `(or cons null)'
8:06:31
beach
Ah, yes, I see it. Thanks.
8:10:31
beach
ck_: Sure. A paper is a lot harder than a lightning talk though.
8:10:43
beach
ck_: A lightning talk does not have to be submitted.
8:11:03
ck_
beach: oh I didn't know that. And I meant a couple of slides, not a paper.
8:11:36
beach
For a lightning talk, you just announce it to Didier when you get there.
8:11:48
beach
But I'll be happy to look at the slides.
10:30:09
jackdaniel
beach: what you might find interesting ECL compiler c1forms resemble very closely concrete syntax tree as described in cleavir document (they serve more purposses additionaly though)
10:41:17
beach
Interesting. I'll have a look. Thanks for letting me know.
13:27:52
beach
jackdaniel: I see what you mean. Though c1forms seem to be created by the compiler as opposed to being consumed by it.
13:30:47
jackdaniel
beach: yes, in cleavir/eclector things are finely separted, in ecl many things are interwinded
13:31:57
jackdaniel
c1form also serves a purpose of ast and ir (and representation is pretty simplistic)
13:32:10
beach
Yes, I noticed information like that.
Saturday, 7th of December 2019, 13:32:49 UTC