| 2024-09-18 00:01:24 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-09-18 00:06:27 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-09-18 00:10:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8e41:444a:2d83:f166) |
| 2024-09-18 00:10:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 00:14:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 00:23:08 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-18 00:24:04 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-09-18 00:26:36 +0200 | oo_miguel | (~Thunderbi@78.10.206.35) (Ping timeout: 252 seconds) |
| 2024-09-18 00:28:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 00:28:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 00:31:04 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-09-18 00:33:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 00:33:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 00:36:51 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-18 00:45:37 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb0329fc7c60bebd0680.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-18 00:46:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 00:50:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 00:55:41 +0200 | oo_miguel | (~Thunderbi@78.10.206.35) |
| 2024-09-18 00:56:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 01:01:25 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-09-18 01:01:51 +0200 | Inst_ | (~Inst@user/Inst) (Quit: Leaving) |
| 2024-09-18 01:02:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:05:03 +0200 | Inst | (~Inst@user/Inst) |
| 2024-09-18 01:05:26 +0200 | Inst | (~Inst@user/Inst) (Client Quit) |
| 2024-09-18 01:05:44 +0200 | Inst | (~Inst@user/Inst) |
| 2024-09-18 01:06:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 01:07:41 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-18 01:09:13 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-18 01:12:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 01:12:48 +0200 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 252 seconds) |
| 2024-09-18 01:17:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-18 01:18:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:19:38 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-09-18 01:23:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 01:32:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2024-09-18 01:35:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:37:27 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 01:39:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 01:40:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-18 01:41:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-18 01:52:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 01:55:55 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
| 2024-09-18 01:57:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-18 01:57:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 01:57:32 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-09-18 02:03:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 02:04:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 02:09:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:14:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 02:17:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-09-18 02:25:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8e41:444a:2d83:f166) (Ping timeout: 260 seconds) |
| 2024-09-18 02:26:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:31:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 02:36:24 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-18 02:44:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 02:48:01 +0200 | <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 02:49:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 02:49:27 +0200 | thegeekinside | (~thegeekin@189.180.58.55) |
| 2024-09-18 02:50:17 +0200 | thegeekinside | (~thegeekin@189.180.58.55) (Remote host closed the connection) |
| 2024-09-18 02:56:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 03:00:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 03:01:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:06:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 03:07:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 03:08:12 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-18 03:09:30 +0200 | haetsal | (~quassel@221.138.168.192) (Remote host closed the connection) |
| 2024-09-18 03:09:41 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-18 03:10:14 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-09-18 03:10:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-18 03:10:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-18 03:15:21 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-18 03:18:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:23:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 03:23:56 +0200 | fireking04 | (~user@2001-b011-2018-a578-0000-0000-0000-ff24.dynamic-ip6.hinet.net) |
| 2024-09-18 03:35:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:37:29 +0200 | 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 03:40:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 03:45:49 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-18 03:52:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 03:56:37 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-18 03:57:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 04:02:24 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 04:06:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-18 04:07:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-18 04:09:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:13:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 04:19:19 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-09-18 04:21:25 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-18 04:25:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:29:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 04:30:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:32:24 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-09-18 04:33:39 +0200 | idnar | (sid12240@debian/mithrandi) (Ping timeout: 276 seconds) |
| 2024-09-18 04:33:50 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2024-09-18 04:34:57 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Read error: Connection reset by peer) |
| 2024-09-18 04:34:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 04:35:17 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) |
| 2024-09-18 04:35:36 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 276 seconds) |
| 2024-09-18 04:38:18 +0200 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 246 seconds) |
| 2024-09-18 04:40:12 +0200 | td_ | (~td@i53870921.versanet.de) |
| 2024-09-18 04:47:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 04:49:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 04:52:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 05:00:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:05:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 05:16:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:21:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 05:33:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:34:12 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 05:35:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-18 05:35:24 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-18 05:36:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-18 05:37:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 05:44:54 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 05:49:10 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 05:49:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 05:53:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 05:55:29 +0200 | <Inst> | <|> is sort of bad, sin't it? |
| 2024-09-18 05:55:34 +0200 | <Inst> | unless it has the right rewrite rules for it |
| 2024-09-18 05:55:43 +0200 | <Inst> | a <|> b <|> c doesn't fail correctly |
| 2024-09-18 05:56:01 +0200 | <Inst> | *succeed correctly |
| 2024-09-18 05:56:08 +0200 | <Inst> | if a short circuits, the second <|> is triggered |
| 2024-09-18 05:57:36 +0200 | wei2912 | (~wei2912@116.88.52.77) |
| 2024-09-18 05:58:52 +0200 | <jle`> | Inst: what instance are you think of ? |
| 2024-09-18 05:59:45 +0200 | wei2912 | (~wei2912@116.88.52.77) (Client Quit) |
| 2024-09-18 05:59:51 +0200 | <Inst> | let me check maybe again |
| 2024-09-18 06:00:32 +0200 | <Inst> | yup, alternative maybe |
| 2024-09-18 06:00:44 +0200 | <Inst> | it'll keep on checking Just values when it can just short-circuit |
| 2024-09-18 06:01:56 +0200 | <monochrom> | > Just 4 <|> undefined |
| 2024-09-18 06:01:57 +0200 | <lambdabot> | Just 4 |
| 2024-09-18 06:02:03 +0200 | <monochrom> | Debunked. |
| 2024-09-18 06:02:44 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 06:02:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-18 06:03:15 +0200 | greenflower | (~greenflow@45.112.53.154) |
| 2024-09-18 06:03:43 +0200 | <Inst> | > Just 4 <|> undefined <|> undefined |
| 2024-09-18 06:03:45 +0200 | <lambdabot> | Just 4 |
| 2024-09-18 06:03:51 +0200 | <Inst> | no, the claim is that the second <|> will trigger |
| 2024-09-18 06:04:29 +0200 | <Inst> | what I want is Just 4 <|> (undefined <|> undefined), which can be provided by rewrite rules, tbh |
| 2024-09-18 06:04:50 +0200 | <monochrom> | > Just 4 <|> (undefined <|> undefined) |
| 2024-09-18 06:04:52 +0200 | <lambdabot> | Just 4 |
| 2024-09-18 06:04:56 +0200 | <monochrom> | Debunked. |
| 2024-09-18 06:05:01 +0200 | <Inst> | ??? |
| 2024-09-18 06:05:18 +0200 | <mauke> | <|> is left assoc |
| 2024-09-18 06:05:20 +0200 | <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 06:05:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:05:39 +0200 | <monochrom> | > Just 4 <|> undefined <|> undefined |
| 2024-09-18 06:05:41 +0200 | <lambdabot> | Just 4 |
| 2024-09-18 06:05:44 +0200 | <monochrom> | Debunked. |
| 2024-09-18 06:05:51 +0200 | <Inst> | only the first <|> should trigger, the second should fail through (in an ideal world |
| 2024-09-18 06:06:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 06:06:05 +0200 | <Inst> | Just 4 <|> (undefined <|> undefined) should be operationally equivalent to Just 4 <|> undefined <|> undefined |
| 2024-09-18 06:06:42 +0200 | <monochrom> | I don't know what "trigger" means. Is this Haskell or is this SQL "create trigger"? |
| 2024-09-18 06:06:49 +0200 | <Inst> | hold on |
| 2024-09-18 06:06:58 +0200 | <Leary> | You can just declare `(<||>) = (<|>); infixr 3 <||>`; if you want right associativity. |
| 2024-09-18 06:07:05 +0200 | <monochrom> | But I have shown enough working examples. Where is the breakage? |
| 2024-09-18 06:07:10 +0200 | <Inst> | hmmm, i can't do this with foldr and infinite lists |
| 2024-09-18 06:07:29 +0200 | <monochrom> | Your turn to show an example not essay writing. |
| 2024-09-18 06:07:36 +0200 | <Inst> | assume an inifnite sequence of Just 4 <|> something <|> something... |
| 2024-09-18 06:07:52 +0200 | <Inst> | this should never evaluate, because the <|> keeps on getting applied |
| 2024-09-18 06:07:53 +0200 | <mauke> | it's not about correctness, only performance. I think |
| 2024-09-18 06:08:15 +0200 | <monochrom> | I don't know how to write an infinitely long piece of code. Do you? |
| 2024-09-18 06:08:37 +0200 | <Leary> | > asum (Just 4:repeat undefined) |
| 2024-09-18 06:08:38 +0200 | <monochrom> | My disk has only 250GB it can't save an infinite source file. |
| 2024-09-18 06:08:39 +0200 | <lambdabot> | Just 4 |
| 2024-09-18 06:08:55 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 06:09:03 +0200 | <Inst> | i thought you could do it with foldr (<|>) Nothing (Just 4 : repeat Nothing), but it'll insert parens |
| 2024-09-18 06:09:17 +0200 | <monochrom> | foldr is fair. |
| 2024-09-18 06:09:27 +0200 | <mauke> | (Just x <|> b) <|> c goes through two applications of (<|>); Just x <|> (a <|> b) only goes through one |
| 2024-09-18 06:09:28 +0200 | <Inst> | but you can't do it with foldr because iirc the parens are implicit |
| 2024-09-18 06:09:31 +0200 | <Inst> | thanks Leary |
| 2024-09-18 06:09:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 06:09:40 +0200 | <monochrom> | > foldr (<|>) undefined (Just 4 : repeat undefined) |
| 2024-09-18 06:09:42 +0200 | <lambdabot> | Just 4 |
| 2024-09-18 06:09:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-18 06:09:48 +0200 | <monochrom> | Still no breakage. |
| 2024-09-18 06:09:55 +0200 | <Inst> | no, but it won't break with foldr |
| 2024-09-18 06:10:04 +0200 | <monochrom> | OK, what will break? |
| 2024-09-18 06:10:05 +0200 | <mauke> | it won't break at all |
| 2024-09-18 06:10:11 +0200 | <Inst> | it's a performance concern, as mauke stated |
| 2024-09-18 06:10:16 +0200 | <monochrom> | Actual code or it didn't happen. |
| 2024-09-18 06:10:26 +0200 | <probie> | monochrom: As long as the k-complexity is finite, you can easily "fake it" with a custom fuse mount |
| 2024-09-18 06:10:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-18 06:10:30 +0200 | <monochrom> | For performance you can show actual benchmark. |
| 2024-09-18 06:11:09 +0200 | <monochrom> | which unsurprisingly imples actual code again. |
| 2024-09-18 06:11:20 +0200 | <monochrom> | Not meaningless words like "assume" "infinite". |
| 2024-09-18 06:11:24 +0200 | <ski> | "it'll insert parens","the parens are implicit" -- ? |
| 2024-09-18 06:11:27 +0200 | <Inst> | is your point that the repeated applications of <|> is essentially pendantry? |
| 2024-09-18 06:12:00 +0200 | <mauke> | ski: that's someone thinking in concrete syntax, not expression graphs :-) |
| 2024-09-18 06:12:20 +0200 | <monochrom> | No, my point is until you show actual example you don't even know what's the true cause. |
| 2024-09-18 06:12:33 +0200 | ski | graphs expressions against concrete syntax, extrapolates to infinity |
| 2024-09-18 06:12:54 +0200 | <monochrom> | You are acting like absolute beginners who end up blaming everything except the true cause. |
| 2024-09-18 06:13:18 +0200 | <mauke> | cause of what? |
| 2024-09-18 06:13:44 +0200 | <monochrom> | An unspecified breakage. (See that's the 2nd problem.) |
| 2024-09-18 06:13:52 +0200 | ski | . o O ( "Do not ask whether a statement is true until you know what it means." -- Errett Bishop ) |
| 2024-09-18 06:13:55 +0200 | <mauke> | monochrom: old news. there is no breakage anymore |
| 2024-09-18 06:14:21 +0200 | <monochrom> | OK sure. |
| 2024-09-18 06:14:35 +0200 | <monochrom> | What was the question again? |
| 2024-09-18 06:14:46 +0200 | <mauke> | <mauke> (Just x <|> b) <|> c goes through two applications of (<|>); Just x <|> (a <|> b) only goes through one |
| 2024-09-18 06:14:52 +0200 | <mauke> | so why is <|> infixl and not infixr? |
| 2024-09-18 06:15:43 +0200 | <monochrom> | Yeah that's a poor decision. |
| 2024-09-18 06:16:48 +0200 | <monochrom> | But even that didn't cause more bottoms than necessary. |
| 2024-09-18 06:17:04 +0200 | <mauke> | right. it's just less efficient |
| 2024-09-18 06:17:19 +0200 | <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 06:18:08 +0200 | <Inst> | thanks mauke |
| 2024-09-18 06:18:26 +0200 | <Inst> | sorry, i'm thinking in terms of the primitive implementation of foldr on lists |
| 2024-09-18 06:19:18 +0200 | <Inst> | *naive |
| 2024-09-18 06:19:44 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 06:19:47 +0200 | <monochrom> | (>>) is similarly bad. I was a bit disappointed at that too. |
| 2024-09-18 06:20:10 +0200 | <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 06:20:43 +0200 | <glguy> | don’t miss a chance to write naïve :) |
| 2024-09-18 06:21:11 +0200 | <Inst> | foldr f z [] = z |
| 2024-09-18 06:21:27 +0200 | <Inst> | foldr f z (x:xs) = f x (foldr f z xs) |
| 2024-09-18 06:21:33 +0200 | <Inst> | iirc that was in graham, no? |
| 2024-09-18 06:21:45 +0200 | <mauke> | naïve |
| 2024-09-18 06:22:10 +0200 | <mauke> | > foldr f z [a,b,c,d] |
| 2024-09-18 06:22:12 +0200 | <lambdabot> | f a (f b (f c (f d z))) |
| 2024-09-18 06:22:16 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 06:23:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:26:38 +0200 | <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 06:27:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 06:31:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:31:54 +0200 | <Inst> | I saw someone get around Haskell's lack of f lists with concat [strings...] |
| 2024-09-18 06:35:13 +0200 | <ski> | "f lists" ? |
| 2024-09-18 06:35:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 06:40:11 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-09-18 06:44:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 06:49:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 06:53:01 +0200 | <Inst> | erm, f strings |
| 2024-09-18 06:53:34 +0200 | <Inst> | i prefer traverse putStr or just otherwise keeping it as a list |
| 2024-09-18 06:53:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 06:54:10 +0200 | <Inst> | traverse (foo :: Monad m => a -> m b) list is great |
| 2024-09-18 07:05:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:09:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 07:20:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:25:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 07:27:50 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 07:29:13 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-18 07:30:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-18 07:31:03 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-09-18 07:32:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:32:55 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 07:36:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 07:43:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-18 07:49:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 07:51:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 07:53:44 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-18 07:53:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 08:04:26 +0200 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-09-18 08:05:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:06:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 08:09:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 08:11:27 +0200 | greenflower | (~greenflow@45.112.53.154) (Quit: Client closed) |
| 2024-09-18 08:12:31 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb224ccb10fade5fa5a7.dip0.t-ipconnect.de) |
| 2024-09-18 08:20:11 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2) |
| 2024-09-18 08:20:53 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
| 2024-09-18 08:21:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:23:42 +0200 | rosco | (~rosco@183.171.111.2) |
| 2024-09-18 08:25:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 08:27:05 +0200 | greenflower | (~greenflow@45.112.53.154) |
| 2024-09-18 08:28:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-18 08:29:52 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 08:33:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:37:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 08:38:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-18 08:39:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-18 08:42:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 08:43:20 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-18 08:49:26 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-18 08:51:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 08:56:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-18 08:58:06 +0200 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-09-18 09:00:00 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-18 09:00:40 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-18 09:01:57 +0200 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 2024-09-18 09:08:44 +0200 | Axma52822 | (~Axman6@user/axman6) |
| 2024-09-18 09:09:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:10:43 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-09-18 09:11:19 +0200 | kuribas | (~user@2a02:1808:8:9146:7c0d:992e:f69a:ee4c) |
| 2024-09-18 09:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 09:18:14 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-18 09:21:16 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-18 09:23:36 +0200 | greenflower | (~greenflow@45.112.53.154) (Quit: Client closed) |
| 2024-09-18 09:24:04 +0200 | greenflower | (~greenflow@14.99.164.82) |
| 2024-09-18 09:26:43 +0200 | kuribas | (~user@2a02:1808:8:9146:7c0d:992e:f69a:ee4c) (Remote host closed the connection) |
| 2024-09-18 09:26:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:28:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 09:29:41 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 09:31:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 09:32:55 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 09:34:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:35:22 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-18 09:38:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 09:43:08 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-18 09:45:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-18 09:51:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 09:52:57 +0200 | rosco | (~rosco@183.171.111.2) (Ping timeout: 246 seconds) |
| 2024-09-18 09:55:37 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-18 09:56:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 09:58:23 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-18 09:59:53 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-18 10:03:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 10:07:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 10:08:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:11:12 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-18 10:13:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 10:25:13 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-18 10:26:07 +0200 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 10:26:24 +0200 | euleritian | (~euleritia@37.4.251.212) |
| 2024-09-18 10:26:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:27:28 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 245 seconds) |
| 2024-09-18 10:27:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 10:31:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 10:33:30 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-18 10:35:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:40:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 10:52:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 10:57:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 10:59:04 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 11:07:49 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-09-18 11:08:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:13:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 11:13:33 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-18 11:13:46 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 252 seconds) |
| 2024-09-18 11:13:46 +0200 | telser | (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 2024-09-18 11:14:16 +0200 | telser | (~quassel@user/telser) |
| 2024-09-18 11:15:44 +0200 | finsternis | (~X@23.226.237.192) |
| 2024-09-18 11:16:48 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2024-09-18 11:17:54 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-18 11:23:14 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 11:25:28 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 11:26:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:30:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 11:31:49 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 11:36:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:43:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 11:44:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 11:45:09 +0200 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-18 11:50:47 +0200 | mari66658 | (~mari-este@2a02:3032:30e:c8b5:216:3eff:fe65:4eef) |
| 2024-09-18 11:52:53 +0200 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-09-18 11:55:54 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-18 11:58:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 11:59:39 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-18 11:59:43 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 12:00:58 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-18 12:01:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 12:02:00 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-18 12:03:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 12:04:40 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-18 12:06:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-18 12:12:04 +0200 | spider1 | (spider@tilde.cafe) (Ping timeout: 245 seconds) |
| 2024-09-18 12:14:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 12:19:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 12:20:56 +0200 | euleritian | (~euleritia@37.4.251.212) (Ping timeout: 272 seconds) |
| 2024-09-18 12:24:35 +0200 | spider1 | (spider@tilde.cafe) |
| 2024-09-18 12:31:45 +0200 | mari66658 | (~mari-este@2a02:3032:30e:c8b5:216:3eff:fe65:4eef) (Quit: reading a bit) |
| 2024-09-18 12:32:02 +0200 | akegalj | (~akegalj@141-136-172-97.dsl.iskon.hr) |
| 2024-09-18 12:32:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 12:34:35 +0200 | <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 12:38:45 +0200 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-09-18 12:42:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 12:42:25 +0200 | <geekosaur> | 4 or possibly 8 (if hyperthreading is enabled) |
| 2024-09-18 12:46:29 +0200 | <geekosaur> | (hyperthreading is usually disabled because it tends to be a lose) |
| 2024-09-18 12:46:55 +0200 | <tomsmeding> | (hyperthreading is essentially always enabled on personal computers) |
| 2024-09-18 12:47:06 +0200 | <tomsmeding> | (it is sometimes disabled on servers) |
| 2024-09-18 12:47:53 +0200 | <akegalj> | tomsmeding: ty <3 |
| 2024-09-18 12:47:59 +0200 | <tomsmeding> | akegalj: on linux, $ grep '^processor' /proc/cpuinfo |
| 2024-09-18 12:48:31 +0200 | <akegalj> | tomsmeding: ok great. I was just confused by core/processor terminology |
| 2024-09-18 12:48:44 +0200 | <tomsmeding> | for some reason, /proc/cpuinfo uses the same "processor" terminology |
| 2024-09-18 12:49:00 +0200 | <geekosaur> | https://paste.tomsmeding.com/AqGaf4MW |
| 2024-09-18 12:49:08 +0200 | <tomsmeding> | akegalj: note that due to hyperthreading, "core" is also an ambiguous word |
| 2024-09-18 12:49:42 +0200 | <tomsmeding> | geekosaur: do you have a fancy custom interpreter set in the kernel for .hs files? |
| 2024-09-18 12:50:02 +0200 | <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 12:50:11 +0200 | <geekosaur> | no, I pre-compiled that |
| 2024-09-18 12:50:18 +0200 | tomsmeding | is blind |
| 2024-09-18 12:50:26 +0200 | <tomsmeding> | geekosaur: what do you mean with "core" and "processor" here :p |
| 2024-09-18 12:51:02 +0200 | <geekosaur> | I'm going with what akegalj seemed to mean by them, one physical package (processor) with multiple cores |
| 2024-09-18 12:51:31 +0200 | <tomsmeding> | is a core-y thing that is split into two units using hyperthreading, 1 or 2 "cores"? |
| 2024-09-18 12:52:18 +0200 | <geekosaur> | ask linux |
| 2024-09-18 12:52:30 +0200 | <tomsmeding> | grep '^processor\|^core id' /proc/cpuinfo |
| 2024-09-18 12:52:35 +0200 | <tomsmeding> | this is known information in software |
| 2024-09-18 12:53:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 12:53:18 +0200 | <tomsmeding> | /proc/cpuinfo apparently talks about 1 chip having N "cores", each having possibly multiple "processors" inside |
| 2024-09-18 12:53:24 +0200 | <tomsmeding> | (the word "chip" is not mentioned) |
| 2024-09-18 12:53:25 +0200 | oo_miguel | (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 2024-09-18 12:54:00 +0200 | <tomsmeding> | so according to Linux, my intel i9-10900K has 10 cores and 20 processors |
| 2024-09-18 12:54:06 +0200 | <geekosaur> | btw "custom interpreter" is not difficult to arrange on linux iirc |
| 2024-09-18 12:54:20 +0200 | <tomsmeding> | iirc it indeed isn't, but I've never seen anyone do it :) |
| 2024-09-18 12:54:28 +0200 | <tomsmeding> | (and I misread and thought that was `./np.hs` instead of `./np`) |
| 2024-09-18 12:55:08 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 272 seconds) |
| 2024-09-18 12:55:23 +0200 | <tomsmeding> | CPU manufacturers tend to talk about a chip having "cores", which may have 2 "threads" each |
| 2024-09-18 12:55:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d09b:def9:34dc:ea3f) |
| 2024-09-18 12:56:04 +0200 | <tomsmeding> | GPU manufacturers lie through their teeth |
| 2024-09-18 12:56:26 +0200 | <tomsmeding> | (partly because the story is just simply more complex on a GPU) |
| 2024-09-18 12:57:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 12:59:28 +0200 | <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 13:00:10 +0200 | <tomsmeding> | try it ;) |
| 2024-09-18 13:00:13 +0200 | <tomsmeding> | -j should be enough |
| 2024-09-18 13:00:31 +0200 | <akegalj> | tomsmeding: <3 |
| 2024-09-18 13:00:37 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 244 seconds) |
| 2024-09-18 13:00:55 +0200 | <geekosaur> | I think it will do `setNumCapabilities` itself in that case, yes |
| 2024-09-18 13:01:21 +0200 | <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 13:11:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:13:28 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-18 13:16:36 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 13:18:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 13:19:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d09b:def9:34dc:ea3f) (Ping timeout: 272 seconds) |
| 2024-09-18 13:19:27 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-09-18 13:26:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 13:27:13 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-18 13:27:21 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 13:29:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:34:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 13:37:03 +0200 | ZharMeny` | ZharMeny |
| 2024-09-18 13:54:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 13:58:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 14:07:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 14:07:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-18 14:10:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:10:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5e79:2e20:253a:2c58) |
| 2024-09-18 14:14:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 14:14:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 14:22:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-18 14:26:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:26:51 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-09-18 14:31:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 14:39:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 14:43:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 14:51:57 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-18 14:52:46 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-18 14:55:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:00:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 15:00:32 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 272 seconds) |
| 2024-09-18 15:00:52 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-18 15:05:12 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-18 15:05:24 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-18 15:05:31 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 15:08:00 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-18 15:08:12 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-18 15:09:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5e79:2e20:253a:2c58) (Quit: xff0x) |
| 2024-09-18 15:11:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:11:46 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-18 15:13:03 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-18 15:14:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6729:dbd:b464:a963) |
| 2024-09-18 15:15:24 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-18 15:16:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 15:25:06 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:6b51:c8e0:844c:e9ca) (Remote host closed the connection) |
| 2024-09-18 15:25:19 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:63b4:82b1:f852:f702) |
| 2024-09-18 15:25:45 +0200 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
| 2024-09-18 15:28:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:33:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 15:38:12 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 15:40:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:43:11 +0200 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-18 15:44:23 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-18 15:44:43 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 15:44:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 15:51:20 +0200 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-18 15:52:24 +0200 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) |
| 2024-09-18 15:57:55 +0200 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-18 15:57:56 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 15:58:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 15:59:11 +0200 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-18 16:02:31 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 16:03:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-18 16:08:10 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-18 16:11:39 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 16:14:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:19:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-18 16:28:38 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-18 16:31:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:35:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 16:38:42 +0200 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-09-18 16:39:20 +0200 | mari-estel | (~mari-este@p200300f1c7015b0102163efffe654eef.dip0.t-ipconnect.de) (Quit: reading a bit) |
| 2024-09-18 16:41:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:45:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 16:46:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 16:49:20 +0200 | athan | (~athan@2600:382:2d25:35ae:c519:60c7:93a7:61fb) |
| 2024-09-18 16:58:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 16:59:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 17:01:34 +0200 | athan | (~athan@2600:382:2d25:35ae:c519:60c7:93a7:61fb) (Ping timeout: 260 seconds) |
| 2024-09-18 17:02:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 17:04:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 17:10:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-18 17:13:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 17:14:49 +0200 | michalz | (~michalz@185.246.207.218) (Ping timeout: 244 seconds) |
| 2024-09-18 17:15:02 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-09-18 17:16:07 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-18 17:17:36 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-18 17:18:32 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-18 17:18:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-18 17:24:12 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-18 17:26:20 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-18 17:31:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 17:31:28 +0200 | lol_ | (~lol@2603:3016:1e01:b9e0:556a:bf96:e167:c835) |
| 2024-09-18 17:32:16 +0200 | Lears | (~Leary@user/Leary/x-0910699) |
| 2024-09-18 17:34:15 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-18 17:35:11 +0200 | benkard | (~mulk@p5b112a06.dip0.t-ipconnect.de) |
| 2024-09-18 17:35:15 +0200 | tv1 | (~tv@user/tv) |
| 2024-09-18 17:35:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 17:35:40 +0200 | srk- | (~sorki@user/srk) |
| 2024-09-18 17:36:12 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2024-09-18 17:36:12 +0200 | rdcdr_ | (~rdcdr@75-172-9-7.tukw.qwest.net) |
| 2024-09-18 17:36:35 +0200 | bliminse_ | (~bliminse@user/bliminse) |
| 2024-09-18 17:36:39 +0200 | meejah_ | (~meejah@rutas.meejah.ca) |
| 2024-09-18 17:36:40 +0200 | Eoco_ | (~ian@128.101.131.218) |
| 2024-09-18 17:36:45 +0200 | raym | (~ray@user/raym) |
| 2024-09-18 17:36:45 +0200 | barthand1 | (barth@triton.blinkenshell.org) |
| 2024-09-18 17:37:01 +0200 | some02 | (~cat@user/sudden) |
| 2024-09-18 17:39:46 +0200 | Ttech | (~adran@botters/adran) |
| 2024-09-18 17:41:23 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: zzz) |
| 2024-09-18 17:41:25 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (*.net *.split) |
| 2024-09-18 17:41:25 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (*.net *.split) |
| 2024-09-18 17:41:26 +0200 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2024-09-18 17:41:26 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2024-09-18 17:41:26 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2024-09-18 17:41:26 +0200 | jcarpenter2 | (~lol@96.78.87.197) (*.net *.split) |
| 2024-09-18 17:41:27 +0200 | A_Dragon | (A_D@libera/staff/dragon) (*.net *.split) |
| 2024-09-18 17:41:28 +0200 | jathan | (~jathan@69.61.93.38) (*.net *.split) |
| 2024-09-18 17:41:28 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2024-09-18 17:41:28 +0200 | tv | (~tv@user/tv) (*.net *.split) |
| 2024-09-18 17:41:29 +0200 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2024-09-18 17:41:29 +0200 | rdcdr | (~rdcdr@user/rdcdr) (*.net *.split) |
| 2024-09-18 17:41:29 +0200 | mulk | (~mulk@p5b112a06.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-09-18 17:41:29 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2024-09-18 17:41:31 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2024-09-18 17:41:31 +0200 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2024-09-18 17:41:31 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-18 17:41:31 +0200 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2024-09-18 17:41:31 +0200 | Angelz | (Angelz@user/angelz) (*.net *.split) |
| 2024-09-18 17:41:31 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2024-09-18 17:41:32 +0200 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2024-09-18 17:41:32 +0200 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2024-09-18 17:41:32 +0200 | mceresa | (~mceresa@user/mceresa) (*.net *.split) |
| 2024-09-18 17:41:32 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (*.net *.split) |
| 2024-09-18 17:41:33 +0200 | mrvdb- | (~mrvdb@185.92.221.186) (*.net *.split) |
| 2024-09-18 17:41:33 +0200 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2024-09-18 17:41:33 +0200 | sweater | (~sweater@206.81.18.26) (*.net *.split) |
| 2024-09-18 17:41:33 +0200 | sudden | (~cat@user/sudden) (*.net *.split) |
| 2024-09-18 17:41:33 +0200 | srk | (~sorki@user/srk) (*.net *.split) |
| 2024-09-18 17:41:33 +0200 | flocks | (~flocks@134.122.90.60) (*.net *.split) |
| 2024-09-18 17:41:37 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split) |
| 2024-09-18 17:41:38 +0200 | hacklschorsch | (~flo@vantaa.latfa.net) (*.net *.split) |
| 2024-09-18 17:41:38 +0200 | s4msung | (u4jHfpaUni@user/s4msung) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | _0xa | (~user@user/0xa/x-3134607) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | SanchayanMaity | (sid478177@2a03:5180:f:4::7:4be1) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) (*.net *.split) |
| 2024-09-18 17:41:41 +0200 | edm | (sid147314@2a03:5180:f:4::2:3f72) (*.net *.split) |
| 2024-09-18 17:41:59 +0200 | JSharp | (sid4580@user/JSharp) (*.net *.split) |
| 2024-09-18 17:41:59 +0200 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2024-09-18 17:41:59 +0200 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2024-09-18 17:41:59 +0200 | benkard | mulk |
| 2024-09-18 17:41:59 +0200 | srk- | srk |
| 2024-09-18 17:42:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 17:42:13 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-09-18 17:43:08 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 17:43:08 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2024-09-18 17:43:08 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2024-09-18 17:43:08 +0200 | A_Dragon | (A_D@libera/staff/dragon) |
| 2024-09-18 17:43:08 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-09-18 17:43:08 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-09-18 17:43:08 +0200 | hacklschorsch | (~flo@vantaa.latfa.net) |
| 2024-09-18 17:43:08 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-09-18 17:43:08 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-09-18 17:43:08 +0200 | Angelz | (Angelz@user/angelz) |
| 2024-09-18 17:43:08 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2024-09-18 17:43:08 +0200 | mceresa | (~mceresa@user/mceresa) |
| 2024-09-18 17:43:08 +0200 | enikar | (~enikar@user/enikar) |
| 2024-09-18 17:43:08 +0200 | sweater | (~sweater@206.81.18.26) |
| 2024-09-18 17:43:08 +0200 | flocks | (~flocks@134.122.90.60) |
| 2024-09-18 17:43:08 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-09-18 17:43:08 +0200 | s4msung | (u4jHfpaUni@user/s4msung) |
| 2024-09-18 17:43:08 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2024-09-18 17:43:08 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2024-09-18 17:43:08 +0200 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) |
| 2024-09-18 17:43:08 +0200 | SanchayanMaity | (sid478177@2a03:5180:f:4::7:4be1) |
| 2024-09-18 17:43:08 +0200 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) |
| 2024-09-18 17:43:08 +0200 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) |
| 2024-09-18 17:43:08 +0200 | edm | (sid147314@2a03:5180:f:4::2:3f72) |
| 2024-09-18 17:43:08 +0200 | JSharp | (sid4580@user/JSharp) |
| 2024-09-18 17:43:08 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2024-09-18 17:43:08 +0200 | Philonous | (~Philonous@user/philonous) |
| 2024-09-18 17:43:12 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) (Excess Flood) |
| 2024-09-18 17:47:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-18 17:47:22 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-09-18 17:48:45 +0200 | jathan | (~jathan@69.61.93.38) |
| 2024-09-18 17:49:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 17:49:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-18 17:51:43 +0200 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-09-18 17:53:32 +0200 | polyphem | (~rod@pd9fbf352.dip0.t-ipconnect.de) |
| 2024-09-18 17:59:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:00:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 18:04:09 +0200 | meejah_ | meejah |
| 2024-09-18 18:04:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 18:08:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-18 18:12:03 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 245 seconds) |
| 2024-09-18 18:16:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:16:38 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-09-18 18:16:58 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 2024-09-18 18:17:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 18:21:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-18 18:22:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-18 18:32:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:32:45 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-18 18:36:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 18:36:58 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) |
| 2024-09-18 18:38:40 +0200 | lystra | (~lystra@208.59.105.41) (Read error: Connection reset by peer) |
| 2024-09-18 18:39:17 +0200 | lystra | (~lystra@208.59.105.41) |
| 2024-09-18 18:40:05 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-18 18:40:18 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 18:43:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 18:48:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 18:53:04 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-18 18:54:13 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-18 18:59:11 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 244 seconds) |
| 2024-09-18 19:01:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-18 19:05:15 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 19:06:30 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-18 19:06:48 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-09-18 19:11:34 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-18 19:12:51 +0200 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) |
| 2024-09-18 19:15:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 19:20:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 19:20:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-18 19:23:43 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-18 19:26:07 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-18 19:33:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 19:36:42 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-09-18 19:37:32 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-09-18 19:38:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 19:40:01 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-18 19:42:02 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-09-18 19:44:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 19:44:27 +0200 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-09-18 19:44:47 +0200 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) |
| 2024-09-18 19:47:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-09-18 19:49:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 19:49:10 +0200 | euleritian | (~euleritia@dynamic-176-006-137-115.176.6.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-18 19:50:58 +0200 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) |
| 2024-09-18 19:57:23 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 19:58:47 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-09-18 20:01:05 +0200 | Squared | (~Square@user/square) |
| 2024-09-18 20:01:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:02:49 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-18 20:06:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 20:15:09 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 20:17:18 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 20:18:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:18:53 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Client Quit) |
| 2024-09-18 20:19:06 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-09-18 20:20:40 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-18 20:21:33 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 246 seconds) |
| 2024-09-18 20:22:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 20:26:41 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 255 seconds) |
| 2024-09-18 20:32:13 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:1ec9:65a0:6e24:bbd9) |
| 2024-09-18 20:33:03 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:1ec9:65a0:6e24:bbd9) (Remote host closed the connection) |
| 2024-09-18 20:33:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 20:33:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:38:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 20:42:34 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) |
| 2024-09-18 20:42:36 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-18 20:44:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-18 20:49:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 20:49:07 +0200 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 20:50:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 20:51:20 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-18 20:53:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-18 20:54:28 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 20:57:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-18 21:00:01 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-18 21:00:40 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-18 21:01:24 +0200 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) |
| 2024-09-18 21:03:07 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 21:04:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-18 21:05:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 21:09:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-18 21:10:03 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-18 21:10:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 21:11:25 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-09-18 21:14:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-18 21:20:02 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-18 21:22:07 +0200 | akegalj | (~akegalj@141-136-172-97.dsl.iskon.hr) (Quit: leaving) |
| 2024-09-18 21:22:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 21:28:36 +0200 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 21:28:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 21:29:46 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-18 21:30:37 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 21:32:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 21:34:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-18 21:34:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-18 21:34:27 +0200 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) |
| 2024-09-18 21:34:46 +0200 | euleritian | (~euleritia@dynamic-176-007-151-227.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-18 21:35:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 21:36:00 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 21:37:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 21:38:26 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-18 21:42:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 21:44:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-18 21:44:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-18 21:44:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 21:46:38 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-09-18 21:47:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-18 21:48:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-18 21:49:25 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 21:49:32 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-09-18 21:53:57 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
| 2024-09-18 21:57:09 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-18 21:58:36 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-18 21:59:37 +0200 | athan | (~athan@2600:382:3a0d:4939:9511:a0d6:8db3:c9e4) |
| 2024-09-18 21:59:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:00:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-18 22:00:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-18 22:04:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 22:06:39 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 22:07:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 22:12:14 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 22:16:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:21:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 22:22:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-18 22:23:00 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-18 22:24:36 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 22:26:13 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-18 22:29:39 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 2024-09-18 22:32:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:35:22 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 22:37:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-18 22:37:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-18 22:40:45 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-18 22:44:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 272 seconds) |
| 2024-09-18 22:50:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 22:53:05 +0200 | polyphem | (~rod@pd9fbf352.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-18 22:54:40 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 22:54:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 22:59:18 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-18 23:05:17 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-18 23:07:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-09-18 23:07:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:09:04 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
| 2024-09-18 23:10:45 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2024-09-18 23:12:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 23:13:28 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) |
| 2024-09-18 23:19:56 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-09-18 23:22:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-18 23:25:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:30:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-18 23:33:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-18 23:34:45 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-09-18 23:34:53 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-18 23:35:29 +0200 | <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 23:38:22 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-18 23:38:27 +0200 | <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 23:42:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-18 23:42:51 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-18 23:43:52 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-18 23:44:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-18 23:44:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-18 23:44:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-18 23:45:24 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-09-18 23:45:41 +0200 | <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 23:45:53 +0200 | <Rembane> | c_wraith: ...I'm searching for. |
| 2024-09-18 23:46:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-18 23:48:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-18 23:49:15 +0200 | <JuanDaugherty> | so spj has the clay feets |
| 2024-09-18 23:49:34 +0200 | <JuanDaugherty> | even 12 ya hs wasn useless |
| 2024-09-18 23:49:58 +0200 | <JuanDaugherty> | hyperbole, distortions, ... . |
| 2024-09-18 23:50:12 +0200 | <int-e> | the quote was supposed to be 'avoid "success at all cost"' |
| 2024-09-18 23:50:38 +0200 | <JuanDaugherty> | did wait for it had had enuf by 2 minutes |
| 2024-09-18 23:50:43 +0200 | <JuanDaugherty> | *didn |
| 2024-09-18 23:51:10 +0200 | <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 23:51:11 +0200 | <JuanDaugherty> | the quote is dismissable prima facie |
| 2024-09-18 23:51:50 +0200 | <dolio> | Who is it quoting? |
| 2024-09-18 23:52:26 +0200 | <JuanDaugherty> | Rembane? |
| 2024-09-18 23:52:29 +0200 | <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 23:52:35 +0200 | <Rembane> | dolio: Simon Peyton Jones |
| 2024-09-18 23:53:10 +0200 | <Rembane> | Ha! I think I found it! https://youtu.be/re96UgMk6GQ?t=1387&si=xit96ICMktdWMzOD |
| 2024-09-18 23:53:16 +0200 | <Rembane> | It could be in other places too. |
| 2024-09-18 23:53:49 +0200 | <dolio> | From when? It's definitely older than 7 years. |
| 2024-09-18 23:54:06 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: zzz) |
| 2024-09-18 23:54:15 +0200 | <monochrom> | Around 2000 I already heard it. |
| 2024-09-18 23:56:11 +0200 | <Rembane> | Oh. Now that's interesting. Because that talk is the oldest place where I've found the quote. |
| 2024-09-18 23:56:26 +0200 | Zer000 | (~02@64.137.132.10) |
| 2024-09-18 23:57:11 +0200 | <EvanR> | 7 years ago was 2017? xD |
| 2024-09-18 23:57:17 +0200 | <JuanDaugherty> | yeah |
| 2024-09-18 23:57:35 +0200 | <monochrom> | > 2024-7 |
| 2024-09-18 23:57:37 +0200 | <lambdabot> | 2017 |
| 2024-09-18 23:57:55 +0200 | <EvanR> | I heard it on IRC back in 2009 I think |
| 2024-09-18 23:58:35 +0200 | <JuanDaugherty> | the last linked talk was in '17 |
| 2024-09-18 23:58:41 +0200 | <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 23:58:49 +0200 | <Zer000> | everything is a Word64 |
| 2024-09-18 23:59:19 +0200 | <mauke> | I bet it's not this line |
| 2024-09-18 23:59:23 +0200 | <haskellbridge> | <magic_rb> Youre probably missing a strictness annotation somewhere |
| 2024-09-18 23:59:33 +0200 | <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 23:59:40 +0200 | <haskellbridge> | <magic_rb> But we need way more context to actually see whats up |
| 2024-09-18 23:59:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |