| 2022-10-18 00:10:44 +0200 | ph88 | (~ph88@tmo-085-129.customers.d1-online.com) |
| 2022-10-18 00:11:23 +0200 | TheCreatorOfCrea | (~TheCreato@2a0a-a546-c344-1-e0bc-1e36-315c-295b.ipv6dyn.netcologne.de) (Quit: Client closed) |
| 2022-10-18 00:11:48 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 264 seconds) |
| 2022-10-18 00:12:20 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 00:13:04 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-10-18 00:14:00 +0200 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) (Quit: Konversation terminated!) |
| 2022-10-18 00:15:25 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-10-18 00:16:38 +0200 | talismanick | (~talismani@96-67-197-217-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-10-18 00:19:14 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-18 00:21:24 +0200 | zkSNOOP | (~username@ptr-21zvp7p1ecvdx6mr7hf.18120a2.ip6.access.telenet.be) () |
| 2022-10-18 00:31:39 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-18 00:37:31 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 260 seconds) |
| 2022-10-18 00:37:53 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.6) |
| 2022-10-18 00:40:00 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 264 seconds) |
| 2022-10-18 00:43:53 +0200 | jbayardo | (~jbayardo@20.83.116.49) (Read error: Connection reset by peer) |
| 2022-10-18 00:44:12 +0200 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2022-10-18 00:47:31 +0200 | acidjnk | (~acidjnk@p200300d6e7137a21d59bab4b536388a8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-18 00:47:43 +0200 | jbayardo | (~jbayardo@20.83.116.49) |
| 2022-10-18 00:52:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-18 00:53:59 +0200 | Topsi | (~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-18 00:59:28 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-18 00:59:58 +0200 | dimsuz | (~dima@185.17.128.139) |
| 2022-10-18 01:00:53 +0200 | <dimsuz> | hi! I'm trying to use filepath library, added it to the cabal file, then added 'import System.OsPath' and ghc says it couldn't find such module. |
| 2022-10-18 01:01:02 +0200 | <dimsuz> | I must have missed something obvious |
| 2022-10-18 01:01:09 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 01:02:52 +0200 | <geekosaur> | are you using the right version? older versions only provide System.Filepath; System.OsPath is only in the latest version |
| 2022-10-18 01:02:57 +0200 | <dimsuz> | oh. found the suggestion to use a higher-level library in the README. Will do that, but still curious why won't it import this one |
| 2022-10-18 01:03:46 +0200 | <dimsuz> | geekosaur: I've just added 'filepath' to my cabal file without a strict verision bounds. Perhaps this is the cause then! |
| 2022-10-18 01:03:54 +0200 | <geekosaur> | in particular it's not included with ghc 9.2.x apparently |
| 2022-10-18 01:04:04 +0200 | <dimsuz> | yep, I'm on 9.2 atm |
| 2022-10-18 01:04:35 +0200 | <geekosaur> | then you have filepath 1.4.2.2 |
| 2022-10-18 01:04:49 +0200 | <geekosaur> | you would have to specify you want filepath 1.4.100.0 |
| 2022-10-18 01:05:51 +0200 | <dimsuz> | I see, thank you! Will go for `path` for now :) |
| 2022-10-18 01:06:06 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-18 01:09:27 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 250 seconds) |
| 2022-10-18 01:19:26 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 01:27:09 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-18 01:39:56 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2022-10-18 01:39:57 +0200 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) |
| 2022-10-18 01:42:09 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 01:42:36 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-18 01:46:17 +0200 | off^ | (~off@c-76-17-6-165.hsd1.ga.comcast.net) |
| 2022-10-18 01:54:47 +0200 | jargon | (~jargon@184.101.208.112) |
| 2022-10-18 01:55:05 +0200 | <EvanR> | parsing statements using this grammar literally works but doesn't seem to produce the logical structure I admittedly made up after years of writing C https://paste.tomsmeding.com/8LrwBK4W |
| 2022-10-18 01:55:36 +0200 | <EvanR> | case is followed by 1 statement, in a switch there's probably multiple statements but it's grouped as a compound |
| 2022-10-18 01:56:12 +0200 | <EvanR> | but that's the official grammar from historical document |
| 2022-10-18 01:56:31 +0200 | <EvanR> | I wonder if there's a better grammar |
| 2022-10-18 01:56:40 +0200 | <geekosaur> | think duff's device 🙂 |
| 2022-10-18 02:00:26 +0200 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-18 02:03:25 +0200 | dimsuz | (~dima@185.17.128.139) (Quit: leaving) |
| 2022-10-18 02:06:01 +0200 | <EvanR> | this predates duff's device by like 15 years xD |
| 2022-10-18 02:06:43 +0200 | <geekosaur> | they didn't change the C standard to accommodate it though |
| 2022-10-18 02:07:21 +0200 | <geekosaur> | original K&R C is fairly simple |
| 2022-10-18 02:07:49 +0200 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2022-10-18 02:07:56 +0200 | <geekosaur> | then things started being added, and then ANSI came along |
| 2022-10-18 02:08:23 +0200 | abiss27 | (~abiss27@190.213.236.106) |
| 2022-10-18 02:08:43 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2022-10-18 02:09:12 +0200 | abiss27 | (~abiss27@190.213.236.106) (Client Quit) |
| 2022-10-18 02:10:19 +0200 | <geekosaur> | but most of the pre-ANSI additions weren't to statement syntax, they were things like `void` and `const` |
| 2022-10-18 02:10:43 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-10-18 02:13:35 +0200 | <hpc> | it's weird to think of C without void |
| 2022-10-18 02:14:22 +0200 | <EvanR> | it's just that it says statements for a tree, but this tree doesn't correspond with the visual xD |
| 2022-10-18 02:14:24 +0200 | califax_ | (~califax@user/califx) |
| 2022-10-18 02:14:25 +0200 | <EvanR> | form* |
| 2022-10-18 02:14:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-10-18 02:14:49 +0200 | nattiestnate | (~nate@202.138.250.9) |
| 2022-10-18 02:14:50 +0200 | <EvanR> | what gives |
| 2022-10-18 02:15:28 +0200 | <EvanR> | was it a "best effort" sort of design, works well enough |
| 2022-10-18 02:15:36 +0200 | califax_ | califax |
| 2022-10-18 02:17:03 +0200 | <geekosaur[m]> | More "least effort" 😀 |
| 2022-10-18 02:17:30 +0200 | <geekosaur[m]> | Look at its predecessors |
| 2022-10-18 02:17:40 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-18 02:17:46 +0200 | causal | (~user@50.35.83.177) |
| 2022-10-18 02:18:23 +0200 | <EvanR> | granted "the visual" looks to be up to you, and styles of the time |
| 2022-10-18 02:19:08 +0200 | <EvanR> | which predecessor should I subject myself to next? xD |
| 2022-10-18 02:20:11 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-18 02:22:28 +0200 | <geekosaur> | B |
| 2022-10-18 02:22:53 +0200 | <geekosaur> | BCPL's probably too minimal |
| 2022-10-18 02:23:31 +0200 | Guest38 | (~Guest38@45.236.69.17) |
| 2022-10-18 02:23:54 +0200 | Guest38 | unknow |
| 2022-10-18 02:24:03 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-10-18 02:24:05 +0200 | <EvanR> | that post is already B |
| 2022-10-18 02:24:35 +0200 | <EvanR> | BCPL it is |
| 2022-10-18 02:24:42 +0200 | <geekosaur> | hpc, default type of everything was `int` |
| 2022-10-18 02:25:11 +0200 | <geekosaur> | if you fell off the end or did `return;` you got whatever happened to be in the accumulator |
| 2022-10-18 02:26:51 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 02:27:06 +0200 | <geekosaur> | s/you got/the caller got/ |
| 2022-10-18 02:27:32 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-18 02:28:01 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 02:30:08 +0200 | <EvanR> | The philosophy of BCPL is not one of the tyrant who thinks he knows best and lays down the law on what is and what is not allowed; rather, BCPL acts more as a servant offering his services to the best of his ability without complaint, even when confronted with apparent nonsense. The programmer is always assumed to know what he is doing and is not hemmed in by petty restrictions. |
| 2022-10-18 02:30:35 +0200 | <geekosaur> | now you know where C got it from |
| 2022-10-18 02:30:58 +0200 | <geekosaur> | and then ANSI ruined it all 🙂 |
| 2022-10-18 02:31:16 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 260 seconds) |
| 2022-10-18 02:31:45 +0200 | <EvanR> | ANSI delivered programmers who in fact didn't know what they were doing? |
| 2022-10-18 02:32:00 +0200 | <EvanR> | because that spells trouble for that philsophy |
| 2022-10-18 02:32:03 +0200 | <geekosaur> | no, ANSI started tightening things up to reject "nonsense" |
| 2022-10-18 02:32:16 +0200 | <EvanR> | not sure they succeeded on that |
| 2022-10-18 02:32:26 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-18 02:32:26 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-10-18 02:32:31 +0200 | <geekosaur> | they didn't, but it's far less lax than early C |
| 2022-10-18 02:32:39 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-18 02:33:27 +0200 | <geekosaur> | also, gcc may be the "failed" there; you're only really conforming to ANSI with --pedantic |
| 2022-10-18 02:34:37 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:6ea5:9b16:6:edf8) |
| 2022-10-18 02:35:13 +0200 | <geekosaur> | also also, it's that philosophy that delivers programmers who in fact didn't know what they were doing; compare why Postel's Law died |
| 2022-10-18 02:35:58 +0200 | <geekosaur> | (if you're liberal in what you receive then nobody has to be conservative in what they send) |
| 2022-10-18 02:38:30 +0200 | <geekosaur> | s/receive/accept/ |
| 2022-10-18 02:41:46 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 02:44:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-18 02:44:18 +0200 | unknow | (~Guest38@45.236.69.17) (Quit: Client closed) |
| 2022-10-18 02:44:58 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-18 02:46:57 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 252 seconds) |
| 2022-10-18 02:47:50 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 02:49:52 +0200 | <EvanR> | let start() be $( writes("Hello everyone!") $) |
| 2022-10-18 02:50:35 +0200 | Clint | squints. |
| 2022-10-18 02:50:35 +0200 | <EvanR> | I supposed hello world was not yet perfected |
| 2022-10-18 02:52:27 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-18 02:52:53 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 02:56:34 +0200 | _73 | (~user@pool-173-76-236-42.bstnma.fios.verizon.net) |
| 2022-10-18 02:57:31 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-18 02:57:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-10-18 02:58:06 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-10-18 02:58:54 +0200 | _73 | (~user@pool-173-76-236-42.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2022-10-18 02:59:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-18 03:01:22 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 03:01:24 +0200 | razetime | (~quassel@117.193.6.139) |
| 2022-10-18 03:05:39 +0200 | razetime | (~quassel@117.193.6.139) (Ping timeout: 248 seconds) |
| 2022-10-18 03:05:39 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 248 seconds) |
| 2022-10-18 03:06:08 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 03:06:20 +0200 | razetime | (~quassel@117.193.6.124) |
| 2022-10-18 03:08:01 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-18 03:08:01 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-18 03:08:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-18 03:12:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d83:b51f:a73e:c986) (Ping timeout: 250 seconds) |
| 2022-10-18 03:13:00 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-10-18 03:13:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-18 03:18:13 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-18 03:22:16 +0200 | nattiestnate | (~nate@202.138.250.9) (Quit: WeeChat 3.7) |
| 2022-10-18 03:26:22 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 03:31:30 +0200 | jargon | (~jargon@184.101.208.112) (Remote host closed the connection) |
| 2022-10-18 03:41:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2022-10-18 03:45:04 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-18 03:51:05 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-10-18 03:52:34 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal) |
| 2022-10-18 03:56:55 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-10-18 03:58:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 03:59:04 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 04:03:26 +0200 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2022-10-18 04:08:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2022-10-18 04:08:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2022-10-18 04:08:52 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-18 04:20:19 +0200 | td_ | (~td@83.135.9.13) (Ping timeout: 248 seconds) |
| 2022-10-18 04:22:03 +0200 | td_ | (~td@83.135.9.44) |
| 2022-10-18 04:22:21 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 04:27:25 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-10-18 04:28:11 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-18 04:28:38 +0200 | img | (~img@user/img) |
| 2022-10-18 04:29:03 +0200 | img | (~img@user/img) (Client Quit) |
| 2022-10-18 04:30:43 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-18 04:31:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-18 04:31:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-18 04:32:00 +0200 | img | (~img@user/img) |
| 2022-10-18 04:34:51 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-18 04:36:59 +0200 | Guest33 | (~Guest33@bb119-74-93-26.singnet.com.sg) |
| 2022-10-18 04:49:09 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 04:53:41 +0200 | asansanwal | (~asansanwa@2404:f801:8028:3:f6d1:2b95:9c72:88b1) |
| 2022-10-18 04:56:58 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2022-10-18 04:57:13 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-18 04:59:00 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 05:00:02 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-10-18 05:02:36 +0200 | asansanwal | (~asansanwa@2404:f801:8028:3:f6d1:2b95:9c72:88b1) (Quit: This computer has gone to sleep) |
| 2022-10-18 05:06:22 +0200 | phma | (phma@2001:5b0:211b:cec8:f4e4:c97:e3a5:2ba) (Read error: Connection reset by peer) |
| 2022-10-18 05:07:18 +0200 | asansanwal | (~asansanwa@2404:f801:8028:1:f6d3:2b95:9c72:88b1) |
| 2022-10-18 05:09:00 +0200 | asansanwal | (~asansanwa@2404:f801:8028:1:f6d3:2b95:9c72:88b1) (Client Quit) |
| 2022-10-18 05:10:29 +0200 | asansanwal | (~asansanwa@2404:f801:8028:1:f6d3:2b95:9c72:88b1) |
| 2022-10-18 05:10:47 +0200 | phma | (~phma@114.sub-174-212-171.myvzw.com) |
| 2022-10-18 05:13:54 +0200 | asansanwal | (~asansanwa@2404:f801:8028:1:f6d3:2b95:9c72:88b1) (Client Quit) |
| 2022-10-18 05:14:39 +0200 | asansanwal | (~asansanwa@2404:f801:8028:1:f6d3:2b95:9c72:88b1) |
| 2022-10-18 05:16:33 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-18 05:18:06 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 260 seconds) |
| 2022-10-18 05:21:20 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-10-18 05:23:15 +0200 | asansanwal | (~asansanwa@2404:f801:8028:1:f6d3:2b95:9c72:88b1) (Ping timeout: 248 seconds) |
| 2022-10-18 05:34:18 +0200 | phma | (~phma@114.sub-174-212-171.myvzw.com) (Read error: Connection reset by peer) |
| 2022-10-18 05:38:17 +0200 | phma | (phma@2001:5b0:211b:cec8:a384:d707:3763:eb94) |
| 2022-10-18 05:38:18 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-18 05:39:39 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-18 05:39:45 +0200 | <[Leary]> | @tell talismanick Rather than a typeclass, you probably want a GADT: https://gist.github.com/LSLeary/7e551b7ca6f26fa9d8ed26f718f9f78d |
| 2022-10-18 05:39:45 +0200 | <lambdabot> | Consider it noted. |
| 2022-10-18 05:43:28 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 05:46:55 +0200 | asansanwal | (~asansanwa@167.220.238.109) |
| 2022-10-18 05:49:01 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-18 05:59:33 +0200 | yelllloowwww | (~igloo@133.sub-174-194-128.myvzw.com) |
| 2022-10-18 06:00:36 +0200 | asansanwal | (~asansanwa@167.220.238.109) (Quit: Leaving) |
| 2022-10-18 06:00:49 +0200 | <Clinton[m]> | Is there a version of zip that fails (perhaps via maybe, either) if the list lengths are different or should I roll my own? |
| 2022-10-18 06:00:55 +0200 | yelllloowwww | (~igloo@133.sub-174-194-128.myvzw.com) (Remote host closed the connection) |
| 2022-10-18 06:03:59 +0200 | <EvanR> | zip :: (a -> b -> c) -> Vect n a -> Vect n b -> Vect n c --ok, so it doesn't fail. Sorry about that xD |
| 2022-10-18 06:04:26 +0200 | mikoto-chan | (~mikoto-ch@dsl-hkibng32-50dcbb-106.dhcp.inet.fi) |
| 2022-10-18 06:05:12 +0200 | razetime | (~quassel@117.193.6.124) (Ping timeout: 264 seconds) |
| 2022-10-18 06:06:25 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-18 06:06:37 +0200 | yelllloowwww | (~igloo@76.209.246.53) |
| 2022-10-18 06:12:43 +0200 | <Clinton[m]> | EvanR: lists, not vectors. Think like `listToMaybe` |
| 2022-10-18 06:13:23 +0200 | <EvanR> | right, just that the problem itself suggested to me maybe it was the wrong data structure |
| 2022-10-18 06:13:41 +0200 | <EvanR> | because you won't know you're in the wrong until the end of the list |
| 2022-10-18 06:14:21 +0200 | <EvanR> | you won't even know you're in the right, unfortunately |
| 2022-10-18 06:14:40 +0200 | <Clinton[m]> | that's right. But when I'm dealing with output from a database library that just gives back a list of columns I've got to check it at runtime. |
| 2022-10-18 06:14:56 +0200 | <Clinton[m]> | EvanR: what do you mean, won't even know you're in the right? |
| 2022-10-18 06:14:58 +0200 | <EvanR> | figurede |
| 2022-10-18 06:15:15 +0200 | <EvanR> | I mean, you won't be able to return a Right until the end of the list |
| 2022-10-18 06:15:42 +0200 | <[Leary]> | `zipWithRem :: (a -> b -> c) -> [a] -> [b] -> ([c], Either [a] [b])` would be pretty useful, in general; you can handle the leftovers however you want. No hits on hoogle though. |
| 2022-10-18 06:16:12 +0200 | <EvanR> | brilliant |
| 2022-10-18 06:16:20 +0200 | <yelllloowwww> | Meeoooow |
| 2022-10-18 06:16:35 +0200 | <EvanR> | and due to magic update frame shenanigans, you can begin processing the results early if you want |
| 2022-10-18 06:16:45 +0200 | <EvanR> | without wasting space |
| 2022-10-18 06:17:07 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 06:17:11 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) |
| 2022-10-18 06:18:36 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
| 2022-10-18 06:19:49 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 06:21:44 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 06:22:20 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 06:23:48 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 264 seconds) |
| 2022-10-18 06:24:20 +0200 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.7) |
| 2022-10-18 06:24:45 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-18 06:24:55 +0200 | <jackdk> | [Leary]: check the semialign package. It doesn't express that you'll have a common prefix of `These` constructors |
| 2022-10-18 06:25:03 +0200 | <jackdk> | but is otherwise what you might want |
| 2022-10-18 06:25:04 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-10-18 06:29:40 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 06:30:35 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 06:32:14 +0200 | yelllloowwww | (~igloo@76.209.246.53) (Remote host closed the connection) |
| 2022-10-18 06:32:24 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 06:33:05 +0200 | Guest33 | (~Guest33@bb119-74-93-26.singnet.com.sg) (Quit: Client closed) |
| 2022-10-18 06:35:10 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 06:35:33 +0200 | <[Leary]> | jackdk: Good to know. :) |
| 2022-10-18 06:37:08 +0200 | yelllloowwww | (~igloo@76.209.246.53) |
| 2022-10-18 06:39:03 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-18 06:39:26 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 06:40:11 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 06:43:08 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 06:44:00 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-18 06:45:05 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-10-18 06:48:38 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 06:48:54 +0200 | razetime | (~quassel@117.193.6.124) |
| 2022-10-18 06:49:20 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 06:50:47 +0200 | <[Leary]> | Idle musing: it would be pretty awesome if someone extended hoogle to find near isomorphic types with some metric on a canonical representation of the algebraic structure. |
| 2022-10-18 06:53:12 +0200 | mbuf | (~Shakthi@49.204.133.115) |
| 2022-10-18 07:11:48 +0200 | mikoto-chan | (~mikoto-ch@dsl-hkibng32-50dcbb-106.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2022-10-18 07:15:15 +0200 | yelllloowwww | (~igloo@76.209.246.53) (Quit: Igloo IRC: https://iglooirc.com) |
| 2022-10-18 07:22:33 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-10-18 07:23:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-18 07:36:56 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-18 07:37:43 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-18 07:42:42 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 07:42:56 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-18 07:44:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-18 07:46:21 +0200 | mikoto-chan | (~mikoto-ch@dsl-hkibng32-50dcbb-106.dhcp.inet.fi) |
| 2022-10-18 07:56:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-18 07:57:28 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-18 07:58:21 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-10-18 07:58:55 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 07:59:53 +0200 | mikoto-chan | (~mikoto-ch@dsl-hkibng32-50dcbb-106.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2022-10-18 08:03:45 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-18 08:04:35 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-18 08:17:55 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 08:20:36 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-18 08:27:24 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 264 seconds) |
| 2022-10-18 08:27:41 +0200 | kenran | (~user@user/kenran) |
| 2022-10-18 08:29:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-18 08:29:29 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-18 08:30:49 +0200 | kenran` | (~user@user/kenran) |
| 2022-10-18 08:32:19 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-10-18 08:32:29 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 08:32:43 +0200 | kenran | (~user@user/kenran) (Ping timeout: 246 seconds) |
| 2022-10-18 08:34:03 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 250 seconds) |
| 2022-10-18 08:35:39 +0200 | thegeekinside | (~thegeekin@189.180.97.156) (Ping timeout: 252 seconds) |
| 2022-10-18 08:37:04 +0200 | ccapndave | (~ccapndave@xcpe-62-167-164-44.cgn.res.adslplus.ch) |
| 2022-10-18 08:37:37 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-18 08:38:29 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-10-18 08:38:48 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 264 seconds) |
| 2022-10-18 08:40:50 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 08:47:59 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-18 08:50:31 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 08:51:09 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-10-18 08:55:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-18 08:56:00 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-18 08:59:03 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-18 08:59:13 +0200 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) |
| 2022-10-18 09:00:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b063:4abb:2c41:f56e) |
| 2022-10-18 09:03:30 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-18 09:04:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-18 09:04:58 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-10-18 09:06:11 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 248 seconds) |
| 2022-10-18 09:08:43 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 2022-10-18 09:08:50 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 268 seconds) |
| 2022-10-18 09:09:21 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 09:09:44 +0200 | ccapndave | (~ccapndave@xcpe-62-167-164-44.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-10-18 09:14:28 +0200 | acidjnk | (~acidjnk@p200300d6e7137a155ce5429e3969b5ec.dip0.t-ipconnect.de) |
| 2022-10-18 09:14:56 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-18 09:15:37 +0200 | <m1dnight> | autjoin add |
| 2022-10-18 09:23:20 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-18 09:23:48 +0200 | arahael | (~arahael@59-102-114-6.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2022-10-18 09:26:06 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 09:26:44 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 09:29:22 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-18 09:30:17 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-18 09:32:24 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-18 09:32:26 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-18 09:33:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-18 09:39:37 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-18 09:54:44 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-18 09:55:46 +0200 | darkstardevx | (~darkstard@50.126.124.156) (Ping timeout: 260 seconds) |
| 2022-10-18 10:01:02 +0200 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-18 10:02:08 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-10-18 10:03:21 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-18 10:08:29 +0200 | arahael | (~arahael@14-202-55-135.tpgi.com.au) |
| 2022-10-18 10:08:34 +0200 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-18 10:16:02 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 10:19:30 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 10:20:04 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 10:20:35 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-18 10:21:36 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-18 10:22:58 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-18 10:24:16 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 10:25:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2022-10-18 10:28:57 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-18 10:29:12 +0200 | razetime | (~quassel@117.193.6.124) (Ping timeout: 264 seconds) |
| 2022-10-18 10:34:35 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 10:36:04 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-18 10:41:13 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 10:44:12 +0200 | teo | (~teo@user/teo) |
| 2022-10-18 10:44:25 +0200 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-10-18 10:45:35 +0200 | michalz | (~michalz@185.246.207.200) |
| 2022-10-18 10:45:56 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-18 10:50:36 +0200 | frost63 | (~frost@user/frost) |
| 2022-10-18 10:50:51 +0200 | frost63 | (~frost@user/frost) (Client Quit) |
| 2022-10-18 10:53:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-18 10:53:14 +0200 | razetime | (~quassel@117.193.6.124) |
| 2022-10-18 10:54:13 +0200 | frost66 | (~frost@user/frost) |
| 2022-10-18 10:58:46 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-18 11:00:11 +0200 | ft | (~ft@p3e9bc845.dip0.t-ipconnect.de) |
| 2022-10-18 11:00:33 +0200 | Killy | (~killy@2001:470:69fc:105::2:6ec1) (Quit: You have been kicked for being idle) |
| 2022-10-18 11:04:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Remote host closed the connection) |
| 2022-10-18 11:07:39 +0200 | kuribas | (~user@ptr-17d51eo0cwahmknc1o0.18120a2.ip6.access.telenet.be) |
| 2022-10-18 11:17:38 +0200 | ft | (~ft@p3e9bc845.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-10-18 11:37:16 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-18 11:37:51 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-18 11:37:54 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-18 11:38:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-10-18 11:38:59 +0200 | Guest33 | (~Guest33@bb119-74-93-26.singnet.com.sg) |
| 2022-10-18 11:39:09 +0200 | Guest33 | recherche |
| 2022-10-18 11:44:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-10-18 11:46:22 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-18 11:47:39 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2022-10-18 11:48:13 +0200 | recherche | discuss9128 |
| 2022-10-18 11:50:18 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 11:50:47 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-18 11:55:47 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-18 11:56:48 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 264 seconds) |
| 2022-10-18 11:56:51 +0200 | frost66 | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-10-18 12:05:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 12:05:31 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 12:09:36 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-10-18 12:09:47 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 252 seconds) |
| 2022-10-18 12:10:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Ping timeout: 260 seconds) |
| 2022-10-18 12:10:36 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2022-10-18 12:10:36 +0200 | raym | (~aritra@user/raym) (Ping timeout: 264 seconds) |
| 2022-10-18 12:13:36 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2022-10-18 12:18:44 +0200 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2022-10-18 12:21:36 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection) |
| 2022-10-18 12:24:06 +0200 | frost74 | (~frost@user/frost) |
| 2022-10-18 12:25:51 +0200 | raym | (~aritra@user/raym) |
| 2022-10-18 12:26:41 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 12:26:48 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 12:31:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-10-18 12:32:06 +0200 | mbuf | (~Shakthi@49.204.133.115) (Ping timeout: 260 seconds) |
| 2022-10-18 12:32:12 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-18 12:35:14 +0200 | fjMSX | (~hypni2p@2.92.213.55) (Read error: Connection reset by peer) |
| 2022-10-18 12:35:32 +0200 | frost74 | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-10-18 12:38:14 +0200 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-10-18 12:38:54 +0200 | frost17 | (~frost@user/frost) |
| 2022-10-18 12:44:11 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 12:49:36 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-18 12:55:40 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-18 12:57:59 +0200 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze) |
| 2022-10-18 12:58:33 +0200 | beteigeuze | (~Thunderbi@79.169.109.107) |
| 2022-10-18 12:58:57 +0200 | frost17 | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-10-18 13:02:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-10-18 13:02:49 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 13:03:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1291:8fa4:a381:47f3) |
| 2022-10-18 13:05:31 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-10-18 13:09:37 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 13:13:27 +0200 | mmhat | (~mmh@p200300f1c7337783ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-18 13:26:27 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 248 seconds) |
| 2022-10-18 13:27:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-18 13:30:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-18 13:30:49 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-18 13:33:20 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-18 13:35:16 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-18 13:42:50 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 13:46:46 +0200 | zkSNOOP | (~username@2a02:1810:4480:fe00:1e99:ab98:668f:2693) |
| 2022-10-18 13:48:02 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-18 13:52:55 +0200 | frost32 | (~frost@user/frost) |
| 2022-10-18 14:02:31 +0200 | acidjnk | (~acidjnk@p200300d6e7137a155ce5429e3969b5ec.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-18 14:03:36 +0200 | acidjnk | (~acidjnk@p200300d6e7137a15dd23b650677a13e7.dip0.t-ipconnect.de) |
| 2022-10-18 14:08:43 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-18 14:11:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-10-18 14:12:09 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-18 14:13:24 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-18 14:15:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-10-18 14:15:56 +0200 | Guest6935 | (~Guest69@46-117-146-189.bb.netvision.net.il) |
| 2022-10-18 14:16:56 +0200 | odnes | (~odnes@5-203-131-68.pat.nym.cosmote.net) |
| 2022-10-18 14:17:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-18 14:17:57 +0200 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) (Quit: ) |
| 2022-10-18 14:19:24 +0200 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-10-18 14:20:04 +0200 | Alecui | (~alecu@193.231.34.65) |
| 2022-10-18 14:20:18 +0200 | <dminuoso> | TIL. Double hash bang literals give me Word# :o |
| 2022-10-18 14:20:26 +0200 | <dminuoso> | % :set -XMagicHash |
| 2022-10-18 14:20:26 +0200 | <yahb2> | <no output> |
| 2022-10-18 14:20:33 +0200 | <dminuoso> | % :t 0x1## |
| 2022-10-18 14:20:33 +0200 | <yahb2> | 0x1## :: GHC.Prim.Word# |
| 2022-10-18 14:20:35 +0200 | <dminuoso> | % :t 0x1# |
| 2022-10-18 14:20:35 +0200 | <yahb2> | 0x1# :: GHC.Prim.Int# |
| 2022-10-18 14:20:50 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 14:20:51 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-18 14:21:23 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 248 seconds) |
| 2022-10-18 14:25:47 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 14:27:36 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-18 14:28:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-10-18 14:30:41 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-10-18 14:32:41 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) |
| 2022-10-18 14:35:10 +0200 | elbear | (~lucian@188.24.138.239) (Ping timeout: 268 seconds) |
| 2022-10-18 14:39:16 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 14:48:41 +0200 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-18 14:49:15 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:e8f9:28ef:22ce:e90f) |
| 2022-10-18 14:49:39 +0200 | Guest6935 | (~Guest69@46-117-146-189.bb.netvision.net.il) (Ping timeout: 244 seconds) |
| 2022-10-18 14:52:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-18 14:52:56 +0200 | <mastarija> | Is there a "lens" way of getting a sum of a list? Like `myData ^. someList . sum`. Or do I have to write `sum $ myData ^. someList`? |
| 2022-10-18 14:53:32 +0200 | <Cale> | Why not write the latter? |
| 2022-10-18 14:54:32 +0200 | <Cale> | There is https://hackage.haskell.org/package/lens-5.2/docs/Control-Lens-Fold.html#v:sumOf |
| 2022-10-18 14:54:37 +0200 | <Cale> | But... |
| 2022-10-18 14:55:32 +0200 | <mastarija> | Cale, because it looks nicer? |
| 2022-10-18 14:56:31 +0200 | <raehik1> | mastarija: might you be able to do `myData ^. someList & sum`? using the reverse function application operator. (I'm assuming operator binding precedence just works out) |
| 2022-10-18 14:56:32 +0200 | <Cale> | Is it easier to think about though? Certainly something that typechecks in the expression you gave can't satisfy the lens laws. |
| 2022-10-18 14:56:38 +0200 | thegeekinside | (~thegeekin@189.180.97.156) |
| 2022-10-18 14:56:58 +0200 | <raehik1> | :t (&) |
| 2022-10-18 14:56:59 +0200 | <lambdabot> | a -> (a -> b) -> b |
| 2022-10-18 14:57:48 +0200 | <Cale> | Or flip everything the other way and write sum (view someList myData) |
| 2022-10-18 14:58:12 +0200 | <mastarija> | raehik1, indeed, that works nicely :) |
| 2022-10-18 14:59:02 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.6) |
| 2022-10-18 14:59:18 +0200 | <Cale> | When I use lenses, I mostly tend to avoid the shenanigans operators. If there's some sort of pattern in the code where people are using them a particular way, I'd follow suit of course. |
| 2022-10-18 14:59:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-18 15:00:36 +0200 | <Cale> | (I also only use lenses when they're basically necessary to make an abstraction work.) |
| 2022-10-18 15:02:11 +0200 | ystael | (~ystael@user/ystael) |
| 2022-10-18 15:03:57 +0200 | Alecui | (~alecu@193.231.34.65) (Ping timeout: 252 seconds) |
| 2022-10-18 15:07:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 15:10:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-18 15:11:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-18 15:11:41 +0200 | sayola | (~sayola@dslb-088-064-186-217.088.064.pools.vodafone-ip.de) |
| 2022-10-18 15:12:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Ping timeout: 250 seconds) |
| 2022-10-18 15:18:47 +0200 | <kuribas> | I prefer the non-operator lenses. |
| 2022-10-18 15:18:54 +0200 | <kuribas> | view, to, get, etc... |
| 2022-10-18 15:20:26 +0200 | <kuribas> | mastarija: note that sum is lazy over lists in earlier ghc versions. |
| 2022-10-18 15:21:07 +0200 | off^ | (~off@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-10-18 15:21:41 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-10-18 15:21:47 +0200 | <kuribas> | mastarija: you could use sumOf |
| 2022-10-18 15:22:02 +0200 | <kuribas> | sumOf is strict |
| 2022-10-18 15:22:29 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-18 15:24:53 +0200 | coot | (~coot@213.134.171.3) |
| 2022-10-18 15:27:01 +0200 | elbear | (~lucian@188.24.138.239) |
| 2022-10-18 15:30:38 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-18 15:31:30 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-18 15:40:43 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-18 15:41:25 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 15:44:56 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-10-18 15:45:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-10-18 15:45:23 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) |
| 2022-10-18 15:46:02 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-18 15:46:02 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-18 15:46:02 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-18 15:51:41 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-18 15:57:20 +0200 | frost32 | (~frost@user/frost) (Ping timeout: 244 seconds) |
| 2022-10-18 15:58:36 +0200 | odnes | (~odnes@5-203-131-68.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-10-18 16:00:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-10-18 16:01:29 +0200 | <dminuoso> | I second Cale's opinion of using lens only for making an abstraction work (or if the problem domain requires dealing with highly nested data tyeps). |
| 2022-10-18 16:02:04 +0200 | elbear | (~lucian@188.24.138.239) (Quit: Lost terminal) |
| 2022-10-18 16:02:46 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-18 16:06:25 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-10-18 16:08:25 +0200 | <carbolymer> | ViewPatterns: hot or not? |
| 2022-10-18 16:09:22 +0200 | <raehik> | not - iirc the new \cases syntax replaces it somewhat? with more common (IMO) syntax |
| 2022-10-18 16:09:26 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-18 16:09:44 +0200 | <carbolymer> | raehik: new \cases? link pls? |
| 2022-10-18 16:09:50 +0200 | <DavidBinder> | Hot: Some code which uses guards can be rewritten using view patterns with better exhaustiveness checking and in a more readable style. |
| 2022-10-18 16:10:10 +0200 | <dolio> | Those seems like two different features to me. |
| 2022-10-18 16:10:18 +0200 | <dminuoso> | raehik: \cases is something different. |
| 2022-10-18 16:10:51 +0200 | <carbolymer> | DavidBinder: I need to see a good example for that, so far I find guards more readable |
| 2022-10-18 16:10:53 +0200 | <Cale> | ViewPatterns can be useful, but go easy on them, it's easy to write code that is less readable than it otherwise could be. |
| 2022-10-18 16:11:16 +0200 | <dminuoso> | carbolymer: ViewPatterns can be used as poor-mans getters, and ViewSynonyms are even more powerful. |
| 2022-10-18 16:11:38 +0200 | <dolio> | View patterns are very useful to involve in aliases, too. |
| 2022-10-18 16:11:39 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 250 seconds) |
| 2022-10-18 16:11:59 +0200 | <carbolymer> | dminuoso: you mean patternsynonyms? |
| 2022-10-18 16:12:05 +0200 | <dminuoso> | Sorry, yes. |
| 2022-10-18 16:12:47 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:4cf8:66a8:b413:ec41) |
| 2022-10-18 16:12:47 +0200 | <dolio> | Yeah, view patterns + pattern synonyms + exhaustiveness declarations can let you provide a completely separate view of a data type. |
| 2022-10-18 16:14:15 +0200 | <DavidBinder> | carbolymer: Instead of three guards x == y, x > y, x < y, I can use a view pattern with compare and dispatch on the Ordering LT, EQ, or GT. This makes it obvious to GHC that the cases are exhaustive |
| 2022-10-18 16:15:39 +0200 | <carbolymer> | DavidBinder: can you write it as a code, I'm still not seeing the advantage in your example |
| 2022-10-18 16:15:41 +0200 | <raehik> | carbolymer: I can't find the user guide docs for \cases , but here: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0302-cases.rst#example |
| 2022-10-18 16:18:22 +0200 | <dminuoso> | raehik: By the way, I think Ive dived into all depths of flatparse now, written my own specialized combinators. The one thing I really dont like, is the error handling. :( |
| 2022-10-18 16:19:10 +0200 | <raehik> | dminuoso: oh no! I thought that was one of the nicer things about it. what issues did you have? |
| 2022-10-18 16:19:54 +0200 | <dminuoso> | Sadly <|> does does skip an `error'd` parser, which means you cant do something like: let a = $(switch [| case _ of "foo" -> foo; "bar" -> bar |]) `cut` [Msg "Foo", Msg "Bar"] in some a |
| 2022-10-18 16:20:10 +0200 | <dminuoso> | Because `cut` will disable backtracking. |
| 2022-10-18 16:21:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-18 16:22:14 +0200 | <raehik> | hmm. I seem to remember an issue about the Alternative instance |
| 2022-10-18 16:22:27 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-18 16:22:30 +0200 | <dminuoso> | I mean yeah, you can float it into the cases individually like: |
| 2022-10-18 16:23:06 +0200 | <dminuoso> | let a = $(switch [| case _ of "foo" -> foo `cut'` Msg "Foo"; "bar" -> bar `cut` Msg "Bar" |]) in some a |
| 2022-10-18 16:23:21 +0200 | <dminuoso> | But if the outer parser fails, you will not get any "expected Foo or Bar" |
| 2022-10-18 16:25:44 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 16:26:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-10-18 16:27:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-18 16:27:22 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-18 16:28:47 +0200 | <dminuoso> | Ergonomically the problem is that Fail# does not have an error. |
| 2022-10-18 16:29:43 +0200 | <DavidBinder> | carbolymer: I was thinking about https://paste.tomsmeding.com/P9YOusdc |
| 2022-10-18 16:30:10 +0200 | <DavidBinder> | But apparently both examples generate missing cases warnings with current ghc. |
| 2022-10-18 16:30:11 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-10-18 16:30:18 +0200 | <dminuoso> | DavidBinder: For this style, I prefer `ex x y = case compare x of ...` |
| 2022-10-18 16:30:35 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-10-18 16:30:43 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-18 16:30:54 +0200 | <dminuoso> | DavidBinder: And yes, it cannot prove exhaustiveness in the *first* case at least. |
| 2022-10-18 16:31:04 +0200 | <dminuoso> | It would have to assume lawful instances |
| 2022-10-18 16:31:16 +0200 | <dminuoso> | The second is at least a bug report. |
| 2022-10-18 16:31:46 +0200 | <DavidBinder> | Yes, I expect a warning for the first case, but I thought GHC is sufficiently smart for the second one. |
| 2022-10-18 16:34:08 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-10-18 16:34:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-10-18 16:34:40 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 16:35:24 +0200 | <carbolymer> | DavidBinder: I see, but still I find guards less verbose and more readable. Is ghc reporting non-exhaustive pattern on the guards version? |
| 2022-10-18 16:35:49 +0200 | <dminuoso> | Yes, it has no choice but to. |
| 2022-10-18 16:36:08 +0200 | <carbolymer> | ah right, I didn't notice discussion |
| 2022-10-18 16:36:33 +0200 | <DavidBinder> | Yes, on the guards version GHC necessarily has to give up. There is no way to decide in general if a set of boolean expressions is exhaustive. In the second example it should be possible, but apparently GHC doesn't do it correctly. |
| 2022-10-18 16:36:39 +0200 | <dminuoso> | Imagine I wrote `instance Eq T where _ == _ = False; instance Ord T where _ <= _ = False` |
| 2022-10-18 16:38:16 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 260 seconds) |
| 2022-10-18 16:40:40 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-18 16:44:08 +0200 | <DavidBinder> | https://pp.ipd.kit.edu/uploads/publikationen/graf20lyg.pdf |
| 2022-10-18 16:44:33 +0200 | <DavidBinder> | In section 2.2.1 they mention that the current coverage checking algorithm should be able to deal with view patterns. |
| 2022-10-18 16:44:52 +0200 | <DavidBinder> | Maybe it is a bug. |
| 2022-10-18 16:47:42 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:e8f9:28ef:22ce:e90f) (Quit: Leaving) |
| 2022-10-18 16:52:56 +0200 | dcoutts__ | (~duncan@host86-163-164-210.range86-163.btcentralplus.com) |
| 2022-10-18 16:55:25 +0200 | dcoutts_ | (~duncan@host86-163-164-210.range86-163.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-10-18 16:59:49 +0200 | <dminuoso> | I think the coverage checking is one of those things that has historically incredibly bug ridden. |
| 2022-10-18 17:00:10 +0200 | <dminuoso> | THings have dramatically improved since lower your guards, though. |
| 2022-10-18 17:00:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-10-18 17:02:34 +0200 | discuss9128 | (~Guest33@bb119-74-93-26.singnet.com.sg) (Quit: Client closed) |
| 2022-10-18 17:04:21 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 17:04:25 +0200 | ksu | (~ksu@user/prtr) (Ping timeout: 246 seconds) |
| 2022-10-18 17:05:41 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-18 17:09:34 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-10-18 17:11:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-10-18 17:15:01 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-18 17:15:47 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-18 17:15:48 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:3f3b:de06:fdae:b48f) |
| 2022-10-18 17:17:05 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:6ea5:9b16:6:edf8) (Ping timeout: 250 seconds) |
| 2022-10-18 17:17:55 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7) |
| 2022-10-18 17:19:12 +0200 | beteigeuze | (~Thunderbi@79.169.109.107) (Ping timeout: 268 seconds) |
| 2022-10-18 17:23:39 +0200 | kenran` | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-18 17:25:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b063:4abb:2c41:f56e) (Quit: WeeChat 2.8) |
| 2022-10-18 17:28:55 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-10-18 17:30:10 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Client Quit) |
| 2022-10-18 17:33:36 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-18 17:34:55 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-18 17:36:36 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2022-10-18 17:37:09 +0200 | ystael | (~ystael@user/ystael) |
| 2022-10-18 17:37:35 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-18 17:37:45 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-18 17:37:59 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2022-10-18 17:38:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 17:38:07 +0200 | axeman | (~quassel@2a02:8109:a380:78:7cbd:ce42:6aa0:4564) |
| 2022-10-18 17:38:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-18 17:38:51 +0200 | axeman | (~quassel@2a02:8109:a380:78:7cbd:ce42:6aa0:4564) (Client Quit) |
| 2022-10-18 17:39:44 +0200 | axeman | (~quassel@2a02:8109:a380:78:7cbd:ce42:6aa0:4564) |
| 2022-10-18 17:41:07 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-10-18 17:42:26 +0200 | califax | (~califax@user/califx) |
| 2022-10-18 17:43:43 +0200 | ystael | (~ystael@user/ystael) |
| 2022-10-18 17:44:50 +0200 | ksu | (~ksu@user/prtr) |
| 2022-10-18 17:46:19 +0200 | darkstardevx | (~darkstard@50.126.124.156) (Remote host closed the connection) |
| 2022-10-18 17:49:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Remote host closed the connection) |
| 2022-10-18 17:50:45 +0200 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-18 17:52:39 +0200 | darkstardevx | (~darkstard@50.126.124.156) (Max SendQ exceeded) |
| 2022-10-18 17:57:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 18:00:11 +0200 | duckie | (~duckie@user/duckie) (Quit: You have been kicked for being idle) |
| 2022-10-18 18:10:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-10-18 18:11:58 +0200 | acidjnk | (~acidjnk@p200300d6e7137a15dd23b650677a13e7.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-10-18 18:13:28 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Ping timeout: 268 seconds) |
| 2022-10-18 18:15:39 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-18 18:16:06 +0200 | califax | (~califax@user/califx) |
| 2022-10-18 18:18:24 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 264 seconds) |
| 2022-10-18 18:19:49 +0200 | vn36 | (~vn36@123.63.203.210) |
| 2022-10-18 18:20:21 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) |
| 2022-10-18 18:26:40 +0200 | vn36 | (~vn36@123.63.203.210) (Ping timeout: 246 seconds) |
| 2022-10-18 18:27:20 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 18:28:24 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-18 18:29:48 +0200 | acidjnk | (~acidjnk@p200300d6e7137a081c996600623faa40.dip0.t-ipconnect.de) |
| 2022-10-18 18:31:16 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-18 18:31:45 +0200 | frase | (~Fraser@159.196.13.21) |
| 2022-10-18 18:31:52 +0200 | frase | (~Fraser@159.196.13.21) () |
| 2022-10-18 18:32:36 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-18 18:32:57 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 252 seconds) |
| 2022-10-18 18:34:21 +0200 | axeman | (~quassel@2a02:8109:a380:78:7cbd:ce42:6aa0:4564) (Ping timeout: 260 seconds) |
| 2022-10-18 18:38:11 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-18 18:40:36 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 264 seconds) |
| 2022-10-18 18:42:02 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-18 18:43:19 +0200 | derelict | (~derelict@user/derelict) (Quit: bye) |
| 2022-10-18 18:47:07 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-10-18 18:48:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-18 18:48:57 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2022-10-18 18:49:49 +0200 | ystael | (~ystael@user/ystael) |
| 2022-10-18 18:50:06 +0200 | teo | (~teo@user/teo) (Ping timeout: 260 seconds) |
| 2022-10-18 18:52:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-10-18 18:52:48 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 18:54:26 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-18 18:56:02 +0200 | frase | (~Fraser@159.196.13.21) |
| 2022-10-18 18:57:07 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-10-18 18:59:12 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2022-10-18 18:59:45 +0200 | DavidBinder | (~DavidBind@134.2.10.18) (Remote host closed the connection) |
| 2022-10-18 19:03:29 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-18 19:03:48 +0200 | ystael | (~ystael@user/ystael) |
| 2022-10-18 19:04:00 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 19:08:51 +0200 | <davean> | gh |
| 2022-10-18 19:08:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-10-18 19:08:59 +0200 | <davean> | Coverage checking has caused me so many issues |
| 2022-10-18 19:09:00 +0200 | Topsi | (~Topsi@dyndsl-095-033-026-060.ewe-ip-backbone.de) |
| 2022-10-18 19:09:20 +0200 | <davean> | I usually go for 100% branch coverage in code I care at all about, and some stuff just doesn't cover, I've filed several bugs. |
| 2022-10-18 19:09:36 +0200 | <davean> | No one cares to maintain coverage |
| 2022-10-18 19:10:08 +0200 | <davean> | Hell a lot of my code is littered with conventions to not break coverage checking |
| 2022-10-18 19:10:31 +0200 | <davean> | Why did I manually define that instance? because coverage checking didn't always cover default implimentations ... etc |
| 2022-10-18 19:11:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-18 19:11:36 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-10-18 19:11:58 +0200 | teo | (~teo@user/teo) |
| 2022-10-18 19:16:53 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-10-18 19:17:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Remote host closed the connection) |
| 2022-10-18 19:17:25 +0200 | Alecui | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) |
| 2022-10-18 19:17:42 +0200 | <dolio> | Coverage checking not figuring out default implementations? |
| 2022-10-18 19:17:53 +0200 | <dolio> | That's pretty bad. |
| 2022-10-18 19:18:46 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 19:19:02 +0200 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-18 19:19:10 +0200 | <davean> | dolio: that particular one is fixed now |
| 2022-10-18 19:19:37 +0200 | <davean> | But yah, HPC bugs lead to some of the weird conventions in some of my code |
| 2022-10-18 19:19:47 +0200 | <davean> | past and pressent |
| 2022-10-18 19:19:54 +0200 | darkstardevx | (~darkstard@50.126.124.156) (Remote host closed the connection) |
| 2022-10-18 19:20:19 +0200 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-18 19:21:36 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-10-18 19:21:52 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 19:22:46 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-18 19:23:56 +0200 | econo | (uid147250@user/econo) |
| 2022-10-18 19:24:21 +0200 | Alecui- | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) |
| 2022-10-18 19:25:05 +0200 | axeman | (~quassel@2a00:20:6043:8812:fbd6:d57f:f607:31e2) |
| 2022-10-18 19:26:50 +0200 | kuribas | (~user@ptr-17d51eo0cwahmknc1o0.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-10-18 19:27:05 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-18 19:29:39 +0200 | axeman | (~quassel@2a00:20:6043:8812:fbd6:d57f:f607:31e2) (Ping timeout: 248 seconds) |
| 2022-10-18 19:29:59 +0200 | axeman | (~quassel@echelon-telekom.c-base.org) |
| 2022-10-18 19:31:06 +0200 | <EvanR> | HPC? |
| 2022-10-18 19:31:25 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 250 seconds) |
| 2022-10-18 19:31:28 +0200 | <geekosaur> | "haskell program coverage" |
| 2022-10-18 19:31:33 +0200 | <byorgey> | EvanR: presumably https://hackage.haskell.org/package/hpc |
| 2022-10-18 19:31:53 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-10-18 19:32:42 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.4.2/docs/users_guide/profiling.html#observing-code-coverage |
| 2022-10-18 19:32:52 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-18 19:45:32 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-18 19:49:02 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 19:53:31 +0200 | razetime | (~quassel@117.193.6.124) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-18 19:54:20 +0200 | akegalj | (~akegalj@212.15.177.17) |
| 2022-10-18 19:58:22 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 246 seconds) |
| 2022-10-18 20:01:00 +0200 | <monochrom> | :( |
| 2022-10-18 20:03:05 +0200 | kenran | (~user@user/kenran) |
| 2022-10-18 20:03:58 +0200 | <telser_> | Does anyone know of differences between specifying -H at runtime vs at compile/link with --with-rtsopts? I think my user guide/google-fu is failing me. |
| 2022-10-18 20:04:38 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-18 20:04:54 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-18 20:05:22 +0200 | <geekosaur> | there shouldn't be any, either way it would be applied during RTS startup |
| 2022-10-18 20:06:33 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-10-18 20:06:37 +0200 | <geekosaur> | if you're using cabal/stack run (or exec) then remember to include a -- to stop cabal/stack from eating the RTS options instead of passing them on to your program |
| 2022-10-18 20:07:31 +0200 | <telser_> | That's what I thought too, but I'm seeing different resource consumption behavior. |
| 2022-10-18 20:07:32 +0200 | <geekosaur> | e.g. cabal run exe:whatever -- +RTS ... |
| 2022-10-18 20:08:50 +0200 | <telser_> | There is no stack/cabal in this, sadly. Wish I had simply overlooked that. |
| 2022-10-18 20:09:18 +0200 | <geekosaur> | does it behave differently if you use GHCRTS=-H... program ...? |
| 2022-10-18 20:15:31 +0200 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-10-18 20:16:31 +0200 | ft | (~ft@62.155.200.69) |
| 2022-10-18 20:18:04 +0200 | akegalj | (~akegalj@212.15.177.17) (Quit: Lost terminal) |
| 2022-10-18 20:18:23 +0200 | <telser_> | I'll give that a shot |
| 2022-10-18 20:23:30 +0200 | <monochrom> | I cannot reproduce a difference with GHC 9.2.4 |
| 2022-10-18 20:24:35 +0200 | <monochrom> | or 8.10.7 |
| 2022-10-18 20:24:45 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 20:27:08 +0200 | <telser_> | This is with 9.0.2 and the environment variable is behaving the same as compile/link time |
| 2022-10-18 20:28:04 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-18 20:28:08 +0200 | <L29Ah> | telser_: does ` +RTS --help` work? |
| 2022-10-18 20:28:09 +0200 | <telser_> | Err not the same as compile/link, the same as runtime otherwise |
| 2022-10-18 20:28:35 +0200 | <L29Ah> | and what about --with-rtsopts --help? |
| 2022-10-18 20:29:06 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-10-18 20:29:29 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 250 seconds) |
| 2022-10-18 20:33:03 +0200 | <telser_> | L29Ah: Works doing --with-rtsopts, but not otherwise |
| 2022-10-18 20:33:35 +0200 | <L29Ah> | i suspect you explicitly asked ghc to disable +RTS stuff |
| 2022-10-18 20:35:16 +0200 | <geekosaur> | you need `-rtsopts` (and no it doesn't have to be explicit; that |
| 2022-10-18 20:35:22 +0200 | <geekosaur> | 's the default iirc) |
| 2022-10-18 20:35:38 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-18 20:35:45 +0200 | <telser_> | Definitely building with that |
| 2022-10-18 20:36:16 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 20:36:37 +0200 | <monochrom> | {compile-time -rtsopts then run-time +RTS -H1500m} or {compile-time -with-rtsopts=-H1500m then run-time say no more} |
| 2022-10-18 20:37:49 +0200 | <telser_> | ghc-options: -O2 -threaded -rtsopts -with-rtsopts=-N -with-rtsopts=-256m |
| 2022-10-18 20:38:24 +0200 | leibler | (~leibler@187.111.244.78) |
| 2022-10-18 20:39:04 +0200 | <telser_> | That's from the cabal file |
| 2022-10-18 20:39:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-18 20:40:18 +0200 | <geekosaur> | \that second -with-rtsopts looks funny to me |
| 2022-10-18 20:41:18 +0200 | <monochrom> | Yeah, -256m? -H256m? |
| 2022-10-18 20:41:50 +0200 | <telser_> | Ugh, yes I somhow deleted the H when copying it |
| 2022-10-18 20:42:00 +0200 | <monochrom> | +RTS --info has some info |
| 2022-10-18 20:42:00 +0200 | <geekosaur> | I'm not sure how compile time and runtime rtsopts interact but if they concat then it might abort silently with a syntax error (I think we've seen that silently aborting rts option parsing before) |
| 2022-10-18 20:42:28 +0200 | <telser_> | !!! That seems awful |
| 2022-10-18 20:42:29 +0200 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) (Quit: Konversation terminated!) |
| 2022-10-18 20:43:29 +0200 | <geekosaur> | yeh |
| 2022-10-18 20:43:57 +0200 | <monochrom> | The manual says that -with-rtsopts sets the default, until you use +RTS to override. |
| 2022-10-18 20:44:13 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 252 seconds) |
| 2022-10-18 20:44:25 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-18 20:44:55 +0200 | <geekosaur> | but does it override the whole rtsopts thing or just the parts you specify? (also I wonder how two -with-rtsopts=... combine) |
| 2022-10-18 20:45:16 +0200 | <monochrom> | True, I haven't tested exhaustively :) |
| 2022-10-18 20:45:57 +0200 | raym | (~aritra@user/raym) (Ping timeout: 250 seconds) |
| 2022-10-18 20:47:05 +0200 | raym | (~aritra@user/raym) |
| 2022-10-18 20:50:09 +0200 | <telser_> | I'm fairly certain that at least different rtsopts concat when using the flag multiple times, but no idea on the same flag multiple times. |
| 2022-10-18 20:50:36 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-18 20:51:11 +0200 | <geekosaur> | I do know that cabal's quote processing is not very smart, so to combine them you have to say `"-with-rtsopts=-N -H1500m"` |
| 2022-10-18 20:51:32 +0200 | <telser_> | I'd expect, last one wins, but haven't found anything in users guide |
| 2022-10-18 20:52:17 +0200 | <geekosaur> | there I was more wondering about, if you specify `+RTS -H256m`, does it also override the `-N`? |
| 2022-10-18 20:52:29 +0200 | <geekosaur> | or forget, in this case |
| 2022-10-18 20:55:34 +0200 | <telser_> | Unless -T is defaulted, I can see a project that says '-N' in their package.yaml and "-T" at runtime and can see that working. Unless one of those is a default. |
| 2022-10-18 20:55:49 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 20:56:46 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-18 20:57:51 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-18 20:58:05 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-18 21:02:56 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-18 21:04:16 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-18 21:05:34 +0200 | AlexZenon | (~alzenon@178.34.163.70) (Quit: ;-) |
| 2022-10-18 21:06:50 +0200 | Alex_test | (~al_test@178.34.163.70) (Quit: ;-) |
| 2022-10-18 21:07:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 21:07:44 +0200 | AlexNoo | (~AlexNoo@178.34.163.70) (Quit: Leaving) |
| 2022-10-18 21:07:59 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 21:11:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-245.elisa-laajakaista.fi) |
| 2022-10-18 21:11:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Ping timeout: 250 seconds) |
| 2022-10-18 21:12:27 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-18 21:13:51 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 21:17:09 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-18 21:18:06 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-10-18 21:18:19 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-18 21:19:40 +0200 | kmein | (~weechat@user/kmein) |
| 2022-10-18 21:20:21 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 21:20:50 +0200 | AlexZenon | (~alzenon@178.34.163.70) |
| 2022-10-18 21:22:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 21:22:37 +0200 | AlexNoo | (~AlexNoo@178.34.163.70) |
| 2022-10-18 21:23:54 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) |
| 2022-10-18 21:24:43 +0200 | Alex_test | (~al_test@178.34.163.70) |
| 2022-10-18 21:25:15 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-18 21:28:46 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2022-10-18 21:30:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Remote host closed the connection) |
| 2022-10-18 21:30:29 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-18 21:33:35 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-18 21:33:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-18 21:38:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 2022-10-18 21:38:49 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-18 21:47:26 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-10-18 21:49:03 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 21:51:16 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Read error: Connection reset by peer) |
| 2022-10-18 21:53:51 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-18 21:54:43 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-10-18 21:56:11 +0200 | Alecui- | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) (Ping timeout: 260 seconds) |
| 2022-10-18 21:57:01 +0200 | Alecui | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) (Ping timeout: 250 seconds) |
| 2022-10-18 22:03:03 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 252 seconds) |
| 2022-10-18 22:06:58 +0200 | pavonia | (~user@user/siracusa) |
| 2022-10-18 22:07:00 +0200 | axeman | (~quassel@echelon-telekom.c-base.org) (Ping timeout: 264 seconds) |
| 2022-10-18 22:10:08 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-18 22:14:34 +0200 | biberu | (~biberu@user/biberu) |
| 2022-10-18 22:16:36 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 260 seconds) |
| 2022-10-18 22:17:56 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Quit: ending irc rn) |
| 2022-10-18 22:18:26 +0200 | ph88 | (~ph88@tmo-085-129.customers.d1-online.com) (Quit: Leaving) |
| 2022-10-18 22:22:07 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 22:22:51 +0200 | oldsk00l | (~znc@ec2-13-40-82-74.eu-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2022-10-18 22:23:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-18 22:25:39 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-18 22:28:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-18 22:29:53 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-18 22:30:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-18 22:35:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Ping timeout: 250 seconds) |
| 2022-10-18 22:40:05 +0200 | Alecui | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) |
| 2022-10-18 22:40:52 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:4cf8:66a8:b413:ec41) (Read error: Connection reset by peer) |
| 2022-10-18 22:40:55 +0200 | Alecui | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) (Remote host closed the connection) |
| 2022-10-18 22:41:08 +0200 | Alecui | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) |
| 2022-10-18 22:41:13 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-18 22:42:13 +0200 | Alecui | (~alecu@2a02:a58:8682:d600:c147:7976:693f:ec2f) (Client Quit) |
| 2022-10-18 22:42:23 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-18 22:42:23 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-18 22:48:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-18 22:55:20 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-10-18 22:56:13 +0200 | Miles2Go | (~Miles2Go@1410789-v106.1225-static.fshrinaa.metronetinc.net) |
| 2022-10-18 22:57:03 +0200 | califax | (~califax@user/califx) |
| 2022-10-18 22:57:39 +0200 | mmhat | (~mmh@p200300f1c7337783ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-18 22:57:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-18 23:00:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-10-18 23:01:24 +0200 | Miles2Go | (~Miles2Go@1410789-v106.1225-static.fshrinaa.metronetinc.net) (Leaving) |
| 2022-10-18 23:03:56 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) (Quit: Client closed) |
| 2022-10-18 23:07:28 +0200 | off^ | (~off@c-76-17-6-165.hsd1.ga.comcast.net) |
| 2022-10-18 23:10:32 +0200 | leibler | (~leibler@187.111.244.78) (Quit: Client closed) |
| 2022-10-18 23:11:02 +0200 | mmhat | (~mmh@p200300f1c7337736ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-18 23:12:43 +0200 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2022-10-18 23:17:01 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-18 23:18:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-18 23:19:19 +0200 | teo | (~teo@user/teo) () |
| 2022-10-18 23:19:37 +0200 | Kaipii | (~Kaiepi@142.68.249.28) |
| 2022-10-18 23:21:21 +0200 | Kaipii | (~Kaiepi@142.68.249.28) (Remote host closed the connection) |
| 2022-10-18 23:22:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-18 23:23:41 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-10-18 23:23:41 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 260 seconds) |
| 2022-10-18 23:24:02 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-18 23:24:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-18 23:34:08 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 268 seconds) |
| 2022-10-18 23:34:11 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-18 23:34:55 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-10-18 23:39:40 +0200 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) |
| 2022-10-18 23:50:46 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 246 seconds) |
| 2022-10-18 23:55:08 +0200 | axeman | (~quassel@2a02:8109:a380:78:d744:c78d:4439:4b0c) |
| 2022-10-18 23:55:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-18 23:55:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-18 23:56:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-18 23:59:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |