(Rat:D, Int:D); none of these signatures match:␤ (Int:D \a, Int:D \b --> Int:D)␤ (int $a, int $b --> int)␤ in…» [12:14] m: (1.5 div 1).perl.say; A bit curious, Why will (1.5 div 1) returns the 0.5? [12:14] rakudo-moar b0dd44b00: OUTPUT: «5===SORRY!5=== Error while compiling ␤Two terms in a row␤at :1␤------> 3ay; A bit curious, Why will (1.5 div 1)7⏏5 returns the 0.5?␤ expecting any of:␤ infix␤ infix stopper␤ postfix␤ …» [12:14] (1.5 div 1).perl.say; A bit curious, Why will (1.5 div 1) returns the 0.5? [12:14] m: (3 div 2).perl.say; [12:14] rakudo-moar b0dd44b00: OUTPUT: «1␤» [12:15] With integer, it worked, Why doesn't it work with floating numbers? [12:15] i'll be running a fedora distro upgrade, which could take a little while. kawaii, you'll have to find someone to do the uploads; sena_kun can give away access and perhaps tell you who already has access to do the uploads [12:16] no problem, I'll come and be annoying later when I'm ready to do all that! :D [12:16] xinming: div is an operator that explicitly coerces to integer [12:16] * sena_kun agrees with timotimo [12:16] *** kensanata joined [12:16] kawaii, just ping me anytime you are fancy [12:17] masak: I've just learned that you can implement lambda calculus in mediawiki templates [12:18] moritz: I know it coerces to integer, I'm just curious why we don't have the Num version for it. [12:18] the design purpose [12:18] "total download size: 5.7G" - probably cutting it a bit close with only 6.02G free on the hard drive ... [12:19] What I do for now is $x - Int($x / 2) to get the remainder. [12:19] But we have div already, I'm just curious why don't we have that support the Number. [12:19] The decision behind it. [12:20] why not use % for getting remainders? [12:22] xinming: div is supposed to work like the native integer division that processors have [12:22] *** gregf_ joined [12:23] *** AlexDani` is now known as AlexDaniel [12:23] *** AlexDaniel left [12:23] *** AlexDaniel joined [12:24] if you put two floats into %, you get the closest equivalent to div [12:24] works in the type you want, does a modulo [12:25] timotimo: Not remainder, I need the Int($x / 2) part [12:25] raschipi: Thanks, That clear my confusion. [12:26] m: (5 % 3) [12:26] rakudo-moar b0dd44b00: OUTPUT: «WARNINGS for :␤Useless use of "%" in expression "5 % 3" in sink context (line 1)␤» [12:26] m: (5 % 3).perl.say; [12:26] rakudo-moar b0dd44b00: OUTPUT: «2␤» [12:26] *** domidumont1 joined [12:29] *** Kaiepi joined [12:30] *** domidumont left [12:30] m: for (1, 1.5, 2, 3.1, 3.2, 3.3) X (1, 2, 2.5, 3, 3.5, 0.1, 0.5) -> ($a, $b) { my $one = Int($a / $b); my $two = $a div $b; say "$a / $b: $one, $two" unless $one == $two } [12:30] rakudo-moar b0dd44b00: OUTPUT: «Cannot resolve caller infix:

(Int:D, Rat:D); none of these signatures match:␤ (Int:D \a, Int:D \b --> Int:D)␤ (int $a, int $b --> int)␤ in block at line 1␤␤» [12:30] oh? [12:32] *** ravenousmoose left [12:32] *** ravenousmoose_ joined [12:35] At least 3996MB more space needed on the / filesystem. [12:35] bleeeehhhh [12:37] that fits on a USB stick :-) [12:41] i just have to find some stuff that i can move over sensibly [12:44] *** yqt left [12:46] *** woolfy left [12:47] timotimo: time for zfs? :D [12:47] *** lizmat left [12:47] or is your entire disk overflowing [12:47] it's the entire disk [12:48] it's an SSD [12:48] not a big one [12:51] *** sno joined [12:53] BBL [13:00] *** Sgeo__ joined [13:03] *** Sgeo_ left [13:16] *** vrurg joined [13:18] *** raschipi left [13:29] *** Manifest0 left [13:35] *** Manifest0 joined [13:47] *** cgfbee left [13:48] *** Manifest0 left [13:49] *** molaf joined [13:51] *** ravenousmoose_ left [13:53] *** Manifest0 joined [13:53] *** ravenousmoose joined [13:53] *** cgfbee joined [13:59] *** bbkr left [14:04] *** zacts joined [14:10] ¦ doc: b117438b90 | Antonio++ | doc/Type/Range.pod6 [14:10] ¦ doc: EXISTS-POS method added #2739 [14:10] ¦ doc: review: https://github.com/perl6/doc/commit/b117438b90 [14:31] *** domidumont joined [14:34] *** domidumont1 left [14:35] *** kurahaupo_ left [14:35] *** kurahaupo joined [14:41] *** shadowpaste left [14:54] *** shadowpaste joined [14:57] *** shadowpaste left [14:58] *** shadowpaste joined [15:05] *** Sgeo_ joined [15:07] *** kotrcka left [15:07] *** Sgeo__ left [15:08] *** kotrcka joined [15:08] *** kensanata left [15:09] *** Possum left [15:09] *** Possum joined [15:20] *** lizmat joined [15:21] *** woolfy joined [15:29] *** domidumont1 joined [15:30] *** kktt joined [15:31] * lizmat clickbaits https://p6weekly.wordpress.com/2019/05/06/2019-17-18-three-months-to-riga/ [15:32] *** domidumont left [15:33] *** jmerelo joined [15:34] \o/ [15:38] twooot [15:41] ¦ doc: uzluisf++ created pull request #2772: Remove spaces around operators and reflow [15:41] ¦ doc: review: https://github.com/perl6/doc/pull/2772 [15:43] hey [15:43] ho [15:44] *** Sgeo__ joined [15:46] moritz: let's go. A few riffs more, and we got a Ramones' song. [15:47] *** Sgeo_ left [15:51] *** patrickb left [15:54] *** roguelazer left [15:56] *** roguelazer joined [15:57] *** mowcat joined [15:58] *** cpage_ joined [16:00] *** cpage left [16:00] *** cpage_ is now known as cpage [16:06] *** lucasb joined [16:25] *** sena_kun left [16:31] *** Sgeo_ joined [16:33] *** Sgeo joined [16:33] *** sena_kun joined [16:34] *** Sgeo__ left [16:35] *** dakkar left [16:36] *** Sgeo_ left [16:37] *** zacts left [16:46] *** domidumont1 left [16:48] *** sftp left [16:49] *** sftp joined [17:11] *** noisegul joined [17:20] *** noisegul left [17:22] *** noisegul joined [17:23] *** noisegul left [17:27] *** woolfy left [17:27] *** woolfy joined [17:39] *** zakharyas left [17:39] *** kktt left [17:55] *** Altreus left [17:56] *** Altreus joined [18:01] *** molaf left [18:05] *** netrino joined [18:12] releasable6: status [18:12] jmerelo, Next release will happen when it's ready. 1 blocker. 132 out of 284 commits logged (⚠ 2 warnings) [18:12] jmerelo, Details: https://gist.github.com/32dd8143d266b08daa8cf2492c2957a4 [18:12] That did not move a lot in the last few days. [18:19] *** pecastro joined [18:19] moritz: that's the best thing I've heard about MediaWiki templates in quite a while. [18:19] * masak is really looking forward to Riga, too [18:20] will be my first YAPC::EU in a while, and my first PerlCon ever ;) [18:21] masak: that's got to do something how the people is going to receive your totally not disruptive change in the Perl 6 core? [18:22] what did I miss? [18:27] moritz: masak's plans for world domination https://twitter.com/carlmasak/status/1125460437125017600 [18:27] I can't wait for the GGE rewrite in 007 replacing Grammar.pm [18:29] tadzik: shhhhh! [18:30] oops [18:30] *** sauvin left [18:30] gee, am I really that transparent? [18:30] don't worry, with my GDPR superpowers I'm going to delete this from the internet [18:30] y'all are not allowed to read this anymore [18:30] "I exercise my right to be forgotten. hello. hello?" [18:30] masak: the Yoneda lemma has one layer of stuff much, right? [18:31] (re: your twitter blurb) [18:31] tobs: you can always fix things by adding another layer of stuff... except possibly the Yoneda lemma, which already has way too much stuff. or too little, I can't decide. [18:32] jmerelo: ah, those plans :D [18:32] mwhahah... I mean, please disregard any fallacious rumors about plans [18:32] I think the fixing effect of more layers is when you put indirections in between, not stack more and more on top :) [18:33] well. "in between" is undoubtedly the best place to put indirections :P [18:34] * masak .oO( "where does that indirection go?" -- "nowhere. it was put in at the very end, after we had any referents left." ) [18:35] I only really know two things about the Yoneda lemma: that I don't understand it, and that it's a beautiful generalization of Cayley's theorem [18:35] (and even that latter fact I had to look up, so I didn't actually write "Cauchy's theorem") [18:36] accidentally* [18:36] I know all the ingredients and constituent parts that go into the lemma, but I can only really make them all fit together in my head when I'm drunk [18:38] masak: I'll get you to explain it to me over beers in Riga [18:38] masak: they have beer in Riga, right? [18:42] yes, belgian beer even [18:42] * lizmat has fond memories of the Belgian bar in Riga [18:43] lizmat: good to know. They have proper glasses for every kind of beer. That's probably essential to prove the Yoneda lemma [18:44] http://bon-vivant.lv/en/home/ [18:48] *** Garland_g joined [18:49] jmerelo: I'm not drunk right now, but there's a Swahili word "ubuntu" that's been having an upswing for the past 14 years for some reason. [18:50] jmerelo: it means (IIUC) that people are defined by who they know and spend time with. [18:50] jmerelo: that's a good description of the Yoneda lemma, except with categorical objects instead of people :D [18:54] and functors [18:55] masak: people are defined by what they functor with [18:55] *** lucasb left [19:00] *** Sgeo_ joined [19:03] *** Sgeo left [19:05] *** kaare__ joined [19:05] *** kaare_ left [19:05] *** Manifest0 left [19:06] and who they cofunctor with [19:11] *** Manifest0 joined [19:13] *** zakharyas joined [19:15] *** Manifest0 left [19:22] *** Manifest0 joined [19:24] *** zakharyas left [19:25] *** jmerelo left [19:30] *** mowcat left [19:37] *** ufobat joined [19:41] *** mowcat joined [19:53] m: say grammar { rule TOP { <.ws>* \w* }}.parse("foo") [19:54] m: say "oi?" [19:54] :-( [19:54] rakudo-moar b0dd44b00: OUTPUT: «(timeout)» [19:54] rakudo-moar b0dd44b00: OUTPUT: «oi?␤» [19:54] uh! [20:04] *** daxim left [20:08] *** ufobat_ joined [20:11] *** ufobat left [20:12] *** yqt joined [20:15] *** johnjohn101 joined [20:16] *** molaf joined [20:21] *** Manifest0 left [20:29] *** Manifest0 joined [20:34] ufobat_: did you find out why that was wrong? [20:34] *** yqt left [20:34] not yet [20:34] *** mtj_ left [20:34] *** mtj_ joined [20:37] m: say " foo" ~~ / <.ws> \w* / [20:37] rakudo-moar b0dd44b00: OUTPUT: «｢ foo｣␤» [20:38] if I had to guess it's because is already a star-quantified whitespace, so it can match 0 times if it must and you star it again, so it keeps consuming nothing over and over. [20:39] m: say all("foo", " foo") ~~ / <.ws> \w* / [20:39] rakudo-moar b0dd44b00: OUTPUT: «all(｢foo｣, ｢ foo｣)␤» [20:39] *** lizmat left [20:40] m: say "foo" ~~ / [<[ ]>*]* \w* / # <.ws>*, I assume, is then something like this but with more kinds of whitespace [20:40] ufobat_ ^ [20:40] rakudo-moar b0dd44b00: OUTPUT: «(timeout)» [20:42] i see :D [20:42] thanks tobs [20:42] *** woolfy left [20:43] *** mtj_ left [20:47] *** mtj_ joined [20:55] *** lichtkind joined [20:58] *** aborazmeh joined [20:58] *** aborazmeh left [20:58] *** aborazmeh joined [21:01] *** aborazmeh left [21:04] *** Garland_g left [21:04] *** lichtkind left [21:18] *** Sgeo__ joined [21:21] *** alpha6 left [21:21] *** alpha6 joined [21:21] *** Sgeo_ left [21:22] *** johnjohn101 left [21:29] *** pecastro left [21:31] *** molaf left [21:41] *** Sgeo_ joined [21:42] *** upupbb-user1 joined [21:44] *** Sgeo__ left [21:46] *** mowcat left [21:47] *** zacts joined [22:01] *** daxim joined [22:03] *** zacts left [22:13] *** MasterDuke joined [22:13] *** MasterDuke left [22:13] *** MasterDuke joined [22:14] *** netrino left [22:18] *** rindolf left [22:25] *** tobs left [22:30] *** Manifest0 left [22:31] *** Sgeo__ joined [22:33] *** Sgeo_ left [22:35] *** Manifest0 joined [22:37] *** sno left [22:37] *** tobs joined [22:38] *** Sgeo_ joined [22:38] *** comborico1611 joined [22:39] *** sno joined [22:40] *** Sgeo__ left [22:46] *** sno left [22:47] *** [Sno] joined [22:56] *** Manifest0 left [23:01] *** Manifest0 joined [23:13] *** Manifest0 left [23:16] *** noisegul joined [23:18] *** Manifest0 joined [23:22] *** Manifest0 left [23:24] *** woolfy joined [23:28] *** Manifest0 joined [23:28] *** yqt joined [23:35] *** comborico1611 left [23:44] *** yqt left [23:56] *** Manifest0 left [23:59] *** khisanth_ left