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