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