| 2023-09-16 00:01:05 +0200 | danza | (~francesco@151.43.221.136) (Read error: Connection reset by peer) |
| 2023-09-16 00:01:17 +0200 | danza | (~francesco@151.57.131.81) |
| 2023-09-16 00:04:03 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Server closed connection) |
| 2023-09-16 00:04:20 +0200 | mrvdb | (~mrvdb@185.92.221.186) |
| 2023-09-16 00:04:31 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 00:04:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-16 00:07:45 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-16 00:08:04 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2023-09-16 00:08:18 +0200 | noctux | (~noctux@user/noctux) |
| 2023-09-16 00:08:19 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-09-16 00:10:58 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-16 00:11:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 00:13:27 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 00:15:00 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-16 00:20:12 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-16 00:21:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 00:21:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-16 00:23:07 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 00:24:55 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 00:25:51 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-16 00:27:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-16 00:27:22 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-16 00:30:55 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 00:31:56 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-16 00:33:04 +0200 | arahael | (~arahael@1.145.68.183) |
| 2023-09-16 00:36:11 +0200 | mysl_ | (~mysl@user/mysl) |
| 2023-09-16 00:36:17 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 244 seconds) |
| 2023-09-16 00:38:54 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-16 00:44:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 00:46:28 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-16 00:46:55 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-16 00:49:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-16 00:51:17 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 00:54:22 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2023-09-16 00:57:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-16 00:57:44 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-16 00:57:55 +0200 | puke | (~puke@user/puke) (Ping timeout: 264 seconds) |
| 2023-09-16 00:58:33 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 01:01:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-16 01:03:05 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-16 01:03:26 +0200 | <wroathe> | Hey guys, I must be blind. Reading through the documentation on async I'm trying to find an operation with similar semantics to Promise.allSettled in Javascript. Meaning execute a traversable of asyncs concurrently and then collect their results in another traversable with something like t (Either Error a) as the type? |
| 2023-09-16 01:03:32 +0200 | <wroathe> | Am I just missing it? |
| 2023-09-16 01:03:35 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-16 01:03:47 +0200 | <EvanR> | there's mapConcurrently |
| 2023-09-16 01:03:55 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-16 01:03:55 +0200 | <wroathe> | mapConcurrently and forConcurrently seem to promise that they'll cancel pending asyncs if one of them fails |
| 2023-09-16 01:04:01 +0200 | <wroathe> | EvanR: Yeah that's not quite what I'm after |
| 2023-09-16 01:04:11 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 01:04:29 +0200 | <EvanR> | you could also just mapM_ over await |
| 2023-09-16 01:04:34 +0200 | <EvanR> | er, mapM |
| 2023-09-16 01:06:13 +0200 | <wroathe> | Oh maybe that's the idea. That mapM already gives me this |
| 2023-09-16 01:06:23 +0200 | <wroathe> | I was expecting the library itself to export this function |
| 2023-09-16 01:06:49 +0200 | <[Leary]> | wroathe: `traverse waitCatch` |
| 2023-09-16 01:07:36 +0200 | <wroathe> | [Leary]: <3 |
| 2023-09-16 01:07:38 +0200 | <wroathe> | thanks again |
| 2023-09-16 01:10:16 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 01:11:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-16 01:13:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 01:14:39 +0200 | arahael | (~arahael@1.145.68.183) (Ping timeout: 240 seconds) |
| 2023-09-16 01:16:02 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) |
| 2023-09-16 01:16:21 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-16 01:17:06 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-09-16 01:19:08 +0200 | Deide | (d0130db69a@user/deide) |
| 2023-09-16 01:19:28 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 01:22:12 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-16 01:22:16 +0200 | g | (glguy@libera/staff/glguy) (Remote host closed the connection) |
| 2023-09-16 01:23:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 01:23:46 +0200 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2023-09-16 01:24:24 +0200 | g | (g@libera/staff/glguy) |
| 2023-09-16 01:30:17 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 01:31:32 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2023-09-16 01:31:58 +0200 | glguy | (g@libera/staff/glguy) |
| 2023-09-16 01:34:39 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2023-09-16 01:35:03 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-09-16 01:43:31 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 01:49:25 +0200 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2023-09-16 01:50:08 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 01:56:56 +0200 | tomku | (~tomku@user/tomku) |
| 2023-09-16 01:57:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-09-16 01:57:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-16 01:59:47 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 02:00:43 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-16 02:02:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 02:02:54 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-16 02:05:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2023-09-16 02:06:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-16 02:06:42 +0200 | AlexNoo_ | (~AlexNoo@178.34.160.78) |
| 2023-09-16 02:07:03 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-16 02:08:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-09-16 02:08:36 +0200 | AlexZenon | (~alzenon@178.34.160.172) (Ping timeout: 240 seconds) |
| 2023-09-16 02:08:38 +0200 | Alex_test | (~al_test@178.34.160.172) (Ping timeout: 246 seconds) |
| 2023-09-16 02:10:26 +0200 | AlexNoo | (~AlexNoo@178.34.160.172) (Ping timeout: 255 seconds) |
| 2023-09-16 02:11:14 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 02:12:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 02:13:28 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-16 02:13:52 +0200 | califax | (~califax@user/califx) |
| 2023-09-16 02:18:27 +0200 | Alex_test | (~al_test@178.34.160.78) |
| 2023-09-16 02:21:00 +0200 | AlexZenon | (~alzenon@178.34.160.78) |
| 2023-09-16 02:24:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 02:31:08 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 02:34:15 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 02:36:19 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 264 seconds) |
| 2023-09-16 02:44:15 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 02:47:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 02:50:32 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 02:52:11 +0200 | <Inst> | Just to confirm, re people familiar with TH: |
| 2023-09-16 02:52:58 +0200 | <Inst> | Reify cannot get the right hand side of a definition, right? |
| 2023-09-16 02:53:00 +0200 | <Inst> | https://hackage.haskell.org/package/template-haskell-2.20.0.0/docs/Language-Haskell-TH.html#t:Info |
| 2023-09-16 02:54:09 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 02:57:47 +0200 | <geekosaur> | you mean for VarI and TyVarI? correct |
| 2023-09-16 02:57:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-16 02:57:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-16 02:57:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-16 02:58:10 +0200 | <geekosaur> | someone would have to implement those |
| 2023-09-16 02:58:30 +0200 | <[Leary]> | Inst: It can if there's a Dec. But yeah, not for `VarI`; see the note. |
| 2023-09-16 02:59:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-16 02:59:50 +0200 | <Inst> | What do you mean by Dec? |
| 2023-09-16 03:00:12 +0200 | <geekosaur> | a declaration, in TH speak |
| 2023-09-16 03:01:00 +0200 | <Inst> | Yeah, I'm familiar with the concept, I had an earlier version of the library dump out Dec data types, but it seems to be such that if you have a defined term, TH is not capable of traversing the tree |
| 2023-09-16 03:03:03 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 03:03:51 +0200 | <geekosaur> | probably need to do something with https://hackage.haskell.org/package/haskell-src-meta |
| 2023-09-16 03:04:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-16 03:04:45 +0200 | <geekosaur> | (parsing the source yourself with haskell-src-exts and converting it to TH trees with haskell-src-meta, that is) |
| 2023-09-16 03:10:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 03:13:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 246 seconds) |
| 2023-09-16 03:15:03 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-16 03:16:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-16 03:17:14 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-16 03:20:15 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 03:21:06 +0200 | <Inst> | it's not convenient, so I probably have to dump the idea of parsing out where clauses for now |
| 2023-09-16 03:22:17 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-16 03:22:31 +0200 | puke | (~puke@user/puke) |
| 2023-09-16 03:23:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 03:25:56 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 03:30:43 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 03:32:41 +0200 | todi1 | (~todi@pd957150f.dip0.t-ipconnect.de) |
| 2023-09-16 03:33:31 +0200 | todi | (~todi@p5dca5734.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-09-16 03:34:00 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-16 03:34:30 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2023-09-16 03:34:33 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-16 03:36:06 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-16 03:37:32 +0200 | finsternis | (~X@23.226.237.192) |
| 2023-09-16 03:41:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 03:42:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 03:42:51 +0200 | mysl_ | mysl |
| 2023-09-16 03:44:07 +0200 | otto_s | (~user@p5b044acd.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-09-16 03:45:19 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 264 seconds) |
| 2023-09-16 03:45:35 +0200 | otto_s | (~user@p5b0445ec.dip0.t-ipconnect.de) |
| 2023-09-16 03:46:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2023-09-16 03:47:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 03:48:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Remote host closed the connection) |
| 2023-09-16 03:48:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 03:50:08 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 03:51:54 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-16 03:53:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2023-09-16 03:57:29 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 03:58:36 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 04:01:03 +0200 | danza | (~francesco@151.57.131.81) (Read error: Connection reset by peer) |
| 2023-09-16 04:01:17 +0200 | danza | (~francesco@151.43.214.93) |
| 2023-09-16 04:02:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 04:09:55 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 04:11:16 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-16 04:12:50 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-16 04:12:50 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2023-09-16 04:12:50 +0200 | pyooque | puke |
| 2023-09-16 04:15:01 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-16 04:21:06 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 04:22:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 04:23:39 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-16 04:28:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 04:31:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-16 04:37:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 04:40:40 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 04:42:39 +0200 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 240 seconds) |
| 2023-09-16 04:44:37 +0200 | td_ | (~td@i5387092D.versanet.de) |
| 2023-09-16 04:48:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 04:53:51 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-09-16 05:00:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-16 05:01:31 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 05:05:49 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 05:07:17 +0200 | aforemny_ | (~aforemny@i59F516D6.versanet.de) |
| 2023-09-16 05:08:28 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 05:08:43 +0200 | aforemny | (~aforemny@2001:9e8:6cfd:fc00:58bd:fed5:dd48:d919) (Ping timeout: 264 seconds) |
| 2023-09-16 05:11:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 05:21:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 05:21:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-16 05:24:23 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-16 05:28:01 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 05:34:27 +0200 | dcoutts_ | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-16 05:35:51 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 240 seconds) |
| 2023-09-16 05:36:32 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds)) |
| 2023-09-16 05:36:39 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-16 05:36:52 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-09-16 05:37:37 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 05:41:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 05:47:58 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 05:52:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c9f3:66ab:ef62:4559) (Ping timeout: 245 seconds) |
| 2023-09-16 05:53:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-16 05:54:32 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-09-16 05:59:12 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 244 seconds) |
| 2023-09-16 06:00:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c9f3:66ab:ef62:4559) |
| 2023-09-16 06:00:45 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 06:03:48 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-16 06:03:49 +0200 | puke | Guest6071 |
| 2023-09-16 06:03:49 +0200 | pyooque | puke |
| 2023-09-16 06:04:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-16 06:05:06 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 06:06:26 +0200 | Guest6071 | (~puke@user/puke) (Ping timeout: 244 seconds) |
| 2023-09-16 06:14:14 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 245 seconds) |
| 2023-09-16 06:17:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 06:22:37 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 06:28:47 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 06:29:10 +0200 | dcoutts_ | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 244 seconds) |
| 2023-09-16 06:30:39 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-09-16 06:31:43 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 06:33:55 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-16 06:34:02 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-16 06:35:22 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 06:42:03 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Server closed connection) |
| 2023-09-16 06:42:04 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 06:42:22 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2023-09-16 06:48:19 +0200 | chomwitt | (~chomwitt@ppp-94-67-176-27.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2023-09-16 06:49:50 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2023-09-16 06:52:31 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-16 06:54:30 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 07:00:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-16 07:02:25 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 07:05:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-16 07:05:58 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-16 07:06:03 +0200 | PHO` | (~pho@akari.cielonegro.org) (Server closed connection) |
| 2023-09-16 07:06:19 +0200 | PHO` | (~pho@akari.cielonegro.org) |
| 2023-09-16 07:15:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 07:21:46 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 07:25:54 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 07:34:16 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 07:38:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 07:41:37 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 07:43:12 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-16 07:43:12 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Client Quit) |
| 2023-09-16 07:47:32 +0200 | mmhat | (~mmh@p200300f1c7178a66ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-16 07:47:47 +0200 | mmhat | (~mmh@p200300f1c7178a66ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-16 07:48:29 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-09-16 07:48:43 +0200 | privacy | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-16 07:49:03 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2023-09-16 07:49:51 +0200 | acidjnk | (~acidjnk@p200300d6e7072f37ed2d5a0d44b99cf1.dip0.t-ipconnect.de) |
| 2023-09-16 07:54:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 07:56:39 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-16 07:59:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 08:01:54 +0200 | danza | (~francesco@151.43.214.93) (Read error: Connection reset by peer) |
| 2023-09-16 08:02:25 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 08:02:34 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-09-16 08:03:27 +0200 | shapr | (~user@2600:1700:c640:3100:7115:455d:ba1a:8375) (Ping timeout: 240 seconds) |
| 2023-09-16 08:03:57 +0200 | danza | (~francesco@151.57.152.152) |
| 2023-09-16 08:04:08 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-09-16 08:04:12 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-16 08:04:12 +0200 | pyooque | puke |
| 2023-09-16 08:10:06 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-16 08:13:13 +0200 | dminuoso | (~dminuoso@user/dminuoso) (Ping timeout: 252 seconds) |
| 2023-09-16 08:15:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 08:15:32 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2023-09-16 08:16:54 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 08:17:11 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2023-09-16 08:21:19 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
| 2023-09-16 08:21:49 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 08:21:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 08:30:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-09-16 08:32:04 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E0051D850F4089BD101.dsl.pool.telekom.hu) |
| 2023-09-16 08:34:31 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 08:35:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 08:39:53 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 08:40:04 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 2023-09-16 08:40:28 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-16 08:41:44 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-09-16 08:42:12 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-09-16 08:42:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-09-16 08:44:15 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-16 08:47:25 +0200 | xax__ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-09-16 08:47:44 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2023-09-16 08:49:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 08:51:35 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Server closed connection) |
| 2023-09-16 08:51:59 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2023-09-16 08:53:04 +0200 | tv | (~tv@user/tv) |
| 2023-09-16 08:53:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 08:59:40 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 09:00:22 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 09:00:48 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-16 09:02:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 09:03:03 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Server closed connection) |
| 2023-09-16 09:03:47 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2023-09-16 09:03:53 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-16 09:05:18 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 252 seconds) |
| 2023-09-16 09:06:03 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (Server closed connection) |
| 2023-09-16 09:06:44 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2023-09-16 09:11:05 +0200 | xax__ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2023-09-16 09:11:23 +0200 | xax__ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-16 09:12:57 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 09:15:45 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2023-09-16 09:16:51 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 09:17:02 +0200 | chomwitt | (~chomwitt@ppp-94-68-188-69.home.otenet.gr) |
| 2023-09-16 09:17:19 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-09-16 09:17:40 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-16 09:17:44 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-16 09:18:59 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 09:27:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Remote host closed the connection) |
| 2023-09-16 09:28:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 09:29:47 +0200 | dcoutts_ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 2023-09-16 09:31:27 +0200 | danza | (~francesco@151.57.152.152) (Ping timeout: 240 seconds) |
| 2023-09-16 09:31:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-16 09:32:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 09:33:55 +0200 | xax__ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2023-09-16 09:35:07 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-16 09:36:18 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-16 09:39:36 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 09:43:03 +0200 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 258 seconds) |
| 2023-09-16 09:44:03 +0200 | <Franciman> | hi, does ghc implement fully lazy evaluation? |
| 2023-09-16 09:44:53 +0200 | <Franciman> | sorry, fully lazy sharing evaluation |
| 2023-09-16 09:47:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 09:50:56 +0200 | <[Leary]> | Franciman: "GHC doesn’t implement complete full laziness. Although GHC’s full-laziness optimisation does enable some transformations which would be performed by a fully lazy implementation (such as extracting repeated computations from loops), these transformations are not applied consistently, so don’t rely on them." --- GHC User's Guide, note on `-ffull-laziness`. |
| 2023-09-16 09:51:23 +0200 | <[Leary]> | If GHC judges it will be less expensive to recompute a value, it will opt not to share. |
| 2023-09-16 09:52:13 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 09:52:30 +0200 | <Franciman> | ty herr [Leary] |
| 2023-09-16 09:58:13 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 09:58:39 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2023-09-16 09:59:02 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-09-16 09:59:59 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2023-09-16 10:01:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 10:04:31 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2023-09-16 10:04:54 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-09-16 10:05:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Ping timeout: 240 seconds) |
| 2023-09-16 10:06:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 10:10:05 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-16 10:11:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 10:12:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 10:16:54 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-16 10:17:38 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-09-16 10:18:13 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 10:18:22 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2023-09-16 10:18:57 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-09-16 10:20:07 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2023-09-16 10:21:55 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 264 seconds) |
| 2023-09-16 10:26:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-16 10:27:03 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-16 10:30:18 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-16 10:30:19 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2023-09-16 10:30:19 +0200 | pyooque | puke |
| 2023-09-16 10:30:58 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 10:32:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-16 10:38:15 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 10:39:50 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-16 10:44:11 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 10:48:03 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:5574:a24f:c084:e689) |
| 2023-09-16 10:49:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-16 10:51:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 10:54:55 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:5574:a24f:c084:e689) (Ping timeout: 264 seconds) |
| 2023-09-16 10:58:22 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 10:59:44 +0200 | AlexNoo_ | AlexNoo |
| 2023-09-16 11:00:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-16 11:02:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-16 11:02:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 2023-09-16 11:03:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 11:07:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-16 11:08:00 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 11:09:03 +0200 | nisstyre | (wes@user/nisstyre) (Server closed connection) |
| 2023-09-16 11:09:23 +0200 | nisstyre | (wes@user/nisstyre) |
| 2023-09-16 11:10:17 +0200 | erty | (~user@user/aeroplane) |
| 2023-09-16 11:10:46 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 11:11:21 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-16 11:16:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 11:17:04 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 11:17:09 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 2023-09-16 11:21:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-16 11:28:43 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-09-16 11:29:01 +0200 | bienjensu | (~user@user/bienjensu) |
| 2023-09-16 11:29:43 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 11:30:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 11:30:42 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 11:35:04 +0200 | bienjensu | (~user@user/bienjensu) (Remote host closed the connection) |
| 2023-09-16 11:37:30 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 11:45:17 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Server closed connection) |
| 2023-09-16 11:45:24 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2023-09-16 11:49:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 11:53:52 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-16 11:54:52 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-09-16 11:55:49 +0200 | dcoutts__ | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-16 11:57:26 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 11:58:31 +0200 | dcoutts_ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 264 seconds) |
| 2023-09-16 12:09:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 245 seconds) |
| 2023-09-16 12:10:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-16 12:10:41 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 12:14:44 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 12:19:37 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-16 12:19:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 12:19:51 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 240 seconds) |
| 2023-09-16 12:21:10 +0200 | <haskellbridge> | <tewuzij> Does this room bridge to any other platform than IRC? |
| 2023-09-16 12:23:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 12:26:09 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-16 12:27:55 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 12:35:45 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 12:40:54 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2023-09-16 12:42:23 +0200 | ripspin | (~chatzilla@1.145.252.249) |
| 2023-09-16 12:42:45 +0200 | <tomsmeding> | tewuzij: don't think so, I think it was set up precisely for this irc-matrix link |
| 2023-09-16 12:42:48 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-16 12:42:49 +0200 | <tomsmeding> | it was plumbed before iirc |
| 2023-09-16 12:44:07 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 12:44:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-16 12:45:35 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-16 12:47:16 +0200 | privacy | (~privacy@47.219.84.6) (Client Quit) |
| 2023-09-16 12:48:04 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-16 12:48:36 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 12:50:06 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-16 12:55:57 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 12:58:19 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-16 12:58:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 13:00:03 +0200 | ario | (~ario@159.65.220.102) (Server closed connection) |
| 2023-09-16 13:00:12 +0200 | ario | (~ario@159.65.220.102) |
| 2023-09-16 13:09:04 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 13:09:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 13:10:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 13:12:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-16 13:15:27 +0200 | todi1 | todi |
| 2023-09-16 13:16:34 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 13:20:20 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 13:21:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-16 13:23:27 +0200 | ripspin | (~chatzilla@1.145.252.249) (Ping timeout: 240 seconds) |
| 2023-09-16 13:28:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 13:29:44 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 13:38:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 13:44:43 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-16 13:49:24 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-16 13:49:36 +0200 | <Inst> | hmmm, a question, is there any way to get true global mutables in Haskell? |
| 2023-09-16 13:49:56 +0200 | <Inst> | we're discussing the prospect of just stuffing everything in IO as an option for fast prototyping in Haskell |
| 2023-09-16 13:50:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-16 13:51:26 +0200 | phileasfogg | rand0mApplicativ |
| 2023-09-16 13:51:32 +0200 | <mauke> | global IORef, unsafePerformIO, {-# NOINLINE #-} |
| 2023-09-16 13:51:51 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds) |
| 2023-09-16 13:59:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 14:10:02 +0200 | kronicma1 | (user9783@neotame.csclub.uwaterloo.ca) (Server closed connection) |
| 2023-09-16 14:10:19 +0200 | kronicma1 | (user49904@neotame.csclub.uwaterloo.ca) |
| 2023-09-16 14:13:08 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 255 seconds) |
| 2023-09-16 14:16:15 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 14:18:58 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-16 14:19:56 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:ee16:6cdb:776d:2233) (Ping timeout: 248 seconds) |
| 2023-09-16 14:20:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 14:20:45 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 14:24:35 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 14:27:26 +0200 | <[exa]> | Inst: btw some instance of (RWST r w s IO) is a pretty good choice for the "global environment" of most projects. If you totally need global variables that do not do much with the State there, just save an IORef in the `r` part |
| 2023-09-16 14:28:35 +0200 | <Inst> | also, btw, remember when I was discussing Haskell without type signatures? |
| 2023-09-16 14:28:38 +0200 | <Inst> | https://www.reddit.com/r/haskell/comments/7sr8k7/fast_prototyping_how_to_experiences/dt7hi94/?utm_… |
| 2023-09-16 14:28:54 +0200 | <Inst> | "let ghc tell you all your types instead of typing them yourself" |
| 2023-09-16 14:31:49 +0200 | <[exa]> | Inst: that's good for prototyping; I love that. (Typed holes help.) Later in the project, the explicit type signatures protect you from type errors propagating between functions (the error messages in these easily get quite confusing.) |
| 2023-09-16 14:33:01 +0200 | <Inst> | on IDE the type sigs are all shadowed, and while you're typing out your definitions, the type sigs will change into really balmy / insane forms |
| 2023-09-16 14:33:07 +0200 | <Inst> | then come to sanity when you get it right |
| 2023-09-16 14:33:13 +0200 | <Inst> | erm, HLS |
| 2023-09-16 14:33:15 +0200 | <Inst> | not IDE |
| 2023-09-16 14:34:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 14:35:08 +0200 | <[exa]> | yeah |
| 2023-09-16 14:35:17 +0200 | <[exa]> | tbh HLS stresses me out. :D |
| 2023-09-16 14:36:57 +0200 | <mauke> | RWST is redundant. just put IORefs in your ReaderT x IO |
| 2023-09-16 14:38:31 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-16 14:39:10 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 14:43:06 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 14:43:13 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-16 14:43:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 14:43:57 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-16 14:45:03 +0200 | defanor | (~defanor@tart.uberspace.net) (Server closed connection) |
| 2023-09-16 14:45:18 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-16 14:45:18 +0200 | puke | Guest8306 |
| 2023-09-16 14:45:18 +0200 | Guest8306 | (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-09-16 14:45:18 +0200 | pyooque | puke |
| 2023-09-16 14:45:19 +0200 | defanor | (~defanor@tart.uberspace.net) |
| 2023-09-16 14:46:49 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 14:47:16 +0200 | <Inst> | is everyone just recklessly copying Edward Kmett? Since he admitted he was using ReaderT IORef with implicit params? |
| 2023-09-16 14:47:48 +0200 | <c_wraith> | there are a lot worse options to copy |
| 2023-09-16 14:49:22 +0200 | <mauke> | why implicit params? |
| 2023-09-16 14:49:32 +0200 | <c_wraith> | But it's also worth noting that IORefs aren't just mutable cells - they're cross-thread communication. |
| 2023-09-16 14:49:56 +0200 | renpose | (~Guest8@user/renpose) |
| 2023-09-16 14:50:30 +0200 | <c_wraith> | When you've got a concurrent system, that's often a good thing to have access to. |
| 2023-09-16 14:51:35 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2023-09-16 14:52:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 14:55:48 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-16 14:56:32 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 15:03:02 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 15:03:51 +0200 | acidjnk | (~acidjnk@p200300d6e7072f37ed2d5a0d44b99cf1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-16 15:04:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-16 15:07:34 +0200 | ripspin | (~chatzilla@1.145.222.241) |
| 2023-09-16 15:09:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-16 15:09:59 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:7048:75fa:6b76:2f61) |
| 2023-09-16 15:13:36 +0200 | <Inst> | c_wraith: I recall an old Snoyman blog post about how IOrefs broke under concurrency |
| 2023-09-16 15:13:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-16 15:13:53 +0200 | <Inst> | as well as a BenGamari gitlab post about issues with IORef under concurrency |
| 2023-09-16 15:13:59 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-16 15:14:41 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-16 15:16:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 15:16:58 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 255 seconds) |
| 2023-09-16 15:17:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 15:18:03 +0200 | tinwood | (~tinwood@canonical/tinwood) (Server closed connection) |
| 2023-09-16 15:18:16 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2023-09-16 15:18:16 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2023-09-16 15:18:16 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2023-09-16 15:18:46 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-16 15:20:49 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-16 15:20:59 +0200 | rand0mApplicativ | cayley5 |
| 2023-09-16 15:21:02 +0200 | <c_wraith> | institor: their limits are well-documented. but they remain excellent for write-few, read-many workloads that don't need multi-update transactions |
| 2023-09-16 15:21:10 +0200 | <c_wraith> | err. Inst |
| 2023-09-16 15:22:22 +0200 | _0xa | (~user@user/0xa/x-3134607) (Ping timeout: 244 seconds) |
| 2023-09-16 15:23:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 15:24:03 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 15:27:09 +0200 | <renpose> | instead than `main :: IO ()` I'd like to declare an application by something like `(Proxy spec, App spec)` for a type-family `App` (similar to servant etc.) and (ab)use the build system a bit: 1. generate some files from the proxy value, and 2. declare main-is on the fly as `main = f proxy app` with the appropriate `f :: Proxy spec -> App spec -> |
| 2023-09-16 15:27:09 +0200 | <renpose> | IO ()`. looked around Setup.hs and started looking at the source of Distribution-Simple.defaultMain but honestly a bit lost here or does this require a ghc plugin? |
| 2023-09-16 15:29:29 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-16 15:30:10 +0200 | <c_wraith> | you can certainly do it with Setup.hs, but I'd probably use a code generator to pre-generate the code instead. |
| 2023-09-16 15:31:19 +0200 | <c_wraith> | a third alternative would be some sort of TH stub that creates main for you. |
| 2023-09-16 15:37:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds) |
| 2023-09-16 15:38:23 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 244 seconds) |
| 2023-09-16 15:40:01 +0200 | <renpose> | I'd hope to use the type family approach, actually looked at th but it seems like i cando without. reify would also require to chase all type synonyms and probably other things i'd rather not have to. |
| 2023-09-16 15:40:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-09-16 15:40:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-16 15:41:47 +0200 | <renpose> | any pointers regarding 2 with Setup.hs? |
| 2023-09-16 15:43:08 +0200 | <c_wraith> | renpose: did you want an example of reify magic? https://gist.github.com/chowells79/1d3560bdd7edd84de8c82c87e96cfaea |
| 2023-09-16 15:45:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 15:51:28 +0200 | <renpose> | Ah, so yeah i do have a class for realising `f` which i havent tried `reifyInstances` i tried with `reify` on the proxy. thanks i'll have a look! |
| 2023-09-16 15:54:37 +0200 | privacy | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-16 15:54:37 +0200 | <renpose> | but still the Setup.hs route would seem less brittle to me and more clean imo. though th would be the easiest/most familiar |
| 2023-09-16 16:00:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 16:04:31 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-16 16:07:37 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 16:10:50 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-09-16 16:11:40 +0200 | <institor> | what |
| 2023-09-16 16:11:45 +0200 | <institor> | oh |
| 2023-09-16 16:12:16 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Server closed connection) |
| 2023-09-16 16:12:27 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-09-16 16:12:52 +0200 | <c_wraith> | sorry about that |
| 2023-09-16 16:18:28 +0200 | renpose | (~Guest8@user/renpose) (Ping timeout: 245 seconds) |
| 2023-09-16 16:20:17 +0200 | <tomsmeding> | is it somewhere on the GHC roadmap to do better pattern match coverage checking in the presence of GADTs? https://play.haskell.org/saved/o2cbIrMS |
| 2023-09-16 16:20:45 +0200 | <tomsmeding> | it works fine if the Val and Idx arguments are swapped, because then it's somehow clearer that you're handling all cases of Idx |
| 2023-09-16 16:22:00 +0200 | renpose | (~renpose@user/renpose) |
| 2023-09-16 16:22:06 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 258 seconds) |
| 2023-09-16 16:29:44 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 16:31:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 16:31:08 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 16:32:48 +0200 | <[Leary]> | tomsmeding: You have to pattern match to expose the coercion that narrows further pattern matching. This works nicely with `Idx` first, but with `Val` first you still need to match on `VTop` to know that no further arguments can follow. This should be expressed with EmptyCase: `prj (VPush x env) = \case{ ... }; prj VTop = \case{}`. |
| 2023-09-16 16:33:00 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-16 16:33:55 +0200 | <[Leary]> | It should also be mentioned by -Winaccessible-code, probably. This may merit an issue on the gitlab tracker. I kinda doubt the actual exhaustivity checker will change, though. |
| 2023-09-16 16:39:56 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-16 16:43:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 245 seconds) |
| 2023-09-16 16:43:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 16:49:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 16:51:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 16:53:27 +0200 | ft | (~ft@p3e9bc52b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-16 16:55:16 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-16 16:56:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-09-16 16:59:10 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 17:03:14 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 255 seconds) |
| 2023-09-16 17:03:21 +0200 | <[Leary]> | tomsmeding: I had a further thought, which is that strictness is relevant here, and GHC is, well, strict about that. You can write `prj v !i = case (v, i) of ...` and GHC will accept just two cases, but if you drop that bang pattern, it will go back to complaining. So part of the issue should be that GHC can't know the strictness of the (second) argument for cases you haven't written. |
| 2023-09-16 17:05:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 17:08:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-09-16 17:09:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-16 17:09:28 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 17:10:05 +0200 | <tomsmeding> | [Leary]: ah, that was it! |
| 2023-09-16 17:10:13 +0200 | <tomsmeding> | it was the strictness |
| 2023-09-16 17:10:15 +0200 | <tomsmeding> | thanks! |
| 2023-09-16 17:10:26 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-16 17:11:21 +0200 | <tomsmeding> | adding 'valprj VTop i = case i of {}' as the third line works beautifully |
| 2023-09-16 17:11:27 +0200 | <tomsmeding> | er, without the 'val' |
| 2023-09-16 17:13:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-16 17:13:16 +0200 | <tomsmeding> | definitely neater than writing a go function with the arguments flipped |
| 2023-09-16 17:21:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 17:21:33 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-16 17:21:47 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-16 17:21:55 +0200 | califax | (~califax@user/califx) |
| 2023-09-16 17:23:47 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 17:29:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 17:31:25 +0200 | acidjnk | (~acidjnk@p200300d6e7072f37b48d3c7fb24d2df4.dip0.t-ipconnect.de) |
| 2023-09-16 17:38:05 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 17:44:00 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds) |
| 2023-09-16 17:50:34 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 18:02:09 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-16 18:02:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-16 18:03:03 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-09-16 18:05:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-16 18:08:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-09-16 18:12:03 +0200 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) (Server closed connection) |
| 2023-09-16 18:12:20 +0200 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) |
| 2023-09-16 18:13:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 18:20:52 +0200 | ripspin | (~chatzilla@1.145.222.241) (Remote host closed the connection) |
| 2023-09-16 18:22:14 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 18:24:01 +0200 | <monochrom> | Why do I have the pessimistic feeling that if you omit the impossible pattern you get "warning: inexhaustive", but if you include it you get "warning: inaccessible". >:) |
| 2023-09-16 18:25:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Remote host closed the connection) |
| 2023-09-16 18:25:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 18:26:49 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-16 18:27:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 18:28:39 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.5/docs/html/libraries/base-4.16.4.0/GHC-Exts.html#v:consider… |
| 2023-09-16 18:30:11 +0200 | <monochrom> | Nice. |
| 2023-09-16 18:30:30 +0200 | monochrom | starts abusing it by s/otherwise/considerAccessible/ >:) |
| 2023-09-16 18:35:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 18:36:39 +0200 | <haskellbridge> | <hyiltiz> Y |
| 2023-09-16 18:38:13 +0200 | <haskellbridge> | <hyiltiz> (testing IRC connection) |
| 2023-09-16 18:41:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-16 18:42:03 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Server closed connection) |
| 2023-09-16 18:42:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 18:42:31 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2023-09-16 18:43:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-16 18:43:22 +0200 | <glguy> | Hi |
| 2023-09-16 18:43:35 +0200 | <geekosaur> | œ |
| 2023-09-16 18:44:36 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::5dd0) |
| 2023-09-16 18:45:19 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 264 seconds) |
| 2023-09-16 18:45:20 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::5dd0) (Client Quit) |
| 2023-09-16 18:47:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-16 18:48:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Read error: Connection reset by peer) |
| 2023-09-16 18:49:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds) |
| 2023-09-16 18:50:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 18:52:22 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-16 18:53:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 18:56:21 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:70fa:7d68:a5ab:16c9) |
| 2023-09-16 18:56:37 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-16 18:56:37 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-16 18:56:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-16 18:56:38 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 18:58:05 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-16 18:58:10 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 18:58:12 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-09-16 19:01:34 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:70fa:7d68:a5ab:16c9) (Ping timeout: 258 seconds) |
| 2023-09-16 19:02:44 +0200 | mokrates` | (~user@2a04:4540:710a:3500:7929:eb1e:dadd:7209) |
| 2023-09-16 19:05:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-16 19:08:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 19:09:46 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-16 19:10:44 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 19:11:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-16 19:18:09 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 19:19:07 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 19:20:43 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 264 seconds) |
| 2023-09-16 19:24:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 19:24:43 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 19:27:52 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-16 19:28:50 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-16 19:30:33 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-16 19:32:26 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 19:37:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Remote host closed the connection) |
| 2023-09-16 19:39:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 19:39:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 19:40:43 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 19:41:38 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-16 19:43:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 19:44:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-16 19:46:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 19:47:03 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-09-16 19:50:27 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-16 19:52:06 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 19:52:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 19:54:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 20:00:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-09-16 20:02:44 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-16 20:02:52 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 20:06:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Read error: Connection reset by peer) |
| 2023-09-16 20:07:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 20:10:18 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 20:13:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 20:17:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 20:19:21 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-16 20:20:28 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 20:26:17 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 20:31:59 +0200 | <tomsmeding> | monochrom: that's precisely what I got, hence my confusion |
| 2023-09-16 20:32:27 +0200 | <tomsmeding> | and actually, both diagnostics are correct! |
| 2023-09-16 20:32:55 +0200 | <tomsmeding> | a VTop + IZ/IS pattern match is _indeed_ inaccessible, because forcing the Idx gives you an absurd situation |
| 2023-09-16 20:33:45 +0200 | <tomsmeding> | hm, though it's questionable whether the "inexhaustive" warning is actually accurate |
| 2023-09-16 20:33:51 +0200 | <tomsmeding> | at the very least it could have more nuance |
| 2023-09-16 20:36:55 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-16 20:38:05 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-09-16 20:39:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Remote host closed the connection) |
| 2023-09-16 20:40:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds) |
| 2023-09-16 20:40:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 20:44:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 20:45:53 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-16 20:48:47 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 20:52:51 +0200 | minnu | (~minnu@183.82.124.94) |
| 2023-09-16 20:53:12 +0200 | <minnu> | can you help me in solving this code in haskell |
| 2023-09-16 20:54:50 +0200 | minnu | (~minnu@183.82.124.94) (Remote host closed the connection) |
| 2023-09-16 20:55:54 +0200 | <juri_> | not now. |
| 2023-09-16 20:58:06 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-16 20:59:03 +0200 | privacy | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-16 21:02:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) |
| 2023-09-16 21:03:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 21:07:05 +0200 | kimiamania4 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-09-16 21:08:00 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.0.4) |
| 2023-09-16 21:08:50 +0200 | kimiamania4 | (~65804703@user/kimiamania) |
| 2023-09-16 21:08:52 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-09-16 21:11:17 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-16 21:11:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 21:20:09 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-09-16 21:22:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40) (Remote host closed the connection) |
| 2023-09-16 21:23:30 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-16 21:23:50 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-16 21:24:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-16 21:25:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 21:26:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 21:27:08 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-16 21:27:12 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-16 21:29:17 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-16 21:30:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-09-16 21:30:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-09-16 21:31:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 21:32:47 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 21:33:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c97a:3c5d:5749:b4bf) |
| 2023-09-16 21:35:03 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-16 21:36:53 +0200 | <tomsmeding> | indeed, because they already left |
| 2023-09-16 21:38:08 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-16 21:38:54 +0200 | <geekosaur> | waited perhaps a minute for someone to do their homework for them? |
| 2023-09-16 21:39:49 +0200 | <tomsmeding> | you know what, there's a charitable take as well: perhaps they already figured it out themselves |
| 2023-09-16 21:40:01 +0200 | <tomsmeding> | though I admit that this is exceedingly unlikely |
| 2023-09-16 21:42:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 21:43:51 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E0051D850F4089BD101.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-09-16 21:46:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 21:51:03 +0200 | anderson | (~anderson@user/anderson) (Server closed connection) |
| 2023-09-16 21:51:56 +0200 | drdo3 | (~drdo@2a0b:b800:2:31e6::1) |
| 2023-09-16 21:53:54 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 21:54:01 +0200 | lilata | (~lilata@137.184.4.49) (Quit: bye) |
| 2023-09-16 21:54:21 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-16 22:00:50 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-16 22:00:58 +0200 | <monochrom> | I'm pessimistic and cynical, so my take is that they asked on multiple platforms and they got what they wanted elsewhere. |
| 2023-09-16 22:01:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c97a:3c5d:5749:b4bf) (Quit: WeeChat 2.8) |
| 2023-09-16 22:01:18 +0200 | <monochrom> | They deeply understand async's race function. >:D |
| 2023-09-16 22:04:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-16 22:07:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 22:12:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 22:13:20 +0200 | <hpc> | that reminds me, next year is the 9000th day of september |
| 2023-09-16 22:14:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-16 22:14:54 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 22:16:09 +0200 | <tomsmeding> | > 2024 - 9000 / 365 |
| 2023-09-16 22:16:10 +0200 | <lambdabot> | 1999.3424657534247 |
| 2023-09-16 22:16:51 +0200 | <hpc> | hmm nope, i was off by a bit |
| 2023-09-16 22:17:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-16 22:17:49 +0200 | <hpc> | ... or i didn't read the date on this SO thing correctly |
| 2023-09-16 22:18:05 +0200 | tomsmeding | . o O ( https://en.wikipedia.org/wiki/Eternal_September#Legacy ) |
| 2023-09-16 22:18:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-09-16 22:20:51 +0200 | <hpc> | the 90s will always be less than 10 years ago in my brain |
| 2023-09-16 22:21:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-09-16 22:21:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 22:24:15 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-16 22:24:18 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-09-16 22:27:09 +0200 | lilata | (~lilata@static.5.54.140.128.clients.your-server.de) |
| 2023-09-16 22:28:06 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 22:28:28 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 22:29:51 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-09-16 22:30:25 +0200 | lilata | (~lilata@static.5.54.140.128.clients.your-server.de) (Client Quit) |
| 2023-09-16 22:30:45 +0200 | lilata | (~lilata@static.5.54.140.128.clients.your-server.de) |
| 2023-09-16 22:32:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-16 22:33:46 +0200 | <mauke> | 19123 |
| 2023-09-16 22:34:20 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 22:35:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 22:37:10 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-16 22:38:13 +0200 | drdo3 | (~drdo@2a0b:b800:2:31e6::1) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-16 22:38:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-16 22:42:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-09-16 22:49:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 22:49:44 +0200 | drdo3 | (~drdo@2a0b:b800:2:31e6::1) |
| 2023-09-16 22:52:00 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-16 22:52:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-16 22:54:44 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 22:54:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-16 22:54:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-16 22:56:58 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 22:57:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-16 22:58:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 23:03:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-16 23:06:08 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-16 23:06:38 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-16 23:07:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-16 23:10:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 23:12:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-16 23:16:05 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-09-16 23:17:11 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-16 23:17:42 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 23:20:31 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-16 23:20:32 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-16 23:20:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-16 23:25:03 +0200 | acidjnk | (~acidjnk@p200300d6e7072f37b48d3c7fb24d2df4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-16 23:26:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-16 23:27:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-16 23:28:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-16 23:31:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-16 23:34:30 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 258 seconds) |
| 2023-09-16 23:34:31 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-09-16 23:34:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-16 23:35:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-16 23:39:08 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-16 23:40:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-16 23:40:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-16 23:41:37 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-09-16 23:42:55 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 264 seconds) |
| 2023-09-16 23:43:53 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-16 23:44:05 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2023-09-16 23:44:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-16 23:44:37 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-16 23:45:03 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-09-16 23:46:01 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-16 23:50:58 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Quit: Gone.) |
| 2023-09-16 23:52:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-16 23:55:00 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-09-16 23:59:55 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |