Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-04-03

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
10:57 silver joined #isabelle
12:52 larsrh tfw pruvisto submits his 20th AFP entry
12:52 pruvisto I wonder if I get a ceremony or something. Or a cake.
13:52 JCaesar Gneh, and i'm only working on the 4th…
14:38 pruvisto JCaesar: to be fair, you're not paid to work on this stuff full-time
14:38 pruvisto And your name is attached to 5 entries atm
14:38 JCaesar Not as first author, though…
14:39 JCaesar And well, you're not paid to fully work on only that, either.
14:41 larsrh joined #isabelle
14:48 pruvisto JCaesar: well, yes, but everything I do work on should eventually become an AFP entry
14:48 pruvisto and to be fair, most of my entries are faily small (~1 kLOC or less)
16:44 ammbauer pruvisto: well… is there going to be cake?
17:04 pruvisto We'll see
17:04 pruvisto first I have to actually hand in the entry
18:12 ertesx joined #isabelle
22:07 silver joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary