| 2023-05-25 00:09:01 +0200 | _abrantesasf_ | (~abrantesa@177.137.232.92) |
| 2023-05-25 00:09:42 +0200 | abrantesasf | (~abrantesa@189.115.192.139) (Ping timeout: 268 seconds) |
| 2023-05-25 00:16:18 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-25 00:28:02 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-25 00:30:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 00:31:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-25 00:35:42 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-05-25 00:36:32 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 00:39:11 +0200 | acidjnk | (~acidjnk@p200300d6e7072f97b50268228b627d0d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-25 00:40:31 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Ping timeout: 240 seconds) |
| 2023-05-25 00:40:59 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 264 seconds) |
| 2023-05-25 00:45:08 +0200 | CiaoSen | (~Jura@dynamic-046-114-220-057.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-25 00:47:22 +0200 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) |
| 2023-05-25 00:47:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 00:52:47 +0200 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-05-25 00:52:51 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 2023-05-25 01:01:01 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2023-05-25 01:02:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-25 01:02:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-25 01:02:59 +0200 | thegeekinside | (~thegeekin@189.141.107.10) (Remote host closed the connection) |
| 2023-05-25 01:04:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 01:09:10 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-25 01:10:58 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-05-25 01:13:11 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-25 01:13:45 +0200 | eL_Bart0- | (eL_Bart0@dietunichtguten.org) (Ping timeout: 240 seconds) |
| 2023-05-25 01:14:06 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2023-05-25 01:18:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-25 01:21:31 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Ping timeout: 240 seconds) |
| 2023-05-25 01:22:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 01:26:07 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-25 01:27:35 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-25 01:27:35 +0200 | mauke_ | mauke |
| 2023-05-25 01:29:59 +0200 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-25 01:32:10 +0200 | xameer | (~xameer@144.48.225.48) (Remote host closed the connection) |
| 2023-05-25 01:33:43 +0200 | xameer | (~xameer@144.48.225.48) |
| 2023-05-25 01:35:31 +0200 | vandita | (~vandit@87-97-88-228.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-25 01:37:17 +0200 | vandita | (~vandit@178-164-206-43.pool.digikabel.hu) |
| 2023-05-25 01:38:03 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-25 01:41:23 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 246 seconds) |
| 2023-05-25 01:50:22 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 265 seconds) |
| 2023-05-25 01:52:55 +0200 | Mistyhands | (~Mistyhand@217.155.19.212) (Read error: Connection reset by peer) |
| 2023-05-25 01:52:59 +0200 | enoq | (~enoq@194-208-133-121.lampert.tv) (Remote host closed the connection) |
| 2023-05-25 01:54:38 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-25 01:58:34 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-25 01:58:34 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-25 01:58:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-25 01:59:01 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-25 01:59:51 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Quit: Leaving.) |
| 2023-05-25 02:01:47 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 2023-05-25 02:10:20 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-25 02:15:35 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-25 02:16:50 +0200 | byte` | (~byte@user/byte) |
| 2023-05-25 02:18:24 +0200 | byte | (~byte@user/byte) (Ping timeout: 265 seconds) |
| 2023-05-25 02:19:12 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-05-25 02:19:29 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 256 seconds) |
| 2023-05-25 02:20:23 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-05-25 02:23:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-25 02:23:53 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-05-25 02:35:37 +0200 | <fbytez> | If I have an ascii integer bytestring, how can I format it to comma-delimited groups of 3 digits? |
| 2023-05-25 02:36:10 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-25 02:38:25 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-25 02:38:35 +0200 | cheater_ | cheater |
| 2023-05-25 02:50:14 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-05-25 02:55:41 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:a9c6:961f:4b03:e0c) (Remote host closed the connection) |
| 2023-05-25 02:56:00 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:a9c6:961f:4b03:e0c) |
| 2023-05-25 03:06:23 +0200 | <fbytez> | I've done it like this for now: https://paste.tomsmeding.com/npT9PJy2 |
| 2023-05-25 03:13:17 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-25 03:16:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-25 03:16:42 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:1903:33dc:9b1d:b05f) |
| 2023-05-25 03:19:02 +0200 | mud | (~mud@user/kadoban) |
| 2023-05-25 03:19:24 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-25 03:24:42 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-25 03:27:48 +0200 | phma_ | phma |
| 2023-05-25 03:28:45 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-25 03:28:59 +0200 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2023-05-25 03:29:44 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:1903:33dc:9b1d:b05f) (Remote host closed the connection) |
| 2023-05-25 03:30:39 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:1903:33dc:9b1d:b05f) |
| 2023-05-25 03:32:45 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:1903:33dc:9b1d:b05f) (Remote host closed the connection) |
| 2023-05-25 03:32:50 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 03:33:40 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-25 03:38:01 +0200 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
| 2023-05-25 03:38:32 +0200 | vglfr | (~vglfr@209.198.137.226) (Remote host closed the connection) |
| 2023-05-25 03:39:26 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-25 03:42:06 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 03:42:45 +0200 | _abrantesasf_ | (~abrantesa@177.137.232.92) (Remote host closed the connection) |
| 2023-05-25 03:49:16 +0200 | vandita | (~vandit@178-164-206-43.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-05-25 03:50:54 +0200 | vandita | (~vandit@78-131-74-14.pool.digikabel.hu) |
| 2023-05-25 03:55:12 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-25 03:55:58 +0200 | diomarrrrrrrrrrr | (~diomarrrr@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-05-25 04:02:11 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-25 04:05:30 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-25 04:07:35 +0200 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-25 04:09:40 +0200 | td_ | (~td@i53870934.versanet.de) |
| 2023-05-25 04:11:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-25 04:12:19 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-25 04:13:06 +0200 | <Inst> | for a datatype data FuncInt f = MkFuncInt (f Int), is there a way to get a fmap for this type without explicitly defining it? |
| 2023-05-25 04:13:21 +0200 | <Inst> | or is it irrational since fmap is typed (a -> b) -> f a -> f b? |
| 2023-05-25 04:15:48 +0200 | Mistyhands | (~Mistyhand@217.155.19.212) |
| 2023-05-25 04:16:34 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-25 04:17:07 +0200 | <probie> | it's irrational since `FuncInt :: (* -> *) -> *` and a Functor should be of kind `* -> *` |
| 2023-05-25 04:18:47 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2023-05-25 04:20:28 +0200 | freeside | (~mengwong@122.11.212.109) |
| 2023-05-25 04:24:43 +0200 | vglfr | (~vglfr@209.198.137.226) (Ping timeout: 256 seconds) |
| 2023-05-25 04:31:28 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-05-25 04:31:35 +0200 | Mistyhands | (~Mistyhand@217.155.19.212) (Read error: Connection reset by peer) |
| 2023-05-25 04:31:41 +0200 | Katarushisu4 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-05-25 04:33:13 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-05-25 04:33:13 +0200 | Katarushisu4 | Katarushisu |
| 2023-05-25 04:34:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-25 04:34:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-25 04:34:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-25 04:36:01 +0200 | <Inst> | yeah i figured as much, i suppose you can't generate a corresponding type? |
| 2023-05-25 04:36:08 +0200 | <Inst> | also, i'm trying to generate a type signature in template haskell |
| 2023-05-25 04:36:13 +0200 | <Inst> | i can't do it dynamically, right? |
| 2023-05-25 04:36:30 +0200 | <Inst> | maybe I should just kill the feature and let it drop in naturally |
| 2023-05-25 04:36:34 +0200 | <Inst> | erm, type inference |
| 2023-05-25 04:44:08 +0200 | <Inst> | welp, my first template Haskell program |
| 2023-05-25 04:46:28 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-25 04:49:33 +0200 | <jackdk> | a number of packages define a variant like `class FFunctor (t :: (k -> Type) -> Type) where fmap :: (forall x. f x -> g x) -> t f -> t g` |
| 2023-05-25 04:51:02 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Remote host closed the connection) |
| 2023-05-25 04:51:23 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-05-25 04:51:25 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-25 04:51:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-05-25 04:51:48 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-25 04:54:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-25 04:54:25 +0200 | <Inst> | thanks |
| 2023-05-25 04:54:37 +0200 | <Inst> | also, can i ask if there's a solution to my TH problem? |
| 2023-05-25 04:55:22 +0200 | wiosna | (~karangura@64-165-34-3.cupertino.org) |
| 2023-05-25 04:55:27 +0200 | <Inst> | as in, I want to dynamically generate a type signature based on the input given |
| 2023-05-25 04:55:44 +0200 | <Inst> | so, let's say, my return type is ByteString, but which ByteString is it? |
| 2023-05-25 04:56:22 +0200 | <Inst> | so, instead of returning it as ByteString, I can, say, return it as "HilariousIceCreamTruck" and typedef the HilariousIceCreamTruck to something else in the host file |
| 2023-05-25 04:59:12 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Ping timeout: 248 seconds) |
| 2023-05-25 04:59:12 +0200 | freeside | (~mengwong@122.11.212.109) (Read error: Connection reset by peer) |
| 2023-05-25 05:00:11 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-25 05:02:28 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-25 05:09:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-05-25 05:10:41 +0200 | wiosna | (~karangura@64-165-34-3.cupertino.org) (Ping timeout: 246 seconds) |
| 2023-05-25 05:11:11 +0200 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 2023-05-25 05:12:33 +0200 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) |
| 2023-05-25 05:13:18 +0200 | freeside | (~mengwong@122.11.212.109) |
| 2023-05-25 05:19:16 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-25 05:40:17 +0200 | klodelm | (~Elm@94.25.164.115) |
| 2023-05-25 05:42:28 +0200 | elmklod | (~Elm@94.25.164.115) (Ping timeout: 240 seconds) |
| 2023-05-25 05:42:40 +0200 | <Axman6> | Inst: I have no idea what your question actually is |
| 2023-05-25 05:42:48 +0200 | quarkyalice_ | (~alice@255.sub-97-136-62.myvzw.com) |
| 2023-05-25 05:42:48 +0200 | quarkyalice_ | (~alice@255.sub-97-136-62.myvzw.com) (Changing host) |
| 2023-05-25 05:42:48 +0200 | quarkyalice_ | (~alice@user/quarkyalice/x-8092822) |
| 2023-05-25 05:43:02 +0200 | <Inst> | I got it solved via Discord |
| 2023-05-25 05:43:13 +0200 | <Inst> | I'm trying to retrofit file-embed (I'm vetoed on the PR preemptively) |
| 2023-05-25 05:43:35 +0200 | quarkyalice | (~alice@user/quarkyalice) (Ping timeout: 240 seconds) |
| 2023-05-25 05:43:36 +0200 | <Inst> | so that I can feed it a type, a list of tuples containing a binding name and a filepath |
| 2023-05-25 05:43:41 +0200 | <Axman6> | I also have no idea what any of that means, but glad you got it worted |
| 2023-05-25 05:43:44 +0200 | <Axman6> | sorted* |
| 2023-05-25 05:44:29 +0200 | quarkyalice__ | (~alice@255.sub-97-136-62.myvzw.com) |
| 2023-05-25 05:45:03 +0200 | <Inst> | file-embed is a utility by Michael Snoyman that allows you to use Template Haskell to encode a file as a bytestring into your sourcecode |
| 2023-05-25 05:45:19 +0200 | <Inst> | erm, a library, rather |
| 2023-05-25 05:46:02 +0200 | <Inst> | I am trying to extend it so that I can embed an asset list (of tuples consisting of a definition name and a filepath), with type signature (due to multiple types of bytestrings) |
| 2023-05-25 05:47:12 +0200 | quarkyalice_ | (~alice@user/quarkyalice/x-8092822) (Ping timeout: 248 seconds) |
| 2023-05-25 05:50:53 +0200 | quarkyalice__ | (~alice@255.sub-97-136-62.myvzw.com) (Quit: Leaving) |
| 2023-05-25 05:50:53 +0200 | freeside | (~mengwong@122.11.212.109) (Read error: Connection reset by peer) |
| 2023-05-25 05:53:26 +0200 | <jackdk> | I have no idea what "multiple types of bytestrings" means, but I'd probably take a TypeQ as an argument and have the caller provide that: https://hackage.haskell.org/package/template-haskell-2.20.0.0/docs/Language-Haskell-TH-Lib-Interna… |
| 2023-05-25 05:56:32 +0200 | RedNifre | (~RedNifre@dslb-090-186-054-065.090.186.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2023-05-25 06:07:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-25 06:09:40 +0200 | RedNifre | (~RedNifre@dslb-088-073-105-169.088.073.pools.vodafone-ip.de) |
| 2023-05-25 06:15:05 +0200 | <Clinton[m]> | Lets say I have the following (contrived example) for the function `f`:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/bfdc01e33bdf73cc235febc02b243452bb03…>) |
| 2023-05-25 06:15:48 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-25 06:18:36 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-25 06:20:04 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-25 06:23:09 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-25 06:25:28 +0200 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Ping timeout: 240 seconds) |
| 2023-05-25 06:30:32 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-05-25 06:30:39 +0200 | <jackdk> | Clinton[m]: You want to capture the type variable from a record pattern match? Try ScopedTypeVariables |
| 2023-05-25 06:30:57 +0200 | <jackdk> | Clinton[m]: https://www.irccloud.com/pastebin/izOXtZzZ/TypeVariableCapture.hs |
| 2023-05-25 06:31:01 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 240 seconds) |
| 2023-05-25 06:31:08 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-05-25 06:31:28 +0200 | <jackdk> | I can't make a NamedFieldPuns version that works so I guess that means you have to write out the match in full |
| 2023-05-25 06:33:08 +0200 | vandita | (~vandit@78-131-74-14.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-25 06:33:57 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-25 06:35:02 +0200 | vandita | (~vandit@84-236-97-58.pool.digikabel.hu) |
| 2023-05-25 06:37:33 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-25 06:37:34 +0200 | <Inst> | someone explained to me that file-embed, since 2.5.0.0 TH, doesn't generate a string literal anymore, but rather a pointer to a memory location, so the question is void |
| 2023-05-25 06:43:03 +0200 | <Inst> | hmmm, whoa, i think I just found a way to beat C with Haskell, for some definition of beat |
| 2023-05-25 06:50:07 +0200 | michalz | (~michalz@185.246.204.72) |
| 2023-05-25 06:50:51 +0200 | <Inst> | Windows only, replicateM 100 $ B.putStr "Hello!" vs TIO.putStr vs Prelude.putStr |
| 2023-05-25 06:51:06 +0200 | byte` | (~byte@user/byte) (Quit: Quitting...) |
| 2023-05-25 06:52:41 +0200 | byte | (~byte@user/byte) |
| 2023-05-25 06:53:37 +0200 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
| 2023-05-25 06:57:28 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 06:59:59 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-25 07:01:45 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-25 07:04:07 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-05-25 07:05:08 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) (Ping timeout: 250 seconds) |
| 2023-05-25 07:05:44 +0200 | jbalint | (~jbalint@071-090-119-177.res.spectrum.com) |
| 2023-05-25 07:05:51 +0200 | jinsl | (~jinsl@123.120.169.188) |
| 2023-05-25 07:05:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-25 07:06:00 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-25 07:06:00 +0200 | jbalint_ | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 250 seconds) |
| 2023-05-25 07:06:26 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-25 07:06:26 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-25 07:06:52 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 250 seconds) |
| 2023-05-25 07:07:25 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2023-05-25 07:07:34 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2023-05-25 07:07:44 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2023-05-25 07:09:42 +0200 | <Inst> | ugh, there's no easy way to cast an int into a bytestring |
| 2023-05-25 07:10:05 +0200 | <Inst> | otherwise i'd go do fizzbuzz trials again, and watch Haskell beat the crap out of Python, Julia, AND C via B.putStr |
| 2023-05-25 07:10:44 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-25 07:13:09 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 07:14:53 +0200 | wei2912 | (~wei2912@129.126.8.35) |
| 2023-05-25 07:17:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-25 07:19:09 +0200 | Sauvin | (~sauvin@user/Sauvin) (Read error: Connection reset by peer) |
| 2023-05-25 07:22:48 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-25 07:22:57 +0200 | trev | (~trev@user/trev) |
| 2023-05-25 07:23:12 +0200 | wei2912 | (~wei2912@129.126.8.35) (Remote host closed the connection) |
| 2023-05-25 07:24:07 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-05-25 07:28:48 +0200 | <probie> | If C is losing that, it means it's probably using something "slow" like `printf`, which is easily fixed. Printing fizzbuzz is an IO bound task and the limiting factor is going to be the underlying `write` syscall (or whatever the windows equivalent is) |
| 2023-05-25 07:33:38 +0200 | <sm> | maybe C got tired |
| 2023-05-25 07:35:06 +0200 | <probie> | It's been working for 50 years. I think it's reasonable for it to slow down as it reaches retirement age |
| 2023-05-25 07:35:25 +0200 | <c_wraith> | retire? in this economy? |
| 2023-05-25 07:36:10 +0200 | thegeekinside | (~thegeekin@189.180.7.42) |
| 2023-05-25 07:39:06 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-25 07:40:01 +0200 | radioredwagon | (~radioredw@user/radioredwagon) |
| 2023-05-25 07:42:28 +0200 | chomwitt | (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) |
| 2023-05-25 07:47:42 +0200 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-05-25 07:49:24 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-25 07:50:51 +0200 | radioredwagon | (~radioredw@user/radioredwagon) (Quit: Leaving) |
| 2023-05-25 07:54:23 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-05-25 07:59:27 +0200 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-25 08:00:16 +0200 | <Inst> | the entire point is that it's an IO bound task |
| 2023-05-25 08:00:18 +0200 | <Inst> | it's a joke task, tbh |
| 2023-05-25 08:00:23 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-25 08:02:35 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-05-25 08:03:41 +0200 | <Inst> | bleh, it doesn't matter, benchmarked it via +RTS -s |
| 2023-05-25 08:03:45 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 240 seconds) |
| 2023-05-25 08:04:09 +0200 | <Inst> | I was suspecting that Data.ByteString.putStr was way more efficient than Prelude.putStr or Data.Text.IO.putStr |
| 2023-05-25 08:04:15 +0200 | <Inst> | turns out they have about the same performance either way |
| 2023-05-25 08:04:28 +0200 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-25 08:10:13 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-25 08:11:22 +0200 | <jade[m]> | is stdio output ever a bottleneck when it comes to performance? |
| 2023-05-25 08:11:26 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:1903:33dc:9b1d:b05f) |
| 2023-05-25 08:11:42 +0200 | <jade[m]> | s/stdio output/stdout/ |
| 2023-05-25 08:15:28 +0200 | <jackdk> | There was a classic NPM bug where its pretty output caused `npm install` to take way longer than necessary |
| 2023-05-25 08:15:31 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-25 08:16:38 +0200 | <jade[m]> | oh wow, there must have been something seriously wrong then? |
| 2023-05-25 08:21:49 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) |
| 2023-05-25 08:36:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-25 08:40:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-25 08:43:39 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-25 08:45:46 +0200 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) |
| 2023-05-25 08:57:31 +0200 | potash | (~potash@user/foghorn) (Ping timeout: 240 seconds) |
| 2023-05-25 09:03:09 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-25 09:10:22 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 250 seconds) |
| 2023-05-25 09:17:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:46ff:6847:be7a:16df) |
| 2023-05-25 09:19:10 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-25 09:20:31 +0200 | thegeekinside | (~thegeekin@189.180.7.42) (Ping timeout: 240 seconds) |
| 2023-05-25 09:23:07 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-25 09:24:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-25 09:25:49 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 09:25:52 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-05-25 09:26:27 +0200 | thegeekinside | (~thegeekin@189.180.7.42) |
| 2023-05-25 09:26:53 +0200 | trillp | (~trillp@69.233.98.238) |
| 2023-05-25 09:31:35 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-05-25 09:32:40 +0200 | <gensyst> | Why is there no "maybe" version to safely work with mvars? e.g. maybeWithMVar :: MVar a -> (Maybe a -> IO b) -> IO b |
| 2023-05-25 09:32:55 +0200 | <gensyst> | so safely work with it, even if you don't know if it's full or empty |
| 2023-05-25 09:33:09 +0200 | <gensyst> | so it won't block for sure |
| 2023-05-25 09:33:57 +0200 | thegeekinside | (~thegeekin@189.180.7.42) (Ping timeout: 268 seconds) |
| 2023-05-25 09:33:58 +0200 | <gensyst> | tryReadMVar is dangerous because right afterwards the mvar might have changed by other threads |
| 2023-05-25 09:34:08 +0200 | <gensyst> | (making the result obsolete) |
| 2023-05-25 09:34:23 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 264 seconds) |
| 2023-05-25 09:35:11 +0200 | <[exa]> | gensyst: I'd say it would imply a pretty long lock, and the purpose of MVar is to swap things quickly (literally acting only as a "variable") |
| 2023-05-25 09:35:40 +0200 | <[exa]> | and if you want a lock it's generally better to explicitly write "mutex" into the code. |
| 2023-05-25 09:38:23 +0200 | <gensyst> | [exa] a separate mvar you mean? |
| 2023-05-25 09:39:53 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84296d3dfa9a9e33ca.dip0.t-ipconnect.de) |
| 2023-05-25 09:40:27 +0200 | <[exa]> | gensyst: btw what's wrong with `tryTakeMVar` ? |
| 2023-05-25 09:41:01 +0200 | <[exa]> | that should do both nonblocking failure and have the exclusivity semantics once the mvar is taken |
| 2023-05-25 09:43:50 +0200 | MajorBiscuit | (~MajorBisc@c-001-031-054.client.tudelft.eduvpn.nl) |
| 2023-05-25 09:43:59 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-05-25 09:45:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 09:45:18 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-25 09:46:11 +0200 | jtza8 | (~user@165.255.145.23) |
| 2023-05-25 09:47:41 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-25 09:50:24 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-05-25 09:50:26 +0200 | cheater_ | cheater |
| 2023-05-25 09:56:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-25 09:56:59 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-25 10:01:54 +0200 | trillp | (~trillp@69.233.98.238) (Quit: Leaving) |
| 2023-05-25 10:02:12 +0200 | <jackdk> | `maybeWithMVar = (>>=) . tryTakeMVar`? |
| 2023-05-25 10:03:04 +0200 | kitzman | (~kitzman@user/dekenevs) (Quit: C-x C-c) |
| 2023-05-25 10:04:00 +0200 | kitzman | (~kitzman@user/dekenevs) |
| 2023-05-25 10:11:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-25 10:12:20 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-25 10:12:42 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-25 10:14:35 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:a9c6:961f:4b03:e0c) (Ping timeout: 264 seconds) |
| 2023-05-25 10:16:54 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2dc5:45f3:ebf7:b99a) |
| 2023-05-25 10:18:35 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-05-25 10:20:36 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 10:24:30 +0200 | <gensyst> | jackdk, [exa] "<gensyst> tryReadMVar is dangerous because right afterwards the mvar might have changed by other threads" |
| 2023-05-25 10:24:40 +0200 | <gensyst> | anyway separate semaphore might be my solution |
| 2023-05-25 10:25:00 +0200 | <gensyst> | apparently, there's no substitute to clear thinking of all possible edge cases. |
| 2023-05-25 10:25:03 +0200 | <jackdk> | gensyst: tryTakeMVar, not tryReadMVar |
| 2023-05-25 10:26:23 +0200 | <jackdk> | gensyst: https://hackage.haskell.org/package/base-4.16.2.0/docs/Control-Concurrent-MVar.html#v:tryTakeMVar "After tryTakeMVar, the MVar is left empty." |
| 2023-05-25 10:30:23 +0200 | vandita | (~vandit@84-236-97-58.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-25 10:32:00 +0200 | mmhat | (~mmh@p200300f1c70668daee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-25 10:32:08 +0200 | mmhat | (~mmh@p200300f1c70668daee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-25 10:32:19 +0200 | vandita | (~vandit@178-164-207-77.pool.digikabel.hu) |
| 2023-05-25 10:35:06 +0200 | klodelm | (~Elm@94.25.164.115) (Read error: Connection reset by peer) |
| 2023-05-25 10:38:41 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: chanceyan) |
| 2023-05-25 10:40:28 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84296d3dfa9a9e33ca.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-25 10:45:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 10:46:26 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-25 10:49:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Ping timeout: 246 seconds) |
| 2023-05-25 10:50:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f845066c2e8c8a611c6.dip0.t-ipconnect.de) |
| 2023-05-25 10:53:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-05-25 10:53:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-25 11:02:32 +0200 | fcortesi | (~fcortesi@2001:470:69fc:105::f3a9) (Remote host closed the connection) |
| 2023-05-25 11:03:45 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
| 2023-05-25 11:07:42 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 2023-05-25 11:11:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-05-25 11:12:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-25 11:12:11 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2023-05-25 11:13:49 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-25 11:14:19 +0200 | jargon | (~jargon@184.101.78.160) |
| 2023-05-25 11:17:09 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-25 11:17:29 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-05-25 11:18:33 +0200 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-25 11:21:38 +0200 | <gensyst> | I'm wondering, if Haskell threading code is hard to write (compared to normal Haskell code)... |
| 2023-05-25 11:21:48 +0200 | <gensyst> | how difficult must threading code be in even Rust? |
| 2023-05-25 11:22:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-05-25 11:26:30 +0200 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-05-25 11:28:24 +0200 | phma_ | (phma@2001:5b0:2172:dd28:7cbf:d1f6:57c5:3699) |
| 2023-05-25 11:30:09 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 11:31:31 +0200 | phma | (phma@2001:5b0:2172:dd28:7cbf:d1f6:57c5:3699) (Ping timeout: 240 seconds) |
| 2023-05-25 11:32:48 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:1903:33dc:9b1d:b05f) (Ping timeout: 248 seconds) |
| 2023-05-25 11:33:37 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) |
| 2023-05-25 11:34:56 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:7047:ab3e:d01b:2b6d) |
| 2023-05-25 11:35:02 +0200 | jtza8 | (~user@165.255.145.23) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-05-25 11:39:45 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-25 11:42:21 +0200 | pyooque | (~puke@user/puke) |
| 2023-05-25 11:42:21 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2023-05-25 11:42:21 +0200 | pyooque | puke |
| 2023-05-25 11:48:32 +0200 | phma_ | phma |
| 2023-05-25 11:48:54 +0200 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) |
| 2023-05-25 11:51:47 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-05-25 11:54:30 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:ad68:ef72:cc24:7c2d) |
| 2023-05-25 11:56:13 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 11:56:42 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 11:58:25 +0200 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-25 11:58:53 +0200 | chomwitt | (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 2023-05-25 11:59:08 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 2023-05-25 12:01:02 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 12:03:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-25 12:09:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f845066c2e8c8a611c6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-25 12:14:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2023-05-25 12:16:31 +0200 | Surobaki | (~surobaki@user/surobaki) |
| 2023-05-25 12:18:02 +0200 | gensyst | (~gensyst@user/gensyst) (Ping timeout: 246 seconds) |
| 2023-05-25 12:22:39 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-25 12:25:42 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-05-25 12:26:32 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2023-05-25 12:31:33 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2023-05-25 12:33:41 +0200 | abrantesasf | (~abrantesa@189.115.192.139) |
| 2023-05-25 12:35:12 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-25 12:35:35 +0200 | tom_ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2023-05-25 12:38:23 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2023-05-25 12:48:19 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-25 12:49:51 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-25 12:55:59 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Ping timeout: 264 seconds) |
| 2023-05-25 13:03:08 +0200 | acidjnk | (~acidjnk@p200300d6e7072f845066c2e8c8a611c6.dip0.t-ipconnect.de) |
| 2023-05-25 13:03:14 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-25 13:04:22 +0200 | Unhammer | (~Unhammer@user/unhammer) (WeeChat 2.3) |
| 2023-05-25 13:05:03 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 13:08:59 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) |
| 2023-05-25 13:13:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b107:f768:a2b5:47ef) |
| 2023-05-25 13:15:23 +0200 | mncheck | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2023-05-25 13:20:02 +0200 | lyle | (~lyle@104.246.145.237) |
| 2023-05-25 13:20:04 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-25 13:25:52 +0200 | mbuf | (~Shakthi@49.207.178.186) (Ping timeout: 248 seconds) |
| 2023-05-25 13:31:22 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-25 13:34:44 +0200 | mbuf | (~Shakthi@49.207.178.186) (Remote host closed the connection) |
| 2023-05-25 13:35:08 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-25 13:41:20 +0200 | mbuf | (~Shakthi@49.207.178.186) (Ping timeout: 248 seconds) |
| 2023-05-25 13:42:25 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-25 13:42:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b107:f768:a2b5:47ef) (Ping timeout: 240 seconds) |
| 2023-05-25 13:45:04 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-25 13:52:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-25 13:53:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-25 13:58:50 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 246 seconds) |
| 2023-05-25 14:05:20 +0200 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) |
| 2023-05-25 14:17:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-25 14:18:47 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-25 14:20:35 +0200 | myme | (~myme@2a01:799:d60:e400:7981:a654:1e77:fe0) (Ping timeout: 264 seconds) |
| 2023-05-25 14:21:19 +0200 | myme | (~myme@2a01:799:d60:e400:a249:9a08:ca20:7690) |
| 2023-05-25 14:22:45 +0200 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) (Quit: Client closed) |
| 2023-05-25 14:24:50 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 14:33:28 +0200 | acidjnk | (~acidjnk@p200300d6e7072f845066c2e8c8a611c6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-25 14:34:00 +0200 | blueonyx | (~blueonyx@user/blueonyx) |
| 2023-05-25 14:34:09 +0200 | blueonyx | (~blueonyx@user/blueonyx) (Client Quit) |
| 2023-05-25 14:43:31 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2023-05-25 14:43:37 +0200 | destituion | (~destituio@2a02:2121:6c6:edc4:9fb5:98a6:7d39:e280) |
| 2023-05-25 14:44:27 +0200 | destituion | (~destituio@2a02:2121:6c6:edc4:9fb5:98a6:7d39:e280) (Client Quit) |
| 2023-05-25 14:45:08 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) |
| 2023-05-25 14:46:47 +0200 | destituion | (~destituio@2a02:2121:6c6:edc4:9fb5:98a6:7d39:e280) |
| 2023-05-25 14:47:33 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-25 14:50:46 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2dc5:45f3:ebf7:b99a) (Remote host closed the connection) |
| 2023-05-25 14:51:04 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2dc5:45f3:ebf7:b99a) |
| 2023-05-25 14:56:16 +0200 | andscape | (~andscape@77.16.212.104.tmi.telenormobil.no) |
| 2023-05-25 14:59:31 +0200 | ryantrinkle | (~ryantrink@140.174.243.224) (Ping timeout: 240 seconds) |
| 2023-05-25 15:02:22 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) |
| 2023-05-25 15:03:15 +0200 | andscape | (~andscape@77.16.212.104.tmi.telenormobil.no) (Read error: Connection reset by peer) |
| 2023-05-25 15:03:57 +0200 | <zups> | https://pastebin.com/7dgL0ETx how do i pattern match when i have same variable name(x) used both as function paremeter and in the case statement |
| 2023-05-25 15:04:14 +0200 | <zups> | i suspect the code isn't working because pattern matching is not working there |
| 2023-05-25 15:04:34 +0200 | chomwitt | (~chomwitt@94.69.73.237) |
| 2023-05-25 15:04:44 +0200 | <jade[m]> | the inner x shadows the outer one |
| 2023-05-25 15:04:56 +0200 | <jade[m]> | just use x' or use more descriptive names |
| 2023-05-25 15:05:14 +0200 | <geekosaur> | you can'[t match against a variable. you want a guard |
| 2023-05-25 15:05:41 +0200 | <jade[m]> | oh wait, yeah I misread that |
| 2023-05-25 15:05:49 +0200 | <geekosaur> | `case () of () | smallestDivisor x == x -> …` |
| 2023-05-25 15:05:56 +0200 | <geekosaur> | or use if-then-else |
| 2023-05-25 15:06:09 +0200 | <geekosaur> | some people don't like that but I prefer it to the weird case () of () thing |
| 2023-05-25 15:06:12 +0200 | <[Leary]> | There's no reason to pattern match in the first place, just use `smallestDivisor x == x`? |
| 2023-05-25 15:06:18 +0200 | <jade[m]> | here you can also just use equals |
| 2023-05-25 15:07:06 +0200 | <jade[m]> | [Leary]: I think that's the same as `(>>= (==))` :P |
| 2023-05-25 15:07:06 +0200 | <jade[m]> | (please don't actually use that zups ) |
| 2023-05-25 15:07:17 +0200 | <jade[m]> | * as `(smallesDivisor >>= (==))` |
| 2023-05-25 15:07:38 +0200 | <zups> | hmmm |
| 2023-05-25 15:08:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-05-25 15:08:22 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-05-25 15:08:27 +0200 | <zups> | isPrime x = smallestDivisor x == x |
| 2023-05-25 15:08:32 +0200 | <zups> | somehow this isn't working either |
| 2023-05-25 15:08:40 +0200 | <zups> | but yeah hmm :D |
| 2023-05-25 15:11:35 +0200 | <zups> | https://pastebin.com/h30WwB9f |
| 2023-05-25 15:11:43 +0200 | <zups> | somehow i just get into an infinite loop with this code and not sure why |
| 2023-05-25 15:13:44 +0200 | <geekosaur> | how are you testing it? |
| 2023-05-25 15:14:06 +0200 | <geekosaur> | (it's going to fail for any number < 2, for one) |
| 2023-05-25 15:14:43 +0200 | ryantrinkle | (~ryantrink@140.174.243.224) |
| 2023-05-25 15:15:13 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-05-25 15:15:53 +0200 | <zups> | hmm might be that the tests are wrong |
| 2023-05-25 15:16:06 +0200 | <zups> | since the function works perfectly when testing it through ghci |
| 2023-05-25 15:16:12 +0200 | <zups> | so yeah, might be just that then |
| 2023-05-25 15:17:15 +0200 | <zups> | https://pastebin.com/yT7zW0Tv |
| 2023-05-25 15:18:30 +0200 | <zups> | oh well, it's okey, but weird! :) |
| 2023-05-25 15:18:40 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-25 15:19:17 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84d4efc2654f153821.dip0.t-ipconnect.de) |
| 2023-05-25 15:23:11 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-25 15:43:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-25 15:43:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-25 15:43:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-25 15:46:29 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-05-25 15:46:30 +0200 | diomarrrrrrrrrrr | (~diomarrrr@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-05-25 15:50:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 15:52:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-25 15:52:09 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-25 15:53:36 +0200 | gurkenglas | (~user@dynamic-046-114-180-025.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-05-25 15:54:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Ping timeout: 250 seconds) |
| 2023-05-25 15:54:40 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84d4efc2654f153821.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-25 15:54:40 +0200 | abrantesasf | (~abrantesa@189.115.192.139) (Ping timeout: 248 seconds) |
| 2023-05-25 15:55:22 +0200 | abrantesasf | (~abrantesa@177.137.232.92) |
| 2023-05-25 16:07:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-25 16:07:58 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-25 16:09:49 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2023-05-25 16:09:55 +0200 | themc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-25 16:13:55 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 16:14:14 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 16:20:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-25 16:21:54 +0200 | thegeekinside | (~thegeekin@189.180.7.42) |
| 2023-05-25 16:26:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-25 16:27:59 +0200 | andscape | (~andscape@77.16.212.104.tmi.telenormobil.no) |
| 2023-05-25 16:30:27 +0200 | Surobaki | (~surobaki@user/surobaki) (Remote host closed the connection) |
| 2023-05-25 16:30:42 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 16:31:01 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 16:33:41 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-25 16:41:38 +0200 | andscape | (~andscape@77.16.212.104.tmi.telenormobil.no) (Ping timeout: 265 seconds) |
| 2023-05-25 16:42:32 +0200 | ddellacosta | (~ddellacos@146.70.165.234) (Ping timeout: 268 seconds) |
| 2023-05-25 16:42:36 +0200 | destituion | (~destituio@2a02:2121:6c6:edc4:9fb5:98a6:7d39:e280) (Ping timeout: 265 seconds) |
| 2023-05-25 16:43:32 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-05-25 16:44:16 +0200 | ddellacosta | (~ddellacos@146.70.185.10) |
| 2023-05-25 16:46:51 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84c9efcd799c983621.dip0.t-ipconnect.de) |
| 2023-05-25 16:50:30 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-25 16:54:15 +0200 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-25 16:58:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-05-25 17:03:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.8) |
| 2023-05-25 17:04:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 17:07:12 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84c9efcd799c983621.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-25 17:09:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 17:12:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-25 17:14:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 17:15:18 +0200 | abrantesasf | (~abrantesa@177.137.232.92) (Remote host closed the connection) |
| 2023-05-25 17:17:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:46ff:6847:be7a:16df) (Quit: WeeChat 2.8) |
| 2023-05-25 17:18:51 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-25 17:22:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-25 17:23:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 17:32:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Error from remote client) |
| 2023-05-25 17:33:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 17:36:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-25 17:37:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 17:38:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-25 17:40:05 +0200 | Alex_test | (~al_test@178.34.163.104) (Ping timeout: 240 seconds) |
| 2023-05-25 17:40:29 +0200 | <JensPetersen[m]> | haskeline does not seem to provide a way to clear the stdin buffer before reading input? |
| 2023-05-25 17:40:45 +0200 | <JensPetersen[m]> | Anyone know a workaround for that? |
| 2023-05-25 17:41:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 17:41:22 +0200 | mauke | (~mauke@user/mauke) |
| 2023-05-25 17:41:31 +0200 | AlexZenon | (~alzenon@178.34.163.104) (Ping timeout: 240 seconds) |
| 2023-05-25 17:44:34 +0200 | <JensPetersen[m]> | (my previous hack before switching to haskeline, was to start a new tty and read from that) |
| 2023-05-25 17:45:07 +0200 | Alex_test | (~al_test@178.34.163.104) |
| 2023-05-25 17:46:00 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-25 17:47:02 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-25 17:48:02 +0200 | <JensPetersen[m]> | actually there is useFileHandle - let me see |
| 2023-05-25 17:51:10 +0200 | AlexZenon | (~alzenon@178.34.163.104) |
| 2023-05-25 17:52:12 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-05-25 17:53:21 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 17:54:05 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 17:54:35 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-25 17:58:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 17:58:23 +0200 | vandita | (~vandit@178-164-207-77.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-25 17:58:35 +0200 | ddellacosta | (~ddellacos@146.70.185.10) (Quit: WeeChat 3.8) |
| 2023-05-25 17:58:37 +0200 | elmklod | (~Elm@94.25.164.115) |
| 2023-05-25 18:00:03 +0200 | vandita | (~vandit@84-236-3-143.pool.digikabel.hu) |
| 2023-05-25 18:01:53 +0200 | <JensPetersen[m]> | Doesn't really help me |
| 2023-05-25 18:06:43 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-25 18:07:06 +0200 | themc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-25 18:07:10 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 18:07:43 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 18:10:38 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-25 18:15:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-25 18:19:11 +0200 | ddellacosta | (~ddellacos@146.70.166.170) |
| 2023-05-25 18:19:29 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 18:25:50 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-25 18:31:08 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2023-05-25 18:32:29 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-05-25 18:35:45 +0200 | econo | (uid147250@user/econo) |
| 2023-05-25 18:36:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 18:37:22 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 2023-05-25 18:37:45 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 18:38:26 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-25 18:39:45 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-25 18:40:24 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-25 18:41:26 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-25 18:45:30 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-25 18:47:55 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 18:49:48 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2023-05-25 18:51:28 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-25 18:52:43 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84e0deaaa018c46ce0.dip0.t-ipconnect.de) |
| 2023-05-25 18:56:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f84d8a82def23f66f52.dip0.t-ipconnect.de) |
| 2023-05-25 18:57:23 +0200 | acidjnk | (~acidjnk@p200300d6e7072f84e0deaaa018c46ce0.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-25 19:00:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-25 19:01:38 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:ad68:ef72:cc24:7c2d) (Remote host closed the connection) |
| 2023-05-25 19:01:39 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-05-25 19:02:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2023-05-25 19:05:31 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 240 seconds) |
| 2023-05-25 19:09:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-25 19:09:28 +0200 | winny | (~weechat@user/winny) (Ping timeout: 240 seconds) |
| 2023-05-25 19:15:41 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 2023-05-25 19:15:49 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-25 19:18:15 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 19:19:33 +0200 | <dminuoso> | Mmm, so I have a servant-server application. Whenever I produce a ServerError in a handler, the warp hook settingsOnClose is only produced after a timeout of what seems like 60 seconds. |
| 2023-05-25 19:19:47 +0200 | <JensPetersen[m]> | Jens Petersen: One workaround could be to measure the time since the input prompt |
| 2023-05-25 19:19:47 +0200 | <dminuoso> | Does someone have an idea what might be going on? |
| 2023-05-25 19:19:57 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 19:20:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 19:20:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 19:20:20 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-25 19:24:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-25 19:25:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-25 19:28:25 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-25 19:30:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 19:39:00 +0200 | freeside | (~mengwong@bb115-66-81-217.singnet.com.sg) |
| 2023-05-25 19:40:28 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds) |
| 2023-05-25 19:44:08 +0200 | freeside | (~mengwong@bb115-66-81-217.singnet.com.sg) (Ping timeout: 240 seconds) |
| 2023-05-25 19:50:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-25 19:53:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 20:00:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-25 20:01:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-25 20:08:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 20:09:42 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-25 20:10:05 +0200 | freeside | (~mengwong@bb115-66-81-217.singnet.com.sg) |
| 2023-05-25 20:14:05 +0200 | freeside | (~mengwong@bb115-66-81-217.singnet.com.sg) (Ping timeout: 240 seconds) |
| 2023-05-25 20:16:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 20:18:16 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2023-05-25 20:18:33 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2023-05-25 20:19:25 +0200 | <mauke> | dminuoso: having never used any of those, my first guess is that connections stay open by default, even after an error response |
| 2023-05-25 20:19:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-25 20:25:59 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-86.du.xdsl.is) (Ping timeout: 240 seconds) |
| 2023-05-25 20:26:45 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-25 20:28:01 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 20:33:57 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 20:36:05 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 246 seconds) |
| 2023-05-25 20:36:55 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-25 20:40:31 +0200 | vandita | (~vandit@84-236-3-143.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2023-05-25 20:42:05 +0200 | vandita | (~vandit@92-249-179-45.pool.digikabel.hu) |
| 2023-05-25 20:43:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-25 20:48:25 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) |
| 2023-05-25 20:51:12 +0200 | caubert | (~caubert@user/caubert) |
| 2023-05-25 20:52:25 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 256 seconds) |
| 2023-05-25 20:52:48 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:7047:ab3e:d01b:2b6d) (Ping timeout: 250 seconds) |
| 2023-05-25 20:56:21 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 20:56:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-25 20:58:23 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) |
| 2023-05-25 20:58:25 +0200 | EitanC | (~EitanC@136.25.94.94) |
| 2023-05-25 20:58:53 +0200 | <EitanC> | Is anyone aware of an optic that is equivalent to the pair of functions (s -> (s,a), s -> b -> t)? |
| 2023-05-25 21:01:42 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-25 21:01:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-25 21:02:49 +0200 | EitanC24 | (~EitanC@136.25.94.94) |
| 2023-05-25 21:03:08 +0200 | <mauke> | what's the second s for? |
| 2023-05-25 21:03:10 +0200 | EitanC24 | (~EitanC@136.25.94.94) (Client Quit) |
| 2023-05-25 21:03:13 +0200 | freeside | (~mengwong@bb115-66-81-217.singnet.com.sg) |
| 2023-05-25 21:04:08 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 21:04:30 +0200 | <EitanC> | Donno what it could be useful for. I discovered this optic from looking at oplax monoidal profunctors. It's a superoptic of Lens. |
| 2023-05-25 21:05:42 +0200 | <EitanC> | It's dual to a very useful optic of partial isomorphisms (s -> Maybe a, b -> Maybe t) so I thought it might be useful too. |
| 2023-05-25 21:06:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-05-25 21:07:25 +0200 | freeside | (~mengwong@bb115-66-81-217.singnet.com.sg) (Ping timeout: 240 seconds) |
| 2023-05-25 21:11:23 +0200 | <EitanC> | Or you can think about the second 's' symmetrizing the asymmetry of Lens by pairing with the output on one function and the input on the other: |
| 2023-05-25 21:11:23 +0200 | <EitanC> | Iso s t a b ~ (s -> a, b -> t) |
| 2023-05-25 21:11:24 +0200 | <EitanC> | Lens s t a b ~ (s -> a, (s,b) -> t) |
| 2023-05-25 21:11:24 +0200 | <EitanC> | Bilens s t a b ~ (s -> (s,a), (s,b) -> t) |
| 2023-05-25 21:12:06 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-25 21:12:22 +0200 | winny | (~weechat@user/winny) |
| 2023-05-25 21:12:47 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 2023-05-25 21:16:11 +0200 | EitanC | (~EitanC@136.25.94.94) (Quit: Client closed) |
| 2023-05-25 21:17:58 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-25 21:18:05 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 246 seconds) |
| 2023-05-25 21:19:01 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-05-25 21:23:44 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 268 seconds) |
| 2023-05-25 21:25:43 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-25 21:28:58 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-25 21:31:45 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-25 21:34:14 +0200 | jtza8 | (~jtza8@41.114.75.89) |
| 2023-05-25 21:34:25 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-25 21:35:07 +0200 | thegeekinside | (~thegeekin@189.180.7.42) (Remote host closed the connection) |
| 2023-05-25 21:35:35 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-25 21:35:46 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 21:38:44 +0200 | chomwitt | (~chomwitt@94.69.73.237) (Remote host closed the connection) |
| 2023-05-25 21:39:08 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-05-25 21:40:05 +0200 | <elmklod> | guys, I know it might be a very noobie question, but why is apply (f :: a -> b) = f accepted while apply f = (f :: a -> b) produces an error? Could you give me a hint? |
| 2023-05-25 21:40:36 +0200 | EitanC | (~EitanC@136.25.94.94) |
| 2023-05-25 21:41:06 +0200 | <Rembane> | elmklod: Maybe that type signatures must be before the function body? |
| 2023-05-25 21:41:13 +0200 | <geekosaur> | my understanding is that for the one on the right, the scope of `a` and `b` is the function body |
| 2023-05-25 21:41:52 +0200 | <geekosaur> | so it's useless because you have nothing else defining or using them so they're unmatchable types |
| 2023-05-25 21:41:58 +0200 | <mauke> | :t let apply f = (f :: a -> b) in apply |
| 2023-05-25 21:41:59 +0200 | <lambdabot> | error: |
| 2023-05-25 21:41:59 +0200 | <lambdabot> | • Couldn't match expected type ‘a2 -> b2’ with actual type ‘p1’ |
| 2023-05-25 21:41:59 +0200 | <lambdabot> | because type variables ‘a2’, ‘b2’ would escape their scope |
| 2023-05-25 21:42:13 +0200 | <ncf> | huh, that's not the error i got in ghci |
| 2023-05-25 21:42:25 +0200 | <ncf> | % apply f = (f :: a -> b) |
| 2023-05-25 21:42:25 +0200 | <yahb2> | <interactive>:177:12: error: ; • Couldn't match expected type ‘a1 -> b1’ with actual type ‘p’ ; ‘p’ is a rigid type variable bound by ; the inferred type of apply :: p -> a -> b ;... |
| 2023-05-25 21:43:25 +0200 | <mauke> | hmm, yeah. I think the only way to make that typecheck would be to give f a rank-2 type |
| 2023-05-25 21:43:29 +0200 | <mauke> | and ghc doesn't infer those |
| 2023-05-25 21:43:45 +0200 | <ncf> | the error about variables escaping their scope actually makes more sense |
| 2023-05-25 21:43:50 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 2023-05-25 21:43:59 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 264 seconds) |
| 2023-05-25 21:44:13 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 21:45:23 +0200 | <ncf> | mauke: you mean to give f a polymorphic type, and thus apply a rank-2 type? |
| 2023-05-25 21:45:42 +0200 | EitanC | (~EitanC@136.25.94.94) (Quit: Client closed) |
| 2023-05-25 21:46:11 +0200 | <mauke> | er, right :-) |
| 2023-05-25 21:52:50 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-25 21:53:35 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) (Ping timeout: 264 seconds) |
| 2023-05-25 21:53:57 +0200 | vandita | (~vandit@92-249-179-45.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-25 21:54:41 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-05-25 21:55:36 +0200 | vandita | (~vandit@178-164-235-253.pool.digikabel.hu) |
| 2023-05-25 21:56:56 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-05-25 21:57:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-25 21:57:51 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-05-25 21:58:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-25 21:58:34 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-25 21:58:58 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) |
| 2023-05-25 21:59:02 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 246 seconds) |
| 2023-05-25 22:01:21 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-05-25 22:01:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Ping timeout: 246 seconds) |
| 2023-05-25 22:03:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e6b7:7b59:b67:56fe) |
| 2023-05-25 22:05:40 +0200 | jtza8 | (~jtza8@41.114.75.89) (Ping timeout: 268 seconds) |
| 2023-05-25 22:08:16 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2023-05-25 22:09:09 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 240 seconds) |
| 2023-05-25 22:09:23 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-25 22:11:25 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-25 22:11:54 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-25 22:13:51 +0200 | mei | (~mei@user/mei) |
| 2023-05-25 22:16:02 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-25 22:16:08 +0200 | jtza8 | (~jtza8@41.113.19.114) |
| 2023-05-25 22:16:21 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-25 22:16:25 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2023-05-25 22:16:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-25 22:17:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-25 22:21:15 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-05-25 22:22:53 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) (Read error: Connection reset by peer) |
| 2023-05-25 22:24:14 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) |
| 2023-05-25 22:26:40 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 248 seconds) |
| 2023-05-25 22:28:59 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) (Ping timeout: 264 seconds) |
| 2023-05-25 22:31:10 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) |
| 2023-05-25 22:32:41 +0200 | jtza8 | (~jtza8@41.113.19.114) (Quit: WeeChat 3.8) |
| 2023-05-25 22:33:31 +0200 | lyle | (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
| 2023-05-25 22:36:47 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-05-25 22:40:45 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Ping timeout: 265 seconds) |
| 2023-05-25 22:41:06 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-05-25 22:42:26 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-25 22:45:35 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 246 seconds) |
| 2023-05-25 22:47:00 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-05-25 22:47:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e6b7:7b59:b67:56fe) (Quit: WeeChat 2.8) |
| 2023-05-25 22:49:09 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Ping timeout: 256 seconds) |
| 2023-05-25 22:54:39 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Quit: oo_miguel) |
| 2023-05-25 22:54:57 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-25 23:00:24 +0200 | MajorBiscuit | (~MajorBisc@c-001-031-054.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6) |
| 2023-05-25 23:00:47 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Remote host closed the connection) |
| 2023-05-25 23:01:10 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 23:02:41 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-25 23:06:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-05-25 23:08:05 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-25 23:08:20 +0200 | vandita | (~vandit@178-164-235-253.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-25 23:09:06 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-05-25 23:10:11 +0200 | vandita | (~vandit@178-164-207-70.pool.digikabel.hu) |
| 2023-05-25 23:13:26 +0200 | <reach> | how are cabal errors implemented currently? |
| 2023-05-25 23:13:35 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 246 seconds) |
| 2023-05-25 23:13:49 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-25 23:21:42 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-25 23:22:06 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-25 23:22:16 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-25 23:26:23 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-25 23:27:47 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-05-25 23:29:36 +0200 | finnekit9 | (~finnekit@fsf/member/finnekit) |
| 2023-05-25 23:30:06 +0200 | root | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2023-05-25 23:30:29 +0200 | root | Guest3811 |
| 2023-05-25 23:30:42 +0200 | hpc_ | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-05-25 23:30:49 +0200 | ryndubei | (~ryndubei@194.127.199.10) |
| 2023-05-25 23:30:55 +0200 | absence_ | (torgeihe@hildring.pvv.ntnu.no) |
| 2023-05-25 23:31:04 +0200 | yaroot_ | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-05-25 23:31:06 +0200 | ystael_ | (~ystael@user/ystael) |
| 2023-05-25 23:31:13 +0200 | abrar_ | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) |
| 2023-05-25 23:31:15 +0200 | bgamari_ | (~bgamari@64.223.233.113) |
| 2023-05-25 23:31:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-25 23:31:54 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-25 23:32:05 +0200 | Batzy_ | (~quassel@user/batzy) |
| 2023-05-25 23:32:17 +0200 | caubert_ | (~caubert@user/caubert) |
| 2023-05-25 23:32:36 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) |
| 2023-05-25 23:32:48 +0200 | hammond_ | (proscan@gateway02.insomnia247.nl) |
| 2023-05-25 23:33:10 +0200 | bairyn | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-05-25 23:33:20 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:4cd9:7ab9:8d30:90f) (Ping timeout: 248 seconds) |
| 2023-05-25 23:33:22 +0200 | hueso_ | (~root@user/hueso) |
| 2023-05-25 23:36:03 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-25 23:36:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-25 23:36:18 +0200 | peutri_ | (~peutri@bobo.desast.re) |
| 2023-05-25 23:36:35 +0200 | ryndubei | (~ryndubei@194.127.199.10) (Quit: Leaving) |
| 2023-05-25 23:36:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-25 23:37:35 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | zmt00 | (~zmt00@user/zmt00) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | caubert | (~caubert@user/caubert) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | myme | (~myme@2a01:799:d60:e400:a249:9a08:ca20:7690) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | phma | (phma@2001:5b0:2172:dd28:7cbf:d1f6:57c5:3699) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | ystael | (~ystael@user/ystael) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | dtman34 | (~dtman34@76.156.89.180) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | statusbot8 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | jinsun | (~jinsun@user/jinsun) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | yaroot | (~yaroot@p3001131-ipngn7601souka.saitama.ocn.ne.jp) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | Vajb | (~Vajb@2001:999:489:89c8:241a:21c3:9f8f:9a9a) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | abrar | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | raym | (~ray@user/raym) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | JimL | (~quassel@89.162.16.26) (*.net *.split) |
| 2023-05-25 23:37:35 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | gry | (quasselcor@botters/gry) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | aku | (~aku@static.241.245.108.65.clients.your-server.de) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | ghostbuster | (~admin@user/ghostbuster) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | Guest7361 | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | bgamari | (~bgamari@64.223.233.113) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | hueso | (~root@user/hueso) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | Batzy | (~quassel@user/batzy) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | bjobjo | (~bjobjo@user/bjobjo) (*.net *.split) |
| 2023-05-25 23:37:36 +0200 | finnekit9 | finnekit |
| 2023-05-25 23:37:39 +0200 | yaroot_ | yaroot |
| 2023-05-25 23:37:58 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-05-25 23:38:19 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-25 23:38:38 +0200 | ryndubei | (~ryndubei@194.127.199.10) |
| 2023-05-25 23:38:43 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-25 23:38:47 +0200 | elmklod | (~Elm@94.25.164.115) (Quit: Leaving) |
| 2023-05-25 23:39:04 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) |
| 2023-05-25 23:39:54 +0200 | <ncf> | reach: can you make your question more precise? |
| 2023-05-25 23:42:58 +0200 | ryndubei | (~ryndubei@194.127.199.10) (Remote host closed the connection) |
| 2023-05-25 23:44:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-25 23:45:06 +0200 | ryndubei | (~ryndubei@194.127.199.10) |
| 2023-05-25 23:46:27 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-25 23:48:09 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-25 23:48:40 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-25 23:49:52 +0200 | reach | (~reach@2607:fea8:4c0:990:9195:d8e:b2d8:baa7) (Ping timeout: 248 seconds) |
| 2023-05-25 23:49:52 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-05-25 23:50:39 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2dc5:45f3:ebf7:b99a) (Remote host closed the connection) |
| 2023-05-25 23:51:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-25 23:54:35 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-25 23:55:10 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-25 23:55:23 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-25 23:56:15 +0200 | peutri_ | peutri |
| 2023-05-25 23:58:17 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 256 seconds) |
| 2023-05-25 23:58:36 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 2023-05-25 23:59:06 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-25 23:59:11 +0200 | machinedgod | (~machinedg@84-115-229-164.cable.dynamic.surfer.at) |
| 2023-05-25 23:59:25 +0200 | mechap | (~mechap@user/mechap) |