| 2023-09-01 00:00:47 +0000 | son0p | (~ff@152.203.98.110) |
| 2023-09-01 00:04:07 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-01 00:04:29 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-01 00:06:04 +0000 | ursa-major | (~ursa-majo@136.29.34.240) (Ping timeout: 248 seconds) |
| 2023-09-01 00:06:51 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-01 00:07:03 +0000 | ursa-major | (~ursa-majo@static-198-44-128-214.cust.tzulo.com) |
| 2023-09-01 00:14:47 +0000 | pavonia | (~user@user/siracusa) |
| 2023-09-01 00:20:05 +0000 | Me-me | (~Me-me@user/me-me) |
| 2023-09-01 00:23:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 00:28:41 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-01 00:29:05 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-01 00:34:42 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 00:37:39 +0000 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-01 00:45:36 +0000 | danza__ | (~francesco@151.47.225.3) |
| 2023-09-01 00:48:10 +0000 | danza_ | (~francesco@151.43.252.134) (Ping timeout: 255 seconds) |
| 2023-09-01 00:48:30 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 00:52:09 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-01 00:53:07 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-01 00:55:32 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-01 00:59:46 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) |
| 2023-09-01 01:00:20 +0000 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-01 01:02:07 +0000 | zincy | (~tom@2a00:23c8:970c:4801:457a:3a02:3800:f74e) (Ping timeout: 246 seconds) |
| 2023-09-01 01:08:16 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 2023-09-01 01:09:21 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-01 01:11:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-01 01:11:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-09-01 01:17:10 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-09-01 01:19:41 +0000 | malte | (~malte@mal.tc) (Ping timeout: 244 seconds) |
| 2023-09-01 01:22:29 +0000 | malte | (~malte@mal.tc) |
| 2023-09-01 01:24:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 01:25:54 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::4) |
| 2023-09-01 01:25:54 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-01 01:28:48 +0000 | <hololeap> | I have a function: showEBuild :: TC.UTCTime -> EBuild -> String |
| 2023-09-01 01:29:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-01 01:29:45 +0000 | <hololeap> | I'm trying to reimplement it with something that uses Text internally, and I'm wondering if it's worth it to change the return type here, since it's just getting written to a file immediatley afterward |
| 2023-09-01 01:30:25 +0000 | <glguy> | not making the String and writing the Text straight to a file is probably better |
| 2023-09-01 01:30:35 +0000 | <geekosaur> | ^ |
| 2023-09-01 01:30:53 +0000 | <geekosaur> | unloess there's some chance that creating the String can stream with consumption/writing |
| 2023-09-01 01:30:59 +0000 | <hololeap> | ok, I want to take your word for it, but why: |
| 2023-09-01 01:31:01 +0000 | <hololeap> | ? |
| 2023-09-01 01:31:03 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 01:31:09 +0000 | <geekosaur> | because String is really slow |
| 2023-09-01 01:31:15 +0000 | <geekosaur> | and wasteful |
| 2023-09-01 01:33:04 +0000 | <hololeap> | so, if the Text is getting converted to [Char], and the [Char] is only being enumerated in order to write to a file, wouldn't laziness make this a pretty negligable cost? |
| 2023-09-01 01:34:14 +0000 | <glguy> | unless the file is big it probably won't matter |
| 2023-09-01 01:34:16 +0000 | <geekosaur> | conversion to [Char] is still relatively expensive because each character is expanded to word size only to be truncated again by the output routines (assuming the majority of its content is in the ASCII range) |
| 2023-09-01 01:34:27 +0000 | <glguy> | but it's a bunch of extra allocations using String |
| 2023-09-01 01:34:53 +0000 | <geekosaur> | and String is remarkably wasteful, it's like 48 bytes per character |
| 2023-09-01 01:35:08 +0000 | <hololeap> | hm, ok. just checking |
| 2023-09-01 01:35:25 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-01 01:36:04 +0000 | <geekosaur> | especially with text 2.x and (default) utf-8 output, the Text can be output pretty much directly as is |
| 2023-09-01 01:37:40 +0000 | <hololeap> | fair enough. these files are maybe 5000 bytes so it probably won't change much in this case, but it sounds like Text is much better |
| 2023-09-01 01:38:19 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-01 01:46:21 +0000 | mima | (~mmh@net-93-148-95-167.cust.vodafonedsl.it) (Ping timeout: 248 seconds) |
| 2023-09-01 01:47:24 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-01 01:51:02 +0000 | <EvanR> | imagine how many conlang scripts you can support with 48 bytes per char though |
| 2023-09-01 01:51:51 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 01:53:06 +0000 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2023-09-01 01:53:17 +0000 | otto_s | (~user@p5de2fd75.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-01 01:53:17 +0000 | <int-e> | Isn't it 40 though; two tags, two pointers, one word for the actual character, as long as the characters aren't shared... |
| 2023-09-01 01:53:38 +0000 | <EvanR> | which I heard they can be |
| 2023-09-01 01:53:52 +0000 | <int-e> | sometimes they are shared |
| 2023-09-01 01:54:00 +0000 | <int-e> | it's hard to predict :) |
| 2023-09-01 01:54:56 +0000 | <int-e> | EvanR: I mentioned some of the dirty details last week, no need to go into that again :) |
| 2023-09-01 01:55:03 +0000 | otto_s | (~user@p5b044a56.dip0.t-ipconnect.de) |
| 2023-09-01 01:56:07 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-01 02:00:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-09-01 02:00:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) |
| 2023-09-01 02:02:15 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.222) |
| 2023-09-01 02:03:58 +0000 | <monochrom> | Char is 2 words when unshared. It is a boxed type, too. |
| 2023-09-01 02:04:31 +0000 | <EvanR> | 2 words: Boxed. Type. |
| 2023-09-01 02:04:32 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 245 seconds) |
| 2023-09-01 02:04:35 +0000 | <monochrom> | Haha |
| 2023-09-01 02:04:51 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::4) (Remote host closed the connection) |
| 2023-09-01 02:04:59 +0000 | <monochrom> | And don't forget that copying GC means double buffering so there is one extra 2x factor. |
| 2023-09-01 02:13:16 +0000 | <monochrom> | LInked lists and binary trees are expensive in any language. 50-70% of space is for storing infrastructures such as pointers and local sizes. |
| 2023-09-01 02:15:54 +0000 | Square2 | (~Square4@user/square) |
| 2023-09-01 02:16:17 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-09-01 02:17:38 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 02:18:16 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-09-01 02:19:17 +0000 | <wroathe> | Hey guys, so FlexibleInstances implies TypeSynonymInstances, but when I use them I get this: https://gist.github.com/JustinChristensen/5f2e64a1cc4bd689f21eee95555b9290 . Why does this happen? |
| 2023-09-01 02:21:19 +0000 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 255 seconds) |
| 2023-09-01 02:23:05 +0000 | td_ | (~td@i5387091C.versanet.de) |
| 2023-09-01 02:25:33 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 02:26:15 +0000 | <probie> | wroathe: It's letting you use a type synonym in the instance head, but once it unfolds that synonym it's getting `instance KnownSymbol b => FooClass a` |
| 2023-09-01 02:26:42 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.172) |
| 2023-09-01 02:27:01 +0000 | <wroathe> | Why doesn't the first one work? |
| 2023-09-01 02:27:31 +0000 | <wroathe> | i.e. why is it demanding that I specify b should be an instance of KnownSymbol when I've already declared that type variable to have kind Symbol? |
| 2023-09-01 02:28:24 +0000 | Alex_test | (~al_test@178.34.160.174) (Ping timeout: 244 seconds) |
| 2023-09-01 02:29:53 +0000 | <probie> | Firstly, not all `Symbol`s are instance of `KnownSymbol`, secondly I don't think that the `b` in the body of the definition is in any way related to the `b` in `FooType a b` |
| 2023-09-01 02:29:57 +0000 | AlexZenon | (~alzenon@178.34.160.174) (Ping timeout: 244 seconds) |
| 2023-09-01 02:30:05 +0000 | AlexNoo | (~AlexNoo@178.34.160.174) (Ping timeout: 245 seconds) |
| 2023-09-01 02:30:08 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-01 02:30:19 +0000 | <wroathe> | I thought that latter part was enabled by ScopedTypeVariables |
| 2023-09-01 02:31:09 +0000 | <probie> | `TypeSynonymInstances` is not magic, it just means that it doesn't reject instances written using type synonyms. So you can do something like `type Point a = (a, a); instance Foo (Point a) where` and it will know you mean `instance Foo (a, a) where` instead of rejecting it |
| 2023-09-01 02:32:09 +0000 | <probie> | So as far as GHC is concerned, you're trying to define `instance FooClass a where foo = symbolVal (Proxy :: Proxy b)` |
| 2023-09-01 02:32:10 +0000 | <wroathe> | So essentially you're saying that TypeSynonymInstances doesn't work with ScopedTypeVariables |
| 2023-09-01 02:32:28 +0000 | <wroathe> | In this case, anyway |
| 2023-09-01 02:32:57 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-01 02:32:57 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-01 02:32:57 +0000 | finn_elija | FinnElija |
| 2023-09-01 02:32:59 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-01 02:33:51 +0000 | Alex_test | (~al_test@178.34.160.172) |
| 2023-09-01 02:34:42 +0000 | <wroathe> | I suppose with phantom type parameters on the type synonyms |
| 2023-09-01 02:35:02 +0000 | xff0x | (~xff0x@2405:6580:b080:900:eead:bb9a:e028:3953) (Ping timeout: 246 seconds) |
| 2023-09-01 02:35:28 +0000 | Lears | (~Leary]@user/Leary/x-0910699) |
| 2023-09-01 02:36:02 +0000 | AlexZenon | (~alzenon@178.34.160.172) |
| 2023-09-01 02:36:38 +0000 | <probie> | It works if the parameters are still there once the type synonym is unfolded |
| 2023-09-01 02:36:57 +0000 | <probie> | e.g. https://play.haskell.org/saved/Bd5dPSsP |
| 2023-09-01 02:37:00 +0000 | <wroathe> | Ah, I see |
| 2023-09-01 02:37:32 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 248 seconds) |
| 2023-09-01 02:39:36 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-09-01 02:39:55 +0000 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-09-01 02:42:37 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.222) (Quit: Leaving) |
| 2023-09-01 02:51:08 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds) |
| 2023-09-01 02:52:09 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-09-01 02:59:48 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 03:00:07 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-01 03:06:25 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-01 03:17:23 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-09-01 03:18:55 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-01 03:19:05 +0000 | arahael | (~arahael@1.145.73.40) |
| 2023-09-01 03:20:47 +0000 | razetime | (~quassel@49.207.192.55) |
| 2023-09-01 03:21:55 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 03:22:02 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-09-01 03:23:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-09-01 03:24:55 +0000 | aforemny | (~aforemny@i59F516DB.versanet.de) |
| 2023-09-01 03:25:05 +0000 | aforemny_ | (~aforemny@i59F516DD.versanet.de) (Ping timeout: 246 seconds) |
| 2023-09-01 03:28:56 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 03:30:10 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-09-01 03:30:21 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-09-01 03:31:11 +0000 | arahael | (~arahael@1.145.73.40) (Ping timeout: 246 seconds) |
| 2023-09-01 03:31:13 +0000 | puke | (~puke@user/puke) |
| 2023-09-01 03:31:19 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 03:31:59 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-01 03:33:29 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-01 03:48:50 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-01 04:13:58 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 04:17:48 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-09-01 04:20:03 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-01 04:23:58 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-09-01 04:24:43 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-09-01 04:25:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-01 04:26:28 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-01 04:26:52 +0000 | shapr | (~user@2600:1700:c640:3100:3675:4cc6:3e07:2d29) (Ping timeout: 248 seconds) |
| 2023-09-01 04:27:29 +0000 | califax | (~califax@user/califx) |
| 2023-09-01 04:38:01 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-09-01 04:38:17 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-09-01 04:38:31 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-01 04:45:26 +0000 | danza__ | (~francesco@151.47.225.3) (Read error: Connection reset by peer) |
| 2023-09-01 04:45:34 +0000 | danza__ | (~francesco@151.47.253.201) |
| 2023-09-01 04:47:03 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-09-01 04:53:32 +0000 | acidjnk | (~acidjnk@p200300d6e7072f6224e9f62f062fe3b9.dip0.t-ipconnect.de) |
| 2023-09-01 05:00:14 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-09-01 05:07:17 +0000 | razetime | (~quassel@49.207.192.55) (Ping timeout: 246 seconds) |
| 2023-09-01 05:15:41 +0000 | razetime | (~quassel@49.207.192.55) |
| 2023-09-01 05:15:44 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 05:15:47 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 05:20:26 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-01 05:30:24 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-01 05:33:28 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-01 05:42:19 +0000 | Square | (~Square@user/square) |
| 2023-09-01 05:45:29 +0000 | <Square> | When in GHCI, can one, when issuing ":load file.hs" get rid of the error: "These modules are needed for compilation but not listed in your .cabal file's other-modules:" |
| 2023-09-01 05:46:06 +0000 | <Square> | ...They are specified in .cabal file. |
| 2023-09-01 05:46:31 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 05:48:35 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-09-01 05:48:46 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 255 seconds) |
| 2023-09-01 05:50:20 +0000 | razetime | (~quassel@49.207.192.55) (Ping timeout: 246 seconds) |
| 2023-09-01 05:50:41 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-01 05:54:52 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-09-01 05:55:22 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 06:00:45 +0000 | <jackdk> | Try `cabal repl` instead of invoking `ghci` directly? |
| 2023-09-01 06:00:55 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-09-01 06:01:17 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-09-01 06:01:17 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2023-09-01 06:01:17 +0000 | jinsun_ | jinsun |
| 2023-09-01 06:01:18 +0000 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) |
| 2023-09-01 06:01:26 +0000 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2023-09-01 06:01:36 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-09-01 06:01:37 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2023-09-01 06:01:37 +0000 | Feuermagier_ | Feuermagier |
| 2023-09-01 06:01:37 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-09-01 06:01:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-01 06:01:43 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-09-01 06:01:44 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-09-01 06:01:53 +0000 | pavonia | (~user@user/siracusa) |
| 2023-09-01 06:01:56 +0000 | fserucas__ | (~fserucas@89.214.155.193) |
| 2023-09-01 06:01:59 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) (Remote host closed the connection) |
| 2023-09-01 06:02:06 +0000 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-09-01 06:02:07 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) |
| 2023-09-01 06:02:10 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-09-01 06:02:59 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-09-01 06:03:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Ping timeout: 246 seconds) |
| 2023-09-01 06:03:38 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-09-01 06:03:59 +0000 | fserucas_ | (~fserucas@89.214.155.193) (Ping timeout: 246 seconds) |
| 2023-09-01 06:04:27 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 06:11:32 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 06:15:58 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-09-01 06:17:10 +0000 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-09-01 06:17:27 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-09-01 06:17:39 +0000 | fserucas_ | (~fserucas@89.214.155.193) |
| 2023-09-01 06:18:08 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-01 06:18:11 +0000 | fr33domlover8 | (~fr33domlo@towards.vision) |
| 2023-09-01 06:18:24 +0000 | hdggxin_ | (~hdggxin@122.175.41.19) |
| 2023-09-01 06:19:24 +0000 | Simikando_ | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 06:19:37 +0000 | gawen_ | (~gawen@user/gawen) |
| 2023-09-01 06:21:24 +0000 | dove_ | (~irc@2600:3c00:e000:287::1) |
| 2023-09-01 06:21:26 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-01 06:21:28 +0000 | kjak_ | (~kjak@pool-108-28-157-148.washdc.fios.verizon.net) |
| 2023-09-01 06:21:33 +0000 | hrberg_ | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-09-01 06:21:37 +0000 | masterbu1lder | (~masterbui@user/masterbuilder) |
| 2023-09-01 06:22:59 +0000 | hyvoid1 | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-09-01 06:23:11 +0000 | kitzman_ | (~kitzman@user/dekenevs) |
| 2023-09-01 06:23:14 +0000 | manwithluck | (manwithluc@2406:da14:5ea:e400:7863:dbc1:6a84:3050) |
| 2023-09-01 06:24:15 +0000 | Alex_test_ | (~al_test@178.34.160.172) |
| 2023-09-01 06:24:59 +0000 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) |
| 2023-09-01 06:25:54 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | fserucas__ | (~fserucas@89.214.155.193) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | hdggxin | (~hdggxin@122.175.41.19) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | Alex_test | (~al_test@178.34.160.172) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | qqq | (~qqq@92.43.167.61) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | masterbuilder | (~masterbui@user/masterbuilder) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | kjak | (~kjak@pool-108-28-157-148.washdc.fios.verizon.net) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | kitzman | (~kitzman@user/dekenevs) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | manwithl- | (manwithluc@ec2-52-197-234-151.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | dove | (~irc@2600:3c00:e000:287::1) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2023-09-01 06:25:54 +0000 | fr33domlover8 | fr33domlover |
| 2023-09-01 06:26:35 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-01 06:27:46 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: updating) |
| 2023-09-01 06:28:13 +0000 | qqq | (~qqq@92.43.167.61) |
| 2023-09-01 06:37:31 +0000 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-09-01 06:38:48 +0000 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
| 2023-09-01 06:39:31 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-09-01 06:40:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 06:45:02 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 06:50:27 +0000 | <Square> | Man, I love Free monads. They're powerful with GADTs. |
| 2023-09-01 06:58:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6317:fe5f:2291:c931) |
| 2023-09-01 07:00:42 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 07:01:04 +0000 | shailangsa_ | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-09-01 07:02:47 +0000 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection) |
| 2023-09-01 07:04:17 +0000 | apteryx | (~maxim@dsl-10-128-23.b2b2c.ca) (Ping timeout: 246 seconds) |
| 2023-09-01 07:06:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-09-01 07:06:50 +0000 | <Square> | Iirc, there is some file haskell like file type (with its own file suffix) that can contain code woven into documentation, but after compilation code parts get cleaned up and gets compiled |
| 2023-09-01 07:10:57 +0000 | <mauke> | literate haskell? |
| 2023-09-01 07:11:50 +0000 | <Square> | mauke, thats it. ".lhs" |
| 2023-09-01 07:11:53 +0000 | <Square> | thanks |
| 2023-09-01 07:14:05 +0000 | Simikando_ | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-01 07:15:30 +0000 | kenran | (~user@user/kenran) |
| 2023-09-01 07:17:02 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-01 07:17:24 +0000 | <kenran> | our client is obsessed with "freeing unused memory" when they're deploying their apps, and of course our Haskell app uses as much as it can get its hands on :) a colleague mentioned he found an option (a newer one, I think he said from GHC 9 on) that controls the runtime to more aggressively reduce the used heap size, but I just cannot find it |
| 2023-09-01 07:17:31 +0000 | apteryx | (~maxim@dsl-154-228.b2b2c.ca) |
| 2023-09-01 07:17:37 +0000 | <kenran> | do you know what rts option could be meant? |
| 2023-09-01 07:19:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-01 07:19:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-01 07:19:26 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-01 07:19:30 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-09-01 07:20:52 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 07:21:51 +0000 | ubert | (~Thunderbi@91.141.56.232.wireless.dyn.drei.com) |
| 2023-09-01 07:22:34 +0000 | crazazy | (~user@130.89.171.133) |
| 2023-09-01 07:23:25 +0000 | <lortabac> | kenran: maybe --disable-delayed-os-memory-return |
| 2023-09-01 07:23:33 +0000 | <lortabac> | https://downloads.haskell.org/ghc/latest/docs/users_guide/runtime_control.html#rts-flag---disable-… |
| 2023-09-01 07:25:20 +0000 | <kenran> | lortabac: thank you! this might be it. I was looking under the gc options so did not see this |
| 2023-09-01 07:25:36 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-09-01 07:26:22 +0000 | <lortabac> | kenran: it doesn't reduce memory usage, but there may have been a misunderstanding with your colleague |
| 2023-09-01 07:27:06 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-01 07:28:12 +0000 | <kenran> | lortabac: yeah, there well might have been |
| 2023-09-01 07:29:01 +0000 | <kenran> | I'm also not sure what the client really wants... they have the expectation that after some costly operations are "done", the memory usage they see (through a couple of layers, like docker) goes down quickly |
| 2023-09-01 07:29:39 +0000 | <lortabac> | then I think this is the right option |
| 2023-09-01 07:29:41 +0000 | <kenran> | yeah |
| 2023-09-01 07:30:05 +0000 | <lortabac> | we use it at work to make monitoring more accurate |
| 2023-09-01 07:30:37 +0000 | <kenran> | ahh, then it really is exactly what they/we want |
| 2023-09-01 07:30:40 +0000 | <kenran> | thanks again :) |
| 2023-09-01 07:31:10 +0000 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) |
| 2023-09-01 07:31:31 +0000 | <kenran> | I haven't experimented with any RTS options so far, except for -N and (due to their tiny machines) -M |
| 2023-09-01 07:31:46 +0000 | <lortabac> | the doc says it makes the program slower, but we didn't see any significant difference in performance |
| 2023-09-01 07:32:19 +0000 | <kenran> | so if I wish to have this option be the default, I have to "bake" it into my programs at compile time with -with-rtsopts instead of setting it on every executable, right? |
| 2023-09-01 07:32:23 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 07:32:31 +0000 | <lortabac> | yes |
| 2023-09-01 07:32:32 +0000 | Simikando_ | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 07:32:53 +0000 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 246 seconds) |
| 2023-09-01 07:33:08 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-09-01 07:34:25 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-01 07:35:03 +0000 | <kenran> | how do I know I set it correctly? :D is the only way by inspecting cabal logs, or is there some sort of test I can perform? |
| 2023-09-01 07:35:18 +0000 | Simikando_ | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit) |
| 2023-09-01 07:35:42 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 07:36:46 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-01 07:39:06 +0000 | <lortabac> | kenran: I don't think there is a way to test it |
| 2023-09-01 07:39:42 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) |
| 2023-09-01 07:40:42 +0000 | mima | (~mmh@net-93-148-95-167.cust.vodafonedsl.it) |
| 2023-09-01 07:40:49 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-09-01 07:40:58 +0000 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-09-01 07:42:30 +0000 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-09-01 07:43:37 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-01 07:46:32 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-01 07:47:19 +0000 | mima | (~mmh@net-93-148-95-167.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-09-01 07:49:24 +0000 | mima | (~mmh@net-93-148-110-45.cust.dsl.teletu.it) |
| 2023-09-01 07:49:28 +0000 | <kenran> | ah, it might be a candidate to put in $GHCRTS. if I read it correctly, I would assume they are merged with whatever I set on the command line, with the command line "winning" |
| 2023-09-01 07:49:46 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-09-01 07:54:28 +0000 | hgolden__ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-09-01 07:54:36 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 07:55:05 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 07:56:08 +0000 | manwithl- | (~manwithlu@2406:da14:5ea:e400:7863:dbc1:6a84:3050) |
| 2023-09-01 07:56:31 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-09-01 07:57:08 +0000 | manwithluck | (manwithluc@2406:da14:5ea:e400:7863:dbc1:6a84:3050) (Ping timeout: 246 seconds) |
| 2023-09-01 07:58:49 +0000 | mrmr1 | (~mrmr@user/mrmr) (Ping timeout: 255 seconds) |
| 2023-09-01 07:59:03 +0000 | razetime | (~quassel@49.207.192.55) |
| 2023-09-01 08:02:32 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-09-01 08:02:34 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 08:05:33 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 08:06:12 +0000 | razetime | (~quassel@49.207.192.55) (Ping timeout: 240 seconds) |
| 2023-09-01 08:06:33 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 08:06:42 +0000 | CiaoSen | (~Jura@2a05:5800:28f:2400:664b:f0ff:fe37:9ef) |
| 2023-09-01 08:07:22 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 08:07:34 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 08:10:14 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-09-01 08:15:14 +0000 | <danza__> | kvpy |
| 2023-09-01 08:17:03 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-01 08:17:09 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 08:17:24 +0000 | <danza__> | ops sorry, something fell on the keyboard :P |
| 2023-09-01 08:20:15 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 08:20:21 +0000 | ft | (~ft@p508db658.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-01 08:21:10 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 08:21:39 +0000 | Melon | (~Melon@2a0a-a547-158e-1-665e-17dd-7fc8-2789.ipv6dyn.netcologne.de) |
| 2023-09-01 08:21:49 +0000 | <tomsmeding> | how do you get kvpy with something falling on the keyboard |
| 2023-09-01 08:22:03 +0000 | Melon | Guest4684 |
| 2023-09-01 08:22:05 +0000 | <tomsmeding> | kvpy<enter>, no less |
| 2023-09-01 08:22:39 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 08:22:48 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 08:22:50 +0000 | Guest4684 | MelonScent |
| 2023-09-01 08:23:48 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-09-01 08:23:56 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-09-01 08:24:35 +0000 | danza__ | (~francesco@151.47.253.201) (Ping timeout: 250 seconds) |
| 2023-09-01 08:28:33 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-01 08:29:37 +0000 | MelonScent | (~Melon@2a0a-a547-158e-1-665e-17dd-7fc8-2789.ipv6dyn.netcologne.de) (Quit: Client closed) |
| 2023-09-01 08:31:31 +0000 | crazazy | (~user@130.89.171.133) (Ping timeout: 260 seconds) |
| 2023-09-01 08:32:07 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-01 08:33:04 +0000 | danse-nr3__ | (~francesco@151.47.253.201) |
| 2023-09-01 08:34:03 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-01 08:35:27 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 08:39:05 +0000 | justache | reddit-bot |
| 2023-09-01 08:39:12 +0000 | reddit-bot | justache |
| 2023-09-01 08:39:31 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-09-01 08:41:17 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-09-01 08:43:50 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-01 08:44:01 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-09-01 08:45:00 +0000 | danse-nr3__ | (~francesco@151.47.253.201) (Read error: Connection reset by peer) |
| 2023-09-01 08:45:19 +0000 | danse-nr3__ | (~francesco@151.47.255.90) |
| 2023-09-01 08:46:44 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 258 seconds) |
| 2023-09-01 08:48:38 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2023-09-01 08:55:43 +0000 | razetime | (~quassel@49.207.192.55) |
| 2023-09-01 08:58:09 +0000 | mrmr1 | (~mrmr@user/mrmr) |
| 2023-09-01 08:58:21 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-09-01 09:08:45 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-01 09:09:48 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-01 09:10:29 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-09-01 09:12:55 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 09:13:41 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 245 seconds) |
| 2023-09-01 09:15:31 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 09:17:33 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 09:18:01 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-01 09:22:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-09-01 09:24:08 +0000 | patrl | (~patrl@user/patrl) |
| 2023-09-01 09:26:52 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-01 09:28:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-09-01 09:28:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-01 09:30:42 +0000 | patrl | (~patrl@user/patrl) (Quit: WeeChat 3.8) |
| 2023-09-01 09:31:12 +0000 | son0p | (~ff@152.203.98.110) (Ping timeout: 240 seconds) |
| 2023-09-01 09:37:06 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-01 09:48:52 +0000 | mima | (~mmh@net-93-148-110-45.cust.dsl.teletu.it) (Ping timeout: 240 seconds) |
| 2023-09-01 09:49:58 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 09:50:57 +0000 | mima | (~mmh@net-2-38-141-119.cust.vodafonedsl.it) |
| 2023-09-01 09:54:31 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 09:55:13 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit) |
| 2023-09-01 09:55:35 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 09:55:56 +0000 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Ping timeout: 248 seconds) |
| 2023-09-01 09:56:47 +0000 | mmhat | (~mmh@p200300f1c70419dcee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-01 09:56:58 +0000 | mmhat | (~mmh@p200300f1c70419dcee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-01 09:58:33 +0000 | <danse-nr3__> | i recall reading about a class that was somewhat the opposite of a functor, but i don't think it was a contrafunctor ... which other options are there? |
| 2023-09-01 09:59:13 +0000 | driib | (~driib@176.57.184.141) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-01 09:59:55 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-09-01 10:01:08 +0000 | <ncf> | not sure there are any others |
| 2023-09-01 10:02:42 +0000 | <danse-nr3__> | right i cannot find anything else... |
| 2023-09-01 10:04:05 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-01 10:04:49 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 255 seconds) |
| 2023-09-01 10:05:26 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-09-01 10:07:17 +0000 | <danse-nr3__> | oh yes, that was it, found the link. Cheers |
| 2023-09-01 10:07:37 +0000 | _________ | (~nobody@user/noodly) (Quit: leaving) |
| 2023-09-01 10:07:57 +0000 | patrl | (~patrl@user/patrl) |
| 2023-09-01 10:09:18 +0000 | _________ | (~nobody@user/noodly) |
| 2023-09-01 10:13:14 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 10:17:44 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-01 10:20:51 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:21:27 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 10:21:45 +0000 | robosexual | (~spaceoyst@5.165.11.54) |
| 2023-09-01 10:22:05 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:22:05 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 10:22:20 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:22:57 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 10:23:07 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:23:31 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-01 10:24:22 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 10:25:05 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 10:27:10 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 10:27:46 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-01 10:28:46 +0000 | mima | (~mmh@net-2-38-141-119.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2023-09-01 10:29:15 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 10:29:27 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:33:50 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 245 seconds) |
| 2023-09-01 10:35:24 +0000 | robosexual | (~spaceoyst@5.165.11.54) (Quit: Konversation terminated!) |
| 2023-09-01 10:35:24 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-09-01 10:36:29 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 10:38:13 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:41:16 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-01 10:42:37 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 255 seconds) |
| 2023-09-01 10:42:51 +0000 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-09-01 10:43:28 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 10:45:31 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-09-01 10:46:47 +0000 | _________ | (~nobody@user/noodly) (Quit: leaving) |
| 2023-09-01 10:47:48 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Ping timeout: 246 seconds) |
| 2023-09-01 10:48:12 +0000 | _________ | (~nobody@user/noodly) |
| 2023-09-01 10:48:42 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 10:49:22 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-01 10:50:01 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-09-01 10:50:49 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 10:51:24 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:52:28 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 10:53:36 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 10:53:42 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 10:53:54 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 10:58:19 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 10:58:31 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 11:01:26 +0000 | CiaoSen | (~Jura@2a05:5800:28f:2400:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-09-01 11:02:24 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-09-01 11:02:32 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 246 seconds) |
| 2023-09-01 11:02:52 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 11:09:11 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 246 seconds) |
| 2023-09-01 11:12:00 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 11:15:43 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 11:17:13 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 11:20:01 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 11:20:21 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-01 11:20:55 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 11:21:35 +0000 | patrl | (~patrl@user/patrl) (Quit: WeeChat 3.8) |
| 2023-09-01 11:22:52 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 11:23:12 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 11:23:38 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 11:25:49 +0000 | danse-nr3__ | (~francesco@151.47.255.90) (Ping timeout: 255 seconds) |
| 2023-09-01 11:30:48 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 11:31:03 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 11:32:17 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-09-01 11:34:00 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-09-01 11:39:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 11:40:55 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-01 11:41:17 +0000 | son0p | (~ff@186.121.39.74) |
| 2023-09-01 11:41:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-01 11:43:08 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-01 11:47:31 +0000 | shapr | (~user@2600:1700:c640:3100:aa8c:7c0f:a0b4:ce7c) |
| 2023-09-01 11:55:54 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-01 11:57:54 +0000 | mmarusea1ph2 | (~mihai@mihai.page) (Quit: So long and thanks for all the lambdas) |
| 2023-09-01 11:58:10 +0000 | mmaruseacph2 | (~mihai@mihai.page) |
| 2023-09-01 11:58:36 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-09-01 12:04:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 12:05:01 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 12:10:13 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-09-01 12:12:08 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-01 12:12:37 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-09-01 12:13:34 +0000 | danse-nr3__ | (~francesco@151.47.255.90) |
| 2023-09-01 12:21:01 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-01 12:24:45 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 12:24:57 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 12:25:25 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-01 12:30:53 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-09-01 12:31:09 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f9db:5513:e0b6:cbdd) |
| 2023-09-01 12:32:45 +0000 | razetime | (~quassel@49.207.192.55) (Ping timeout: 248 seconds) |
| 2023-09-01 12:37:32 +0000 | danse-nr3__ | (~francesco@151.47.255.90) (Ping timeout: 248 seconds) |
| 2023-09-01 12:37:56 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-09-01 12:38:03 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2023-09-01 12:40:45 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-01 12:43:33 +0000 | danse-nr3 | (~francesco@151.47.116.153) |
| 2023-09-01 12:43:44 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-01 12:45:16 +0000 | ubert | (~Thunderbi@91.141.56.232.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2023-09-01 12:49:02 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-01 12:49:31 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-09-01 12:49:46 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 258 seconds) |
| 2023-09-01 12:50:33 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-01 12:51:16 +0000 | AlexNoo_ | AlexNoo |
| 2023-09-01 12:52:09 +0000 | Alex_test_ | Alex_test |
| 2023-09-01 12:53:50 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2023-09-01 12:54:01 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-09-01 12:54:52 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-01 12:59:39 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-01 13:03:52 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 240 seconds) |
| 2023-09-01 13:08:09 +0000 | razetime | (~quassel@49.207.192.55) |
| 2023-09-01 13:10:16 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-01 13:15:08 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-01 13:15:28 +0000 | ubert | (~Thunderbi@91.141.56.232.wireless.dyn.drei.com) |
| 2023-09-01 13:15:36 +0000 | constexpr | (~constexpr@211.204.97.171) |
| 2023-09-01 13:18:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-01 13:18:51 +0000 | danse-nr3 | (~francesco@151.47.116.153) (Remote host closed the connection) |
| 2023-09-01 13:19:13 +0000 | danse-nr3 | (~francesco@151.47.116.153) |
| 2023-09-01 13:19:17 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 13:20:15 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-01 13:22:55 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-01 13:22:55 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-01 13:22:55 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-01 13:24:01 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-09-01 13:24:43 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-01 13:36:32 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 13:38:32 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-01 13:44:05 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-09-01 13:52:10 +0000 | fserucas__ | (~fserucas@89.214.154.211) |
| 2023-09-01 13:52:31 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-09-01 13:54:56 +0000 | fserucas_ | (~fserucas@89.214.155.193) (Ping timeout: 258 seconds) |
| 2023-09-01 13:54:58 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) (Quit: Client closed) |
| 2023-09-01 13:56:02 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 13:56:07 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-01 14:01:44 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-01 14:06:04 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 248 seconds) |
| 2023-09-01 14:07:58 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds) |
| 2023-09-01 14:08:50 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 14:11:08 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-09-01 14:12:29 +0000 | constexpr | (~constexpr@211.204.97.171) (Quit: Client closed) |
| 2023-09-01 14:12:56 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 14:19:49 +0000 | mima | (~mmh@net-2-38-141-119.cust.vodafonedsl.it) |
| 2023-09-01 14:21:27 +0000 | califax | (~califax@user/califx) (Ping timeout: 246 seconds) |
| 2023-09-01 14:22:27 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-09-01 14:22:30 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 2023-09-01 14:22:32 +0000 | califax | (~califax@user/califx) |
| 2023-09-01 14:22:51 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 246 seconds) |
| 2023-09-01 14:23:12 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-01 14:23:12 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds) |
| 2023-09-01 14:23:33 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-09-01 14:23:33 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 246 seconds) |
| 2023-09-01 14:23:34 +0000 | Me-me | (~Me-me@user/me-me) (Ping timeout: 255 seconds) |
| 2023-09-01 14:23:48 +0000 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) |
| 2023-09-01 14:24:00 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-09-01 14:25:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-01 14:25:24 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-09-01 14:27:38 +0000 | kenran | (~user@user/kenran) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-09-01 14:27:40 +0000 | hdggxin_ | (~hdggxin@122.175.41.19) (Remote host closed the connection) |
| 2023-09-01 14:28:25 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-09-01 14:33:35 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 14:35:12 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-01 14:35:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-01 14:36:41 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-01 14:42:04 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2023-09-01 14:43:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 14:46:36 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-09-01 14:46:51 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 14:48:16 +0000 | ft | (~ft@p508db658.dip0.t-ipconnect.de) |
| 2023-09-01 14:49:57 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-09-01 14:51:05 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-09-01 14:54:39 +0000 | fserucas_ | (~fserucas@89.214.146.18) |
| 2023-09-01 14:57:00 +0000 | fserucas__ | (~fserucas@89.214.154.211) (Ping timeout: 246 seconds) |
| 2023-09-01 14:58:18 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 15:03:45 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-01 15:04:09 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-01 15:04:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 15:05:50 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6317:fe5f:2291:c931) (Ping timeout: 244 seconds) |
| 2023-09-01 15:09:12 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 15:09:50 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 15:13:29 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
| 2023-09-01 15:13:31 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 255 seconds) |
| 2023-09-01 15:13:50 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 15:15:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 15:26:30 +0000 | lena64t1 | (~lena64t@gateway/tor-sasl/hck) |
| 2023-09-01 15:27:01 +0000 | Lears | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-09-01 15:27:15 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-09-01 15:29:00 +0000 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 246 seconds) |
| 2023-09-01 15:32:02 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2023-09-01 15:32:09 +0000 | lena64t1 | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 246 seconds) |
| 2023-09-01 15:34:04 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-09-01 15:38:31 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds) |
| 2023-09-01 15:39:57 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-01 15:42:04 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-09-01 15:42:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection) |
| 2023-09-01 15:42:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) |
| 2023-09-01 15:45:33 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-01 15:49:07 +0000 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-09-01 15:53:50 +0000 | ursa-major | (~ursa-majo@static-198-44-128-214.cust.tzulo.com) (Quit: WeeChat 4.0.4) |
| 2023-09-01 15:56:40 +0000 | fserucas__ | (~fserucas@89.214.152.95) |
| 2023-09-01 15:58:06 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-01 15:58:59 +0000 | fserucas_ | (~fserucas@89.214.146.18) (Ping timeout: 246 seconds) |
| 2023-09-01 15:59:22 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-09-01 15:59:52 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-01 16:00:07 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 16:07:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection) |
| 2023-09-01 16:07:58 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-01 16:15:00 +0000 | <albet70> | getValue :: m a -> a, this can be existed? |
| 2023-09-01 16:15:48 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-01 16:15:51 +0000 | <geekosaur> | not in general unless you're talking about Comonad |
| 2023-09-01 16:15:53 +0000 | <erisco> | albet70, sounds like extract from Comonad |
| 2023-09-01 16:17:08 +0000 | <geekosaur> | (and ignoring unsafePerformIO which is "unsafe" for good reason) |
| 2023-09-01 16:17:41 +0000 | <albet70> | https://twitter.com/iceland_jack/status/1697561616198341066 |
| 2023-09-01 16:17:47 +0000 | <int-e> | :t runIdentity |
| 2023-09-01 16:17:48 +0000 | <lambdabot> | Identity a -> a |
| 2023-09-01 16:18:46 +0000 | <ncf> | (that tweet is a joke, i'm fairly certain) |
| 2023-09-01 16:18:51 +0000 | <int-e> | :t fst . runWriter |
| 2023-09-01 16:18:52 +0000 | <lambdabot> | Writer b c -> c |
| 2023-09-01 16:18:53 +0000 | <erisco> | that is intended comedy right? lol |
| 2023-09-01 16:19:46 +0000 | <dolio> | What if m = Const ()? |
| 2023-09-01 16:19:54 +0000 | <dolio> | getValue :: () -> a |
| 2023-09-01 16:20:10 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-01 16:20:16 +0000 | <int-e> | ncf: but was the parent tweet a joke as well? |
| 2023-09-01 16:20:40 +0000 | <erisco> | Iceland Jack is definitely joking but I'm hoping Dillion Mulroy is too lol |
| 2023-09-01 16:20:46 +0000 | <ncf> | who knows |
| 2023-09-01 16:21:01 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-09-01 16:21:04 +0000 | <EvanR> | albet70, wasn't even asking about monads! jokes on you! |
| 2023-09-01 16:21:35 +0000 | <EvanR> | except for dolio who "gets it" |
| 2023-09-01 16:21:45 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-01 16:22:30 +0000 | ncf | . o O ( "be existed"... i guess existing is the most passive thing you can do ) |
| 2023-09-01 16:23:19 +0000 | <int-e> | . o O ( Maybe alluding to BeOS ) |
| 2023-09-01 16:23:27 +0000 | <EvanR> | merely exists - classical logic |
| 2023-09-01 16:23:32 +0000 | <EvanR> | be existed - constructive logic |
| 2023-09-01 16:23:54 +0000 | <dolio> | Const () happens to be a monad, but I did notice that it wasn't specified. |
| 2023-09-01 16:24:15 +0000 | <ncf> | is it? |
| 2023-09-01 16:24:17 +0000 | <ncf> | oh yeah |
| 2023-09-01 16:24:23 +0000 | <int-e> | monads are useless |
| 2023-09-01 16:24:36 +0000 | <dolio> | Someone was asking about it the other night. It's the monad that 'interprets every other monad'. |
| 2023-09-01 16:25:04 +0000 | <erisco> | thought that was Cont |
| 2023-09-01 16:25:25 +0000 | <dolio> | Well, that just goes to show you that people that say that don't know what they're talking about. :) |
| 2023-09-01 16:25:27 +0000 | <int-e> | type HotelCalifornia a = Const () a |
| 2023-09-01 16:25:28 +0000 | <ncf> | "interpret" in the sense of "monad homomorphism from"? |
| 2023-09-01 16:25:42 +0000 | <dolio> | Yeah. |
| 2023-09-01 16:25:46 +0000 | <ncf> | terminal monad, i guess |
| 2023-09-01 16:25:55 +0000 | <int-e> | where values go to die |
| 2023-09-01 16:26:18 +0000 | <ncf> | at least they have a pure death |
| 2023-09-01 16:26:44 +0000 | <int-e> | death without side effects? |
| 2023-09-01 16:26:52 +0000 | <int-e> | interesting concept :) |
| 2023-09-01 16:27:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-01 16:28:18 +0000 | <dolio> | 'Merely exists' is still constructive in homotopy type theory, incidentally. |
| 2023-09-01 16:28:44 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-01 16:28:55 +0000 | susul | (~susul@user/susul) |
| 2023-09-01 16:29:36 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-01 16:30:11 +0000 | qqq | (~qqq@92.43.167.61) |
| 2023-09-01 16:31:29 +0000 | <EvanR> | i also heard Cont is "the mother of all monads" |
| 2023-09-01 16:31:43 +0000 | <EvanR> | dunno if that's a different standard |
| 2023-09-01 16:31:55 +0000 | <dolio> | Yeah, I think that's pretty misleading when you actually think about it. |
| 2023-09-01 16:33:24 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-09-01 16:34:05 +0000 | <dolio> | You can say the same thing about free monads and be similarly correct. |
| 2023-09-01 16:36:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) |
| 2023-09-01 16:37:28 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 16:37:42 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 16:39:14 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 16:40:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 16:40:32 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-01 16:40:32 +0000 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Remote host closed the connection) |
| 2023-09-01 16:41:05 +0000 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-09-01 16:42:14 +0000 | danse-nr3_ | (~francesco@151.35.106.7) |
| 2023-09-01 16:42:32 +0000 | danse-nr3 | (~francesco@151.47.116.153) (Read error: Connection reset by peer) |
| 2023-09-01 16:45:32 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 16:45:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-01 16:53:49 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 16:55:55 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-01 16:58:20 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2023-09-01 17:07:38 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-01 17:10:59 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-09-01 17:11:34 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 17:11:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 17:12:57 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-09-01 17:19:45 +0000 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-01 17:21:03 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 17:23:16 +0000 | razetime | (~quassel@49.207.192.55) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-09-01 17:23:25 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 245 seconds) |
| 2023-09-01 17:23:34 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-09-01 17:25:16 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-01 17:26:22 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-01 17:27:36 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 17:30:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 17:31:35 +0000 | hyvoid1 | hyvoid |
| 2023-09-01 17:33:01 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-69.cust.tzulo.com) |
| 2023-09-01 17:34:51 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 17:37:22 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 17:41:04 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 17:43:49 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 17:44:41 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 17:46:41 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 17:47:43 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 17:49:39 +0000 | danse-nr3_ | (~francesco@151.35.106.7) (Ping timeout: 250 seconds) |
| 2023-09-01 17:50:17 +0000 | danse-nr3_ | (~francesco@151.35.106.7) |
| 2023-09-01 17:54:32 +0000 | danse-nr3_ | (~francesco@151.35.106.7) (Remote host closed the connection) |
| 2023-09-01 17:54:42 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-01 17:54:55 +0000 | danse-nr3_ | (~francesco@151.35.106.7) |
| 2023-09-01 17:59:12 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-09-01 17:59:37 +0000 | danse-nr3_ | (~francesco@151.35.106.7) (Ping timeout: 250 seconds) |
| 2023-09-01 18:00:09 +0000 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2023-09-01 18:00:24 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2023-09-01 18:00:49 +0000 | danza | (~francesco@151.35.106.7) |
| 2023-09-01 18:02:41 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:766e:7733:2fcb:45a0) |
| 2023-09-01 18:03:00 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:766e:7733:2fcb:45a0) (Client Quit) |
| 2023-09-01 18:05:02 +0000 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2023-09-01 18:05:16 +0000 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-09-01 18:07:41 +0000 | immae | (~immae@2a01:4f8:141:53e7::) (Server closed connection) |
| 2023-09-01 18:07:59 +0000 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2023-09-01 18:09:05 +0000 | mysl | (~mysl@user/mysl) (Remote host closed the connection) |
| 2023-09-01 18:09:28 +0000 | mysl | (~mysl@user/mysl) |
| 2023-09-01 18:09:35 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-09-01 18:10:45 +0000 | mysl | mysl_ |
| 2023-09-01 18:10:50 +0000 | mysl_ | mysl |
| 2023-09-01 18:10:50 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Ping timeout: 246 seconds) |
| 2023-09-01 18:11:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-01 18:11:55 +0000 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-01 18:13:21 +0000 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 2023-09-01 18:14:53 +0000 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-01 18:21:41 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 245 seconds) |
| 2023-09-01 18:22:36 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-01 18:24:31 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-01 18:26:17 +0000 | landonf | (landonf@mac68k.info) (Server closed connection) |
| 2023-09-01 18:26:32 +0000 | landonf | (landonf@mac68k.info) |
| 2023-09-01 18:27:42 +0000 | tolt | (~weechat-h@173.255.209.154) (Server closed connection) |
| 2023-09-01 18:27:59 +0000 | Guest2 | (~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de) |
| 2023-09-01 18:28:10 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2023-09-01 18:28:39 +0000 | <Guest2> | Can I short circuit a foldr where the accumulator is not a Bool but contains a Bool? |
| 2023-09-01 18:30:53 +0000 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
| 2023-09-01 18:31:06 +0000 | <Guest2> | e.g. in "foldr f (complexValue, False) [1..10]" |
| 2023-09-01 18:31:32 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) |
| 2023-09-01 18:31:38 +0000 | <davean> | I mean you can litterly insert an if statement based on the bool? |
| 2023-09-01 18:32:00 +0000 | <davean> | I think I'm confused as to the question |
| 2023-09-01 18:33:09 +0000 | <Guest2> | Maybe I made it more complicated than I needed. |
| 2023-09-01 18:33:35 +0000 | <geekosaur> | "short circuiting"is not evaluating the `y` in `\x y ->` (that is, the second parameter to `f`) |
| 2023-09-01 18:34:57 +0000 | <Guest2> | davean: It still traverses the whole list. |
| 2023-09-01 18:37:16 +0000 | <glguy> | foldr doesn't have an accumulator |
| 2023-09-01 18:37:38 +0000 | <glguy> | but if you want a short-circuit foldl you can make one with foldr and continuation passing style |
| 2023-09-01 18:38:16 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds) |
| 2023-09-01 18:39:02 +0000 | jocke-l | (jocke-l@a.x0.is) (Server closed connection) |
| 2023-09-01 18:39:07 +0000 | <Guest2> | In JavaScript I have a function with a mutable variable (i.e. the accumulator) and a for loop. If a certain condition is met I will break out of the loop and stop traversing. In Haskell if my f (in foldr f ...) starts with an if that checks the Bool it will still traverse the whole thing. |
| 2023-09-01 18:39:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 18:39:27 +0000 | jocke-l | (jocke-l@a.x0.is) |
| 2023-09-01 18:39:57 +0000 | <glguy> | > foldr (\x go acc -> if acc < 0 then acc else go (x+acc)) id [1,2,3,4] 0 |
| 2023-09-01 18:39:58 +0000 | <lambdabot> | 10 |
| 2023-09-01 18:40:03 +0000 | <glguy> | > foldr (\x go acc -> if acc < 0 then acc else go (x+acc)) id [1,2,-4,-5] 0 |
| 2023-09-01 18:40:04 +0000 | <lambdabot> | -1 |
| 2023-09-01 18:40:15 +0000 | <glguy> | that bails out as soon as the prefix-sum is negative |
| 2023-09-01 18:40:22 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 18:40:49 +0000 | <glguy> | or you can use foldM with Either if you want an early exit case |
| 2023-09-01 18:41:43 +0000 | <EvanR> | it took me a long time to internalize that what Guest2 is trying to do is foldl |
| 2023-09-01 18:42:34 +0000 | <monochrom> | Yeah the first response should be "show what actual code you have got" not try to guess the question. |
| 2023-09-01 18:44:06 +0000 | <glguy> | int-e: I think we had to use this back in 2020 https://hackage.haskell.org/package/integer-gmp-1.1/docs/GHC-Integer-GMP-Internals.html#v:gcdExtIn… |
| 2023-09-01 18:44:43 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-01 18:45:14 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
| 2023-09-01 18:46:28 +0000 | <Guest2> | monochrom: I reduced the problem to a containsDuplicate function https://paste.tomsmeding.com/vrrAb4h5 |
| 2023-09-01 18:46:31 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-09-01 18:46:40 +0000 | <EvanR> | > foldr (\x answer -> if x < 0 then 'a' else answer) 'b' ([1,2,3,-4] ++ [5..]) |
| 2023-09-01 18:46:41 +0000 | <lambdabot> | 'a' |
| 2023-09-01 18:47:11 +0000 | <EvanR> | this foldr which simply uses an if in there probably isn't going through the whole list because I made it infinite |
| 2023-09-01 18:47:19 +0000 | <int-e> | glguy: Right, that's where it was then. But the loop was simpler regardless :) |
| 2023-09-01 18:49:26 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2023-09-01 18:49:36 +0000 | <haskellbridge> | <jean-paul.> That foldr... how does it not go through the whole list? |
| 2023-09-01 18:50:13 +0000 | <EvanR> | personally I have to look at lambdabot's code for foldr! |
| 2023-09-01 18:50:16 +0000 | <EvanR> | @src foldr |
| 2023-09-01 18:50:16 +0000 | <lambdabot> | foldr f z [] = z |
| 2023-09-01 18:50:16 +0000 | <lambdabot> | foldr f z (x:xs) = f x (foldr f z xs) |
| 2023-09-01 18:50:24 +0000 | scholablade | (~scholabla@160.176.37.140) |
| 2023-09-01 18:50:51 +0000 | <haskellbridge> | <jean-paul.> ah |
| 2023-09-01 18:51:32 +0000 | <haskellbridge> | <jean-paul.> as soon as `answer` is not part of the return value of f, the result of the recursive call is not needed so not evaluated |
| 2023-09-01 18:51:45 +0000 | scholablade | (~scholabla@160.176.37.140) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2023-09-01 18:51:47 +0000 | tuxillo | (~tuxillo@217.138.218.104) |
| 2023-09-01 18:52:14 +0000 | ubert | (~Thunderbi@91.141.56.232.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2023-09-01 18:52:15 +0000 | <EvanR> | the variable answer, yeah. The actual answer, is what is returned |
| 2023-09-01 18:52:44 +0000 | <tuxillo> | hi |
| 2023-09-01 18:52:44 +0000 | <monochrom> | > foldr (&&) undefined (False : repeat True) |
| 2023-09-01 18:52:46 +0000 | <lambdabot> | False |
| 2023-09-01 18:53:27 +0000 | <tuxillo> | I'm the packager of ghc for DragonFly BSD. where can I discuss bootstrapping issues? |
| 2023-09-01 18:53:52 +0000 | Guest2 | (~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2023-09-01 18:54:01 +0000 | <[exa]> | tuxillo: partially here (higher traffic) and partially in #ghc (actual ghc devs are there) |
| 2023-09-01 18:54:10 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-09-01 18:54:17 +0000 | <geekosaur> | what kind of bootstrapping issues? |
| 2023-09-01 18:54:20 +0000 | Guest26 | (~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de) |
| 2023-09-01 18:54:32 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer) |
| 2023-09-01 18:54:50 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 18:54:50 +0000 | <tuxillo> | ok, i'll join #ghc, thanks! |
| 2023-09-01 18:55:14 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-09-01 18:55:24 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-09-01 18:55:33 +0000 | <tuxillo> | geekosaur: apparently the include search paths are not being passed during bootstrap (for ncurses headers) and I'm ending up with " fatal error: term.h: No such file or directory" |
| 2023-09-01 18:56:04 +0000 | <geekosaur> | that sounds like a #ghc question, yes |
| 2023-09-01 18:57:16 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2023-09-01 18:57:31 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2023-09-01 18:58:52 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
| 2023-09-01 18:59:01 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2023-09-01 18:59:16 +0000 | susul | (~susul@user/susul) (Quit: WeeChat 3.0) |
| 2023-09-01 19:00:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 19:01:31 +0000 | integral | (sid296274@user/integral) (Server closed connection) |
| 2023-09-01 19:01:42 +0000 | integral | (sid296274@user/integral) |
| 2023-09-01 19:02:11 +0000 | ulysses4ever | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
| 2023-09-01 19:03:06 +0000 | scholablade | (~user@160.176.37.140) |
| 2023-09-01 19:03:16 +0000 | scholabl` | (~user@160.176.37.140) |
| 2023-09-01 19:05:41 +0000 | scholabl` | (~user@160.176.37.140) (Client Quit) |
| 2023-09-01 19:05:50 +0000 | scholabl` | (~scholabla@160.176.37.140) |
| 2023-09-01 19:05:59 +0000 | scholabl` | (~scholabla@160.176.37.140) (Remote host closed the connection) |
| 2023-09-01 19:07:25 +0000 | scholabl` | (~user@160.176.37.140) |
| 2023-09-01 19:07:29 +0000 | scholabl` | (~user@160.176.37.140) (Remote host closed the connection) |
| 2023-09-01 19:07:52 +0000 | Jackneill_ | (~Jackneill@20014C4E1E04F90056592DA5D2139949.dsl.pool.telekom.hu) (Ping timeout: 245 seconds) |
| 2023-09-01 19:08:16 +0000 | scholabl` | (~user@160.176.37.140) |
| 2023-09-01 19:08:30 +0000 | scholabl` | (~user@160.176.37.140) (Remote host closed the connection) |
| 2023-09-01 19:10:01 +0000 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (Server closed connection) |
| 2023-09-01 19:10:08 +0000 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
| 2023-09-01 19:10:14 +0000 | scholabl` | (~scholabla@160.176.37.140) |
| 2023-09-01 19:10:14 +0000 | scholabl` | (~scholabla@160.176.37.140) (Remote host closed the connection) |
| 2023-09-01 19:10:26 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-09-01 19:11:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 19:12:58 +0000 | scholabl` | (~user@160.176.37.140) |
| 2023-09-01 19:19:07 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection) |
| 2023-09-01 19:25:32 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-01 19:25:45 +0000 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 2023-09-01 19:27:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 19:31:18 +0000 | <[Leary]> | Guest26: Consider using `scanl`, `zipWith` and `or` rather than `foldr`. |
| 2023-09-01 19:32:39 +0000 | tremon | (~tremon@83.80.159.219) |
| 2023-09-01 19:34:22 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) |
| 2023-09-01 19:35:52 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 255 seconds) |
| 2023-09-01 19:37:32 +0000 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-01 19:43:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 19:49:59 +0000 | Guest26 | (~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-01 19:50:00 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-01 19:50:13 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 19:58:28 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-01 19:58:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 19:58:57 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) (Remote host closed the connection) |
| 2023-09-01 19:59:45 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) |
| 2023-09-01 20:01:18 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-01 20:03:56 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 260 seconds) |
| 2023-09-01 20:05:40 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-09-01 20:05:48 +0000 | anselmschueler | (~anselmsch@user/schuelermine) () |
| 2023-09-01 20:08:29 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-09-01 20:09:14 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-09-01 20:09:44 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-01 20:11:05 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-01 20:13:35 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-69.cust.tzulo.com) (Quit: Leaving) |
| 2023-09-01 20:14:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 20:15:17 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-01 20:16:36 +0000 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) (Server closed connection) |
| 2023-09-01 20:16:50 +0000 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
| 2023-09-01 20:17:38 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 20:26:20 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-01 20:26:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 20:29:07 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Ping timeout: 250 seconds) |
| 2023-09-01 20:30:46 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection) |
| 2023-09-01 20:30:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 20:30:55 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2023-09-01 20:33:36 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2023-09-01 20:33:45 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2023-09-01 20:39:22 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-01 20:41:59 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-01 20:42:36 +0000 | danza_ | (~francesco@151.57.124.123) |
| 2023-09-01 20:42:46 +0000 | danza | (~francesco@151.35.106.7) (Read error: Connection reset by peer) |
| 2023-09-01 20:44:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 20:45:10 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 20:46:08 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-01 20:54:55 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-09-01 20:55:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 20:56:01 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-01 21:01:13 +0000 | tuxillo | (~tuxillo@217.138.218.104) (Quit: Client closed) |
| 2023-09-01 21:01:31 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-09-01 21:01:57 +0000 | kimiamania | (~67afdc47@user/kimiamania) |
| 2023-09-01 21:04:11 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 21:11:51 +0000 | idnar | (sid12240@debian/mithrandi) (Server closed connection) |
| 2023-09-01 21:11:59 +0000 | idnar | (sid12240@debian/mithrandi) |
| 2023-09-01 21:13:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 21:13:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection) |
| 2023-09-01 21:13:48 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 248 seconds) |
| 2023-09-01 21:19:47 +0000 | Square | (~Square@user/square) |
| 2023-09-01 21:21:12 +0000 | acidjnk | (~acidjnk@p200300d6e7072f6224e9f62f062fe3b9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-01 21:21:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-01 21:22:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-01 21:26:01 +0000 | mzg | (mzg@lazy.unconscious.biz) (Server closed connection) |
| 2023-09-01 21:26:08 +0000 | mzg | (mzg@lazy.unconscious.biz) |
| 2023-09-01 21:26:30 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-01 21:27:08 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-01 21:27:55 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 21:29:23 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-01 21:29:41 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-01 21:30:26 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 246 seconds) |
| 2023-09-01 21:32:32 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-01 21:32:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-01 21:36:23 +0000 | mima | (~mmh@net-2-38-141-119.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-09-01 21:39:45 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-01 21:44:34 +0000 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
| 2023-09-01 21:51:22 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) |
| 2023-09-01 21:55:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) (Ping timeout: 248 seconds) |
| 2023-09-01 22:01:09 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 22:01:10 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Remote host closed the connection) |
| 2023-09-01 22:01:26 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-01 22:01:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-01 22:01:35 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-01 22:01:46 +0000 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-01 22:03:51 +0000 | tv | (~tv@user/tv) |
| 2023-09-01 22:05:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-01 22:05:47 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-01 22:06:08 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 246 seconds) |
| 2023-09-01 22:08:31 +0000 | nadja | (~dequbed@2a01:4f8:201:34c7::1) (Server closed connection) |
| 2023-09-01 22:08:41 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2023-09-01 22:09:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) |
| 2023-09-01 22:09:45 +0000 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 246 seconds) |
| 2023-09-01 22:10:33 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 22:15:05 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-01 22:19:51 +0000 | dy | (sid3438@user/dy) (Server closed connection) |
| 2023-09-01 22:19:59 +0000 | dy | (sid3438@user/dy) |
| 2023-09-01 22:22:33 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) (Remote host closed the connection) |
| 2023-09-01 22:22:38 +0000 | tom__ | (~tom@host86-132-186-152.range86-132.btcentralplus.com) |
| 2023-09-01 22:23:38 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 246 seconds) |
| 2023-09-01 22:25:05 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-01 22:27:23 +0000 | ft | (~ft@p508db658.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-01 22:28:23 +0000 | ft | (~ft@p508db658.dip0.t-ipconnect.de) |
| 2023-09-01 22:28:32 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-09-01 22:29:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-01 22:30:01 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-01 22:33:48 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-01 22:37:03 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-01 22:37:39 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-09-01 22:38:16 +0000 | conjunctive | (sid433686@2a03:5180:f:1::6:9e16) (Server closed connection) |
| 2023-09-01 22:38:25 +0000 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) |
| 2023-09-01 22:39:07 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds) |
| 2023-09-01 22:41:28 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-01 22:42:48 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-01 22:43:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-01 22:45:15 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-01 22:51:34 +0000 | tuxillo | (~tuxillo@89.238.178.134) |
| 2023-09-01 22:52:15 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-09-01 23:03:17 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-01 23:03:22 +0000 | kjak_ | kjak |
| 2023-09-01 23:09:01 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-01 23:15:06 +0000 | astra | (sid289983@user/amish) (Server closed connection) |
| 2023-09-01 23:15:27 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2023-09-01 23:15:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-01 23:19:22 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-09-01 23:27:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-01 23:27:41 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-01 23:30:35 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-01 23:30:45 +0000 | OscarZ | (~oscarz@85.194.207.108) |
| 2023-09-01 23:31:01 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-01 23:31:48 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-01 23:33:28 +0000 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) (Changing host) |
| 2023-09-01 23:33:28 +0000 | Me-me | (~Me-me@user/me-me) |
| 2023-09-01 23:33:56 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 260 seconds) |
| 2023-09-01 23:38:52 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-09-01 23:44:25 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-09-01 23:45:02 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (Server closed connection) |
| 2023-09-01 23:45:22 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2023-09-01 23:47:09 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
| 2023-09-01 23:48:27 +0000 | danza_ | (~francesco@151.57.124.123) (Remote host closed the connection) |
| 2023-09-01 23:49:03 +0000 | danza | (~francesco@151.57.124.123) |
| 2023-09-01 23:49:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-09-01 23:49:27 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-01 23:50:48 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-09-01 23:56:41 +0000 | OscarZ | (~oscarz@85.194.207.108) (Quit: Leaving) |
| 2023-09-01 23:57:10 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-01 23:57:11 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-01 23:57:27 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-01 23:58:10 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |