| 2024-09-18 00:03:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 00:04:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 00:09:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 00:14:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 00:17:23 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-09-18 00:25:00 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8e41:444a:2d83:f166) (Ping timeout: 260 seconds) |
| 2024-09-18 00:26:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 00:31:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 00:36:24 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-18 00:44:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 00:48:01 +0000 | <monochrom> | https://www.sciencedirect.com/science/article/abs/pii/S0920548901000599 Someone actually tried to give C a denotational semantics. Moreover, "a direct implementation of the semantics, using the programming language Haskell". |
| 2024-09-18 00:49:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 00:49:27 +0000 | thegeekinside | (~thegeekin@189.180.58.55) |
| 2024-09-18 00:50:17 +0000 | thegeekinside | (~thegeekin@189.180.58.55) (Remote host closed the connection) |
| 2024-09-18 00:56:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 01:00:20 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 01:01:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:06:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 01:07:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 01:08:12 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-18 01:09:30 +0000 | haetsal | (~quassel@221.138.168.192) (Remote host closed the connection) |
| 2024-09-18 01:09:41 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-18 01:10:14 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2024-09-18 01:10:26 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-18 01:10:50 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-18 01:15:21 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-18 01:18:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:23:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 01:23:56 +0000 | fireking04 | (~user@2001-b011-2018-a578-0000-0000-0000-ff24.dynamic-ip6.hinet.net) |
| 2024-09-18 01:35:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:37:29 +0000 | fireking04 | (~user@2001-b011-2018-a578-0000-0000-0000-ff24.dynamic-ip6.hinet.net) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-18 01:40:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 01:45:49 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-18 01:52:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:56:37 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-18 01:57:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 02:02:24 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 02:06:51 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-18 02:07:30 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-18 02:09:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:13:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 02:19:19 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-09-18 02:21:25 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-18 02:25:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:29:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 02:30:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:32:24 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-09-18 02:33:39 +0000 | idnar | (sid12240@debian/mithrandi) (Ping timeout: 276 seconds) |
| 2024-09-18 02:33:50 +0000 | idnar | (sid12240@debian/mithrandi) |
| 2024-09-18 02:34:57 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) (Read error: Connection reset by peer) |
| 2024-09-18 02:34:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 02:35:17 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) |
| 2024-09-18 02:35:36 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 276 seconds) |
| 2024-09-18 02:38:18 +0000 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 246 seconds) |
| 2024-09-18 02:40:12 +0000 | td_ | (~td@i53870921.versanet.de) |
| 2024-09-18 02:47:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:49:28 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 02:52:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 03:00:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:05:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 03:16:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:21:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 03:33:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:34:12 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 03:35:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-18 03:35:24 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-18 03:36:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-18 03:37:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 03:44:54 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 03:49:10 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 03:49:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:53:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 03:55:29 +0000 | <Inst> | <|> is sort of bad, sin't it? |
| 2024-09-18 03:55:34 +0000 | <Inst> | unless it has the right rewrite rules for it |
| 2024-09-18 03:55:43 +0000 | <Inst> | a <|> b <|> c doesn't fail correctly |
| 2024-09-18 03:56:01 +0000 | <Inst> | *succeed correctly |
| 2024-09-18 03:56:08 +0000 | <Inst> | if a short circuits, the second <|> is triggered |
| 2024-09-18 03:57:36 +0000 | wei2912 | (~wei2912@116.88.52.77) |
| 2024-09-18 03:58:52 +0000 | <jle`> | Inst: what instance are you think of ? |
| 2024-09-18 03:59:45 +0000 | wei2912 | (~wei2912@116.88.52.77) (Client Quit) |
| 2024-09-18 03:59:51 +0000 | <Inst> | let me check maybe again |
| 2024-09-18 04:00:32 +0000 | <Inst> | yup, alternative maybe |
| 2024-09-18 04:00:44 +0000 | <Inst> | it'll keep on checking Just values when it can just short-circuit |
| 2024-09-18 04:01:56 +0000 | <monochrom> | > Just 4 <|> undefined |
| 2024-09-18 04:01:57 +0000 | <lambdabot> | Just 4 |
| 2024-09-18 04:02:03 +0000 | <monochrom> | Debunked. |
| 2024-09-18 04:02:44 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 04:02:56 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-18 04:03:15 +0000 | greenflower | (~greenflow@45.112.53.154) |
| 2024-09-18 04:03:43 +0000 | <Inst> | > Just 4 <|> undefined <|> undefined |
| 2024-09-18 04:03:45 +0000 | <lambdabot> | Just 4 |
| 2024-09-18 04:03:51 +0000 | <Inst> | no, the claim is that the second <|> will trigger |
| 2024-09-18 04:04:29 +0000 | <Inst> | what I want is Just 4 <|> (undefined <|> undefined), which can be provided by rewrite rules, tbh |
| 2024-09-18 04:04:50 +0000 | <monochrom> | > Just 4 <|> (undefined <|> undefined) |
| 2024-09-18 04:04:52 +0000 | <lambdabot> | Just 4 |
| 2024-09-18 04:04:56 +0000 | <monochrom> | Debunked. |
| 2024-09-18 04:05:01 +0000 | <Inst> | ??? |
| 2024-09-18 04:05:18 +0000 | <mauke> | <|> is left assoc |
| 2024-09-18 04:05:20 +0000 | <Inst> | the claim i'm making isn't being tested properly, what I mean is that there are two <|>s in the expression |
| 2024-09-18 04:05:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:05:39 +0000 | <monochrom> | > Just 4 <|> undefined <|> undefined |
| 2024-09-18 04:05:41 +0000 | <lambdabot> | Just 4 |
| 2024-09-18 04:05:44 +0000 | <monochrom> | Debunked. |
| 2024-09-18 04:05:51 +0000 | <Inst> | only the first <|> should trigger, the second should fail through (in an ideal world |
| 2024-09-18 04:06:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 04:06:05 +0000 | <Inst> | Just 4 <|> (undefined <|> undefined) should be operationally equivalent to Just 4 <|> undefined <|> undefined |
| 2024-09-18 04:06:42 +0000 | <monochrom> | I don't know what "trigger" means. Is this Haskell or is this SQL "create trigger"? |
| 2024-09-18 04:06:49 +0000 | <Inst> | hold on |
| 2024-09-18 04:06:58 +0000 | <Leary> | You can just declare `(<||>) = (<|>); infixr 3 <||>`; if you want right associativity. |
| 2024-09-18 04:07:05 +0000 | <monochrom> | But I have shown enough working examples. Where is the breakage? |
| 2024-09-18 04:07:10 +0000 | <Inst> | hmmm, i can't do this with foldr and infinite lists |
| 2024-09-18 04:07:29 +0000 | <monochrom> | Your turn to show an example not essay writing. |
| 2024-09-18 04:07:36 +0000 | <Inst> | assume an inifnite sequence of Just 4 <|> something <|> something... |
| 2024-09-18 04:07:52 +0000 | <Inst> | this should never evaluate, because the <|> keeps on getting applied |
| 2024-09-18 04:07:53 +0000 | <mauke> | it's not about correctness, only performance. I think |
| 2024-09-18 04:08:15 +0000 | <monochrom> | I don't know how to write an infinitely long piece of code. Do you? |
| 2024-09-18 04:08:37 +0000 | <Leary> | > asum (Just 4:repeat undefined) |
| 2024-09-18 04:08:38 +0000 | <monochrom> | My disk has only 250GB it can't save an infinite source file. |
| 2024-09-18 04:08:39 +0000 | <lambdabot> | Just 4 |
| 2024-09-18 04:08:55 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 04:09:03 +0000 | <Inst> | i thought you could do it with foldr (<|>) Nothing (Just 4 : repeat Nothing), but it'll insert parens |
| 2024-09-18 04:09:17 +0000 | <monochrom> | foldr is fair. |
| 2024-09-18 04:09:27 +0000 | <mauke> | (Just x <|> b) <|> c goes through two applications of (<|>); Just x <|> (a <|> b) only goes through one |
| 2024-09-18 04:09:28 +0000 | <Inst> | but you can't do it with foldr because iirc the parens are implicit |
| 2024-09-18 04:09:31 +0000 | <Inst> | thanks Leary |
| 2024-09-18 04:09:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 04:09:40 +0000 | <monochrom> | > foldr (<|>) undefined (Just 4 : repeat undefined) |
| 2024-09-18 04:09:42 +0000 | <lambdabot> | Just 4 |
| 2024-09-18 04:09:44 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-18 04:09:48 +0000 | <monochrom> | Still no breakage. |
| 2024-09-18 04:09:55 +0000 | <Inst> | no, but it won't break with foldr |
| 2024-09-18 04:10:04 +0000 | <monochrom> | OK, what will break? |
| 2024-09-18 04:10:05 +0000 | <mauke> | it won't break at all |
| 2024-09-18 04:10:11 +0000 | <Inst> | it's a performance concern, as mauke stated |
| 2024-09-18 04:10:16 +0000 | <monochrom> | Actual code or it didn't happen. |
| 2024-09-18 04:10:26 +0000 | <probie> | monochrom: As long as the k-complexity is finite, you can easily "fake it" with a custom fuse mount |
| 2024-09-18 04:10:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-18 04:10:30 +0000 | <monochrom> | For performance you can show actual benchmark. |
| 2024-09-18 04:11:09 +0000 | <monochrom> | which unsurprisingly imples actual code again. |
| 2024-09-18 04:11:20 +0000 | <monochrom> | Not meaningless words like "assume" "infinite". |
| 2024-09-18 04:11:24 +0000 | <ski> | "it'll insert parens","the parens are implicit" -- ? |
| 2024-09-18 04:11:27 +0000 | <Inst> | is your point that the repeated applications of <|> is essentially pendantry? |
| 2024-09-18 04:12:00 +0000 | <mauke> | ski: that's someone thinking in concrete syntax, not expression graphs :-) |
| 2024-09-18 04:12:20 +0000 | <monochrom> | No, my point is until you show actual example you don't even know what's the true cause. |
| 2024-09-18 04:12:33 +0000 | ski | graphs expressions against concrete syntax, extrapolates to infinity |
| 2024-09-18 04:12:54 +0000 | <monochrom> | You are acting like absolute beginners who end up blaming everything except the true cause. |
| 2024-09-18 04:13:18 +0000 | <mauke> | cause of what? |
| 2024-09-18 04:13:44 +0000 | <monochrom> | An unspecified breakage. (See that's the 2nd problem.) |
| 2024-09-18 04:13:52 +0000 | ski | . o O ( "Do not ask whether a statement is true until you know what it means." -- Errett Bishop ) |
| 2024-09-18 04:13:55 +0000 | <mauke> | monochrom: old news. there is no breakage anymore |
| 2024-09-18 04:14:21 +0000 | <monochrom> | OK sure. |
| 2024-09-18 04:14:35 +0000 | <monochrom> | What was the question again? |
| 2024-09-18 04:14:46 +0000 | <mauke> | <mauke> (Just x <|> b) <|> c goes through two applications of (<|>); Just x <|> (a <|> b) only goes through one |
| 2024-09-18 04:14:52 +0000 | <mauke> | so why is <|> infixl and not infixr? |
| 2024-09-18 04:15:43 +0000 | <monochrom> | Yeah that's a poor decision. |
| 2024-09-18 04:16:48 +0000 | <monochrom> | But even that didn't cause more bottoms than necessary. |
| 2024-09-18 04:17:04 +0000 | <mauke> | right. it's just less efficient |
| 2024-09-18 04:17:19 +0000 | <probie> | probably to make it play nicely with other operators under the assumption that one would use `asum` if more than one `(<|>)` was needed |
| 2024-09-18 04:18:08 +0000 | <Inst> | thanks mauke |
| 2024-09-18 04:18:26 +0000 | <Inst> | sorry, i'm thinking in terms of the primitive implementation of foldr on lists |
| 2024-09-18 04:19:18 +0000 | <Inst> | *naive |
| 2024-09-18 04:19:44 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 04:19:47 +0000 | <monochrom> | (>>) is similarly bad. I was a bit disappointed at that too. |
| 2024-09-18 04:20:10 +0000 | <Inst> | i noticed, but so did GHC team and they have it optimized on O1 and above (iirc) to be equivalent to do semicolon |
| 2024-09-18 04:20:43 +0000 | <glguy> | don’t miss a chance to write naïve :) |
| 2024-09-18 04:21:11 +0000 | <Inst> | foldr f z [] = z |
| 2024-09-18 04:21:27 +0000 | <Inst> | foldr f z (x:xs) = f x (foldr f z xs) |
| 2024-09-18 04:21:33 +0000 | <Inst> | iirc that was in graham, no? |
| 2024-09-18 04:21:45 +0000 | <mauke> | naïve |
| 2024-09-18 04:22:10 +0000 | <mauke> | > foldr f z [a,b,c,d] |
| 2024-09-18 04:22:12 +0000 | <lambdabot> | f a (f b (f c (f d z))) |
| 2024-09-18 04:22:16 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 04:23:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:26:38 +0000 | <Inst> | but thanks for the help, i've never used asum before and i think that's the correct solution to griping about infixl |
| 2024-09-18 04:27:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 04:31:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:31:54 +0000 | <Inst> | I saw someone get around Haskell's lack of f lists with concat [strings...] |
| 2024-09-18 04:35:13 +0000 | <ski> | "f lists" ? |
| 2024-09-18 04:35:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 04:40:11 +0000 | michalz | (~michalz@185.246.207.218) |
| 2024-09-18 04:44:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 04:49:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:53:01 +0000 | <Inst> | erm, f strings |
| 2024-09-18 04:53:34 +0000 | <Inst> | i prefer traverse putStr or just otherwise keeping it as a list |
| 2024-09-18 04:53:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 04:54:10 +0000 | <Inst> | traverse (foo :: Monad m => a -> m b) list is great |
| 2024-09-18 05:05:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:09:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 05:20:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:25:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 05:27:50 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 05:29:13 +0000 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-18 05:30:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-18 05:31:03 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-09-18 05:32:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:32:55 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 05:36:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 05:43:10 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-18 05:49:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:51:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 05:53:44 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-18 05:53:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 06:04:26 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-09-18 06:05:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:06:26 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 06:09:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 06:11:27 +0000 | greenflower | (~greenflow@45.112.53.154) (Quit: Client closed) |
| 2024-09-18 06:12:31 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb224ccb10fade5fa5a7.dip0.t-ipconnect.de) |
| 2024-09-18 06:20:11 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2) |
| 2024-09-18 06:20:53 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
| 2024-09-18 06:21:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:23:42 +0000 | rosco | (~rosco@183.171.111.2) |
| 2024-09-18 06:25:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 06:27:05 +0000 | greenflower | (~greenflow@45.112.53.154) |
| 2024-09-18 06:28:01 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-18 06:29:52 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 06:33:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:37:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 06:38:40 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-18 06:39:50 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-18 06:42:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 06:43:20 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-18 06:49:26 +0000 | Square2 | (~Square4@user/square) |
| 2024-09-18 06:51:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:56:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-18 06:58:06 +0000 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-09-18 07:00:00 +0000 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-18 07:00:40 +0000 | caconym8 | (~caconym@user/caconym) |
| 2024-09-18 07:01:57 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 2024-09-18 07:08:44 +0000 | Axma52822 | (~Axman6@user/axman6) |
| 2024-09-18 07:09:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:10:43 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-09-18 07:11:19 +0000 | kuribas | (~user@2a02:1808:8:9146:7c0d:992e:f69a:ee4c) |
| 2024-09-18 07:14:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 07:18:14 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-18 07:21:16 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-18 07:23:36 +0000 | greenflower | (~greenflow@45.112.53.154) (Quit: Client closed) |
| 2024-09-18 07:24:04 +0000 | greenflower | (~greenflow@14.99.164.82) |
| 2024-09-18 07:26:43 +0000 | kuribas | (~user@2a02:1808:8:9146:7c0d:992e:f69a:ee4c) (Remote host closed the connection) |
| 2024-09-18 07:26:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:28:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 07:29:41 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 07:31:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 07:32:55 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 07:34:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:35:22 +0000 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-18 07:38:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 07:43:08 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-18 07:45:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-18 07:51:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:52:57 +0000 | rosco | (~rosco@183.171.111.2) (Ping timeout: 246 seconds) |
| 2024-09-18 07:55:37 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-18 07:56:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 07:58:23 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-18 07:59:53 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-18 08:03:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 08:07:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 08:08:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:11:12 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-09-18 08:13:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 08:25:13 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-18 08:26:07 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 08:26:24 +0000 | euleritian | (~euleritia@37.4.251.212) |
| 2024-09-18 08:26:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:27:28 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 245 seconds) |
| 2024-09-18 08:27:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 08:31:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 08:33:30 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-18 08:35:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:40:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 08:52:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:57:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 08:59:04 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 09:07:49 +0000 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-09-18 09:08:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:13:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 09:13:33 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-18 09:13:46 +0000 | finsternis | (~X@23.226.237.192) (Ping timeout: 252 seconds) |
| 2024-09-18 09:13:46 +0000 | telser | (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 2024-09-18 09:14:16 +0000 | telser | (~quassel@user/telser) |
| 2024-09-18 09:15:44 +0000 | finsternis | (~X@23.226.237.192) |
| 2024-09-18 09:16:48 +0000 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2024-09-18 09:17:54 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-18 09:23:14 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 09:25:28 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 09:26:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:30:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 09:31:49 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 09:36:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:43:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 09:44:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 09:45:09 +0000 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-18 09:50:47 +0000 | mari66658 | (~mari-este@2a02:3032:30e:c8b5:216:3eff:fe65:4eef) |
| 2024-09-18 09:52:53 +0000 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-09-18 09:55:54 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-18 09:58:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:59:39 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-18 09:59:43 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 10:00:58 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-09-18 10:01:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 10:02:00 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 10:03:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 10:04:40 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 10:06:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-18 10:12:04 +0000 | spider1 | (spider@tilde.cafe) (Ping timeout: 245 seconds) |
| 2024-09-18 10:14:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:19:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 10:20:56 +0000 | euleritian | (~euleritia@37.4.251.212) (Ping timeout: 272 seconds) |
| 2024-09-18 10:24:35 +0000 | spider1 | (spider@tilde.cafe) |
| 2024-09-18 10:31:45 +0000 | mari66658 | (~mari-este@2a02:3032:30e:c8b5:216:3eff:fe65:4eef) (Quit: reading a bit) |
| 2024-09-18 10:32:02 +0000 | akegalj | (~akegalj@141-136-172-97.dsl.iskon.hr) |
| 2024-09-18 10:32:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:34:35 +0000 | <akegalj> | ghc option `-jN` when N is ommited says it builds with number of processors host machine has (https://downloads.haskell.org/ghc/latest/docs/users_guide/using.html#ghc-flag--j[%E2%9F%A8n%E2%9F%A9]). If host machine has 1 processor with 4 cores, will N be 1 or 4? |
| 2024-09-18 10:38:45 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-09-18 10:42:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 10:42:25 +0000 | <geekosaur> | 4 or possibly 8 (if hyperthreading is enabled) |
| 2024-09-18 10:46:29 +0000 | <geekosaur> | (hyperthreading is usually disabled because it tends to be a lose) |
| 2024-09-18 10:46:55 +0000 | <tomsmeding> | (hyperthreading is essentially always enabled on personal computers) |
| 2024-09-18 10:47:06 +0000 | <tomsmeding> | (it is sometimes disabled on servers) |
| 2024-09-18 10:47:53 +0000 | <akegalj> | tomsmeding: ty <3 |
| 2024-09-18 10:47:59 +0000 | <tomsmeding> | akegalj: on linux, $ grep '^processor' /proc/cpuinfo |
| 2024-09-18 10:48:31 +0000 | <akegalj> | tomsmeding: ok great. I was just confused by core/processor terminology |
| 2024-09-18 10:48:44 +0000 | <tomsmeding> | for some reason, /proc/cpuinfo uses the same "processor" terminology |
| 2024-09-18 10:49:00 +0000 | <geekosaur> | https://paste.tomsmeding.com/AqGaf4MW |
| 2024-09-18 10:49:08 +0000 | <tomsmeding> | akegalj: note that due to hyperthreading, "core" is also an ambiguous word |
| 2024-09-18 10:49:42 +0000 | <tomsmeding> | geekosaur: do you have a fancy custom interpreter set in the kernel for .hs files? |
| 2024-09-18 10:50:02 +0000 | <geekosaur> | well, the real point here is I don't think there's any way in software to determine cores vs. processors unless you have access to the system management bus |
| 2024-09-18 10:50:11 +0000 | <geekosaur> | no, I pre-compiled that |
| 2024-09-18 10:50:18 +0000 | tomsmeding | is blind |
| 2024-09-18 10:50:26 +0000 | <tomsmeding> | geekosaur: what do you mean with "core" and "processor" here :p |
| 2024-09-18 10:51:02 +0000 | <geekosaur> | I'm going with what akegalj seemed to mean by them, one physical package (processor) with multiple cores |
| 2024-09-18 10:51:31 +0000 | <tomsmeding> | is a core-y thing that is split into two units using hyperthreading, 1 or 2 "cores"? |
| 2024-09-18 10:52:18 +0000 | <geekosaur> | ask linux |
| 2024-09-18 10:52:30 +0000 | <tomsmeding> | grep '^processor\|^core id' /proc/cpuinfo |
| 2024-09-18 10:52:35 +0000 | <tomsmeding> | this is known information in software |
| 2024-09-18 10:53:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:53:18 +0000 | <tomsmeding> | /proc/cpuinfo apparently talks about 1 chip having N "cores", each having possibly multiple "processors" inside |
| 2024-09-18 10:53:24 +0000 | <tomsmeding> | (the word "chip" is not mentioned) |
| 2024-09-18 10:53:25 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 2024-09-18 10:54:00 +0000 | <tomsmeding> | so according to Linux, my intel i9-10900K has 10 cores and 20 processors |
| 2024-09-18 10:54:06 +0000 | <geekosaur> | btw "custom interpreter" is not difficult to arrange on linux iirc |
| 2024-09-18 10:54:20 +0000 | <tomsmeding> | iirc it indeed isn't, but I've never seen anyone do it :) |
| 2024-09-18 10:54:28 +0000 | <tomsmeding> | (and I misread and thought that was `./np.hs` instead of `./np`) |
| 2024-09-18 10:55:08 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 272 seconds) |
| 2024-09-18 10:55:23 +0000 | <tomsmeding> | CPU manufacturers tend to talk about a chip having "cores", which may have 2 "threads" each |
| 2024-09-18 10:55:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d09b:def9:34dc:ea3f) |
| 2024-09-18 10:56:04 +0000 | <tomsmeding> | GPU manufacturers lie through their teeth |
| 2024-09-18 10:56:26 +0000 | <tomsmeding> | (partly because the story is just simply more complex on a GPU) |
| 2024-09-18 10:57:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 10:59:28 +0000 | <akegalj> | geekosaur: one more stupid question ... I see that `+RTS -N` enables number of cores for ghc app to run with. Does that mean if I want ghc to compile with multiple cores/processors I have to `ghc -j +RTS -N` in order for ghc to run with more threads or is it enough to say `ghc -j` and this assumes compilers rts will use N threads. I wonder what would happen if I did `ghc +RTS -N` ommiting -j |
| 2024-09-18 11:00:10 +0000 | <tomsmeding> | try it ;) |
| 2024-09-18 11:00:13 +0000 | <tomsmeding> | -j should be enough |
| 2024-09-18 11:00:31 +0000 | <akegalj> | tomsmeding: <3 |
| 2024-09-18 11:00:37 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 244 seconds) |
| 2024-09-18 11:00:55 +0000 | <geekosaur> | I think it will do `setNumCapabilities` itself in that case, yes |
| 2024-09-18 11:01:21 +0000 | <tomsmeding> | depending on how exactly ghc itself has been compiled, `ghc +RTS -N` without -j will be mostly the same as `ghc` but with a little more overhead from pointless parallel GC |
| 2024-09-18 11:11:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:13:28 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-18 11:16:36 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 11:18:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 11:19:12 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d09b:def9:34dc:ea3f) (Ping timeout: 272 seconds) |
| 2024-09-18 11:19:27 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-09-18 11:26:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 11:27:13 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-18 11:27:21 +0000 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 11:29:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:34:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 11:37:03 +0000 | ZharMeny` | ZharMeny |
| 2024-09-18 11:54:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:58:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 12:07:01 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 12:07:30 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-18 12:10:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 12:10:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5e79:2e20:253a:2c58) |
| 2024-09-18 12:14:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 12:14:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 12:22:21 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-18 12:26:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 12:26:51 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-09-18 12:31:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 12:39:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 12:43:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 12:51:57 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-18 12:52:46 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-18 12:55:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:00:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 13:00:32 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 272 seconds) |
| 2024-09-18 13:00:52 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-18 13:05:12 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-18 13:05:24 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-18 13:05:31 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 13:08:00 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-18 13:08:12 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-18 13:09:54 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5e79:2e20:253a:2c58) (Quit: xff0x) |
| 2024-09-18 13:11:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:11:46 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-18 13:13:03 +0000 | ystael | (~ystael@user/ystael) |
| 2024-09-18 13:14:09 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6729:dbd:b464:a963) |
| 2024-09-18 13:15:24 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-18 13:16:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 13:25:06 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:6b51:c8e0:844c:e9ca) (Remote host closed the connection) |
| 2024-09-18 13:25:19 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:63b4:82b1:f852:f702) |
| 2024-09-18 13:25:45 +0000 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
| 2024-09-18 13:28:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:33:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 13:38:12 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 13:40:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:43:11 +0000 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-18 13:44:23 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-18 13:44:43 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 13:44:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 13:51:20 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-18 13:52:24 +0000 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) |
| 2024-09-18 13:57:55 +0000 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-18 13:57:56 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 13:58:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:59:11 +0000 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-18 14:02:31 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 14:03:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-18 14:08:10 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-18 14:11:39 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 14:14:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:19:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 14:28:38 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-18 14:31:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:35:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 14:38:42 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-09-18 14:39:20 +0000 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) (Quit: reading a bit) |
| 2024-09-18 14:41:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:45:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 14:46:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 14:49:20 +0000 | athan | (~athan@2600:382:2d25:35ae:c519:60c7:93a7:61fb) |
| 2024-09-18 14:58:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:59:11 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 15:01:34 +0000 | athan | (~athan@2600:382:2d25:35ae:c519:60c7:93a7:61fb) (Ping timeout: 260 seconds) |
| 2024-09-18 15:02:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 15:04:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 15:10:45 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-18 15:13:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:14:49 +0000 | michalz | (~michalz@185.246.207.218) (Ping timeout: 244 seconds) |
| 2024-09-18 15:15:02 +0000 | michalz | (~michalz@185.246.207.205) |
| 2024-09-18 15:16:07 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-18 15:17:36 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-18 15:18:32 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-18 15:18:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 15:24:12 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-18 15:26:20 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-18 15:31:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:31:28 +0000 | lol_ | (~lol@2603:3016:1e01:b9e0:556a:bf96:e167:c835) |
| 2024-09-18 15:32:16 +0000 | Lears | (~Leary@user/Leary/x-0910699) |
| 2024-09-18 15:34:15 +0000 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-18 15:35:11 +0000 | benkard | (~mulk@p5b112a06.dip0.t-ipconnect.de) |
| 2024-09-18 15:35:15 +0000 | tv1 | (~tv@user/tv) |
| 2024-09-18 15:35:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 15:35:40 +0000 | srk- | (~sorki@user/srk) |
| 2024-09-18 15:36:12 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2024-09-18 15:36:12 +0000 | rdcdr_ | (~rdcdr@75-172-9-7.tukw.qwest.net) |
| 2024-09-18 15:36:35 +0000 | bliminse_ | (~bliminse@user/bliminse) |
| 2024-09-18 15:36:39 +0000 | meejah_ | (~meejah@rutas.meejah.ca) |
| 2024-09-18 15:36:40 +0000 | Eoco_ | (~ian@128.101.131.218) |
| 2024-09-18 15:36:45 +0000 | raym | (~ray@user/raym) |
| 2024-09-18 15:36:45 +0000 | barthand1 | (barth@triton.blinkenshell.org) |
| 2024-09-18 15:37:01 +0000 | some02 | (~cat@user/sudden) |
| 2024-09-18 15:39:46 +0000 | Ttech | (~adran@botters/adran) |
| 2024-09-18 15:41:23 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: zzz) |
| 2024-09-18 15:41:25 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (*.net *.split) |
| 2024-09-18 15:41:25 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (*.net *.split) |
| 2024-09-18 15:41:26 +0000 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2024-09-18 15:41:26 +0000 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2024-09-18 15:41:26 +0000 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2024-09-18 15:41:26 +0000 | jcarpenter2 | (~lol@96.78.87.197) (*.net *.split) |
| 2024-09-18 15:41:27 +0000 | A_Dragon | (A_D@libera/staff/dragon) (*.net *.split) |
| 2024-09-18 15:41:28 +0000 | jathan | (~jathan@69.61.93.38) (*.net *.split) |
| 2024-09-18 15:41:28 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2024-09-18 15:41:28 +0000 | tv | (~tv@user/tv) (*.net *.split) |
| 2024-09-18 15:41:29 +0000 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2024-09-18 15:41:29 +0000 | rdcdr | (~rdcdr@user/rdcdr) (*.net *.split) |
| 2024-09-18 15:41:29 +0000 | mulk | (~mulk@p5b112a06.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-09-18 15:41:29 +0000 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2024-09-18 15:41:31 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2024-09-18 15:41:31 +0000 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2024-09-18 15:41:31 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-18 15:41:31 +0000 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2024-09-18 15:41:31 +0000 | Angelz | (Angelz@user/angelz) (*.net *.split) |
| 2024-09-18 15:41:31 +0000 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2024-09-18 15:41:32 +0000 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2024-09-18 15:41:32 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2024-09-18 15:41:32 +0000 | mceresa | (~mceresa@user/mceresa) (*.net *.split) |
| 2024-09-18 15:41:32 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (*.net *.split) |
| 2024-09-18 15:41:33 +0000 | mrvdb- | (~mrvdb@185.92.221.186) (*.net *.split) |
| 2024-09-18 15:41:33 +0000 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2024-09-18 15:41:33 +0000 | sweater | (~sweater@206.81.18.26) (*.net *.split) |
| 2024-09-18 15:41:33 +0000 | sudden | (~cat@user/sudden) (*.net *.split) |
| 2024-09-18 15:41:33 +0000 | srk | (~sorki@user/srk) (*.net *.split) |
| 2024-09-18 15:41:33 +0000 | flocks | (~flocks@134.122.90.60) (*.net *.split) |
| 2024-09-18 15:41:37 +0000 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split) |
| 2024-09-18 15:41:38 +0000 | hacklschorsch | (~flo@vantaa.latfa.net) (*.net *.split) |
| 2024-09-18 15:41:38 +0000 | s4msung | (u4jHfpaUni@user/s4msung) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | _0xa | (~user@user/0xa/x-3134607) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | SanchayanMaity | (sid478177@2a03:5180:f:4::7:4be1) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) (*.net *.split) |
| 2024-09-18 15:41:41 +0000 | edm | (sid147314@2a03:5180:f:4::2:3f72) (*.net *.split) |
| 2024-09-18 15:41:59 +0000 | JSharp | (sid4580@user/JSharp) (*.net *.split) |
| 2024-09-18 15:41:59 +0000 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2024-09-18 15:41:59 +0000 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2024-09-18 15:41:59 +0000 | benkard | mulk |
| 2024-09-18 15:41:59 +0000 | srk- | srk |
| 2024-09-18 15:42:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:42:13 +0000 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-09-18 15:43:08 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 15:43:08 +0000 | lieven | (~mal@ns2.wyrd.be) |
| 2024-09-18 15:43:08 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2024-09-18 15:43:08 +0000 | A_Dragon | (A_D@libera/staff/dragon) |
| 2024-09-18 15:43:08 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-09-18 15:43:08 +0000 | nisstyre | (wes@user/nisstyre) |
| 2024-09-18 15:43:08 +0000 | hacklschorsch | (~flo@vantaa.latfa.net) |
| 2024-09-18 15:43:08 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-09-18 15:43:08 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-09-18 15:43:08 +0000 | Angelz | (Angelz@user/angelz) |
| 2024-09-18 15:43:08 +0000 | carbolymer | (~carbolyme@dropacid.net) |
| 2024-09-18 15:43:08 +0000 | mceresa | (~mceresa@user/mceresa) |
| 2024-09-18 15:43:08 +0000 | enikar | (~enikar@user/enikar) |
| 2024-09-18 15:43:08 +0000 | sweater | (~sweater@206.81.18.26) |
| 2024-09-18 15:43:08 +0000 | flocks | (~flocks@134.122.90.60) |
| 2024-09-18 15:43:08 +0000 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-09-18 15:43:08 +0000 | s4msung | (u4jHfpaUni@user/s4msung) |
| 2024-09-18 15:43:08 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2024-09-18 15:43:08 +0000 | _0xa | (~user@user/0xa/x-3134607) |
| 2024-09-18 15:43:08 +0000 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) |
| 2024-09-18 15:43:08 +0000 | SanchayanMaity | (sid478177@2a03:5180:f:4::7:4be1) |
| 2024-09-18 15:43:08 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) |
| 2024-09-18 15:43:08 +0000 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) |
| 2024-09-18 15:43:08 +0000 | edm | (sid147314@2a03:5180:f:4::2:3f72) |
| 2024-09-18 15:43:08 +0000 | JSharp | (sid4580@user/JSharp) |
| 2024-09-18 15:43:08 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2024-09-18 15:43:08 +0000 | Philonous | (~Philonous@user/philonous) |
| 2024-09-18 15:43:12 +0000 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) (Excess Flood) |
| 2024-09-18 15:47:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-18 15:47:22 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-18 15:48:45 +0000 | jathan | (~jathan@69.61.93.38) |
| 2024-09-18 15:49:39 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 15:49:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 15:51:43 +0000 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-09-18 15:53:32 +0000 | polyphem | (~rod@pd9fbf352.dip0.t-ipconnect.de) |
| 2024-09-18 15:59:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:00:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 16:04:09 +0000 | meejah_ | meejah |
| 2024-09-18 16:04:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 16:08:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-18 16:12:03 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 245 seconds) |
| 2024-09-18 16:16:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:16:38 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-09-18 16:16:58 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 2024-09-18 16:17:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 16:21:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-18 16:22:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-18 16:32:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:32:45 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-18 16:36:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 16:36:58 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) |
| 2024-09-18 16:38:40 +0000 | lystra | (~lystra@208.59.105.41) (Read error: Connection reset by peer) |
| 2024-09-18 16:39:17 +0000 | lystra | (~lystra@208.59.105.41) |
| 2024-09-18 16:40:05 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-18 16:40:18 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 16:43:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:48:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 16:53:04 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-18 16:54:13 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-18 16:59:11 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 244 seconds) |
| 2024-09-18 17:01:20 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-18 17:05:15 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 17:06:30 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-18 17:06:48 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-18 17:11:34 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-18 17:12:51 +0000 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) |
| 2024-09-18 17:15:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 17:20:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 17:20:51 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-18 17:23:43 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-18 17:26:07 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-18 17:33:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 17:36:42 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-09-18 17:37:32 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-09-18 17:38:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 17:40:01 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-18 17:42:02 +0000 | briandaed | (~root@185.234.210.211) |
| 2024-09-18 17:44:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 17:44:27 +0000 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-09-18 17:44:47 +0000 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) |
| 2024-09-18 17:47:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-09-18 17:49:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 17:49:10 +0000 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-18 17:50:58 +0000 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) |
| 2024-09-18 17:57:23 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 17:58:47 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-09-18 18:01:05 +0000 | Squared | (~Square@user/square) |
| 2024-09-18 18:01:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:02:49 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 18:06:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 18:15:09 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 18:17:18 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 18:18:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:18:53 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Client Quit) |
| 2024-09-18 18:19:06 +0000 | Inst_ | (~Inst@user/Inst) |
| 2024-09-18 18:20:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-18 18:21:33 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 246 seconds) |
| 2024-09-18 18:22:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 18:26:41 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 255 seconds) |
| 2024-09-18 18:32:13 +0000 | slack1256 | (~slack1256@2803:c600:5111:8029:1ec9:65a0:6e24:bbd9) |
| 2024-09-18 18:33:03 +0000 | slack1256 | (~slack1256@2803:c600:5111:8029:1ec9:65a0:6e24:bbd9) (Remote host closed the connection) |
| 2024-09-18 18:33:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 18:33:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:38:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 18:42:34 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) |
| 2024-09-18 18:42:36 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-18 18:44:59 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-09-18 18:49:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:49:07 +0000 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 18:50:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 18:51:20 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-18 18:53:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 18:54:28 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 18:57:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-18 19:00:01 +0000 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-18 19:00:40 +0000 | caconym8 | (~caconym@user/caconym) |
| 2024-09-18 19:01:24 +0000 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) |
| 2024-09-18 19:03:07 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 19:04:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-18 19:05:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 19:09:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 19:10:03 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 19:10:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 19:11:25 +0000 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-09-18 19:14:36 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-18 19:20:02 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-18 19:22:07 +0000 | akegalj | (~akegalj@141-136-172-97.dsl.iskon.hr) (Quit: leaving) |
| 2024-09-18 19:22:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 19:28:36 +0000 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 19:28:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 19:29:46 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-18 19:30:37 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 19:32:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 19:34:09 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-18 19:34:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-18 19:34:27 +0000 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) |
| 2024-09-18 19:34:46 +0000 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 19:35:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 19:36:00 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 19:37:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 19:38:26 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-18 19:42:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 19:44:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 19:44:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-18 19:44:38 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 19:46:38 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-09-18 19:47:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 19:48:40 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-18 19:49:25 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 19:49:32 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-09-18 19:53:57 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
| 2024-09-18 19:57:09 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-18 19:58:36 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 19:59:37 +0000 | athan | (~athan@2600:382:3a0d:4939:9511:a0d6:8db3:c9e4) |
| 2024-09-18 19:59:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:00:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-18 20:00:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 20:04:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 20:06:39 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 20:07:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 20:12:14 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 20:16:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:21:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 20:22:37 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-18 20:23:00 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-18 20:24:36 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 20:26:13 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-18 20:29:39 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 2024-09-18 20:32:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:35:22 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 20:37:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 20:37:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-18 20:40:45 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 20:44:08 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 272 seconds) |
| 2024-09-18 20:50:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:53:05 +0000 | polyphem | (~rod@pd9fbf352.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-18 20:54:40 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 20:54:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 20:59:18 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 21:05:17 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-18 21:07:20 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-09-18 21:07:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 21:09:04 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
| 2024-09-18 21:10:45 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2024-09-18 21:12:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 21:13:28 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) |
| 2024-09-18 21:19:56 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-09-18 21:22:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 21:25:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 21:30:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 21:33:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-18 21:34:45 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-09-18 21:34:53 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-18 21:35:29 +0000 | <Rembane> | Do you happen to know in which talk Simon Peyton Jones says the words: "Avoid success at all costs"? And do you happen to have the link to that talk? |
| 2024-09-18 21:38:22 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 21:38:27 +0000 | <c_wraith> | I think it's in this one: https://www.youtube.com/watch?v=iSmkqocn0oQ But I didn't double-check |
| 2024-09-18 21:42:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 21:42:51 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 21:43:52 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-18 21:44:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 21:44:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 21:44:34 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-18 21:45:24 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-09-18 21:45:41 +0000 | <Rembane> | c_wraith: It's a good video, but it's not the one I'm thinking of. IIRC it's a bigger talk with slides. |
| 2024-09-18 21:45:53 +0000 | <Rembane> | c_wraith: ...I'm searching for. |
| 2024-09-18 21:46:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 21:48:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 21:49:15 +0000 | <JuanDaugherty> | so spj has the clay feets |
| 2024-09-18 21:49:34 +0000 | <JuanDaugherty> | even 12 ya hs wasn useless |
| 2024-09-18 21:49:58 +0000 | <JuanDaugherty> | hyperbole, distortions, ... . |
| 2024-09-18 21:50:12 +0000 | <int-e> | the quote was supposed to be 'avoid "success at all cost"' |
| 2024-09-18 21:50:38 +0000 | <JuanDaugherty> | did wait for it had had enuf by 2 minutes |
| 2024-09-18 21:50:43 +0000 | <JuanDaugherty> | *didn |
| 2024-09-18 21:51:10 +0000 | <int-e> | There was a Haskell retrospective paper that went into that for a bit and how people often misunderstood the quote. It is ambiguous :P |
| 2024-09-18 21:51:11 +0000 | <JuanDaugherty> | the quote is dismissable prima facie |
| 2024-09-18 21:51:50 +0000 | <dolio> | Who is it quoting? |
| 2024-09-18 21:52:26 +0000 | <JuanDaugherty> | Rembane? |
| 2024-09-18 21:52:29 +0000 | <Rembane> | int-e: That's the point right, it's a bit like a dad joke or a pun or something like that. :) |
| 2024-09-18 21:52:35 +0000 | <Rembane> | dolio: Simon Peyton Jones |
| 2024-09-18 21:53:10 +0000 | <Rembane> | Ha! I think I found it! https://youtu.be/re96UgMk6GQ?t=1387&si=xit96ICMktdWMzOD |
| 2024-09-18 21:53:16 +0000 | <Rembane> | It could be in other places too. |
| 2024-09-18 21:53:49 +0000 | <dolio> | From when? It's definitely older than 7 years. |
| 2024-09-18 21:54:06 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: zzz) |
| 2024-09-18 21:54:15 +0000 | <monochrom> | Around 2000 I already heard it. |
| 2024-09-18 21:56:11 +0000 | <Rembane> | Oh. Now that's interesting. Because that talk is the oldest place where I've found the quote. |
| 2024-09-18 21:56:26 +0000 | Zer000 | (~02@64.137.132.10) |
| 2024-09-18 21:57:11 +0000 | <EvanR> | 7 years ago was 2017? xD |
| 2024-09-18 21:57:17 +0000 | <JuanDaugherty> | yeah |
| 2024-09-18 21:57:35 +0000 | <monochrom> | > 2024-7 |
| 2024-09-18 21:57:37 +0000 | <lambdabot> | 2017 |
| 2024-09-18 21:57:55 +0000 | <EvanR> | I heard it on IRC back in 2009 I think |
| 2024-09-18 21:58:35 +0000 | <JuanDaugherty> | the last linked talk was in '17 |
| 2024-09-18 21:58:41 +0000 | <Zer000> | Man I am having the weirdest out of memory issue: this line runs out of memory unless I change n from 100,000 to 10,000: let potentialRoots = [firstRootBytenr - (n * rootSpacing), firstRootBytenr - ((n - 1) * rootSpacing), firstRootBytenr] |
| 2024-09-18 21:58:49 +0000 | <Zer000> | everything is a Word64 |
| 2024-09-18 21:59:19 +0000 | <mauke> | I bet it's not this line |
| 2024-09-18 21:59:23 +0000 | <haskellbridge> | <magic_rb> Youre probably missing a strictness annotation somewhere |
| 2024-09-18 21:59:33 +0000 | <Zer000> | and my code isn't even right, it's building a list with three things in it, but I wanted to use the [n1, n2...n] syntax |
| 2024-09-18 21:59:40 +0000 | <haskellbridge> | <magic_rb> But we need way more context to actually see whats up |
| 2024-09-18 21:59:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:00:20 +0000 | <Zer000> | mauke, oh so it's how my list gets used? |
| 2024-09-18 22:01:08 +0000 | <Zer000> | You're probably right... maybe i should profile my program then |
| 2024-09-18 22:02:22 +0000 | <int-e> | hmmm https://mail.haskell.org/pipermail/haskell/2009-April/021173.html references the motto :P |
| 2024-09-18 22:02:30 +0000 | <Rembane> | int-e: Good stuff! :D |
| 2024-09-18 22:02:51 +0000 | <c_wraith> | Zer000: note that that line creates a list that's only three elements long. did you want [x, y .. z] instead? |
| 2024-09-18 22:03:43 +0000 | <mauke> | <Zer000> and my code isn't even right, it's building a list with three things in it, but I wanted to use the [n1, n2...n] syntax |
| 2024-09-18 22:03:51 +0000 | <c_wraith> | oh, whoops |
| 2024-09-18 22:04:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 22:04:59 +0000 | <Zer000> | magic_rb are you replying to me from matrix? I got confused by the briding for a second |
| 2024-09-18 22:05:26 +0000 | <Zer000> | you guys should use the matrix appservices bridge IMO it's way better but slightly more annoying to set up |
| 2024-09-18 22:05:39 +0000 | <haskellbridge> | <magic_rb> Zer000 yes is it showing up weirdly on the irc side? |
| 2024-09-18 22:05:50 +0000 | <Zer000> | It looks like someone is replying to you |
| 2024-09-18 22:06:10 +0000 | <int-e> | Tge motto appears in these slides from 2003. https://www.microsoft.com/en-us/research/publication/wearing-hair-shirt-retrospective-haskell-2003/ (via https://es.costashine-autospa.com/wg-cgi/marc.info/?l=haskell-cafe&m=120491982137885&w=2 ) |
| 2024-09-18 22:06:10 +0000 | <Zer000> | Like this: haskellbridge: <magic_rb> Zer000 yes is it showing up weirdly on the irc side? |
| 2024-09-18 22:06:49 +0000 | <int-e> | hmm, that second link is suspicious, should be https://marc.info/?l=haskell-cafe&m=120491982137885&w=2 |
| 2024-09-18 22:07:21 +0000 | <haskellbridge> | <magic_rb> Zer000 ah, i should finally get around to using heisenbridge to interact with this room, works much better in my experience |
| 2024-09-18 22:08:02 +0000 | <Rembane> | int-e: This gets even better! Thank you! |
| 2024-09-18 22:10:19 +0000 | Squared | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-09-18 22:11:06 +0000 | <int-e> | That timing feels about right to me; my memory isn't good enough to say whether the motto was conceived then or has an earlier origin. |
| 2024-09-18 22:11:16 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 22:11:20 +0000 | <monochrom> | Haha "gives too much power to implementers?" came true. |
| 2024-09-18 22:12:39 +0000 | <Rembane> | The most powerful implementers! |
| 2024-09-18 22:12:40 +0000 | <int-e> | hugs was still alive in 2003 |
| 2024-09-18 22:13:26 +0000 | <int-e> | Heck we had a cambric explosion of Haskell compilers for a while. Darwin killed them all or something. |
| 2024-09-18 22:14:48 +0000 | <Rembane> | Too few lovely islands for them to thrive? |
| 2024-09-18 22:14:55 +0000 | EvanR | sues GHC for being a monopoly |
| 2024-09-18 22:15:52 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 22:16:12 +0000 | <int-e> | (Realistically none of them had much staying power, and people who would've implemented Haskell around 2000 are now implementing new languages instead. A trend that maybe started with Clean? I don't really know, but it's an early example that I remember.) |
| 2024-09-18 22:16:48 +0000 | <Rembane> | That seems reasonable. And I think it's better for the world to have more languages rather than having more implementations of Haskell. |
| 2024-09-18 22:17:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:18:53 +0000 | <JuanDaugherty> | the hybrids thrived in niches, curry e.g. |
| 2024-09-18 22:19:58 +0000 | <JuanDaugherty> | u need a uni with a renewable labor pool |
| 2024-09-18 22:20:44 +0000 | <JuanDaugherty> | and not just some guy in a dept |
| 2024-09-18 22:22:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 22:24:25 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2024-09-18 22:25:16 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-09-18 22:28:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-18 22:28:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 22:34:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:39:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 22:43:18 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 22:48:14 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
| 2024-09-18 22:50:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:54:15 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 22:54:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 23:00:29 +0000 | athan | (~athan@2600:382:3a0d:4939:9511:a0d6:8db3:c9e4) (Ping timeout: 260 seconds) |
| 2024-09-18 23:01:07 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 23:03:43 +0000 | <c_wraith> | can you allow-newer a native dependency? |
| 2024-09-18 23:04:55 +0000 | <c_wraith> | the cairo package seems to depend on librsvg-2.0 < 2.51 and debian stable currently packages 2.54 |
| 2024-09-18 23:05:21 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb224ccb10fade5fa5a7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-18 23:05:34 +0000 | <c_wraith> | err. the svgcairo package. |
| 2024-09-18 23:05:35 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-18 23:06:17 +0000 | <c_wraith> | Huh. I suppose I could have just tried. It seems to be trying to build now, at least. |
| 2024-09-18 23:06:22 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-18 23:07:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:08:54 +0000 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-18 23:09:11 +0000 | <c_wraith> | didn't actually work. Seems it's not passing correct flags to pkg-config. |
| 2024-09-18 23:09:36 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 2024-09-18 23:11:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 23:12:49 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-18 23:13:11 +0000 | dolio | (~dolio@130.44.140.168) |
| 2024-09-18 23:19:40 +0000 | tv1 | (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2024-09-18 23:23:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:28:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 23:39:07 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 23:39:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:39:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 23:43:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 23:52:18 +0000 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 23:53:13 +0000 | Axma52822 | Axman6 |
| 2024-09-18 23:54:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:58:19 +0000 | synchrom1 | (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) |
| 2024-09-18 23:59:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |