2021-01-01 00:00:03 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) (Read error: Connection reset by peer) |
2021-01-01 00:00:03 +0100 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
2021-01-01 00:00:17 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
2021-01-01 00:00:24 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) |
2021-01-01 00:00:38 +0100 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
2021-01-01 00:00:39 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-iowlmahgyhczxsfi) (Quit: Connection closed for inactivity) |
2021-01-01 00:00:44 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) |
2021-01-01 00:01:49 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2021-01-01 00:02:15 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 00:02:59 +0100 | <ephemient> | hmm. maybe ℝ ≠ RealWorld, at least in the sense that I can't think of any real-life objects directly correspond to the reals |
2021-01-01 00:03:27 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e1b6:3120:de77:a70d) (Ping timeout: 260 seconds) |
2021-01-01 00:04:04 +0100 | <koz_> | ephemient: Frankly, N /= RealWorld too, at least as far as we can tell. |
2021-01-01 00:04:25 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
2021-01-01 00:05:04 +0100 | <koz_> | I meant what I said more in the sense of 'if you give me a problem involving N, Z, or Q, I can beat it into submission with the induction hammer if worst comes to worst'. |
2021-01-01 00:05:14 +0100 | <koz_> | Not really something I can do with R. |
2021-01-01 00:06:36 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 240 seconds) |
2021-01-01 00:07:17 +0100 | <ephemient> | AC is induction on ℝ, sorta? |
2021-01-01 00:09:06 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 00:09:20 +0100 | <monochrom> | First turn induction into well-ordering: If you have a non-empty subset, then it has a minimum. |
2021-01-01 00:09:41 +0100 | itai33[m] | (itai33matr@gateway/shell/matrix.org/x-klwkmdlkmfqsikle) |
2021-01-01 00:09:43 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-01-01 00:09:55 +0100 | <monochrom> | Then compare with this version of R completeness: If you have a non-empty, lower-bounded subset, then it has an infinum. |
2021-01-01 00:10:26 +0100 | <ephemient> | yeah true, ℕ doesn't really exist either… but computers are ℕ/2^n for large values of n, and as long as whatever we're doing is independent of n, our approximation of ℕ is fine |
2021-01-01 00:10:28 +0100 | <monochrom> | There are some "minor" differences but they are similar in style. |
2021-01-01 00:10:30 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 00:10:58 +0100 | <koz_> | ephemient: Yes, to a human, 'very large but finite' and 'infinite' may as well be the same, agreed. |
2021-01-01 00:11:23 +0100 | <koz_> | 2^64 is such a gigantically ridiculous number that I have trouble even visualizing its decimal expansion. |
2021-01-01 00:11:31 +0100 | <koz_> | s/expansion/form/ |
2021-01-01 00:12:09 +0100 | <itai33[m]> | depends on how you think about infinity |
2021-01-01 00:12:10 +0100 | <dolio> | It's not really that big in decimal. |
2021-01-01 00:12:43 +0100 | <dolio> | > 2^64 |
2021-01-01 00:12:45 +0100 | <koz_> | dolio: Then I clearly lack imagination. :P |
2021-01-01 00:12:45 +0100 | <lambdabot> | 18446744073709551616 |
2021-01-01 00:12:51 +0100 | <dolio> | Not even a struggle to fit on one line. |
2021-01-01 00:13:09 +0100 | <ephemient> | 2^64 = (2^10)^6 * 2^4 ≅ (10^3)^6 * 16 = 1.6e19 |
2021-01-01 00:13:15 +0100 | <itai33[m]> | hey what do yall think of the adding `? = flip (.)` as an operator |
2021-01-01 00:13:25 +0100 | <ephemient> | :t (&) |
2021-01-01 00:13:27 +0100 | <lambdabot> | a -> (a -> b) -> b |
2021-01-01 00:13:48 +0100 | <ephemient> | :t flip (.) |
2021-01-01 00:13:49 +0100 | <lambdabot> | (a -> b) -> (b -> c) -> a -> c |
2021-01-01 00:13:50 +0100 | <itai33[m]> | yeah like we have the backwards function application operator |
2021-01-01 00:13:52 +0100 | <itai33[m]> | why don't we have a composition one |
2021-01-01 00:13:54 +0100 | <monochrom> | 2^64 is gigantic or pfft depending on whether you are tasked with "count from 1 to 2^64". |
2021-01-01 00:14:12 +0100 | <dolio> | Yes, in unary it's very big. |
2021-01-01 00:14:19 +0100 | <b4er> | :t (#>) |
2021-01-01 00:14:20 +0100 | <lambdabot> | error: |
2021-01-01 00:14:20 +0100 | <lambdabot> | • Variable not in scope: #> |
2021-01-01 00:14:20 +0100 | <lambdabot> | • Perhaps you meant one of these: |
2021-01-01 00:14:55 +0100 | <itai33[m]> | also like i feel like it should be one character long if i'm being greedy, cause then it'll align nicely |
2021-01-01 00:15:04 +0100 | <itai33[m]> | and `?` is basically the only thing that isn't really taken |
2021-01-01 00:15:14 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) (Remote host closed the connection) |
2021-01-01 00:15:24 +0100 | smitop | (uid328768@gateway/web/irccloud.com/x-weceejnpfzqxutrk) |
2021-01-01 00:15:29 +0100 | <monochrom> | backward composition is called >>> |
2021-01-01 00:15:36 +0100 | <itai33[m]> | thing is that i feel like it's a bit presumptuous to stroll up to the CLC suggestions github and say hey wussup lads you should add this |
2021-01-01 00:15:45 +0100 | <itai33[m]> | monochrom: yeah i know but that's really ugly |
2021-01-01 00:15:54 +0100 | <koz_> | LADS rofl. |
2021-01-01 00:16:36 +0100 | <itai33[m]> | but i do really think that it would be a good thing to add so i don't really know where to point the suggestion to |
2021-01-01 00:16:49 +0100 | <monochrom> | Perhaps consider CJK semicolon ; |
2021-01-01 00:16:54 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) |
2021-01-01 00:17:01 +0100 | <itai33[m]> | isn't the weird semicolon the greek one |
2021-01-01 00:17:08 +0100 | <itai33[m]> | does CJK have a different semicolon? |
2021-01-01 00:17:08 +0100 | <koz_> | Vaguely relevant: https://youtu.be/9JQ3WsYUjGA?t=626 |
2021-01-01 00:17:10 +0100 | kderme | (2eb0d7c7@ppp046176215199.access.hol.gr) (Ping timeout: 245 seconds) |
2021-01-01 00:17:12 +0100 | <monochrom> | Yes. |
2021-01-01 00:17:18 +0100 | <itai33[m]> | huh |
2021-01-01 00:17:19 +0100 | <monochrom> | I provided it on that line. |
2021-01-01 00:17:29 +0100 | <itai33[m]> | but like really though |
2021-01-01 00:17:43 +0100 | <itai33[m]> | do you think that suggesting the `?` operator has any merit |
2021-01-01 00:17:43 +0100 | <__monty__> | Would that be the same as PAAMAYIM NEKUDOTAYIM? |
2021-01-01 00:17:52 +0100 | <dolio> | Why, though? (&) grew out of it being very useful with lenses. |
2021-01-01 00:17:53 +0100 | <monochrom> | Hrm I botched it. |
2021-01-01 00:18:09 +0100 | <monochrom> | ; |
2021-01-01 00:18:33 +0100 | <monochrom> | U+FF1B |
2021-01-01 00:18:43 +0100 | <koz_> | __monty__: Rofl. |
2021-01-01 00:18:49 +0100 | <itai33[m]> | dolio: because many times i write functions by chaining a bunch of smaller functions, and when thinking about how i transform the input it's nice to be able read the transformations in order of reading |
2021-01-01 00:18:57 +0100 | <koz_> | itai33[m]: Just use >>> |
2021-01-01 00:19:03 +0100 | <dolio> | Well, I wouldn't support that reason. |
2021-01-01 00:19:04 +0100 | <itai33[m]> | but it looks ugly |
2021-01-01 00:19:14 +0100 | <itai33[m]> | why? is it bad practice or something? |
2021-01-01 00:19:17 +0100 | <koz_> | itai33[m]: I mean... that's subjective AF. |
2021-01-01 00:19:29 +0100 | <ephemient> | let (·) = flip (.) in your own modules? |
2021-01-01 00:19:39 +0100 | <koz_> | ephemient: LOL |
2021-01-01 00:19:48 +0100 | <dolio> | Because I just got used to reading pipelines from bottom to top. It's fine. |
2021-01-01 00:19:49 +0100 | <koz_> | High-dot. |
2021-01-01 00:19:50 +0100 | <Rembane> | itai33[m]: Could you use ligatures in your fonts to make it prettier? |
2021-01-01 00:20:01 +0100 | <__monty__> | >>> does have a nice directionality to it that ? does not, at all. |
2021-01-01 00:20:16 +0100 | <ephemient> | I suppose » is more untaken than · |
2021-01-01 00:20:23 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-3603-db93-c217-257c.dynamic.v6.chello.sk) (Ping timeout: 272 seconds) |
2021-01-01 00:20:33 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-01-01 00:21:04 +0100 | <itai33[m]> | ephemient: i mean that is what i do now with `?` but i feel like it would be a useful thing to have around |
2021-01-01 00:21:04 +0100 | <ephemient> | still easy to type, at least on X11 with a Compose key :D |
2021-01-01 00:21:06 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-3603-db93-c217-257c.dynamic.v6.chello.sk) |
2021-01-01 00:21:15 +0100 | <itai33[m]> | @__mo |
2021-01-01 00:21:15 +0100 | <lambdabot> | Unknown command, try @list |
2021-01-01 00:21:15 +0100 | <itai33[m]> | fuck |
2021-01-01 00:21:16 +0100 | danish | (~kvirc@109.58.42.178.mobile.3.dk) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
2021-01-01 00:21:31 +0100 | Shiranai | (beed0d8f@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.143) (Quit: Connection closed) |
2021-01-01 00:21:45 +0100 | <itai33[m]> | __monty__: well `.` doesn't have any directionality to it, and neither do `$` OR `&` |
2021-01-01 00:22:33 +0100 | <ephemient> | I have done `(?) = bool` in some old code… never did come up with a good precedence level for it though |
2021-01-01 00:22:47 +0100 | <__monty__> | itai33[m]: . does line up with a sort of product of functions interpretation though. |
2021-01-01 00:22:54 +0100 | <__monty__> | I agree about $ and &. |
2021-01-01 00:23:26 +0100 | <itai33[m]> | i haven't really heard about the product of functions interpertation tbh |
2021-01-01 00:23:59 +0100 | <itai33[m]> | i looked it up and it seems that the main package that uses `?` for something is a haskell html parser or something like that, but none other ones really |
2021-01-01 00:24:19 +0100 | <b4er> | ephemient, probably 0. So you can write `(condition?) x y`, I kind of like it |
2021-01-01 00:24:42 +0100 | <b4er> | I mean so the `?` doesn't get in the way of `condition` |
2021-01-01 00:24:43 +0100 | <ephemient> | if you steal the F# names, (<|) = ($), (<<) = (.), (|>) = (&), (>>) = flip (.) |
2021-01-01 00:25:10 +0100 | <ephemient> | those symbols are already pretty heavily used in Haskell though |
2021-01-01 00:25:16 +0100 | <itai33[m]> | yeah i can't really steal those |
2021-01-01 00:25:26 +0100 | <itai33[m]> | and also i really want it to be one character long |
2021-01-01 00:25:30 +0100 | <monochrom> | I think >> and << are OK, even in Haskell |
2021-01-01 00:25:39 +0100 | <monochrom> | Like, this is not C++. :) |
2021-01-01 00:25:58 +0100 | <itai33[m]> | isn't >> like a monad thing |
2021-01-01 00:25:59 +0100 | <ephemient> | class Monad m where (>>) :: ... |
2021-01-01 00:26:04 +0100 | <monochrom> | Oh, oops. |
2021-01-01 00:26:18 +0100 | <b4er> | (>>) kind of is free with (*>) |
2021-01-01 00:26:23 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
2021-01-01 00:26:29 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-01-01 00:26:34 +0100 | <monochrom> | Just hide it away, you don't actually use it do you :) |
2021-01-01 00:27:49 +0100 | <ephemient> | come to think of it, are there any monads with (>>) /= (*>)? I can't think of any cases where they would have legitimately different behavior, but maybe I'm unimaginative |
2021-01-01 00:28:35 +0100 | <monochrom> | No. |
2021-01-01 00:29:04 +0100 | <monochrom> | So don't worry, just use (*>) :) |
2021-01-01 00:30:21 +0100 | <monochrom> | Sometimes maybe some authors of instances don't make *> as efficient as >>, but this is becoming rarer as authors become more aware. |
2021-01-01 00:31:33 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-rgbhauuevaaekwgg) (Quit: Connection closed for inactivity) |
2021-01-01 00:31:56 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
2021-01-01 00:34:21 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-01-01 00:34:25 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 00:35:26 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
2021-01-01 00:36:16 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
2021-01-01 00:36:28 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) |
2021-01-01 00:40:07 +0100 | Gorbel | (~Gorbel@p5790e186.dip0.t-ipconnect.de) |
2021-01-01 00:43:16 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 00:43:50 +0100 | <b4er> | Okay this might be the wrong channel, but what is the most expressive arithmetic system that is still decidable? |
2021-01-01 00:44:22 +0100 | <b4er> | I knew about Presburger arithmetic, but stumbled on Skolem arithmetic which also allows multiplication.. |
2021-01-01 00:44:32 +0100 | <koz_> | b4er: It allows multiplication _instead_. |
2021-01-01 00:44:34 +0100 | <koz_> | Big difference. |
2021-01-01 00:44:49 +0100 | <b4er> | Is there something that might allow a restricted form of subtraction? |
2021-01-01 00:45:09 +0100 | <koz_> | b4er: How do you define subtraction over N? |
2021-01-01 00:45:19 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) |
2021-01-01 00:45:44 +0100 | <b4er> | Usually it maps negative numbers to zero, but anything goes for such a question I'd say |
2021-01-01 00:46:10 +0100 | <koz_> | So basically 'clipping' subtraction? I think Presburger arithmetic is capable of it. |
2021-01-01 00:46:46 +0100 | <koz_> | I'd say that in order to answer that question, you need to come up with what you mean by 'subtraction'. |
2021-01-01 00:46:56 +0100 | <koz_> | Presburger arithmetic can actually define quite a lot of surprising things. |
2021-01-01 00:47:07 +0100 | <koz_> | Which is why its decision procedure is doubly-exponential. |
2021-01-01 00:47:35 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed) |
2021-01-01 00:49:24 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
2021-01-01 00:50:24 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
2021-01-01 00:50:44 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 00:50:57 +0100 | ym555 | (~ym@102.47.62.107) |
2021-01-01 00:51:05 +0100 | mikail_ | (~mikail@2a02:c7f:bced:2900:73ae:8683:c80c:23b5) |
2021-01-01 00:52:09 +0100 | mikail_ | (~mikail@2a02:c7f:bced:2900:73ae:8683:c80c:23b5) () |
2021-01-01 00:52:53 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
2021-01-01 00:54:44 +0100 | <madnight> | happy new year |
2021-01-01 00:55:04 +0100 | mp___ | (mp@hell.cx) |
2021-01-01 00:55:46 +0100 | <koz_> | madnight: Happy 2021! |
2021-01-01 00:55:53 +0100 | <koz_> | I'm from the future, so I'm already 13 hours in. |
2021-01-01 00:56:03 +0100 | <koz_> | Looks good so far - nice summer weather here. |
2021-01-01 00:57:27 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-01-01 00:57:39 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-01-01 00:59:20 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
2021-01-01 01:00:02 +0100 | zopsi | (~zopsi@irc.dir.ac) (Quit: Oops) |
2021-01-01 01:00:13 +0100 | hiroaki_ | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2021-01-01 01:00:21 +0100 | Graypup_ | (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
2021-01-01 01:00:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 01:00:42 +0100 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
2021-01-01 01:00:48 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2021-01-01 01:00:59 +0100 | Graypup_ | (Graypup@lfcode.ca) |
2021-01-01 01:02:37 +0100 | mp___ | (mp@hell.cx) (Remote host closed the connection) |
2021-01-01 01:02:54 +0100 | hiroaki_ | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
2021-01-01 01:05:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 01:06:02 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-01-01 01:06:10 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
2021-01-01 01:09:12 +0100 | dduduruh | (ac6a0a06@172.106.10.6) |
2021-01-01 01:09:41 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
2021-01-01 01:10:20 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
2021-01-01 01:12:32 +0100 | paintcan` | (~user@cpe-69-206-241-99.nyc.res.rr.com) (Read error: Connection reset by peer) |
2021-01-01 01:16:37 +0100 | jneira | (501e6579@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.121) |
2021-01-01 01:16:37 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2021-01-01 01:17:22 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) |
2021-01-01 01:18:26 +0100 | DavidEichmann | (~david@98.27.93.209.dyn.plus.net) (Remote host closed the connection) |
2021-01-01 01:18:45 +0100 | kenran | (~kenran@87.123.205.142) (Quit: leaving) |
2021-01-01 01:19:16 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
2021-01-01 01:19:42 +0100 | dduduruh | (ac6a0a06@172.106.10.6) (Remote host closed the connection) |
2021-01-01 01:20:07 +0100 | gamb2 | (6d946d08@host109-148-109-8.range109-148.btcentralplus.com) |
2021-01-01 01:20:07 +0100 | iteratee_ | (~kyle@162.211.154.4) (Read error: Connection reset by peer) |
2021-01-01 01:20:20 +0100 | gamb2 | (6d946d08@host109-148-109-8.range109-148.btcentralplus.com) (Remote host closed the connection) |
2021-01-01 01:20:46 +0100 | iteratee | (~kyle@162.211.154.4) |
2021-01-01 01:22:29 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
2021-01-01 01:24:20 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 01:25:33 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
2021-01-01 01:27:10 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-01-01 01:27:14 +0100 | z | (~z@ics141-225.icsincorporated.com) (Ping timeout: 256 seconds) |
2021-01-01 01:28:47 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 01:32:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 01:32:41 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 256 seconds) |
2021-01-01 01:34:10 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-fhallxsiwyrmztmu) |
2021-01-01 01:34:20 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) |
2021-01-01 01:35:40 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) (Client Quit) |
2021-01-01 01:37:23 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-01-01 01:38:35 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) |
2021-01-01 01:38:52 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 01:40:17 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) (Client Quit) |
2021-01-01 01:41:37 +0100 | z | (~z@ics141-225.icsincorporated.com) |
2021-01-01 01:41:43 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) |
2021-01-01 01:44:01 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:4a42) (Client Quit) |
2021-01-01 01:46:33 +0100 | foobar2 | (89537310@137-83-115-16.starry-inc.net) (Remote host closed the connection) |
2021-01-01 01:47:47 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 01:49:06 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2021-01-01 01:50:51 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-01-01 01:52:05 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 240 seconds) |
2021-01-01 02:00:58 +0100 | b4er | (~b5er_@91.193.4.138) (Ping timeout: 260 seconds) |
2021-01-01 02:06:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-01-01 02:09:14 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
2021-01-01 02:17:37 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Ping timeout: 260 seconds) |
2021-01-01 02:24:59 +0100 | smitop | (uid328768@gateway/web/irccloud.com/x-weceejnpfzqxutrk) (Quit: Connection closed for inactivity) |
2021-01-01 02:28:22 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2021-01-01 02:28:50 +0100 | Fischmie1 | (~Fischmiep@95.163.174.85) |
2021-01-01 02:31:34 +0100 | Fischmiep | (~Fischmiep@46.59.132.43) (Ping timeout: 246 seconds) |
2021-01-01 02:35:22 +0100 | strangeglyph | (~strangegl@boreeas.net) (Quit: User terminated) |
2021-01-01 02:35:33 +0100 | strangeglyph | (~strangegl@boreeas.net) |
2021-01-01 02:35:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 02:36:23 +0100 | frankdmartinez | (~frankdmar@5.181.234.188) (Quit: frankdmartinez) |
2021-01-01 02:37:44 +0100 | columbarius | (~columbari@mue-88-130-54-032.dsl.tropolys.de) (Ping timeout: 260 seconds) |
2021-01-01 02:39:49 +0100 | columbarius | (~columbari@mue-88-130-54-094.dsl.tropolys.de) |
2021-01-01 02:40:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-01-01 02:40:57 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
2021-01-01 02:41:01 +0100 | z | (~z@ics141-225.icsincorporated.com) (Ping timeout: 264 seconds) |
2021-01-01 02:42:11 +0100 | z | (~z@ics141-225.icsincorporated.com) |
2021-01-01 02:42:25 +0100 | zangi | (~azure@103.154.230.250) (Ping timeout: 246 seconds) |
2021-01-01 02:44:37 +0100 | zangi | (~azure@103.154.230.250) |
2021-01-01 02:52:25 +0100 | <Torro> | happy new year! |
2021-01-01 02:52:36 +0100 | Torro | (Torro@gateway/vpn/protonvpn/torro) (Quit: bye) |
2021-01-01 02:54:57 +0100 | Entertainment | (~entertain@104.246.132.210) (Ping timeout: 260 seconds) |
2021-01-01 02:56:04 +0100 | frankdmartinez | (~frankdmar@5.181.234.188) |
2021-01-01 03:00:39 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2021-01-01 03:02:44 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:9853:f638:e207:b1cf) (Ping timeout: 258 seconds) |
2021-01-01 03:03:16 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
2021-01-01 03:08:38 +0100 | Varis | (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
2021-01-01 03:09:49 +0100 | klardotsh | (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
2021-01-01 03:11:35 +0100 | klardotsh | (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
2021-01-01 03:11:36 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) |
2021-01-01 03:12:02 +0100 | munsel | (~munsel@2a03:4000:10:5a0:445c:bbff:fea9:cf8f) (Ping timeout: 264 seconds) |
2021-01-01 03:12:38 +0100 | Varis | (~Tadas@unaffiliated/varis) |
2021-01-01 03:14:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 03:16:01 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-01-01 03:17:25 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 240 seconds) |
2021-01-01 03:23:35 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
2021-01-01 03:23:46 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Read error: Connection reset by peer) |
2021-01-01 03:24:54 +0100 | notzmv | (~user@unaffiliated/zmv) (Remote host closed the connection) |
2021-01-01 03:25:11 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
2021-01-01 03:25:41 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 03:25:50 +0100 | notzmv | (~user@unaffiliated/zmv) |
2021-01-01 03:26:01 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 264 seconds) |
2021-01-01 03:31:52 +0100 | jedws_ | (~jedws@121.209.189.201) |
2021-01-01 03:35:37 +0100 | jedws | (~jedws@121.209.189.201) (Ping timeout: 264 seconds) |
2021-01-01 03:36:06 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 03:38:05 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
2021-01-01 03:41:02 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
2021-01-01 03:41:10 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 03:42:37 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 03:44:12 +0100 | codeAlways | (uid272474@gateway/web/irccloud.com/x-zlylaysqfazhvjvl) (Quit: Connection closed for inactivity) |
2021-01-01 03:44:38 +0100 | ensyde | (~ensyde@2600:1702:2e30:1a40:d9f1:87ee:6d21:c6f3) |
2021-01-01 03:48:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 03:48:45 +0100 | xff0x_ | (~fox@2001:1a81:5398:2d00:1f27:11b6:17e5:8c13) (Ping timeout: 272 seconds) |
2021-01-01 03:48:55 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
2021-01-01 03:50:24 +0100 | xff0x_ | (~fox@2001:1a81:53cd:600:a3f1:dae9:3686:9d84) |
2021-01-01 03:50:24 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-01-01 03:51:01 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 03:54:19 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
2021-01-01 03:54:25 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
2021-01-01 03:55:19 +0100 | sunfreakz | (~sunfreakz@51.194.80.91) (Ping timeout: 260 seconds) |
2021-01-01 03:57:42 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 03:58:23 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
2021-01-01 04:01:14 +0100 | ransom | (~c4264035@8.47.12.52) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 04:02:08 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-01-01 04:02:22 +0100 | plutoniix | (~q@node-uq8.pool-125-24.dynamic.totinternet.net) |
2021-01-01 04:02:42 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-01-01 04:02:58 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 04:05:20 +0100 | <Feuermagier> | I'm trying to check if an iterable contains x at least 4 times in sequence, how can I do that elegantly? (feels like a job for fold, but unsure) |
2021-01-01 04:06:15 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-01-01 04:07:17 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-emygrcoqztsqoawx) (Quit: Connection closed for inactivity) |
2021-01-01 04:10:36 +0100 | xirhtogal | (~lagothrix@unaffiliated/lagothrix) |
2021-01-01 04:10:36 +0100 | lagothrix | Guest16872 |
2021-01-01 04:10:36 +0100 | Guest16872 | (~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services))) |
2021-01-01 04:10:36 +0100 | xirhtogal | lagothrix |
2021-01-01 04:16:36 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
2021-01-01 04:16:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 04:17:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 04:17:42 +0100 | Kronic | (~Kronic___@84.203.96.46) |
2021-01-01 04:20:30 +0100 | ransom | (~c4264035@8.47.12.52) |
2021-01-01 04:21:40 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 04:22:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-01-01 04:22:23 +0100 | <ephemient> | `any (not . null . drop 3) . group` should tell you whether a list contains any 4+-in-a-row |
2021-01-01 04:23:06 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 04:23:34 +0100 | <ephemient> | Feuermagier: do you just want to know whether such an x exists, or do you also want what/where it is? |
2021-01-01 04:24:11 +0100 | <Feuermagier> | ephemient, just knowing that there are 4 in a row is enough |
2021-01-01 04:24:36 +0100 | <ephemient> | there you go then :) |
2021-01-01 04:26:51 +0100 | sunrise_ | (~sunrise_@51.194.80.91) |
2021-01-01 04:26:55 +0100 | <ephemient> | would be nice if base had a `compareLength :: [a] -> Int -> Ordering` function built in though |
2021-01-01 04:28:15 +0100 | <ephemient> | (because `(>= 4) . length` isn't safe on an infinite list, but `(>= EQ) . flip compareLength 4`can be) |
2021-01-01 04:30:18 +0100 | thunderrd | (~thunderrd@183.182.111.131) (Remote host closed the connection) |
2021-01-01 04:34:46 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-01-01 04:36:00 +0100 | Kronic | (~Kronic___@84.203.96.46) (Quit: Leaving) |
2021-01-01 04:36:12 +0100 | ransom | (~c4264035@8.47.12.52) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 04:36:18 +0100 | Kronic | (uid480486@gateway/web/irccloud.com/x-rjhpihcgimfhbndr) |
2021-01-01 04:36:40 +0100 | <Feuermagier> | ephemient, i'm trying to optimize this a bit. let me give you more info. this is for checking the win condition of a connect_four game. I want to check if the stone I just placed has formed a 4-in-sequence. I know where I placed the stone, so I'd only need to check into all directions from that point of origin until interruption. |
2021-01-01 04:36:58 +0100 | Vulfe_ | (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) (Remote host closed the connection) |
2021-01-01 04:37:38 +0100 | <ephemient> | hmm right, and you need to check 4 directions |
2021-01-01 04:38:03 +0100 | <Feuermagier> | yes. well, 8 and sum the result of 2 each |
2021-01-01 04:39:01 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) |
2021-01-01 04:39:04 +0100 | drbean | (~drbean@TC210-63-209-192.static.apol.com.tw) |
2021-01-01 04:39:05 +0100 | hiroaki_ | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2021-01-01 04:39:29 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) (Remote host closed the connection) |
2021-01-01 04:39:36 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) |
2021-01-01 04:40:50 +0100 | hiroaki | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
2021-01-01 04:41:17 +0100 | hiroaki | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Max SendQ exceeded) |
2021-01-01 04:41:18 +0100 | <Feuermagier> | there's a good chance I might do connect-N on an Y*X sized board. I have already implemented a high order function that gives me my squares from a starting point towards a direction which modifies the starting position |
2021-01-01 04:41:50 +0100 | hiroaki | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
2021-01-01 04:42:20 +0100 | hiroaki | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Max SendQ exceeded) |
2021-01-01 04:43:33 +0100 | <ephemient> | so I was thinking you'd check [pos-3 .. pos+3] in [⇄, ⇅, ↖↘, ↙↗] directions - that's 4 |
2021-01-01 04:44:26 +0100 | <Feuermagier> | yes. but it's probaby easiest if i go into each (of the 8) arrow directions and sum the result of the 2 in opposite direction |
2021-01-01 04:44:30 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2021-01-01 04:44:44 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-01-01 04:44:56 +0100 | Tops2 | (~Tobias@dyndsl-095-033-019-027.ewe-ip-backbone.de) (Quit: Leaving.) |
2021-01-01 04:45:38 +0100 | <ephemient> | if you're going to check opposite directions separately then in theory it could just be [↖←↙↓↘→↗] - ↑ should always be 0 by the rules of the game? although probably not worth the trouble of optimizing for |
2021-01-01 04:46:40 +0100 | <Feuermagier> | ephemient, oh, nice! didn't catch the nonexistant top. you are right! |
2021-01-01 04:51:16 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
2021-01-01 04:51:58 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) (Remote host closed the connection) |
2021-01-01 04:52:56 +0100 | theDon | (~td@94.134.91.248) (Ping timeout: 256 seconds) |
2021-01-01 04:54:23 +0100 | theDon | (~td@muedsl-82-207-238-228.citykom.de) |
2021-01-01 04:55:22 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 04:57:06 +0100 | mp___ | (mp@hell.cx) |
2021-01-01 04:57:28 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
2021-01-01 04:58:56 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 05:00:11 +0100 | hiroaki | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
2021-01-01 05:00:30 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 05:01:51 +0100 | mp___ | (mp@hell.cx) (Ping timeout: 256 seconds) |
2021-01-01 05:03:08 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
2021-01-01 05:08:58 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) (Quit: carthia) |
2021-01-01 05:09:05 +0100 | jedws_ | (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 05:10:07 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 05:11:33 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-fhallxsiwyrmztmu) (Quit: Connection closed for inactivity) |
2021-01-01 05:12:11 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 05:12:34 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-01-01 05:13:23 +0100 | teardown | (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
2021-01-01 05:13:43 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
2021-01-01 05:14:39 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
2021-01-01 05:14:39 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
2021-01-01 05:16:36 +0100 | jedws | (~jedws@121.209.189.201) |
2021-01-01 05:18:20 +0100 | jedws | (~jedws@121.209.189.201) (Client Quit) |
2021-01-01 05:19:23 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
2021-01-01 05:20:57 +0100 | teardown | (~user@gateway/tor-sasl/mrush) |
2021-01-01 05:21:49 +0100 | plutoniix | (~q@node-uq8.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
2021-01-01 05:24:19 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
2021-01-01 05:25:03 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
2021-01-01 05:27:53 +0100 | ensyde | (~ensyde@2600:1702:2e30:1a40:d9f1:87ee:6d21:c6f3) () |
2021-01-01 05:29:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 05:37:55 +0100 | gioyik | (~gioyik@179.32.228.107) |
2021-01-01 05:45:15 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-01-01 05:47:14 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2021-01-01 05:51:58 +0100 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
2021-01-01 05:56:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 05:57:22 +0100 | shinobi | (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Remote host closed the connection) |
2021-01-01 05:58:08 +0100 | shinobi | (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) |
2021-01-01 06:01:34 +0100 | Gorbel | (~Gorbel@p5790e186.dip0.t-ipconnect.de) (Quit: Gorbel) |
2021-01-01 06:01:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 06:03:13 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
2021-01-01 06:03:16 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 06:04:06 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 06:04:19 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 06:04:35 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 06:04:58 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 06:05:37 +0100 | shinobi | (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Ping timeout: 264 seconds) |
2021-01-01 06:05:41 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 06:05:57 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
2021-01-01 06:05:59 +0100 | kjak | (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
2021-01-01 06:07:19 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed) |
2021-01-01 06:09:13 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
2021-01-01 06:13:17 +0100 | paintcan | (~user@cpe-69-206-241-99.nyc.res.rr.com) |
2021-01-01 06:16:50 +0100 | thunderrd | (~thunderrd@183.182.111.131) |
2021-01-01 06:22:42 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
2021-01-01 06:23:55 +0100 | boxscape | (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Client Quit) |
2021-01-01 06:34:49 +0100 | proteusguy | (~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) (Ping timeout: 246 seconds) |
2021-01-01 06:36:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 06:44:30 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
2021-01-01 06:44:40 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 06:44:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2021-01-01 06:45:59 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
2021-01-01 06:46:01 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-01-01 06:47:18 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
2021-01-01 06:48:06 +0100 | proteusguy | (~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) |
2021-01-01 06:49:24 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
2021-01-01 06:50:43 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
2021-01-01 06:50:47 +0100 | sparsity | (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) |
2021-01-01 06:51:10 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
2021-01-01 06:53:24 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
2021-01-01 06:54:26 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 272 seconds) |
2021-01-01 06:54:26 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 272 seconds) |
2021-01-01 06:54:56 +0100 | hiroaki | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2021-01-01 06:55:27 +0100 | Guest20891 | (~AntiSpamM@195.140.213.38) (Remote host closed the connection) |
2021-01-01 06:59:18 +0100 | Tario | (~Tario@200.119.187.185) |
2021-01-01 07:06:28 +0100 | sparsity | (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) (Quit: Connection closed) |
2021-01-01 07:06:29 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2021-01-01 07:08:31 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) (Remote host closed the connection) |
2021-01-01 07:09:00 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2021-01-01 07:10:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-01-01 07:14:48 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
2021-01-01 07:14:48 +0100 | Tario | (~Tario@200.119.187.185) (Read error: Connection reset by peer) |
2021-01-01 07:15:42 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 07:16:24 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 07:17:27 +0100 | frankdmartinez | (~frankdmar@5.181.234.188) (Ping timeout: 260 seconds) |
2021-01-01 07:17:42 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-01-01 07:17:44 +0100 | nfd9001 | (~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
2021-01-01 07:17:56 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 07:18:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 07:19:18 +0100 | serAphim | (~serAphim@139.28.218.148) |
2021-01-01 07:21:51 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 07:23:06 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
2021-01-01 07:23:15 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
2021-01-01 07:23:16 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-01-01 07:23:32 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 07:24:47 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
2021-01-01 07:27:39 +0100 | jmchael | (~jmchael@81.174.205.210) (Remote host closed the connection) |
2021-01-01 07:27:44 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 07:27:52 +0100 | jmchael | (~jmchael@81.174.205.210) |
2021-01-01 07:28:07 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 07:29:38 +0100 | thunderrd | (~thunderrd@183.182.111.131) (Remote host closed the connection) |
2021-01-01 07:30:09 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 07:30:36 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 07:31:07 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 07:34:45 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 07:35:26 +0100 | xff0x_ | (~fox@2001:1a81:53cd:600:a3f1:dae9:3686:9d84) (Ping timeout: 268 seconds) |
2021-01-01 07:36:10 +0100 | xff0x_ | (~fox@2001:1a81:53cd:600:13ec:7df7:81ac:e67) |
2021-01-01 07:36:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 07:36:49 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 264 seconds) |
2021-01-01 07:38:10 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
2021-01-01 07:38:37 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 07:38:50 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 07:39:11 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 07:40:40 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
2021-01-01 07:41:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 07:43:58 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) |
2021-01-01 07:44:28 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 07:45:03 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 07:45:24 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 07:46:05 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 07:48:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) (Ping timeout: 260 seconds) |
2021-01-01 07:52:19 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 07:57:46 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 272 seconds) |
2021-01-01 07:59:18 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
2021-01-01 08:00:10 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
2021-01-01 08:00:27 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
2021-01-01 08:01:38 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
2021-01-01 08:01:49 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 08:02:15 +0100 | reggie_ | (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
2021-01-01 08:02:18 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 08:02:29 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 08:05:09 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 08:05:34 +0100 | ym555 | (~ym@102.47.62.107) (Ping timeout: 260 seconds) |
2021-01-01 08:06:24 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 08:06:27 +0100 | serAphim | (~serAphim@139.28.218.148) (Remote host closed the connection) |
2021-01-01 08:06:32 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 08:08:07 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 08:09:25 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
2021-01-01 08:09:40 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
2021-01-01 08:11:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 08:15:36 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 08:16:50 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 08:20:17 +0100 | Deide | (~Deide@217.155.19.23) |
2021-01-01 08:22:28 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-01-01 08:27:10 +0100 | Kater | (~Kater@178.239.168.171) |
2021-01-01 08:29:07 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
2021-01-01 08:33:27 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 08:40:08 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 08:40:59 +0100 | codeAlways | (uid272474@gateway/web/irccloud.com/x-wmlqjaxzgcivyywk) |
2021-01-01 08:42:25 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) |
2021-01-01 08:45:36 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 08:45:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 08:46:44 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 08:47:17 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) (Ping timeout: 260 seconds) |
2021-01-01 08:49:09 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Client Quit) |
2021-01-01 08:50:12 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-01-01 08:51:04 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2021-01-01 08:51:22 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
2021-01-01 08:53:47 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2021-01-01 08:53:53 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-01-01 08:56:10 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 09:00:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 09:00:56 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-01-01 09:01:12 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 09:03:48 +0100 | thunderrd | (~thunderrd@183.182.111.131) |
2021-01-01 09:05:19 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
2021-01-01 09:09:24 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 09:09:27 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2021-01-01 09:10:01 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 09:10:48 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 09:12:23 +0100 | chambln | (~user@2.31.230.114) |
2021-01-01 09:12:57 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
2021-01-01 09:15:25 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-01-01 09:17:18 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 09:20:51 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-01-01 09:23:56 +0100 | koala_man | (~vidar@unaffiliated/koala-man/x-2491903) (Remote host closed the connection) |
2021-01-01 09:24:08 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
2021-01-01 09:24:08 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Changing host) |
2021-01-01 09:24:08 +0100 | koala_man | (~vidar@unaffiliated/koala-man/x-2491903) |
2021-01-01 09:30:13 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 09:31:38 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 09:32:06 +0100 | thunderrd | (~thunderrd@183.182.111.131) (Ping timeout: 246 seconds) |
2021-01-01 09:32:09 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 09:36:27 +0100 | Kater | (~Kater@178.239.168.171) (Remote host closed the connection) |
2021-01-01 09:36:40 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
2021-01-01 09:36:55 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 09:38:59 +0100 | rmk236 | (~lcampos@2a02:908:3616:b100:849c:a12b:ff95:e193) (Ping timeout: 272 seconds) |
2021-01-01 09:40:58 +0100 | thunderrd | (~thunderrd@183.182.111.131) |
2021-01-01 09:42:36 +0100 | rmk236 | (~lcampos@2a02:908:3616:b100:5d3c:3ea2:9142:e850) |
2021-01-01 09:43:08 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) |
2021-01-01 09:43:19 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-01-01 09:43:31 +0100 | sgibber2018 | (~arch-gibb@2600:6c55:6d80:3243:c2cb:38ff:fe8d:b46f) |
2021-01-01 09:46:33 +0100 | pera | (~pera@unaffiliated/pera) |
2021-01-01 09:47:15 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 09:47:57 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) (Ping timeout: 260 seconds) |
2021-01-01 09:47:58 +0100 | thunderrd | (~thunderrd@183.182.111.131) (Read error: Connection reset by peer) |
2021-01-01 09:48:17 +0100 | thunderrd | (~thunderrd@183.182.111.131) |
2021-01-01 09:53:11 +0100 | thunderrd | (~thunderrd@183.182.111.131) (Remote host closed the connection) |
2021-01-01 09:53:29 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
2021-01-01 09:54:11 +0100 | thunderrd | (~thunderrd@183.182.111.131) |
2021-01-01 09:57:28 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
2021-01-01 10:00:05 +0100 | mang0[m] | (dea223matr@gateway/shell/matrix.org/x-neesfcqailnhhnob) (Quit: Idle for 30+ days) |
2021-01-01 10:04:53 +0100 | thunderrd | (~thunderrd@183.182.111.131) (Remote host closed the connection) |
2021-01-01 10:06:29 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 10:10:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 10:11:26 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 10:14:47 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 10:16:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
2021-01-01 10:17:38 +0100 | rsoeldner_ | (~rsoeldner@2a02:8108:973f:eb38:61c8:bc2c:6f96:2b71) |
2021-01-01 10:21:47 +0100 | drbean | (~drbean@TC210-63-209-192.static.apol.com.tw) (Ping timeout: 260 seconds) |
2021-01-01 10:22:13 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 10:23:48 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 10:24:04 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 10:24:16 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) |
2021-01-01 10:24:32 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 10:25:02 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-01-01 10:26:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-01-01 10:27:48 +0100 | pacak | (~pacak@bb116-14-220-91.singnet.com.sg) (Remote host closed the connection) |
2021-01-01 10:31:27 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-hvtdnmwcdwieelqx) |
2021-01-01 10:38:57 +0100 | slopjong | (~slopjong@5.253.204.101) |
2021-01-01 10:42:33 +0100 | gioyik | (~gioyik@179.32.228.107) (Quit: WeeChat 3.0) |
2021-01-01 10:47:05 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2021-01-01 10:52:22 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
2021-01-01 10:52:26 +0100 | jedws | (~jedws@121.209.189.201) |
2021-01-01 10:52:39 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
2021-01-01 10:53:53 +0100 | pacak | (~pacak@bb116-14-220-91.singnet.com.sg) |
2021-01-01 10:54:58 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
2021-01-01 10:55:43 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-01-01 10:57:09 +0100 | mp___ | (~mp@hell.cx) |
2021-01-01 10:57:25 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) |
2021-01-01 10:57:39 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) (Client Quit) |
2021-01-01 10:59:36 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2021-01-01 10:59:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 11:01:08 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
2021-01-01 11:01:16 +0100 | mp___ | (~mp@hell.cx) (Ping timeout: 240 seconds) |
2021-01-01 11:01:34 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 11:02:03 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-01-01 11:02:25 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
2021-01-01 11:02:46 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 11:04:25 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
2021-01-01 11:05:14 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-01-01 11:06:33 +0100 | jedws | (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 11:07:05 +0100 | toorevitimirp | (~tooreviti@117.182.181.242) |
2021-01-01 11:07:46 +0100 | sgibber2018 | (~arch-gibb@2600:6c55:6d80:3243:c2cb:38ff:fe8d:b46f) (Quit: WeeChat 3.0) |
2021-01-01 11:07:58 +0100 | jedws | (~jedws@121.209.189.201) |
2021-01-01 11:08:56 +0100 | rotty | (rotty@ghost.xx.vu) (Ping timeout: 240 seconds) |
2021-01-01 11:11:07 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 11:11:44 +0100 | <idnar> | @pl \k _ -> k `elem` touching |
2021-01-01 11:11:44 +0100 | <lambdabot> | const . (`elem` touching) |
2021-01-01 11:13:02 +0100 | <gentauro> | 00:24 < ephemient> if you steal the F# names, (<|) = ($), (<<) = (.), (|>) = (&), (>>) = flip (.) |
2021-01-01 11:13:32 +0100 | <gentauro> | would it give sense to add those operators to Haskell base to help F#'ers arrive at Haskell land? |
2021-01-01 11:14:33 +0100 | <gentauro> | I personally like how code reads, specially with the `pipe operator` (slide 9) -> http://blog.stermon.com/assets/talks/2020-11-01_Domain_Driven_Design_DDD_with_Algebraic_Data_Types… |
2021-01-01 11:15:01 +0100 | gentauro | Left-to-right and Top-bottom |
2021-01-01 11:15:58 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 11:16:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 11:16:34 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2021-01-01 11:18:17 +0100 | chambln | (~user@2.31.230.114) (Ping timeout: 265 seconds) |
2021-01-01 11:20:35 +0100 | rotty | (rotty@ghost.xx.vu) |
2021-01-01 11:26:32 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-kavyfortterppjsq) (Quit: Connection closed for inactivity) |
2021-01-01 11:26:35 +0100 | <tomsmeding> | gentauro: (>>) clashes with an existing operator in Prelude, and <| and |> are used in Data.Sequence; if base is to define them, it would be in a module that is not imported by default |
2021-01-01 11:26:50 +0100 | <tomsmeding> | and then I think the benefit to F#'ers is limited |
2021-01-01 11:31:14 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 11:33:13 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 11:34:29 +0100 | <__monty__> | I doubt a bit of syntax is going to stop someone familiar with F# from picking up Haskell. |
2021-01-01 11:37:02 +0100 | <Kronic> | I was looking at discordOnEvent from https://hackage.haskell.org/package/discord-haskell-1.8.1/docs/src/Discord.html#runDiscord and I was wondering if it is possible for me to pipe additional information into there? My use case is before I call runDiscord, I load up a configuration file and I want to be able to extract values from it on events. I see that there is a readerT here, can I use that in some way? |
2021-01-01 11:38:28 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 11:39:00 +0100 | <tomsmeding> | Kronic: can't you just use whatever you want in that lambda when you write it? |
2021-01-01 11:39:22 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-01-01 11:39:32 +0100 | <tomsmeding> | the ReaderT allows you to get the DiscordHandle in this case, nothing else |
2021-01-01 11:40:03 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
2021-01-01 11:40:20 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 11:40:24 +0100 | <tomsmeding> | but just like you can write this: foo x l = map (\y -> y + x) l, where I refer to x from that lambda, you should be able to use whatever you want in that discordOnEvent lambda |
2021-01-01 11:40:28 +0100 | <tomsmeding> | or I'm misunderstanding you :) |
2021-01-01 11:40:42 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 11:41:24 +0100 | cheater | (~user@unaffiliated/cheater) (Remote host closed the connection) |
2021-01-01 11:41:36 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 11:43:10 +0100 | cheater | (~user@unaffiliated/cheater) |
2021-01-01 11:44:09 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-01-01 11:44:39 +0100 | jedws | (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 11:44:39 +0100 | <Kronic> | Perhaps, but just in case I'll retry explaining: So I know I can do whatever I want inside the event handler. My point is I want to pipe something I already read into the context of the handler, I don't want to re-read a file each time an event happens |
2021-01-01 11:44:50 +0100 | <Kronic> | I'm also not sure I quite understand your example tomsmeding |
2021-01-01 11:46:43 +0100 | jedws | (~jedws@121.209.189.201) |
2021-01-01 11:47:04 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2021-01-01 11:47:29 +0100 | <tomsmeding> | Kronic: buildKronicsDiscordOpts filedata = RunDiscordOpts { ..., discordOnEnd = \ev -> myCoolLogic filedata ev, ... } |
2021-01-01 11:47:51 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-01-01 11:48:01 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2021-01-01 11:48:07 +0100 | <tomsmeding> | but perhaps it's clearer if you show the RunDiscordOpts construction where you want to use that config data |
2021-01-01 11:48:36 +0100 | jedws | (~jedws@121.209.189.201) (Client Quit) |
2021-01-01 11:51:00 +0100 | <Kronic> | Hmm... I really don't get that at all |
2021-01-01 11:52:17 +0100 | <tomsmeding> | I'm probably misunderstanding you :) |
2021-01-01 11:52:20 +0100 | <tomsmeding> | @where paste |
2021-01-01 11:52:20 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
2021-01-01 11:52:33 +0100 | tomsmeding | loves a good self-promotion |
2021-01-01 11:52:45 +0100 | <Kronic> | Well, maybe a more contextual example would be better, take the example on https://hackage.haskell.org/package/discord-haskell, say in the pingPongExample I added an extra line to the do block which was like file <- readFile ... -- how could I pipe this result to the eventHandler function ? |
2021-01-01 11:54:31 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 11:55:54 +0100 | <tomsmeding> | Kronic: like this? https://paste.tomsmeding.com/7Hs6cBVI |
2021-01-01 11:56:25 +0100 | <tomsmeding> | where you of course do something more useful with the data than just printing it :p |
2021-01-01 11:58:14 +0100 | <Kronic> | Oh I am so silly |
2021-01-01 11:58:54 +0100 | <Kronic> | I didn't even think partial application would work there, thanks tomsmeding |
2021-01-01 11:59:14 +0100 | <tomsmeding> | can also write \event -> eventHandler filedata event, means the same |
2021-01-01 11:59:53 +0100 | <tomsmeding> | key point in your question was the word "pipe", I think; you don't pipe information into that callback, you just use it |
2021-01-01 11:59:55 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-01-01 12:00:30 +0100 | <tomsmeding> | you'd need to do something more intelligent if obtaining that data required doing IO each time, but you could do that too since you have access to IO in that callback |
2021-01-01 12:01:30 +0100 | <tomsmeding> | this "you can just use it" is perhaps one of the gotchas of functional programming that you just have to see once, then it'll be clear :) |
2021-01-01 12:02:43 +0100 | <Kronic> | Honestly I just forgot that if the type of the handler is somedata -> Event -> Discord, I forgot that I could just partially apply the somedata to begin with, I've never used partial application like that but each day it proves to be more and more useful |
2021-01-01 12:03:07 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 12:03:48 +0100 | <tomsmeding> | partial application is the bread and butter of working in haskell |
2021-01-01 12:04:00 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2021-01-01 12:04:01 +0100 | <Kronic> | thanks for your help though, working in the imperative space for so long has really effected how I view so solving so many problems lol |
2021-01-01 12:04:11 +0100 | <tomsmeding> | (but even without partial application, \event -> eventHandler file event) |
2021-01-01 12:04:29 +0100 | <tomsmeding> | sounds familiar, though for me a couple years ago :) |
2021-01-01 12:04:39 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 12:05:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-01-01 12:06:59 +0100 | <Kronic> | Yea, the lambda example makes more sense now |
2021-01-01 12:09:35 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 12:10:52 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 12:11:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 12:16:42 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 12:17:03 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 256 seconds) |
2021-01-01 12:21:26 +0100 | DarkRanger | (b6bc83e8@182.188.131.232) |
2021-01-01 12:21:49 +0100 | DarkRanger | (b6bc83e8@182.188.131.232) (Remote host closed the connection) |
2021-01-01 12:22:22 +0100 | ph88_ | (~ph88@2a02:8109:9e00:7e5c:71b8:bbed:4abf:19c2) |
2021-01-01 12:22:30 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 12:22:50 +0100 | thunderrd | (~thunderrd@183.182.111.131) |
2021-01-01 12:22:51 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2021-01-01 12:23:30 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 12:23:34 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
2021-01-01 12:23:49 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 12:24:50 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 12:26:49 +0100 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:61d8:4dbb:1763:5965) (Ping timeout: 272 seconds) |
2021-01-01 12:27:30 +0100 | <gentauro> | 11:52 < lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
2021-01-01 12:27:39 +0100 | <gentauro> | tomsmeding: are you the mantainer of lambdabot? |
2021-01-01 12:27:55 +0100 | <gentauro> | if yes, then you are one of the other "few" that code in `Safe Haskell` right? |
2021-01-01 12:28:38 +0100 | <tomsmeding> | gentauro: lol no that's int-e I believe, I run only paste.tomsmeding.com and ircbrowse.tomsmeding.com |
2021-01-01 12:29:05 +0100 | <tomsmeding> | people here decided for some unknown reason that my paste service was good enough to put in the @where paste message |
2021-01-01 12:29:46 +0100 | <gentauro> | tomsmeding: oh |
2021-01-01 12:29:48 +0100 | <gentauro> | fair enough |
2021-01-01 12:30:03 +0100 | <gentauro> | so you aren't part of the 2.9% then :P (reference: https://twitter.com/taylorfausak/status/1304534936192520194) |
2021-01-01 12:30:25 +0100 | <tomsmeding> | RIP the 55.1% |
2021-01-01 12:30:46 +0100 | <gentauro> | btw, my paste service for the moment is Ubuntus, which seems pretty good https://pastebin.ubuntu.com/ (even though I'm a NixOS user) |
2021-01-01 12:31:25 +0100 | <tomsmeding> | the primary reason why we use mine is because 1. it's written in Haskell, and 2. it has some custom text at the top |
2021-01-01 12:31:41 +0100 | <tomsmeding> | but everyone has their own preferred one :p |
2021-01-01 12:31:44 +0100 | <sm[m]> | We had a bunch of specific needs for doing support here and tomsmeding made it happen |
2021-01-01 12:32:15 +0100 | <sm[m]> | many pastebins fall short in one way or another |
2021-01-01 12:32:39 +0100 | <gentauro> | tomsmeding: yeah, I liked the old one |
2021-01-01 12:32:50 +0100 | tomsmeding | still needs to add line numbering |
2021-01-01 12:32:52 +0100 | <gentauro> | and I was looking for alternatives that weren't "bloated with ads" |
2021-01-01 12:33:12 +0100 | <gentauro> | so I ran into the Ubuntu one and I was: "And we have a winner" |
2021-01-01 12:33:49 +0100 | <gentauro> | tomsmeding: maybe also add the timeperiod removal? |
2021-01-01 12:34:05 +0100 | <gentauro> | I like that from the Ubuntu one |
2021-01-01 12:34:11 +0100 | <gentauro> | if it's just a `quick-question` |
2021-01-01 12:34:34 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 12:34:40 +0100 | <__monty__> | Maybe don't make it the default though. Makes irc logs far less useful : / |
2021-01-01 12:34:45 +0100 | <gentauro> | if it's a snippet that will be part of a post or somthing. I don't add a timestamp cos that would make it `useless` for people reading that post/comment in the future |
2021-01-01 12:35:42 +0100 | <__monty__> | Sometimes you find a support question in your logs and either the problem or the solution is an expired paste. |
2021-01-01 12:35:57 +0100 | <tomsmeding> | gentauro: added to my TODO :p |
2021-01-01 12:36:10 +0100 | <tomsmeding> | certainly not the default __monty__ |
2021-01-01 12:36:25 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 12:36:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 12:36:55 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-01-01 12:36:57 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 12:37:09 +0100 | <tomsmeding> | first version of my pastebin it didn't store anything to disk, everything was lost when I did ^C :p |
2021-01-01 12:37:36 +0100 | <gentauro> | tomsmeding: xD |
2021-01-01 12:40:15 +0100 | <__monty__> | An effective anti-spam measure I guess : ) |
2021-01-01 12:40:54 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-hvtdnmwcdwieelqx) (Quit: Connection closed for inactivity) |
2021-01-01 12:41:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-01-01 12:45:46 +0100 | kuribas | (~user@ptr-25vy0i9g14sodnd3b5o.18120a2.ip6.access.telenet.be) |
2021-01-01 12:46:34 +0100 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-01-01 12:47:06 +0100 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-01-01 12:51:43 +0100 | son0p | (~son0p@181.58.39.182) |
2021-01-01 12:51:46 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 12:52:32 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 12:58:30 +0100 | and_pete | (uid386199@gateway/web/irccloud.com/x-jpttjkcmthnsbvpq) |
2021-01-01 12:59:24 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
2021-01-01 13:01:25 +0100 | MidAutumnHotaru | (~MidAutumn@154.91.197.93) (Quit: Quit 啾) |
2021-01-01 13:01:59 +0100 | MidAutumnHotaru | (~MidAutumn@154.91.197.93) |
2021-01-01 13:02:20 +0100 | nfd | (~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net) |
2021-01-01 13:09:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 13:12:20 +0100 | ym555 | (~ym@102.47.62.107) |
2021-01-01 13:12:49 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 13:13:05 +0100 | u0_a203 | (~u0_a203@37.98.47.224) |
2021-01-01 13:13:12 +0100 | <u0_a203> | exit |
2021-01-01 13:13:16 +0100 | u0_a203 | (~u0_a203@37.98.47.224) (Client Quit) |
2021-01-01 13:13:21 +0100 | b4er | (~b5er_@91.193.4.138) |
2021-01-01 13:14:20 +0100 | u0_a203 | (~u0_a203@66.42.94.234) |
2021-01-01 13:14:33 +0100 | u0_a203 | (~u0_a203@66.42.94.234) (Client Quit) |
2021-01-01 13:14:47 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 13:17:33 +0100 | b4er | (~b5er_@91.193.4.138) (Client Quit) |
2021-01-01 13:17:41 +0100 | b4er | (~b5er_@91.193.4.138) |
2021-01-01 13:17:41 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 268 seconds) |
2021-01-01 13:29:09 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
2021-01-01 13:33:07 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 260 seconds) |
2021-01-01 13:33:15 +0100 | pera | (pera@gateway/vpn/mullvad/pera) |
2021-01-01 13:40:07 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:a87e:8f8c:63a3:698b) (Ping timeout: 260 seconds) |
2021-01-01 13:42:42 +0100 | Entertainment | (~entertain@104.246.132.210) |
2021-01-01 13:43:56 +0100 | <L29Ah> | how do i ask ghc to "freeze" a value in memory so GC won't move it, so i can supply its address to syscalls, without copying the data? |
2021-01-01 13:44:15 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-01-01 13:46:13 +0100 | <int-e> | L29Ah: You can create a pinned bytearray, or rely on the fact that no GC takes place during "unsafe" foreign calls. |
2021-01-01 13:46:34 +0100 | rmk236 | (~lcampos@2a02:908:3616:b100:5d3c:3ea2:9142:e850) (Quit: Leaving.) |
2021-01-01 13:47:02 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 13:47:32 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 13:47:32 +0100 | <L29Ah> | a pinned bytearray would require me to fill it with copying, no? |
2021-01-01 13:47:40 +0100 | <int-e> | But you can't lock an object in place without planning ahead; this is pretty much incompatible with copying garbage collection, where the whole point is to free a large contiguous block of memory so that allocation will be cheap. |
2021-01-01 13:48:01 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) |
2021-01-01 13:48:07 +0100 | <L29Ah> | unsafe foreign calls would stop all the other threads of my app so it's not an option |
2021-01-01 13:48:28 +0100 | <int-e> | Well they keep running until they need a garbage collection. |
2021-01-01 13:49:47 +0100 | <L29Ah> | i wonder why don't we have a movable Data.ByteString with I/O functions, do we? |
2021-01-01 13:50:03 +0100 | <int-e> | You can check whether a bytearray is pinned, and large bytearrays are always pinned. |
2021-01-01 13:50:15 +0100 | <int-e> | Isn't Data.ByteString always using pinned bytearrays anyway? |
2021-01-01 13:50:20 +0100 | <L29Ah> | yes |
2021-01-01 13:50:59 +0100 | <int-e> | But there's a Data.ByteString.Small somewhere (possibly with a different module name, this is a vague memory) |
2021-01-01 13:51:11 +0100 | <L29Ah> | yes, but there's no I/O for Small |
2021-01-01 13:51:41 +0100 | <int-e> | This. https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/Data-ByteString-Short.html |
2021-01-01 13:52:07 +0100 | <int-e> | L29Ah: Well you can't escape the fact that the RTS does not support pinning arbitrary heap objects. |
2021-01-01 13:53:16 +0100 | int-e | wonders why https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/src/Data.ByteString.Short.Internal.ht… doesn't test for pinned bytearrays... |
2021-01-01 13:53:21 +0100 | ym555_ | (~ym@156.199.233.205) |
2021-01-01 13:54:58 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:ea:479d:de22:4e6b) |
2021-01-01 13:55:24 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
2021-01-01 13:55:39 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) |
2021-01-01 13:55:41 +0100 | ym555_ | (~ym@156.199.233.205) (Client Quit) |
2021-01-01 13:56:01 +0100 | ym555 | (~ym@102.47.62.107) (Ping timeout: 264 seconds) |
2021-01-01 13:58:10 +0100 | <L29Ah> | my real problem today in fact is that my program leaks a shitload of pinned memory and i don't understand how to figure out why, as ghc doesn't provide any profiling for pinned memory, apart from the size of all the pinned memory regions combined, but having to copy stuff just to toss it out of the program sucks on its own |
2021-01-01 14:04:23 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2021-01-01 14:06:02 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
2021-01-01 14:06:52 +0100 | aldessa | (~hugh@host-92-27-117-235.static.as13285.net) |
2021-01-01 14:07:16 +0100 | <aldessa> | hi, if I'm doing a case match and two branches have the same result is it possible to combine this into one pattern match |
2021-01-01 14:08:10 +0100 | <aldessa> | e.g. case whatIsMatched of X -> K \n Y -> K \n _ -> M |
2021-01-01 14:08:17 +0100 | <aldessa> | like can I do X | Y -> K? |
2021-01-01 14:08:30 +0100 | bartholin | (~bartholin@unaffiliated/bartholin) |
2021-01-01 14:08:45 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:8bc9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
2021-01-01 14:09:19 +0100 | <bartholin> | I am trying to compile a hello world, but I get /usr/bin/ld.gold: error: cannot find -lHSrandom-1.2.0-9Cjazij3YwuA0ae758RzhE |
2021-01-01 14:09:57 +0100 | <L29Ah> | bartholin: are you sure it is a hello world? it shouldn't pull random |
2021-01-01 14:10:33 +0100 | <idnar> | aldessa: no, sadly |
2021-01-01 14:10:36 +0100 | <L29Ah> | also how did you install your ghc? |
2021-01-01 14:10:45 +0100 | <bartholin> | L29Ah: actually I have copypasted an OpenGL example program, then it made the compiler crash, and now whatever I am trying to compile I get this error |
2021-01-01 14:10:46 +0100 | <int-e> | L29Ah: Well as far as I can see, there's no way out of this if you want to use GHC. You could avoid copying ByteArrays that are already pinned (which is what Data.ByteString.Short doesn't do), but that's about it; ordinary heap objects will move around during GC. (In the young generation; there's support for a non-moving GC in the old generation since GHC 8.10... I wonder what the story is there,... |
2021-01-01 14:10:52 +0100 | <int-e> | ...does it upgrade byte arrays to pinned byte arrays when they enter the old heap?) |
2021-01-01 14:11:16 +0100 | <int-e> | Unfortunataly, it probably can't because that's at odds with isByteArrayPinned# being pure. |
2021-01-01 14:12:37 +0100 | <aldessa> | also is there a simple explanation on how to use generic-lens? by doing a reverse dependency lookup you use it with control.lens ? |
2021-01-01 14:13:13 +0100 | <L29Ah> | bartholin: echo 'main = putStrLn "hello"' > a.hs && ghc --make a.hs && ./a |
2021-01-01 14:13:19 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 14:13:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 14:14:38 +0100 | <bartholin> | L29Ah: I erased ~/.cabal and ~/.ghc, and now it works |
2021-01-01 14:15:32 +0100 | <idnar> | aldessa: https://github.com/kcsongor/generic-lens/tree/master/generic-lens/examples may be of interest |
2021-01-01 14:15:56 +0100 | son0p | (~son0p@181.58.39.182) (Ping timeout: 240 seconds) |
2021-01-01 14:16:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
2021-01-01 14:16:47 +0100 | <int-e> | there's also a README at https://github.com/kcsongor/generic-lens ... unforuntately not included in the package (probably due to directory structure contraints) |
2021-01-01 14:17:50 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 14:18:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 14:18:10 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-01-01 14:18:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 14:20:35 +0100 | p3n | (~p3n@217.198.124.246) (Remote host closed the connection) |
2021-01-01 14:21:32 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2021-01-01 14:25:11 +0100 | taurux | (~taurux@net-93-144-87-101.cust.dsl.teletu.it) |
2021-01-01 14:27:55 +0100 | Guest40492 | (~textual@2603-7000-3040-0000-f863-b1d6-d130-6615.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 14:28:01 +0100 | son0p | (~son0p@181.58.39.182) |
2021-01-01 14:30:15 +0100 | Alleria | (~textual@2603-7000-3040-0000-f863-b1d6-d130-6615.res6.spectrum.com) |
2021-01-01 14:30:15 +0100 | Alleria | (~textual@2603-7000-3040-0000-f863-b1d6-d130-6615.res6.spectrum.com) (Client Quit) |
2021-01-01 14:31:25 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 264 seconds) |
2021-01-01 14:32:31 +0100 | son0p | (~son0p@181.58.39.182) (Client Quit) |
2021-01-01 14:33:38 +0100 | crblmr | (~carbolyme@matrix.dropacid.net) (Ping timeout: 264 seconds) |
2021-01-01 14:35:19 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 14:36:39 +0100 | <aldessa> | thank you idnar and int-e. in my code from a few months ago I use #content in place of field @"content", what allows this? |
2021-01-01 14:36:47 +0100 | <aldessa> | i try it in my code today and it doesn't seem to work but the field stuff does |
2021-01-01 14:36:54 +0100 | crblmr | (~carbolyme@matrix.dropacid.net) |
2021-01-01 14:39:01 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 14:39:11 +0100 | <idnar> | aldessa: https://hackage.haskell.org/package/generic-lens-2.0.0.0/docs/Data-Generics-Labels.html |
2021-01-01 14:39:50 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
2021-01-01 14:42:15 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 14:42:40 +0100 | toorevitimirp | (~tooreviti@117.182.181.242) (Ping timeout: 256 seconds) |
2021-01-01 14:43:46 +0100 | <aldessa> | ahh ty idnar, before i randomly added packages till it worked without doing that but adding generic-core before; this is much better |
2021-01-01 14:45:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 14:50:21 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
2021-01-01 14:51:55 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
2021-01-01 14:52:30 +0100 | Alleria | (~textual@mskresolve-a.mskcc.org) |
2021-01-01 14:52:54 +0100 | Alleria | Guest14638 |
2021-01-01 14:52:55 +0100 | rekahsoft` | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
2021-01-01 14:53:08 +0100 | nek0 | (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
2021-01-01 14:53:20 +0100 | rekahsoft`` | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
2021-01-01 14:53:39 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
2021-01-01 14:54:05 +0100 | rekahsoft`` | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
2021-01-01 14:54:23 +0100 | nek0 | (~nek0@mail.nek0.eu) |
2021-01-01 14:54:24 +0100 | shinobi | (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) |
2021-01-01 14:56:56 +0100 | <ezzieyguywuf> | how can I view transactions for just the parent account, not it's children? |
2021-01-01 14:57:23 +0100 | <ezzieyguywuf> | also, is it possible to do `hledger bal --monthly` where the total is reported as of the last day of the month rather than the first? |
2021-01-01 14:57:41 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 14:59:15 +0100 | toorevitimirp | (~tooreviti@117.182.181.242) |
2021-01-01 15:01:06 +0100 | neiluj | (~jco@103.197.204.77.rev.sfr.net) |
2021-01-01 15:01:06 +0100 | neiluj | (~jco@103.197.204.77.rev.sfr.net) (Changing host) |
2021-01-01 15:01:06 +0100 | neiluj | (~jco@unaffiliated/neiluj) |
2021-01-01 15:01:20 +0100 | <__monty__> | ezzieyguywuf: Isn't there an #hledger channel? |
2021-01-01 15:01:49 +0100 | <ezzieyguywuf> | __monty__: yes, I've made the same mistake I've made before sorry ;( |
2021-01-01 15:01:59 +0100 | <__monty__> | Good luck : ) |
2021-01-01 15:02:44 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 272 seconds) |
2021-01-01 15:02:53 +0100 | <ezzieyguywuf> | lol thanks |
2021-01-01 15:04:08 +0100 | DavidEichmann | (~david@98.27.93.209.dyn.plus.net) |
2021-01-01 15:06:04 +0100 | and_pete | (uid386199@gateway/web/irccloud.com/x-jpttjkcmthnsbvpq) (Quit: Connection closed for inactivity) |
2021-01-01 15:06:18 +0100 | <exarkun> | tasty description includes "Acquire and release resources (sockets, temporary files etc.)" in the feature list but I can't find the part of tasty that provides this functionality. anyone know where I should look? |
2021-01-01 15:07:49 +0100 | frankdmartinez | (~frankdmar@5.181.234.188) |
2021-01-01 15:07:56 +0100 | son0p | (~son0p@181.136.122.143) |
2021-01-01 15:09:49 +0100 | leat | (~leat@128-71-108-164.broadband.corbina.ru) (Quit: WeeChat 2.8) |
2021-01-01 15:10:16 +0100 | zangi | (~azure@103.154.230.250) (Read error: Connection reset by peer) |
2021-01-01 15:10:42 +0100 | zangi | (~azure@36.79.200.71) |
2021-01-01 15:11:07 +0100 | <carter> | Good morning |
2021-01-01 15:11:28 +0100 | <idnar> | exarkun: https://hackage.haskell.org/package/tasty-1.4.0.1/docs/Test-Tasty.html#v:withResource I think |
2021-01-01 15:12:26 +0100 | <exarkun> | Ah ok. So not specifically about, say, temporary files, just about stuff involving IO |
2021-01-01 15:12:40 +0100 | <exarkun> | (I just want the equivalent of `TestCase.mktemp`) |
2021-01-01 15:14:27 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-01-01 15:14:46 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 15:18:12 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 15:18:55 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-01-01 15:19:19 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 15:20:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-01-01 15:20:25 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 15:21:33 +0100 | ashbreeze | (~mark@64.85.214.234.reverse.socket.net) |
2021-01-01 15:21:55 +0100 | ashbreeze | (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
2021-01-01 15:21:56 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
2021-01-01 15:23:10 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) |
2021-01-01 15:24:01 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 15:24:16 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 240 seconds) |
2021-01-01 15:25:04 +0100 | Katarushisu9 | (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) |
2021-01-01 15:27:38 +0100 | Katarushisu | (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) (Ping timeout: 264 seconds) |
2021-01-01 15:28:29 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 15:28:49 +0100 | Katarushisu9 | Katarushisu |
2021-01-01 15:31:13 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
2021-01-01 15:31:16 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 15:33:22 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 15:34:42 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-hqfdpizxijwctpzd) |
2021-01-01 15:35:30 +0100 | Katarushisu | (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
2021-01-01 15:36:16 +0100 | shinobi | (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
2021-01-01 15:36:42 +0100 | Katarushisu | (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) |
2021-01-01 15:37:28 +0100 | funkatronixxx | (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) |
2021-01-01 15:39:31 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
2021-01-01 15:40:11 +0100 | rekahsoft` | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
2021-01-01 15:40:11 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
2021-01-01 15:40:25 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 15:40:35 +0100 | Anthaas | (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
2021-01-01 15:41:48 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-01-01 15:42:30 +0100 | <exarkun> | Hrmph. So I'm just using withSystemTempFile from the temporary package but I guess there's something I still don't understand about (lazy?) IO because whenever I try to read the temporary path that I've just written to I get some kind of error |
2021-01-01 15:43:08 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
2021-01-01 15:44:54 +0100 | <exarkun> | https://gist.github.com/exarkun/dc0123fb1a099e5a81918d8528a7d13e fails with openBinaryFile: resource busy (file is locked) |
2021-01-01 15:45:01 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
2021-01-01 15:45:46 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 15:45:58 +0100 | Anthaas | (~Anthaas@unaffiliated/anthaas) |
2021-01-01 15:46:02 +0100 | <exarkun> | I guess the hPut isn't done when it comes around to trying to open the file for reading? But I'm already surprised because the runtime is ... inspecting the paths I'm working on and deciding they refer to the same file? |
2021-01-01 15:46:43 +0100 | gxt | (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
2021-01-01 15:47:25 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
2021-01-01 15:47:38 +0100 | <Rembane> | exarkun: What happens if you flush the handle and then read from it? |
2021-01-01 15:47:50 +0100 | <exarkun> | And then if I hClose handle between hPut and withBinaryFile it fails a different way, with hGetBufSome saying "illegal operation (handle is closed)" |
2021-01-01 15:48:26 +0100 | <exarkun> | with hFlush between hPut and withBinaryFile it still fails with "file is locked" |
2021-01-01 15:50:06 +0100 | gxt | (~gxt@gateway/tor-sasl/gxt) |
2021-01-01 15:50:23 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 15:50:40 +0100 | <exarkun> | Oh. Or it's not about general Haskell I/O at all and instead it's a feature of the temp file package |
2021-01-01 15:50:47 +0100 | <exarkun> | which opens the temp with file O_EXCL |
2021-01-01 15:50:56 +0100 | <exarkun> | so it's just the OS telling me I can't do what I want |
2021-01-01 15:51:15 +0100 | <exarkun> | Okay then. |
2021-01-01 15:51:33 +0100 | <Rembane> | Yeah, use the file handle instead of trying to open the file again |
2021-01-01 15:52:08 +0100 | <exarkun> | I guess, maybe, except this is in a test where I'm trying to test an API that takes a FilePath, not a Handle :) But maybe it would be okay if it took a Handle ... |
2021-01-01 15:52:39 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 15:52:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 15:56:03 +0100 | gxt | (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
2021-01-01 15:56:36 +0100 | gxt | (~gxt@gateway/tor-sasl/gxt) |
2021-01-01 15:57:24 +0100 | <Rembane> | exarkun: Got it, you could also create a temp directory and do things in that directory instead, with the full path. |
2021-01-01 15:57:30 +0100 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
2021-01-01 15:58:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-01-01 16:04:12 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 260 seconds) |
2021-01-01 16:05:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-01-01 16:08:09 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 16:10:42 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 265 seconds) |
2021-01-01 16:11:29 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 16:12:17 +0100 | demiurge | e |
2021-01-01 16:13:18 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:5c08:7b47:1b0:b77) |
2021-01-01 16:13:21 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2021-01-01 16:14:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 16:15:23 +0100 | madjest52 | (~Android@89-200-3-147.mobile.kpn.net) |
2021-01-01 16:15:40 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 16:15:48 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
2021-01-01 16:17:13 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 246 seconds) |
2021-01-01 16:19:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 16:22:16 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Ping timeout: 240 seconds) |
2021-01-01 16:22:21 +0100 | funkatronixxx | (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 16:23:09 +0100 | fendor__ | (~fendor@77.119.129.8.wireless.dyn.drei.com) |
2021-01-01 16:24:43 +0100 | funkatronixxx | (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) |
2021-01-01 16:24:43 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 16:25:37 +0100 | fendor_ | (~fendor@77.119.130.207.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
2021-01-01 16:28:50 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-01-01 16:28:52 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 272 seconds) |
2021-01-01 16:30:17 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2021-01-01 16:31:38 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 256 seconds) |
2021-01-01 16:31:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 16:34:20 +0100 | Varis | (~Tadas@unaffiliated/varis) |
2021-01-01 16:35:11 +0100 | jneira | (501e6579@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.121) (Quit: Ping timeout (120 seconds)) |
2021-01-01 16:38:13 +0100 | jneira | (501e6579@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.121) |
2021-01-01 16:38:45 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
2021-01-01 16:39:08 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 16:41:49 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2021-01-01 16:42:25 +0100 | unlink2 | (~unlink2@p200300ebcf259600e4593ff5d42812d3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-01-01 16:42:36 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-01-01 16:44:14 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
2021-01-01 16:44:14 +0100 | madjest52 | (~Android@89-200-3-147.mobile.kpn.net) (Read error: Connection reset by peer) |
2021-01-01 16:45:23 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2021-01-01 16:45:55 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-01-01 16:47:50 +0100 | unlink2 | (~unlink2@p200300ebcf259600e4593ff5d42812d3.dip0.t-ipconnect.de) |
2021-01-01 16:47:57 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:507e:67a8:8e33:6ee2) |
2021-01-01 16:48:31 +0100 | urodna | (~urodna@unaffiliated/urodna) |
2021-01-01 16:50:10 +0100 | funkatronixxx | (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 16:50:21 +0100 | slopjong | (~slopjong@5.253.204.101) (Remote host closed the connection) |
2021-01-01 16:51:26 +0100 | <aldessa> | what is the best way to play playlists in Haskell? i've managed to generate an m3u playlist bytestring |
2021-01-01 16:51:50 +0100 | <aldessa> | i can't seem to find any library on hackage to play playlists directly |
2021-01-01 16:52:37 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
2021-01-01 16:53:49 +0100 | rmk236 | (~lcampos@ip-37-201-211-236.hsi13.unitymediagroup.de) |
2021-01-01 16:54:29 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
2021-01-01 16:54:30 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2021-01-01 16:54:47 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
2021-01-01 16:55:02 +0100 | rekahsoft | (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
2021-01-01 16:56:49 +0100 | fendor__ | fendor |
2021-01-01 16:57:06 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 265 seconds) |
2021-01-01 16:58:20 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
2021-01-01 17:00:05 +0100 | CRTified[m] | (schnecfkru@gateway/shell/matrix.org/x-vrozfuovpxunwnos) (Quit: Idle for 30+ days) |
2021-01-01 17:00:32 +0100 | funkatronixxx | (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) |
2021-01-01 17:01:00 +0100 | taurux | (~taurux@net-93-144-87-101.cust.dsl.teletu.it) (Quit: ZNC 1.7.5 - https://znc.in) |
2021-01-01 17:01:53 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) |
2021-01-01 17:02:20 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 17:02:44 +0100 | funkatronixxx | (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) (Client Quit) |
2021-01-01 17:04:57 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2021-01-01 17:10:03 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 17:10:48 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) |
2021-01-01 17:11:24 +0100 | cwj1 | (~cwj@s91904426.blix.com) |
2021-01-01 17:14:32 +0100 | pavonia | (~user@unaffiliated/siracusa) |
2021-01-01 17:15:49 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 17:17:00 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) |
2021-01-01 17:18:17 +0100 | petersen | (~petersen@redhat/juhp) |
2021-01-01 17:18:49 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 17:19:47 +0100 | shinobi | (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) |
2021-01-01 17:20:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 17:21:34 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
2021-01-01 17:21:39 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 17:22:25 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
2021-01-01 17:27:36 +0100 | kam1 | (~kam1@24.231.108.143) (Read error: Connection reset by peer) |
2021-01-01 17:27:48 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 17:30:04 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
2021-01-01 17:30:12 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 17:30:16 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2021-01-01 17:31:08 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
2021-01-01 17:32:44 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 17:33:00 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 17:34:55 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 17:35:03 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 17:36:14 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 17:37:49 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 17:39:48 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 272 seconds) |
2021-01-01 17:40:29 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Client Quit) |
2021-01-01 17:41:13 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 17:43:11 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-01-01 17:43:36 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-01-01 17:46:52 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 17:47:38 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 17:47:52 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
2021-01-01 17:49:21 +0100 | Tops2 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
2021-01-01 17:50:43 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
2021-01-01 17:52:37 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 17:53:21 +0100 | kderme | (2eb0d7c7@ppp046176215199.access.hol.gr) |
2021-01-01 17:54:15 +0100 | brown121407 | (~brown1214@fsf/member/brown121407) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-01-01 17:54:33 +0100 | brown121407 | (~brown1214@2001:19f0:6c01:2b9c:3c66:4201:22f3:3ebc) |
2021-01-01 17:54:33 +0100 | brown121407 | (~brown1214@2001:19f0:6c01:2b9c:3c66:4201:22f3:3ebc) (Changing host) |
2021-01-01 17:54:33 +0100 | brown121407 | (~brown1214@fsf/member/brown121407) |
2021-01-01 17:54:45 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 17:55:00 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Ping timeout: 272 seconds) |
2021-01-01 17:55:21 +0100 | kuribas | (~user@ptr-25vy0i9g14sodnd3b5o.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2021-01-01 17:55:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-01-01 17:57:38 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
2021-01-01 17:58:36 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 17:59:39 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 18:05:36 +0100 | Guest14638 | (~textual@mskresolve-a.mskcc.org) (Ping timeout: 240 seconds) |
2021-01-01 18:07:25 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 264 seconds) |
2021-01-01 18:08:50 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 18:09:36 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
2021-01-01 18:10:57 +0100 | <shinobi> | Happy New Year! I am just learning about applicative functors. Why is the type of the below function what it is? It makes no sense to me. |
2021-01-01 18:11:13 +0100 | <shinobi> | Prelude> :t (.) <$> (+3) <*> (*100) |
2021-01-01 18:11:13 +0100 | <shinobi> | (.) <$> (+3) <*> (*100) :: Num (c -> c) => (c -> c) -> c -> c |
2021-01-01 18:11:56 +0100 | <shinobi> | This similar function make sense to me: |
2021-01-01 18:11:57 +0100 | <shinobi> | Prelude> :t (+) <$> (+3) <*> (*100) |
2021-01-01 18:11:57 +0100 | <shinobi> | (+) <$> (+3) <*> (*100) :: Num b => b -> b |
2021-01-01 18:12:25 +0100 | <shinobi> | I would expect the same type under function composition. |
2021-01-01 18:12:35 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 18:12:45 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
2021-01-01 18:12:49 +0100 | pera | (pera@gateway/vpn/mullvad/pera) (Ping timeout: 264 seconds) |
2021-01-01 18:12:57 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 18:13:32 +0100 | <dsal> | :t (.) <$> (+3) <*> (*100) |
2021-01-01 18:13:34 +0100 | <lambdabot> | Num (c -> c) => (c -> c) -> c -> c |
2021-01-01 18:14:04 +0100 | <dsal> | :t (+) <$> (+3) <*> (*100) |
2021-01-01 18:14:06 +0100 | <lambdabot> | Num b => b -> b |
2021-01-01 18:14:17 +0100 | <shinobi> | I like your lambdabot! |
2021-01-01 18:14:24 +0100 | <dsal> | It's all of our lambdabot |
2021-01-01 18:14:32 +0100 | <dsal> | I'm not sure I understand your confusion, though. |
2021-01-01 18:14:35 +0100 | pera | (~pera@unaffiliated/pera) |
2021-01-01 18:14:35 +0100 | <dsal> | :t (.) |
2021-01-01 18:14:37 +0100 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
2021-01-01 18:14:48 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
2021-01-01 18:14:52 +0100 | <shinobi> | I would expect the two functions above to have the same type. |
2021-01-01 18:15:13 +0100 | <idnar> | (.) <$> (+3) <*> (*100) = \x -> (x + 3) . (x * 100) |
2021-01-01 18:15:14 +0100 | <dsal> | . composes functions into new functions (i.e., combines functions) and + combines numbers. combining functions yields functions, where combining numbers yields numbers. |
2021-01-01 18:15:38 +0100 | <dsal> | :t (+) |
2021-01-01 18:15:40 +0100 | <lambdabot> | Num a => a -> a -> a |
2021-01-01 18:15:40 +0100 | <dsal> | :t (.) |
2021-01-01 18:15:41 +0100 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
2021-01-01 18:16:04 +0100 | <dsal> | Why would you expect them to have the same type? What type would you expect that to be? |
2021-01-01 18:16:29 +0100 | <ephemient> | they would be same thing with church numerals :p |
2021-01-01 18:16:39 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 18:16:58 +0100 | <shinobi> | Looking at the second function. I would expect the system to add the two functions together and then apply it to 5 |
2021-01-01 18:17:02 +0100 | <shinobi> | Is that correct? |
2021-01-01 18:17:11 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2021-01-01 18:17:28 +0100 | <shinobi> | (x+3) + (X*100) |
2021-01-01 18:17:50 +0100 | <shinobi> | So this looks like num -> num |
2021-01-01 18:17:52 +0100 | <dsal> | > (+) <$> (+a) <*> (*b) $ c |
2021-01-01 18:17:54 +0100 | <lambdabot> | c + a + c * b |
2021-01-01 18:17:59 +0100 | <ephemient> | (+) does not add two functions together, it only adds two numbers together |
2021-01-01 18:18:14 +0100 | Alleria | (~textual@2603-7000-3040-0000-05ee-0552-d472-c8f7.res6.spectrum.com) |
2021-01-01 18:18:16 +0100 | <shinobi> | ah |
2021-01-01 18:18:26 +0100 | <shinobi> | so it has to apply an argument first? |
2021-01-01 18:18:38 +0100 | Alleria | Guest87408 |
2021-01-01 18:18:39 +0100 | <idnar> | :t (<*>) |
2021-01-01 18:18:40 +0100 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
2021-01-01 18:19:49 +0100 | <dsal> | > liftA2 (+) (+a) (+b) c |
2021-01-01 18:19:51 +0100 | <lambdabot> | c + a + (c + b) |
2021-01-01 18:19:58 +0100 | <idnar> | the Applicative here is ((->) r) |
2021-01-01 18:21:17 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
2021-01-01 18:21:36 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 18:26:28 +0100 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
2021-01-01 18:29:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 18:31:08 +0100 | nek0 | (~nek0@mail.nek0.eu) |
2021-01-01 18:32:56 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 18:33:17 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 18:34:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 18:35:32 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2021-01-01 18:38:55 +0100 | Tops21 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
2021-01-01 18:40:46 +0100 | nek0 | (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
2021-01-01 18:41:24 +0100 | rsoeldner_ | (~rsoeldner@2a02:8108:973f:eb38:61c8:bc2c:6f96:2b71) (Quit: Leaving) |
2021-01-01 18:41:46 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) (Ping timeout: 246 seconds) |
2021-01-01 18:42:00 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) (Remote host closed the connection) |
2021-01-01 18:42:13 +0100 | nek0 | (~nek0@mail.nek0.eu) |
2021-01-01 18:42:18 +0100 | Tops2 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
2021-01-01 18:42:36 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) |
2021-01-01 18:42:40 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) (Read error: Connection reset by peer) |
2021-01-01 18:42:41 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2021-01-01 18:42:43 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-01-01 18:42:56 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2021-01-01 18:42:57 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2021-01-01 18:42:57 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) |
2021-01-01 18:43:00 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) |
2021-01-01 18:43:02 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) (Remote host closed the connection) |
2021-01-01 18:43:07 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
2021-01-01 18:43:18 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) |
2021-01-01 18:43:23 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) (Remote host closed the connection) |
2021-01-01 18:43:40 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) |
2021-01-01 18:43:43 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2021-01-01 18:43:44 +0100 | FreeBirdLjj | (~freebirdl@101.87.175.26) (Remote host closed the connection) |
2021-01-01 18:44:57 +0100 | Shiranai | (beed0d74@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.116) |
2021-01-01 18:46:13 +0100 | <Shiranai> | any good problem sets to practice appliatives, functors, monads, and friends? |
2021-01-01 18:47:00 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 18:47:24 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-164.cust.tzulo.com) |
2021-01-01 18:48:08 +0100 | aldessa | (~hugh@host-92-27-117-235.static.as13285.net) (Quit: Leaving) |
2021-01-01 18:48:16 +0100 | toorevitimirp | (~tooreviti@117.182.181.242) (Remote host closed the connection) |
2021-01-01 18:48:16 +0100 | <monochrom> | https://github.com/system-f/fp-course e.g. Course.Functor, Course.Applicative, Course.Monad |
2021-01-01 18:48:36 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
2021-01-01 18:49:07 +0100 | Tario | (~Tario@201.192.165.173) |
2021-01-01 18:49:13 +0100 | Tops2 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
2021-01-01 18:51:22 +0100 | <Shiranai> | monochrom: thanks a lot! |
2021-01-01 18:51:39 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 18:52:26 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
2021-01-01 18:52:36 +0100 | andi- | (~andi-@NixOS/user/andi-) (Remote host closed the connection) |
2021-01-01 18:52:45 +0100 | Tops21 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
2021-01-01 18:54:13 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) (Ping timeout: 264 seconds) |
2021-01-01 18:56:17 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 18:56:46 +0100 | andi- | (~andi-@NixOS/user/andi-) |
2021-01-01 18:56:57 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2021-01-01 18:57:09 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) |
2021-01-01 18:59:31 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 19:00:11 +0100 | nurupo | (~nurupo.ga@unaffiliated/nurupo) (Quit: nurupo.ga) |
2021-01-01 19:01:26 +0100 | nurupo | (~nurupo.ga@unaffiliated/nurupo) |
2021-01-01 19:03:43 +0100 | <koz_> | I think there's some Typeclassopedia exercises too? |
2021-01-01 19:04:51 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) (Quit: WeeChat 2.9) |
2021-01-01 19:04:52 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 268 seconds) |
2021-01-01 19:06:14 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 19:07:44 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) |
2021-01-01 19:07:54 +0100 | rmk236 | (~lcampos@ip-37-201-211-236.hsi13.unitymediagroup.de) (Quit: Leaving.) |
2021-01-01 19:11:06 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-01-01 19:11:13 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
2021-01-01 19:11:26 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2021-01-01 19:11:33 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
2021-01-01 19:12:05 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
2021-01-01 19:14:19 +0100 | <monochrom> | Yeah, but they're much lighter. |
2021-01-01 19:14:27 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-01-01 19:15:33 +0100 | <koz_> | Still worth doing. |
2021-01-01 19:16:55 +0100 | VladArdelean | (6da68aea@109.166.138.234) |
2021-01-01 19:17:03 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-01-01 19:17:45 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 19:18:08 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 19:18:27 +0100 | <VladArdelean> | Hi all! I'm trying to learn Haskell for fun. I want to set up an IDE. Does anyone have a good recommendation of something that can |
2021-01-01 19:18:39 +0100 | <VladArdelean> | ...help ? |
2021-01-01 19:18:39 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Read error: Connection reset by peer) |
2021-01-01 19:18:50 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 19:19:22 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 19:21:00 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 19:22:00 +0100 | <cohn> | VladArdelean: I can recommend VS Code without hesitation: https://code.visualstudio.com/ |
2021-01-01 19:22:25 +0100 | <cohn> | be sure to get the Haskell plugin so you get linting, formatting, etc... |
2021-01-01 19:23:10 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 19:23:21 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 19:23:22 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 19:25:54 +0100 | <koz_> | That's basically _the_ solution if you want a full-blown IDE. |
2021-01-01 19:25:59 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
2021-01-01 19:26:16 +0100 | <koz_> | If you're OK with something a bit less capable, there are other options, depending on what you're comfortable with. |
2021-01-01 19:27:28 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 272 seconds) |
2021-01-01 19:27:34 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 19:27:58 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
2021-01-01 19:28:04 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 19:29:31 +0100 | <VladArdelean> | thanks @koz_ ! I'm OK with something with the largest amount of features so VS code sounds like my cup of tea :) Do you happen to have an idea how I'd run/debug code with the plugin? I am far too lazy to use ghci and :break/ :step/ :list /etc |
2021-01-01 19:30:06 +0100 | <koz_> | VladArdelean: I personally wouldn't know, but someone else in here might. |
2021-01-01 19:30:40 +0100 | VladArdelean | (6da68aea@109.166.138.234) (Remote host closed the connection) |
2021-01-01 19:31:05 +0100 | <merijn> | I think the real answer is: The debugger isn't used nearly as much as anything like the debuggers for C/java/whatever |
2021-01-01 19:31:10 +0100 | <merijn> | @quote stream.of.concious |
2021-01-01 19:31:11 +0100 | <lambdabot> | No quotes match. I can't hear you -- I'm using the scrambler. |
2021-01-01 19:31:13 +0100 | <merijn> | aww |
2021-01-01 19:31:28 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 246 seconds) |
2021-01-01 19:31:36 +0100 | <merijn> | @quote cmccann narrative |
2021-01-01 19:31:36 +0100 | <lambdabot> | cmccann says: you want a debugger? GHC has one. Except that stepping through lazy evaluation is like listening to a stream of consciousness narrative told by a 5-year-old with ADHD. |
2021-01-01 19:31:44 +0100 | <merijn> | That |
2021-01-01 19:32:08 +0100 | <cohn> | haha |
2021-01-01 19:32:44 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
2021-01-01 19:33:09 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 19:33:23 +0100 | <cohn> | I find HLS to be extremely helpful. Not a substitute for a debugger, but definitely helps make code better. |
2021-01-01 19:33:34 +0100 | ransom | (~c4264035@8.47.12.52) |
2021-01-01 19:33:46 +0100 | <merijn> | HLS is just a platform for other things to plug into, though |
2021-01-01 19:33:51 +0100 | <cohn> | yep |
2021-01-01 19:34:10 +0100 | <cohn> | I dunno how I ever lived without it |
2021-01-01 19:34:23 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
2021-01-01 19:35:45 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 19:36:10 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 19:36:56 +0100 | DavidEichmann | (~david@98.27.93.209.dyn.plus.net) (Ping timeout: 256 seconds) |
2021-01-01 19:37:03 +0100 | <koz_> | Yeah, I would agree with merijn here. |
2021-01-01 19:37:14 +0100 | <koz_> | (and that quote is both hilarious and accurate) |
2021-01-01 19:37:34 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 19:37:56 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 19:38:21 +0100 | <ephemient> | IMO: stepping and watching in a debugger should be a fallback for code that can't be understood. if it can be understood, there are better ways to debug |
2021-01-01 19:39:29 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 19:39:34 +0100 | <koz_> | ephemient: That right there speaks volumes about how incomprehensible C code is. :P |
2021-01-01 19:39:35 +0100 | solonarv | (~solonarv@astrasbourg-653-1-252-231.w92-161.abo.wanadoo.fr) |
2021-01-01 19:39:51 +0100 | <dolio> | C is at least more amenable to that technique. |
2021-01-01 19:39:53 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 19:39:54 +0100 | <heatsink> | Is there a way to put haddock documentation on a multiple type signature like `one, two, three :: Number`? |
2021-01-01 19:39:57 +0100 | <merijn> | cohn: I like the warning/error highlighting and jump to definition, but tbh I know for a fact that I'd easily give that up for tooling quality :p |
2021-01-01 19:40:13 +0100 | <merijn> | cohn: Because I had those features and gave them up for 4 years to use v2-build instead :p |
2021-01-01 19:40:23 +0100 | <merijn> | heatsink: not afaik? |
2021-01-01 19:40:35 +0100 | <heatsink> | ok |
2021-01-01 19:40:54 +0100 | <dolio> | The exact sequence of steps in lazy evaluation is decoupled from the logical structure of the definitions, so you can't really expect to understand the latter from the former in general. |
2021-01-01 19:41:17 +0100 | <cohn> | merijn: good point. :D |
2021-01-01 19:41:18 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-01-01 19:42:17 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
2021-01-01 19:42:24 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 19:43:44 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
2021-01-01 19:43:51 +0100 | <monochrom> | Even in C I no longer use debuggers. I use printf to check/refute conjectures based on Dijsktra's weakest preconditions. That's what I did successfully last time I was troubleshooting someone else's code. |
2021-01-01 19:44:00 +0100 | madjestic | (~Android@86-88-72-244.fixed.kpn.net) |
2021-01-01 19:44:01 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 19:44:23 +0100 | <merijn> | monochrom: It depends, printf debugging is certainly my default. But debuggers have their uses |
2021-01-01 19:45:16 +0100 | <merijn> | Especially in concurrent/multi-threaded code since the ability to set breakpoint, watchpoints and control sequencing is fantastic and unattainable via printf :p |
2021-01-01 19:45:44 +0100 | <dolio> | I've never used a C debugger, I think, because I never learned how. But I used JS debugging quite a bit, since it's essentially automatically set up for you in every browser. |
2021-01-01 19:45:51 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 19:46:04 +0100 | <heatsink> | A debugger is useful for inspecting corrupted data |
2021-01-01 19:46:14 +0100 | <dolio> | As long as you're not mangling your source code and not telling it how to recover the original. |
2021-01-01 19:47:03 +0100 | <dolio> | printf type stuff is also not so great in JS, I guess. |
2021-01-01 19:47:04 +0100 | <ephemient> | in Haskell I find it very useful to be able to throw a QuickCheck property at just about anything |
2021-01-01 19:47:18 +0100 | <cohn> | anyone ever use dtrace? |
2021-01-01 19:47:23 +0100 | <ephemient> | find a minimal counterexample to what you think should be happening, then reason through it |
2021-01-01 19:47:24 +0100 | <merijn> | @quote refreshing.desert |
2021-01-01 19:47:24 +0100 | <lambdabot> | chromatic says: My productivity increased when Autrijus told me about Haskell's trace function. He called it a refreshing desert in the oasis of referential transparency. |
2021-01-01 19:47:30 +0100 | <merijn> | cohn: Yes, DTrace is amazing |
2021-01-01 19:47:40 +0100 | <monochrom> | I have used debuggers for only two scenerios. One is when it's someone else code so I know nothing and I don't have patience to read it all. (But you see I have superseded that.) The other is when there is a crash so I fire up "gdb foo core" but I merely look at the backtrace. |
2021-01-01 19:47:47 +0100 | <merijn> | cohn: And apparently "just works" on macOS with GHC :D |
2021-01-01 19:48:03 +0100 | <ephemient> | Debug.Trace is still kinda weird sometimes due to laziness, but yeah that's basically printf debugging :D |
2021-01-01 19:48:11 +0100 | <cohn> | merijn: wow, never knew that! Might have to try it some time |
2021-01-01 19:48:14 +0100 | <monochrom> | The printf+wp technique I said I use was a case of corrupted data. |
2021-01-01 19:48:35 +0100 | <monochrom> | Well, in a sense. |
2021-01-01 19:48:41 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-01-01 19:48:56 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2021-01-01 19:49:21 +0100 | <monochrom> | The desired outcome was computing some pixel colour values (unlikely 0) and storing in an array. The buggy outcome was storing 0's there. |
2021-01-01 19:49:49 +0100 | <ephemient> | unfortunately the nature of trace printing something can also change order of evaluation… |
2021-01-01 19:50:03 +0100 | <merijn> | cohn: All I did was start DTrace and fire some Haskell application and I just saw alls sorts of thread scheduling and GC events pouring out in DTrace, so that was neat |
2021-01-01 19:50:12 +0100 | <cohn> | wow |
2021-01-01 19:50:12 +0100 | <ephemient> | well, the same if you're using GHC's debugger; forcing something to print it is also changing order of evaluation |
2021-01-01 19:51:10 +0100 | <cohn> | there's also Ghidra if you want to reverse engineer binaries and don't mind that the NSA developed it: https://www.nsa.gov/resources/everyone/ghidra/ |
2021-01-01 19:51:12 +0100 | <monochrom> | I also use strace, when I want to know the conversation between the program and the OS. |
2021-01-01 19:51:37 +0100 | <monochrom> | But again strace is printf on steroid, not gdb on steroid |
2021-01-01 19:51:39 +0100 | <ephemient> | = dtruss on dtrace systems, but yeah |
2021-01-01 19:51:52 +0100 | <monochrom> | or rather, not stepping on steroid. |
2021-01-01 19:52:00 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
2021-01-01 19:52:01 +0100 | Lord_of_Life_ | Lord_of_Life |
2021-01-01 19:53:26 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 272 seconds) |
2021-01-01 19:54:41 +0100 | <merijn> | dtrace is printf on steroids :p |
2021-01-01 19:55:04 +0100 | <dsal> | cohn: I added dtrace support to erlang |
2021-01-01 19:55:13 +0100 | <merijn> | dsal: \o/ |
2021-01-01 19:55:14 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-01-01 19:55:19 +0100 | <merijn> | DTrace support in everything! |
2021-01-01 19:56:23 +0100 | <dsal> | I've not used it much in a while. But it's absurdly powerful. I had a high-end engineer talking about things you can't know because it's erlang, so I added dtrace support and demonstrated that you can know these things. Turns out, facts don't change opinions. |
2021-01-01 19:57:04 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-01-01 19:57:16 +0100 | <cohn> | they definitely don't. : ( |
2021-01-01 19:57:33 +0100 | <merijn> | I don't use DTrace that much, but every time I dive into it I just go "wow, I forgot how cool and amazing this is!" |
2021-01-01 19:57:41 +0100 | <dsal> | That sounds about right. |
2021-01-01 19:58:01 +0100 | <monochrom> | In the case of C, or rather "C", there is no conflict between "dtrace can tell you" and "you still can't know". |
2021-01-01 19:58:01 +0100 | <cohn> | dsal: that's awesome that you added dtrace support to erlang. I tried to learn erlang and it was... weird. |
2021-01-01 19:58:39 +0100 | <dsal> | cohn: erlang isn't all that weird. It's got a few simple types and is good at moving them around networks. The model is nice. If something doesn't work, crash. I've made pretty reliable stuff that way. |
2021-01-01 19:58:54 +0100 | <monochrom> | On the ground that 90% of things you discover from debuggers and tracers, they aren't guaranteed by the "C" "standard". >:) |
2021-01-01 19:59:06 +0100 | <dsal> | It's also pretty good at low-latency because everything is immutable and it can swap tasks without having to think about whether something is in a critical region or whatever. |
2021-01-01 19:59:25 +0100 | <koz_> | monochrom: That is indeed the right number of air quotes. |
2021-01-01 19:59:52 +0100 | neiluj | (~jco@unaffiliated/neiluj) (Ping timeout: 260 seconds) |
2021-01-01 20:01:06 +0100 | <dsal> | monochrom: Well, the particular question was this idea that the time between sending a message and processing a message was unknowable because it's magic VM overhead. So I added more junk and made a tiny dtrace script that would dump out a histogram showing that, actually, there's almost never any actual time between sends and receives most of the time. |
2021-01-01 20:01:23 +0100 | <dsal> | Dude remained convinced that erlang was too slow and he needed to rewrite everything in C to have it not be slow. |
2021-01-01 20:01:49 +0100 | <merijn> | dsal: You can't argue with stupid |
2021-01-01 20:01:52 +0100 | <dsal> | Spoiler: The IO system didn't actually care whether bits were prepped from C code or erlang code. It wasn't faster and it scaled more poorly... except on single core systems. |
2021-01-01 20:02:07 +0100 | <monochrom> | Oh, then that's unforgivable. To disrespect empirical data like so. |
2021-01-01 20:02:20 +0100 | <dsal> | Yeah. I was surprised. It made me sad. |
2021-01-01 20:02:26 +0100 | <hpc> | i suspect he just wanted to write c and didn't care what he had to say to get there |
2021-01-01 20:03:16 +0100 | <dsal> | Yeah, the motivations weren't what I expected. It took > 9 months to get to feature parity with what we'd done in a weekend in erlang and it was *hilariously* buggy. |
2021-01-01 20:03:30 +0100 | <merijn> | monochrom: "We're software engineers! Which means we're going to reject empirical data and go with our gut, because that's what engineers do!" |
2021-01-01 20:03:39 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
2021-01-01 20:04:08 +0100 | <dsal> | He and the guy he was doing this C thing with were convinced they found a bug in the linux kernel that lead to filesystem corruption because their new C code wasn't writing the bits they expected. Turns out, they just didn't understand how to write concurrent mutable code in C. |
2021-01-01 20:04:13 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
2021-01-01 20:04:19 +0100 | <monochrom> | Heh time to whip out Gerald Weinburg's quote again. "If it doesn't have to be correct, I can do it ten times faster." |
2021-01-01 20:04:37 +0100 | <merijn> | monochrom: If it doesn't have to be correct I can do it arbitarily faster |
2021-01-01 20:05:10 +0100 | <dsal> | I was asking why NetBSD didn't have a floppy tape driver way back in the mid 90s. These things were kind of popular. Someone recommended /dev/null as being just as reliable, but significantly faster. Turns out, it was. |
2021-01-01 20:05:17 +0100 | <merijn> | monochrom: "return 42;" done |
2021-01-01 20:07:15 +0100 | <tomsmeding> | dsal: depends on your definition of "reliable" |
2021-01-01 20:07:46 +0100 | gioyik | (~gioyik@179.32.228.107) |
2021-01-01 20:08:11 +0100 | <dsal> | tomsmeding: that's true. /dev/null did behave more predictably |
2021-01-01 20:08:25 +0100 | <monochrom> | haha roast |
2021-01-01 20:09:02 +0100 | falafel | (~falafel@pool-108-31-243-192.washdc.fios.verizon.net) |
2021-01-01 20:09:49 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-bphofpilzzzitilm) |
2021-01-01 20:10:15 +0100 | hiroaki | (~hiroaki@2a02:908:4b18:8c40::ee4f) |
2021-01-01 20:11:55 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2021-01-01 20:12:27 +0100 | <koz_> | Something something 'this number was generated by a fair die roll' something XKCD something. |
2021-01-01 20:13:52 +0100 | xff0x_ | (~fox@2001:1a81:53cd:600:13ec:7df7:81ac:e67) (Ping timeout: 260 seconds) |
2021-01-01 20:14:43 +0100 | xff0x_ | (~fox@2001:1a81:53cd:600:4280:8eb:d6d7:f299) |
2021-01-01 20:14:50 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 20:17:00 +0100 | <Shiranai> | I'm doing the system-exercises and I'm getting an error on this, 100% sure I'm missing something silly https://pastebin.com/GQmry9bL |
2021-01-01 20:17:35 +0100 | <Shiranai> | but can't figure out what it is, though |
2021-01-01 20:17:44 +0100 | <monochrom> | (??) Empty y = y |
2021-01-01 20:18:00 +0100 | <Shiranai> | yes that works, but why does my don't? |
2021-01-01 20:18:00 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 20:18:05 +0100 | <Shiranai> | mine* |
2021-01-01 20:18:44 +0100 | <monochrom> | The language standard KISS and requires consistent number of arguments. |
2021-01-01 20:19:21 +0100 | <Shiranai> | ahhh, I see, thanks |
2021-01-01 20:22:01 +0100 | jacks2 | (~bc815220@217.29.117.252) |
2021-01-01 20:22:16 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
2021-01-01 20:22:47 +0100 | <jacks2> | hi. is there something like Data.Map in base that doesn't require Ord? a hashmap or something similar? |
2021-01-01 20:23:27 +0100 | <geekosaur> | not in base but in containers |
2021-01-01 20:23:45 +0100 | <jacks2> | unordered-containers? did some googling while asking the question |
2021-01-01 20:23:48 +0100 | <koz_> | geekosaur: unordered-containers you mean? |
2021-01-01 20:24:07 +0100 | <koz_> | jacks2: Yeah, unordered-containers has HashMap and friends. It requires (Eq a, Hashable a). |
2021-01-01 20:24:38 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
2021-01-01 20:25:17 +0100 | <jacks2> | class Hashable, minimal complete definition, Nothing? |
2021-01-01 20:25:37 +0100 | <koz_> | jacks2: That's because it leans on Generic. |
2021-01-01 20:25:53 +0100 | <koz_> | If your type lacks a Generic instance, you'd still have to write one. |
2021-01-01 20:26:05 +0100 | <koz_> | s/one/one method, 'hashWithSalt'/ |
2021-01-01 20:26:16 +0100 | <jacks2> | so key Type needs to implement Generic? I was hoping to avoid having to write Ord for my keys, but I'm not sure if having to write Generics is any better/easier |
2021-01-01 20:26:24 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2021-01-01 20:26:36 +0100 | <koz_> | jacks2: You don't have to write Ord. Just go 'deriving (Ord)'. |
2021-01-01 20:26:49 +0100 | <koz_> | Unless you have a vested interest in what kind of order you have over them. |
2021-01-01 20:26:55 +0100 | <koz_> | (which by the sounds of it, you don't) |
2021-01-01 20:27:06 +0100 | <jacks2> | koz_, a key can also be a third party type though |
2021-01-01 20:27:21 +0100 | <monochrom> | This sounds like a lot of trouble and a rabbit hole just to avoid Ord. |
2021-01-01 20:27:23 +0100 | <koz_> | jacks2: By that, you mean 'a type you didn't write'? |
2021-01-01 20:27:35 +0100 | <koz_> | And you're 100% certain said type(s) _don't_ have Ord instances? |
2021-01-01 20:27:37 +0100 | <jacks2> | koz_ a type written, or defined, by someone else |
2021-01-01 20:28:00 +0100 | <dsal> | Ord seems easier than hashable |
2021-01-01 20:28:11 +0100 | <jacks2> | context: I am writing a caching library [yes I know they already exist], and I want to be as convenient as possible for the user |
2021-01-01 20:29:54 +0100 | <dsal> | If a user wants to use something as a cache key that isn't comparable on its own, they'll have to provide a way to compare them. |
2021-01-01 20:31:34 +0100 | <Shiranai> | Are there any resources on system-F fp course? I am not sure if I'm supposed to be using the functors, applicatives and all that at an early point. |
2021-01-01 20:32:02 +0100 | <jacks2> | so what do you think, Data.Map over Hashmap? there's also [(Key, Value)], that would require just Eq, but it would be least efficient |
2021-01-01 20:34:07 +0100 | falafel | (~falafel@pool-108-31-243-192.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
2021-01-01 20:34:43 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
2021-01-01 20:35:29 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 20:36:05 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
2021-01-01 20:37:46 +0100 | <monochrom> | Shiranai: I don't understand the question. The course contains both basic material and functor applicative monad material, you can skip whatever is too basic for you and do whatever interests you, no? |
2021-01-01 20:38:15 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 20:39:02 +0100 | <Shiranai> | For example in the Optional .hs excercises they were presented just as so, without instructions of "how to" do it, for that particular case just pattern matching works fine but you could also use (<*>) and that stuff |
2021-01-01 20:39:13 +0100 | <Shiranai> | so I wanted to know if there was some intended way of solving them |
2021-01-01 20:39:18 +0100 | <Shiranai> | or just whatever works |
2021-01-01 20:40:02 +0100 | <monochrom> | Oh, then that one is basic. |
2021-01-01 20:40:41 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 20:40:59 +0100 | <dsal> | jacks2: making a slow cache doesn't seem great. :) |
2021-01-01 20:41:24 +0100 | <dsal> | I've rarely used Hashmap. |
2021-01-01 20:41:47 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 20:41:48 +0100 | laqq3 | (~laqq3@204.14.36.36) |
2021-01-01 20:43:45 +0100 | laqq3 | (~laqq3@204.14.36.36) (Quit: leaving) |
2021-01-01 20:44:01 +0100 | mputz | (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
2021-01-01 20:44:49 +0100 | <jacks2> | same |
2021-01-01 20:46:01 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 20:46:30 +0100 | <dsal> | Map is fine. If you can think of a use case that involves a user wanting to cache with some kind of key that can't be Ord, then just tell the user they're doing it wrong. |
2021-01-01 20:46:45 +0100 | <monochrom> | :) |
2021-01-01 20:47:16 +0100 | argento | (~argent0@168.227.96.51) |
2021-01-01 20:48:19 +0100 | <jacks2> | that works :) |
2021-01-01 20:49:14 +0100 | <dsal> | i.e., some thing that is conceptually usable as a key, but isn't Ord is probably a `toKey` function away from something that is Ord. |
2021-01-01 20:51:04 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
2021-01-01 20:52:14 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-uagwkmdlrotoupds) |
2021-01-01 20:53:50 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2021-01-01 20:54:05 +0100 | chambln | (~user@2.31.230.114) |
2021-01-01 20:55:04 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 20:57:06 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2021-01-01 20:59:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 21:00:36 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 21:06:04 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-01-01 21:06:52 +0100 | kuribas | (~user@ptr-25vy0i9hqewdqyz7ls0.18120a2.ip6.access.telenet.be) |
2021-01-01 21:12:10 +0100 | <Shiranai> | I am looking at filter's definition and was wondering if it could be implemented using just pattern matching (without where-bindings) https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.List.html#filter |
2021-01-01 21:12:20 +0100 | <Shiranai> | any ideas? |
2021-01-01 21:12:47 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 265 seconds) |
2021-01-01 21:12:59 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-01-01 21:13:17 +0100 | Deide | (~Deide@217.155.19.23) |
2021-01-01 21:13:27 +0100 | <__monty__> | Shiranai: But it has no where clause? |
2021-01-01 21:13:35 +0100 | <__monty__> | Do you mean without guards? |
2021-01-01 21:15:05 +0100 | frankdmartinez | (~frankdmar@5.181.234.188) (Quit: frankdmartinez) |
2021-01-01 21:15:31 +0100 | <Shiranai> | yes, just using pattern matching |
2021-01-01 21:16:37 +0100 | <argento> | Could be done defining an auxiliar revursive function that consules (Bool, a). But why avoid guards? |
2021-01-01 21:16:57 +0100 | <argento> | s/revur/recur/g |
2021-01-01 21:17:19 +0100 | <__monty__> | Shiranai: You can write it with if then else or a case expression instead. |
2021-01-01 21:17:36 +0100 | <__monty__> | Or a list comprehension. |
2021-01-01 21:18:49 +0100 | <Shiranai> | yeah I did it with case expresions and if then elses |
2021-01-01 21:19:21 +0100 | <Shiranai> | not really avoiding them, just checking if they can always be reestated in pattern matching |
2021-01-01 21:19:43 +0100 | <b4er> | Or do-notation ;P |
2021-01-01 21:19:58 +0100 | bendo_ | (~bendo@130.61.122.121) |
2021-01-01 21:20:01 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds) |
2021-01-01 21:20:17 +0100 | <b4er> | I guess that'd count as list-notation maybe |
2021-01-01 21:20:24 +0100 | <Shiranai> | yeah I see how do-notation or list comprehension work but sounds overkill for a simple problem haha |
2021-01-01 21:20:31 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
2021-01-01 21:20:56 +0100 | <hpc> | you could write it as one pattern and a bunch of if-then-else if you really wanted :P |
2021-01-01 21:21:11 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2021-01-01 21:21:43 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-01-01 21:22:16 +0100 | <b4er> | `case` on Boolean too, nobody wants if-then-else statements |
2021-01-01 21:22:27 +0100 | <monochrom> | I want if-then-else statements. |
2021-01-01 21:22:50 +0100 | <Shiranai> | I thought you were all for pattern matching |
2021-01-01 21:23:09 +0100 | <Shiranai> | in fact because of your blogpost on it is why I just made this question haha |
2021-01-01 21:23:15 +0100 | <monochrom> | I am for pattern matching too. Just not as religiously as others. |
2021-01-01 21:23:21 +0100 | <hpc> | monochrom: technically you want if-then-else expressions :D |
2021-01-01 21:23:26 +0100 | bendo | (~bendo@130.61.122.121) (Ping timeout: 264 seconds) |
2021-01-01 21:23:50 +0100 | <monochrom> | "if x>0 then ... else ..." does not benefit from pattern matching. |
2021-01-01 21:24:18 +0100 | <b4er> | Do people write code like that though `case x > 0 of ...` ? |
2021-01-01 21:24:23 +0100 | bendo_ | bendo |
2021-01-01 21:24:30 +0100 | <monochrom> | Religious people do. |
2021-01-01 21:24:32 +0100 | <b4er> | Honestly this is pretty silly |
2021-01-01 21:25:08 +0100 | <monochrom> | Such as some puritan sects that refuse to use smartphones. |
2021-01-01 21:25:32 +0100 | <Shiranai> | as a noob I personally would like an `if' True x y = x`, if then else seems very natural but I feel it takes me out of the functional paradigm a bit |
2021-01-01 21:25:35 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 21:25:36 +0100 | <Shiranai> | and then I have to come back |
2021-01-01 21:25:43 +0100 | <monochrom> | There was another puritan sect that was OK with using email but refused HTML in emails. |
2021-01-01 21:25:46 +0100 | <b4er> | But not using smartphones and not using case is very different, one I can totally understand |
2021-01-01 21:26:07 +0100 | <Shiranai> | b4er , agree, smartphones are the devil itself |
2021-01-01 21:26:16 +0100 | kam1 | (~kam1@24.231.108.143) |
2021-01-01 21:26:24 +0100 | <monochrom> | Sure, so how about my second example, refusing HTML in emails. |
2021-01-01 21:26:26 +0100 | <ddellacosta> | Shiranai: what would that expression evaluate to when the if predicate failed? |
2021-01-01 21:26:42 +0100 | <Shiranai> | if' False x y = y |
2021-01-01 21:26:55 +0100 | <exarkun> | It's just if but with `then` and `else` keywords removed |
2021-01-01 21:26:58 +0100 | <exarkun> | So you need more parenthesis :) |
2021-01-01 21:26:59 +0100 | <b4er> | I kind of get it why you don't want HTML in emails tbh, there's really no need and most of the time it's not really helping much |
2021-01-01 21:27:02 +0100 | <Shiranai> | yup |
2021-01-01 21:27:04 +0100 | <geekosaur> | :t bool |
2021-01-01 21:27:05 +0100 | <lambdabot> | a -> a -> Bool -> a |
2021-01-01 21:27:07 +0100 | <b4er> | Yeah, hyperlinks are cool but that's about it |
2021-01-01 21:27:09 +0100 | <ddellacosta> | ah I see |
2021-01-01 21:28:52 +0100 | <idnar> | if' = flip bool |
2021-01-01 21:29:16 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2021-01-01 21:30:03 +0100 | kritzefitz_ | (~kritzefit@212.86.56.80) |
2021-01-01 21:30:14 +0100 | <b4er> | \b x y -> last$x:[y|b] |
2021-01-01 21:30:28 +0100 | <b4er> | When b, x and y are bound that's the shortest way I think |
2021-01-01 21:30:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 21:30:51 +0100 | Nik05 | (~Nik05@85.150.134.175) |
2021-01-01 21:31:15 +0100 | Nik05 | Guest7758 |
2021-01-01 21:31:38 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-01-01 21:31:47 +0100 | <b4er> | Oh probably I should have swapped y, x but you get the idea |
2021-01-01 21:32:19 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
2021-01-01 21:35:56 +0100 | <dsal> | That's kind of awful. |
2021-01-01 21:37:02 +0100 | <dsal> | > [ 1 | True ] -- also, this kind of demonstrates a way of thinking about list comprehensions that is a bit more fundamental than I normally do. |
2021-01-01 21:37:05 +0100 | <lambdabot> | [1] |
2021-01-01 21:38:01 +0100 | <monochrom> | > [ 1 | False ] |
2021-01-01 21:38:04 +0100 | <lambdabot> | [] |
2021-01-01 21:38:30 +0100 | <b4er> | dsal, do you just use the enumerations then or wdym? |
2021-01-01 21:38:49 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-164.cust.tzulo.com) (Remote host closed the connection) |
2021-01-01 21:38:58 +0100 | <dsal> | Yeah, I tend to just use specific patterns for list comprehensions, not like "think about what this means and do that thing" |
2021-01-01 21:39:15 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2021-01-01 21:39:38 +0100 | Shiranai | (beed0d74@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.116) (Quit: Connection closed) |
2021-01-01 21:39:51 +0100 | <dsal> | A list comprehension has several essential parts before I consider it: [ f x | x <- xs, b x ] |
2021-01-01 21:40:10 +0100 | <b4er> | > [(i,j) | i <- [1..3] | j <- [1..3]] |
2021-01-01 21:40:13 +0100 | <lambdabot> | [(1,1),(2,2),(3,3)] |
2021-01-01 21:40:39 +0100 | <b4er> | You can also have let-bindings in it and whatnot, list comprehensions are fun |
2021-01-01 21:41:11 +0100 | <dsal> | I should actually understand list comprehensions beyond how I use them. |
2021-01-01 21:41:16 +0100 | <monochrom> | Aww, too bad [ 1 | ] is not supported. |
2021-01-01 21:41:25 +0100 | <b4er> | > [ n | Just n <- [Just 0, Nothing]] |
2021-01-01 21:41:27 +0100 | <lambdabot> | [0] |
2021-01-01 21:41:56 +0100 | <monochrom> | dsal, if you imagine translating comprehension to do-notation, that model covers even [ 1 | True ] |
2021-01-01 21:41:58 +0100 | <b4er> | That one is pretty useful I found |
2021-01-01 21:42:11 +0100 | <dsal> | @undo [ 1 | True ] |
2021-01-01 21:42:11 +0100 | <lambdabot> | if True then [1] else [] |
2021-01-01 21:42:28 +0100 | <monochrom> | because "do { guard True; return 1 }" makes the correct prediction. |
2021-01-01 21:42:48 +0100 | <dsal> | @undo [ (x,y) | x <- [1,2] | y <- [3,4] ] |
2021-01-01 21:42:49 +0100 | <lambdabot> | [(x, y)| x <- [1, 2]| y <- [3, 4]] |
2021-01-01 21:43:13 +0100 | byorgey | (~byorgey@155.138.238.211) |
2021-01-01 21:43:27 +0100 | <geekosaur> | doesn't speak parallel list comp? |
2021-01-01 21:43:37 +0100 | <dsal> | Is that an extension? |
2021-01-01 21:43:42 +0100 | <geekosaur> | yes |
2021-01-01 21:43:50 +0100 | <dsal> | Ah. That makes a lot more sense to me now. |
2021-01-01 21:46:10 +0100 | <monochrom> | @undo [ x+1 | x<-[1,2,3], x<0 ] |
2021-01-01 21:46:10 +0100 | <lambdabot> | concatMap (\ x -> if x < 0 then [x + 1] else []) [1, 2, 3] |
2021-01-01 21:46:47 +0100 | <b4er> | That doesn't seem right? |
2021-01-01 21:47:00 +0100 | <monochrom> | Let's see |
2021-01-01 21:47:06 +0100 | <b4er> | Is the `,x<0` part not meant to be `guard (x<0)` ? |
2021-01-01 21:47:09 +0100 | <monochrom> | > [ x+1 | x<-[1,2,3], x>0 ] |
2021-01-01 21:47:11 +0100 | <lambdabot> | [2,3,4] |
2021-01-01 21:47:41 +0100 | <geekosaur> | b4er, it should behave the same as that but does not necessarily translate to that. |
2021-01-01 21:47:43 +0100 | <dsal> | I don't expect @undo or @src or whatever to be accurate, just a way to think about things. |
2021-01-01 21:47:52 +0100 | <geekosaur> | iirc it dependson whether MonadComprehensions is enabled or not |
2021-01-01 21:48:59 +0100 | <b4er> | @undo [ y+1 | x <- [1..3], x >0, y <- [1..x] ] |
2021-01-01 21:48:59 +0100 | <lambdabot> | concatMap (\ x -> if x > 0 then concatMap (\ y -> [y + 1]) [1 .. x] else []) [1 .. 3] |
2021-01-01 21:50:20 +0100 | <monochrom> | guard (x<0) = if x<0 then [()] else [] |
2021-01-01 21:51:05 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
2021-01-01 21:51:18 +0100 | <monochrom> | But you can always merge it with an outer concatMap to replace [()] by [something actually interesting] |
2021-01-01 21:52:27 +0100 | <ephemient> | I wonder if lambdabot has TransformListComp turned on |
2021-01-01 21:52:38 +0100 | <b4er> | > [ () | x <- [1..3], x > 0 ] -- maybe not always hehe |
2021-01-01 21:52:40 +0100 | <lambdabot> | [(),(),()] |
2021-01-01 21:52:48 +0100 | <ephemient> | > [x | x <- [1..], then takeWhile by x < 5] |
2021-01-01 21:52:50 +0100 | <lambdabot> | error: |
2021-01-01 21:52:50 +0100 | <lambdabot> | Unexpected transform statement in a list comprehension |
2021-01-01 21:52:50 +0100 | <lambdabot> | Use TransformListComp |
2021-01-01 21:52:52 +0100 | <b4er> | Oh @undo and all that jazz |
2021-01-01 21:53:35 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 21:55:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 21:55:51 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-01-01 21:57:14 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
2021-01-01 21:58:50 +0100 | tjol232pp | (~tjol232pp@ip4d17917d.dynamic.kabel-deutschland.de) |
2021-01-01 21:59:19 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 21:59:44 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2021-01-01 22:01:21 +0100 | tjol232pp | (~tjol232pp@ip4d17917d.dynamic.kabel-deutschland.de) (Client Quit) |
2021-01-01 22:01:44 +0100 | ransom_ | (~c4264035@70-59-22-250.hlrn.qwest.net) |
2021-01-01 22:02:56 +0100 | ransom | (~c4264035@8.47.12.52) (Ping timeout: 240 seconds) |
2021-01-01 22:03:16 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 272 seconds) |
2021-01-01 22:05:59 +0100 | dfeuer | (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
2021-01-01 22:06:21 +0100 | danso | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 3.0) |
2021-01-01 22:13:33 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
2021-01-01 22:17:21 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-01-01 22:18:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2021-01-01 22:19:32 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 22:22:00 +0100 | ransom_ | (~c4264035@70-59-22-250.hlrn.qwest.net) (Quit: Textual IRC Client: www.textualapp.com) |
2021-01-01 22:22:37 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Client Quit) |
2021-01-01 22:22:38 +0100 | ransom | (~c4264035@70-59-22-250.hlrn.qwest.net) |
2021-01-01 22:24:13 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-01-01 22:24:25 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-01-01 22:24:40 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
2021-01-01 22:24:52 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 22:26:53 +0100 | son0p | (~son0p@181.136.122.143) |
2021-01-01 22:26:57 +0100 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
2021-01-01 22:27:24 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8) |
2021-01-01 22:27:34 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2021-01-01 22:27:39 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Client Quit) |
2021-01-01 22:28:58 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Client Quit) |
2021-01-01 22:29:07 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2021-01-01 22:31:37 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
2021-01-01 22:33:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-01-01 22:41:25 +0100 | Guest53 | (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
2021-01-01 22:41:44 +0100 | bitmagie | (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-01-01 22:45:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 22:45:59 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
2021-01-01 22:49:21 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2021-01-01 22:50:35 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-01-01 22:50:35 +0100 | Guest53 | CoolMa7 |
2021-01-01 22:52:16 +0100 | mputz | (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
2021-01-01 22:54:34 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 272 seconds) |
2021-01-01 22:57:29 +0100 | FrostyX | (~jkadlcik@78.80.183.78) |
2021-01-01 22:58:25 +0100 | chambln | (~user@2.31.230.114) (Ping timeout: 264 seconds) |
2021-01-01 23:00:24 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 23:01:17 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-01-01 23:02:29 +0100 | kritzefitz_ | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
2021-01-01 23:04:45 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
2021-01-01 23:05:15 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2021-01-01 23:07:13 +0100 | dmwit | (~dmwit@pool-108-18-106-204.washdc.fios.verizon.net) |
2021-01-01 23:07:41 +0100 | CoolMa7 | (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) (Quit: Textual IRC Client: www.textualapp.com) |
2021-01-01 23:08:07 +0100 | Guest53 | (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
2021-01-01 23:08:24 +0100 | <dmwit> | :t coerce |
2021-01-01 23:08:25 +0100 | <lambdabot> | error: |
2021-01-01 23:08:26 +0100 | <lambdabot> | • Variable not in scope: coerce |
2021-01-01 23:08:26 +0100 | <lambdabot> | • Perhaps you meant ‘coerced’ (imported from Control.Lens) |
2021-01-01 23:08:30 +0100 | <dmwit> | % :t coerce |
2021-01-01 23:08:31 +0100 | <yahb> | dmwit: Coercible a b => a -> b |
2021-01-01 23:08:51 +0100 | <dmwit> | % :t let foo :: Coercible a b => a -> Maybe b; foo = coerce . Just in foo |
2021-01-01 23:08:51 +0100 | <yahb> | dmwit: Coercible a b => a -> Maybe b |
2021-01-01 23:08:58 +0100 | <dmwit> | % :t let foo :: Coercible a b => a -> Maybe b; foo = coerce Just in foo |
2021-01-01 23:08:58 +0100 | <yahb> | dmwit: ; <interactive>:1:49: error:; * Couldn't match representation of type `a0' with that of `b1' arising from a use of `coerce'; `b1' is a rigid type variable bound by; the type signature for:; foo :: forall a1 b1. Coercible a1 b1 => a1 -> Maybe b1; at <interactive>:1:5-40; * In the expression: coerce Just; In an equation for `foo': foo = coerce Just; In the |
2021-01-01 23:09:05 +0100 | <dmwit> | Why doesn't the second one work? |
2021-01-01 23:09:26 +0100 | crblmr | (~carbolyme@matrix.dropacid.net) (Ping timeout: 256 seconds) |
2021-01-01 23:09:51 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 23:10:16 +0100 | Guest53 | CoolMa7 |
2021-01-01 23:11:25 +0100 | crblmr | (~carbolyme@matrix.dropacid.net) |
2021-01-01 23:12:03 +0100 | <dmwit> | Possibly: it couldn't decide between `Just :: a -> Maybe a` and `Just :: b -> Maybe b`? If so, then my follow-up question is how to discover that from the error message. |
2021-01-01 23:13:14 +0100 | ransom | (~c4264035@70-59-22-250.hlrn.qwest.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-01-01 23:13:55 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 23:15:04 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
2021-01-01 23:15:13 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
2021-01-01 23:16:22 +0100 | christo | (~chris@81.96.113.213) |
2021-01-01 23:16:52 +0100 | argento | (~argent0@168.227.96.51) (Ping timeout: 246 seconds) |
2021-01-01 23:17:16 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
2021-01-01 23:17:46 +0100 | Tops21 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
2021-01-01 23:18:00 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-01-01 23:18:35 +0100 | CoolMa7 | (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) (Quit: Textual IRC Client: www.textualapp.com) |
2021-01-01 23:19:02 +0100 | CoolMa7 | (~ColMa7@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
2021-01-01 23:19:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 23:20:46 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
2021-01-01 23:21:19 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
2021-01-01 23:21:24 +0100 | Tops2 | (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
2021-01-01 23:21:40 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 23:22:41 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
2021-01-01 23:24:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-01-01 23:27:35 +0100 | kuribas | (~user@ptr-25vy0i9hqewdqyz7ls0.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
2021-01-01 23:28:30 +0100 | Fischmie1 | (~Fischmiep@95.163.174.85) (Quit: WeeChat 3.0) |
2021-01-01 23:30:45 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
2021-01-01 23:30:59 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2021-01-01 23:32:02 +0100 | CoolMa7 | CoolMa8 |
2021-01-01 23:33:10 +0100 | dyamon | (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) |
2021-01-01 23:33:45 +0100 | CoolMa8 | CoolMa7 |
2021-01-01 23:35:12 +0100 | CoolMa7 | (~ColMa7@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) (Quit: Textual IRC Client: www.textualapp.com) |
2021-01-01 23:35:35 +0100 | CoolMa7 | (~ColMa7@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
2021-01-01 23:37:26 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-01-01 23:39:34 +0100 | fendor | (~fendor@77.119.129.8.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-01-01 23:42:38 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
2021-01-01 23:47:43 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
2021-01-01 23:51:29 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2021-01-01 23:52:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-01-01 23:52:55 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-01-01 23:53:28 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-01-01 23:53:49 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
2021-01-01 23:58:45 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |