| 2023-10-06 00:03:28 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-06 00:03:55 +0200 | foul_owl_ | (~kerry@185.216.231.181) (Quit: WeeChat 3.8) |
| 2023-10-06 00:04:14 +0200 | foul_owl | (~kerry@185.216.231.181) |
| 2023-10-06 00:04:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 2023-10-06 00:04:54 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-10-06 00:05:49 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-10-06 00:06:03 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-06 00:07:15 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-10-06 00:07:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-10-06 00:09:24 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-06 00:13:48 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 272 seconds) |
| 2023-10-06 00:15:02 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2023-10-06 00:15:14 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-10-06 00:15:17 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-10-06 00:18:40 +0200 | <EvanR> | geekosaur, I resemble that remark |
| 2023-10-06 00:18:47 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2023-10-06 00:22:20 +0200 | jrm | (~jrm@user/jrm) |
| 2023-10-06 00:23:25 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-10-06 00:25:21 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-06 00:26:01 +0200 | dolio | (~dolio@130.44.134.54) (Ping timeout: 260 seconds) |
| 2023-10-06 00:26:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-06 00:27:32 +0200 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-06 00:31:00 +0200 | megaTherion | (~therion@unix.io) |
| 2023-10-06 00:35:20 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 272 seconds) |
| 2023-10-06 00:35:52 +0200 | kmein | (~weechat@user/kmein) |
| 2023-10-06 00:37:49 +0200 | mauke | (~mauke@user/mauke) |
| 2023-10-06 00:37:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-10-06 00:38:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-06 00:40:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-06 00:43:50 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::2ba) (Ping timeout: 246 seconds) |
| 2023-10-06 00:45:57 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2023-10-06 00:46:07 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-06 00:48:57 +0200 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-10-06 00:49:51 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 240 seconds) |
| 2023-10-06 00:50:32 +0200 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 272 seconds) |
| 2023-10-06 00:50:47 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-06 00:51:10 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 272 seconds) |
| 2023-10-06 00:51:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-06 00:51:31 +0200 | TMA | (tma@twin.jikos.cz) |
| 2023-10-06 00:54:20 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2023-10-06 00:55:58 +0200 | td_ | (~td@2001:9e8:19c5:3a00:24d3:953d:dd66:2c32) |
| 2023-10-06 00:56:39 +0200 | chomwitt | (~chomwitt@athedsl-368454.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-10-06 01:00:12 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-10-06 01:09:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-06 01:12:10 +0200 | Sanguine | (~Sanguine@bcdcac82.skybroadband.com) (Ping timeout: 255 seconds) |
| 2023-10-06 01:15:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-06 01:18:02 +0200 | Sanguine | (~Sanguine@bcdcac82.skybroadband.com) |
| 2023-10-06 01:19:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-06 01:21:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-10-06 01:26:13 +0200 | Axma48178 | Axman6 |
| 2023-10-06 01:27:46 +0200 | <Axman6> | 9/j #haskell-ghcup |
| 2023-10-06 01:29:25 +0200 | <Axman6> | -_- |
| 2023-10-06 01:29:51 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 255 seconds) |
| 2023-10-06 01:30:15 +0200 | Clint | nods. |
| 2023-10-06 01:31:59 +0200 | <Axman6> | whenever I see someone else do that, I always feel like it's covert advertising for channels. but now I know the reality, people are just bad at keyboards. as someone who is particularly bad at keyboard, I should have known this already |
| 2023-10-06 01:33:34 +0200 | <EvanR> | even MCU iron man is shown to be using a keyboard when necessary |
| 2023-10-06 01:34:06 +0200 | <EvanR> | but minority report holographics are clearly superior UI |
| 2023-10-06 01:35:38 +0200 | <geekosaur> | and shown at east once to be bad at it iirc 😛 |
| 2023-10-06 01:38:33 +0200 | <geekosaur> | (I do my joins from the server tab so my typoes don't show 🙂 ) |
| 2023-10-06 01:43:05 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-10-06 01:43:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-06 01:43:29 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-06 01:48:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 2023-10-06 01:48:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-06 01:50:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-06 01:50:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-06 01:50:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-06 02:00:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2023-10-06 02:05:00 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-06 02:10:33 +0200 | mrmr155 | (~mrmr@user/mrmr) |
| 2023-10-06 02:11:35 +0200 | mrmr15 | (~mrmr@user/mrmr) (Ping timeout: 240 seconds) |
| 2023-10-06 02:11:35 +0200 | mrmr155 | mrmr15 |
| 2023-10-06 02:13:46 +0200 | <EvanR> | yes all official business goes on the server tab |
| 2023-10-06 02:16:31 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-06 02:32:41 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2023-10-06 02:34:21 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-10-06 02:39:56 +0200 | [itchyjunk] | [spookyJunk] |
| 2023-10-06 02:41:04 +0200 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) |
| 2023-10-06 02:49:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-10-06 02:50:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-06 02:57:50 +0200 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2023-10-06 03:02:16 +0200 | <monochrom> | "The state has no business in people's bedrooms or server tabs" >:) |
| 2023-10-06 03:04:26 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-06 03:11:12 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-10-06 03:11:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-06 03:16:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-10-06 03:28:01 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 260 seconds) |
| 2023-10-06 03:28:41 +0200 | otto_s | (~user@p5b044039.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-10-06 03:30:29 +0200 | otto_s | (~user@p4ff27e4d.dip0.t-ipconnect.de) |
| 2023-10-06 03:31:31 +0200 | swistak | (~swistak@185.21.216.141) |
| 2023-10-06 03:52:22 +0200 | arahael | (~arahael@1.145.105.63) |
| 2023-10-06 03:55:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-06 04:14:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-06 04:14:06 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-06 04:14:06 +0200 | finn_elija | FinnElija |
| 2023-10-06 04:15:37 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 04:20:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Remote host closed the connection) |
| 2023-10-06 04:20:13 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-06 04:20:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 04:21:39 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 04:30:18 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-06 04:34:02 +0200 | rgw | (~R@2605:a601:a0df:5600:cdda:b148:9ed2:a86) (Quit: rgw) |
| 2023-10-06 04:36:52 +0200 | bilegeek | (~bilegeek@2600:1008:b09f:2462:74a9:f84c:30b8:c58e) |
| 2023-10-06 04:40:31 +0200 | arahael | (~arahael@1.145.105.63) (Ping timeout: 255 seconds) |
| 2023-10-06 04:40:40 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-06 04:52:24 +0200 | [spookyJunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-06 04:52:42 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2023-10-06 04:54:30 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-06 04:57:24 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 04:58:27 +0200 | td_ | (~td@2001:9e8:19c5:3a00:24d3:953d:dd66:2c32) (Ping timeout: 258 seconds) |
| 2023-10-06 05:00:06 +0200 | td_ | (~td@i5387091A.versanet.de) |
| 2023-10-06 05:02:01 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-06 05:05:44 +0200 | khumba | (~khumba@user/khumba) |
| 2023-10-06 05:12:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:abcc:74e9:8d5f:6326) (Ping timeout: 264 seconds) |
| 2023-10-06 05:15:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4efc:9689:a16f:b515) |
| 2023-10-06 05:28:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 05:28:42 +0200 | solrize | (~solrize@user/solrize) |
| 2023-10-06 05:28:44 +0200 | bilegeek_ | (~bilegeek@2600:1008:b000:648b:f294:4e83:1e80:3146) |
| 2023-10-06 05:29:19 +0200 | todi1 | (~todi@p5dca54c6.dip0.t-ipconnect.de) |
| 2023-10-06 05:30:05 +0200 | bilegeek__ | (~bilegeek@2600:1008:b018:8ee4:bfff:6669:7b87:9420) |
| 2023-10-06 05:30:20 +0200 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-06 05:31:05 +0200 | bilegeek | (~bilegeek@2600:1008:b09f:2462:74a9:f84c:30b8:c58e) (Ping timeout: 240 seconds) |
| 2023-10-06 05:33:00 +0200 | bilegeek_ | (~bilegeek@2600:1008:b000:648b:f294:4e83:1e80:3146) (Ping timeout: 248 seconds) |
| 2023-10-06 05:33:01 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-10-06 05:40:36 +0200 | bilegeek__ | (~bilegeek@2600:1008:b018:8ee4:bfff:6669:7b87:9420) (Ping timeout: 272 seconds) |
| 2023-10-06 06:00:24 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 06:03:22 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2023-10-06 06:05:18 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-06 06:06:00 +0200 | cheater | (~Username@user/cheater) |
| 2023-10-06 06:07:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-06 06:11:22 +0200 | michalz | (~michalz@185.246.204.107) |
| 2023-10-06 06:13:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) () |
| 2023-10-06 06:13:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-06 06:14:40 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 06:17:34 +0200 | khumba | (~khumba@user/khumba) () |
| 2023-10-06 06:26:10 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-c2b9-2772-741f-c8fd.res6.spectrum.com) (Remote host closed the connection) |
| 2023-10-06 06:26:30 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-c3bf-57ee-df70-9765.res6.spectrum.com) |
| 2023-10-06 06:32:21 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-06 06:35:43 +0200 | michalz | (~michalz@185.246.204.107) (Ping timeout: 255 seconds) |
| 2023-10-06 06:41:46 +0200 | michalz | (~michalz@185.246.204.122) |
| 2023-10-06 06:43:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 06:49:22 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-06 06:52:46 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-10-06 06:53:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 06:58:03 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-06 07:01:32 +0200 | <dibblego> | @type local . pure -- does this exist already? |
| 2023-10-06 07:01:33 +0200 | <lambdabot> | MonadReader r m => r -> m a -> m a |
| 2023-10-06 07:04:56 +0200 | vglfr | (~vglfr@88.155.167.151) (Read error: Connection reset by peer) |
| 2023-10-06 07:05:16 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-06 07:05:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-06 07:08:14 +0200 | acidjnk | (~acidjnk@p200300d6e7072f8865da9ef1a3481937.dip0.t-ipconnect.de) |
| 2023-10-06 07:12:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-06 07:16:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-06 07:18:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-06 07:23:11 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-10-06 07:27:21 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 07:32:11 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-10-06 07:33:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-06 07:34:13 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-06 07:37:14 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-10-06 07:37:46 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 272 seconds) |
| 2023-10-06 07:38:09 +0200 | todi1 | todi |
| 2023-10-06 07:38:32 +0200 | vglfr | (~vglfr@88.155.167.151) |
| 2023-10-06 07:39:03 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-10-06 07:41:05 +0200 | phma | (~phma@2001:5b0:211f:c98:ad30:d175:45fa:af29) (Ping timeout: 240 seconds) |
| 2023-10-06 07:42:56 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 07:44:16 +0200 | CiaoSen | (~Jura@2a05:5800:299:900:664b:f0ff:fe37:9ef) |
| 2023-10-06 07:47:30 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-06 07:58:06 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2023-10-06 07:58:41 +0200 | yaroot | (~yaroot@p3480090-ipngn9802souka.saitama.ocn.ne.jp) |
| 2023-10-06 08:02:12 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 240 seconds) |
| 2023-10-06 08:02:50 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-10-06 08:11:36 +0200 | <sshine> | @pl local . pure |
| 2023-10-06 08:11:36 +0200 | <lambdabot> | local . pure |
| 2023-10-06 08:13:45 +0200 | <sshine> | Axman6, in irssi, I actually have /set cmdchars /7 meaning if I type 7join #foo, that's the same as /join #foo. |
| 2023-10-06 08:15:08 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 08:15:17 +0200 | bilegeek | (~bilegeek@2600:1008:b00b:8df9:5a3:e570:2f72:6495) |
| 2023-10-06 08:17:30 +0200 | Guest43 | (~Guest43@2603-7000-4b42-1100-dc5a-03c1-6530-a14a.res6.spectrum.com) |
| 2023-10-06 08:21:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-06 08:24:12 +0200 | bilegeek | (~bilegeek@2600:1008:b00b:8df9:5a3:e570:2f72:6495) (Ping timeout: 248 seconds) |
| 2023-10-06 08:26:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-10-06 08:33:49 +0200 | phma | (phma@2001:5b0:211f:9058:8faa:bf0b:f2c:751e) |
| 2023-10-06 08:34:08 +0200 | Guest43 | (~Guest43@2603-7000-4b42-1100-dc5a-03c1-6530-a14a.res6.spectrum.com) (Quit: Client closed) |
| 2023-10-06 08:36:42 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2023-10-06 08:37:14 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2023-10-06 08:38:22 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 08:41:53 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-10-06 08:43:11 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-10-06 08:43:38 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-06 08:44:35 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-06 08:44:53 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200CE226071F5251158.dsl.pool.telekom.hu) |
| 2023-10-06 08:45:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:85d2:adde:b766:558d) |
| 2023-10-06 08:51:09 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-06 08:51:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-06 08:53:42 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-06 09:04:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-06 09:05:07 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-06 09:10:51 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-06 09:12:07 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-06 09:12:54 +0200 | vglfr | (~vglfr@88.155.167.151) (Remote host closed the connection) |
| 2023-10-06 09:14:03 +0200 | vglfr | (~vglfr@88.155.167.151) |
| 2023-10-06 09:26:23 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-06 09:26:58 +0200 | chele | (~chele@user/chele) |
| 2023-10-06 09:27:38 +0200 | init | (21945@user/init) (Quit: WeeChat 4.0.5) |
| 2023-10-06 09:28:00 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-10-06 09:28:17 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-06 09:29:20 +0200 | init | (21945@user/init) |
| 2023-10-06 09:30:43 +0200 | <gensyst> | I'm looking for a good structure that allows me to grab all elements >= x. |
| 2023-10-06 09:31:17 +0200 | <gensyst> | Data.Map.Strict has a lookupGE but that's just the first one I'm looking for. What about the rest of them? I want to get that one, but continue iterating through the rest. |
| 2023-10-06 09:31:17 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-06 09:33:11 +0200 | <[exa]> | gensyst: Data.Map is (afaik) a tree so technicaly you should be able to walk through the rest of it |
| 2023-10-06 09:33:13 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-06 09:33:22 +0200 | <[exa]> | but you'll probably need to import a bit of the internals and walk them manually |
| 2023-10-06 09:33:46 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-06 09:35:20 +0200 | <gensyst> | [exa] https://hackage.haskell.org/package/containers-0.7/docs/Data-Map-Strict-Internal.html#t:Map |
| 2023-10-06 09:35:29 +0200 | <gensyst> | So the second map are the GT keys? |
| 2023-10-06 09:35:36 +0200 | <gensyst> | What is the Size referring to? |
| 2023-10-06 09:36:05 +0200 | <[exa]> | size of the subtree, I assume that is used for balancing (looks to me like BB-α tree) |
| 2023-10-06 09:36:27 +0200 | <[exa]> | (see here: https://en.wikipedia.org/wiki/Weight-balanced_tree) |
| 2023-10-06 09:36:54 +0200 | <gensyst> | thanks I'll just use this internal stuff lol. should work :) |
| 2023-10-06 09:37:16 +0200 | <[exa]> | and the GT keys are the ones in the 1] right subtree, followed by 2] the right parent (if exists) and all its GT keys |
| 2023-10-06 09:37:24 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-06 09:37:41 +0200 | <gensyst> | [exa], btw when I do insert into a map, but I happen to know it's going to be inserting a larger key than all existing keys, will that always be O(1) operation? |
| 2023-10-06 09:38:12 +0200 | <[exa]> | typically not (unless you are OK with an unbalanced tree) |
| 2023-10-06 09:38:54 +0200 | <lortabac> | gensyst: can't you just iterate the map from max to min? |
| 2023-10-06 09:39:07 +0200 | <gensyst> | oh, bummer. Are there more suitable structures for this? The ability to (1) insert O(1) if already known to be largest. and (2) query quickly all >= x |
| 2023-10-06 09:39:08 +0200 | <lortabac> | you can reverse the order with Down |
| 2023-10-06 09:39:27 +0200 | <[exa]> | gensyst: depends. Finger trees might help there. |
| 2023-10-06 09:40:26 +0200 | <[exa]> | gensyst: Data.Sequence has that kind of tree that supports O(1) amortized "corner" operations |
| 2023-10-06 09:40:58 +0200 | <[exa]> | also you get fast indexing for free (again using the node-counting trick) |
| 2023-10-06 09:41:23 +0200 | <[exa]> | but it doesn't support keys by default AFAIK, instead it just preserves the order |
| 2023-10-06 09:42:15 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-10-06 09:43:23 +0200 | <gensyst> | [exa] Seq is exactly what I already had (to preserve order). But then came that extra >= x question on top of that. Hence my original question. |
| 2023-10-06 09:43:46 +0200 | <gensyst> | So maybe I should just do a Seq and Map together? (The Map to be able to grab the first >= x.) |
| 2023-10-06 09:44:01 +0200 | <gensyst> | (And by putting index into the key, I could then utilize Seq indexing to find *all* >= x) |
| 2023-10-06 09:44:19 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-10-06 09:49:00 +0200 | <dminuoso> | I have a cabal package that contains several libraries. Is there a way to depend on a particular library component? |
| 2023-10-06 09:49:55 +0200 | init | (21945@user/init) (Quit: WeeChat 4.0.5) |
| 2023-10-06 09:50:02 +0200 | <dminuoso> | At first glance it seems I can just mark the library with visibility |
| 2023-10-06 09:50:09 +0200 | <dminuoso> | But its not clear how to reference it in a build-depends constraint |
| 2023-10-06 09:50:56 +0200 | init | (21945@user/init) |
| 2023-10-06 09:51:57 +0200 | <tomsmeding> | dminuoso: wasn't the syntax something like package:subpackage ? |
| 2023-10-06 09:52:23 +0200 | <tomsmeding> | also, check if hackage supports that nowadays |
| 2023-10-06 09:52:26 +0200 | <gensyst> | [exa], no wait. Seq actually has "indexing with predicates" |
| 2023-10-06 09:52:31 +0200 | <gensyst> | nice, thanks |
| 2023-10-06 09:52:34 +0200 | <tomsmeding> | also poor stack users |
| 2023-10-06 09:53:51 +0200 | <gensyst> | [exa] although I wonder about performance. https://hackage.haskell.org/package/containers-0.7/docs/Data-Sequence.html#v:elemIndexL |
| 2023-10-06 09:54:00 +0200 | <gensyst> | Do you believe those would be O(log) performance? |
| 2023-10-06 09:55:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-06 09:55:36 +0200 | <[exa]> | gensyst: if you can take the tree from Seq and just stick your keys into that, it should work just as well |
| 2023-10-06 09:55:58 +0200 | <dminuoso> | tomsmeding: Im not using hackage, this is for a git dependency via cabal.project |
| 2023-10-06 09:56:45 +0200 | <dminuoso> | What are subpackages now? |
| 2023-10-06 09:57:03 +0200 | <[exa]> | gensyst: anyway as far as I can tell the elemIndexL should be O(n) -- there's no way the Sequence can skip a linear scan through the elements |
| 2023-10-06 09:57:06 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2023-10-06 09:57:21 +0200 | <[exa]> | (you need key order to be able to skip elements) |
| 2023-10-06 09:57:59 +0200 | <gensyst> | [exa] so I need to accumulate both Seq and Map to achieve my goal? |
| 2023-10-06 09:58:37 +0200 | <[exa]> | but lo! |
| 2023-10-06 09:58:39 +0200 | <[exa]> | https://hackage.haskell.org/package/fingertree-0.1.5.0/docs/Data-FingerTree.html#v:dropUntil |
| 2023-10-06 09:58:49 +0200 | <[exa]> | gensyst: this is likely the thing you are looking for ^ |
| 2023-10-06 09:59:05 +0200 | <[exa]> | note the requirement for monotonicity on the predicates, that allows the thing to skip stuff safely |
| 2023-10-06 09:59:30 +0200 | <[exa]> | (I've got to afk, good luck :D ) |
| 2023-10-06 10:00:21 +0200 | <gensyst> | [exa] thanks! |
| 2023-10-06 10:03:22 +0200 | <dminuoso> | tomsmeding: Ah I guess it works. Im just a bit sad I cant find anything about it in the cabal documentation. |
| 2023-10-06 10:06:27 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-10-06 10:06:41 +0200 | phma | (phma@2001:5b0:211f:9058:8faa:bf0b:f2c:751e) (Read error: Connection reset by peer) |
| 2023-10-06 10:06:52 +0200 | <tomsmeding> | dminuoso: https://github.com/haskell/cabal/pull/5526 |
| 2023-10-06 10:06:57 +0200 | <tomsmeding> | nobody says anything about documentation |
| 2023-10-06 10:07:27 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-06 10:07:54 +0200 | <tomsmeding> | https://github.com/haskell/cabal/pull/8364/files |
| 2023-10-06 10:08:52 +0200 | phma | (~phma@host-67-44-208-228.hnremote.net) |
| 2023-10-06 10:08:54 +0200 | <dminuoso> | tomsmeding: Ah it is documented somewhere there. |
| 2023-10-06 10:08:56 +0200 | <dminuoso> | Thanks. |
| 2023-10-06 10:09:02 +0200 | <dminuoso> | The feature appears quite broken, too. |
| 2023-10-06 10:09:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Remote host closed the connection) |
| 2023-10-06 10:11:27 +0200 | <dminuoso> | Some parts of cabal try to build the main library as well. |
| 2023-10-06 10:13:27 +0200 | <tomsmeding> | haha |
| 2023-10-06 10:16:31 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-10-06 10:19:16 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-10-06 10:22:11 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) |
| 2023-10-06 10:22:12 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-06 10:24:16 +0200 | akegalj | (~akegalj@78-2-181-190.adsl.net.t-com.hr) |
| 2023-10-06 10:24:38 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 10:28:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f8865da9ef1a3481937.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-10-06 10:28:58 +0200 | <haskellbridge> | <t​ewuzij> What is '#v:dropUntil'? |
| 2023-10-06 10:29:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-10-06 10:30:24 +0200 | <tomsmeding> | tewuzij: a uri anchor pointing to a value 'dropUntil' in a haddock html page? |
| 2023-10-06 10:30:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-06 10:30:49 +0200 | init | (21945@user/init) (Quit: WeeChat 4.0.5) |
| 2023-10-06 10:32:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-06 10:32:47 +0200 | califax | (~califax@user/califx) |
| 2023-10-06 10:32:53 +0200 | init | (21945@user/init) |
| 2023-10-06 10:33:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-06 10:35:31 +0200 | <probie> | tewuzij: Did the bridge drop the start of the URL? |
| 2023-10-06 10:35:44 +0200 | yaroot | (~yaroot@p3480090-ipngn9802souka.saitama.ocn.ne.jp) (Ping timeout: 272 seconds) |
| 2023-10-06 10:35:59 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-10-06 10:36:01 +0200 | akegalj_ | (~akegalj@78-2-181-190.adsl.net.t-com.hr) |
| 2023-10-06 10:37:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-06 10:38:35 +0200 | akegalj | (~akegalj@78-2-181-190.adsl.net.t-com.hr) (Ping timeout: 255 seconds) |
| 2023-10-06 10:38:59 +0200 | califax | (~califax@user/califx) |
| 2023-10-06 10:42:28 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-06 10:44:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 10:48:50 +0200 | acidjnk | (~acidjnk@p200300d6e7072f881ca6f15788cf937c.dip0.t-ipconnect.de) |
| 2023-10-06 10:49:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Ping timeout: 240 seconds) |
| 2023-10-06 10:52:47 +0200 | danse-nr3 | (~francesco@ge-19-122-37.service.infuturo.it) |
| 2023-10-06 10:53:00 +0200 | Vajb | (~Vajb@85-76-144-99-nat.elisa-mobile.fi) (Ping timeout: 240 seconds) |
| 2023-10-06 10:53:52 +0200 | mmhat | (~mmh@p200300f1c74e6f09ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-06 11:00:12 +0200 | mmhat | (~mmh@p200300f1c74e6f09ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.5) |
| 2023-10-06 11:05:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-06 11:06:14 +0200 | <haskellbridge> | <m​auke> Closest thing I see is <[​exa]> https://hackage.haskell.org/package/fingertree-0.1.5.0/docs/Data-FingerTree.html#v:dropUntil , which came through fine |
| 2023-10-06 11:07:22 +0200 | <tomsmeding> | tewuzij: https://developer.mozilla.org/en-US/docs/Web/HTTP/Basics_of_HTTP/Identifying_resources_on_the_Web#… |
| 2023-10-06 11:13:24 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 11:17:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-06 11:17:13 +0200 | arahael | (~arahael@103.246.103.99) |
| 2023-10-06 11:19:59 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 2023-10-06 11:28:29 +0200 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2023-10-06 11:32:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 11:35:37 +0200 | califax | (~califax@user/califx) |
| 2023-10-06 11:37:47 +0200 | dipper | (~dipper@2408:8248:7:cc31:408c:d345:bbd6:6197) |
| 2023-10-06 11:41:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-06 11:45:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 11:46:02 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
| 2023-10-06 11:49:23 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 258 seconds) |
| 2023-10-06 11:49:37 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-10-06 11:50:04 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-10-06 11:50:20 +0200 | dipper | (~dipper@2408:8248:7:cc31:408c:d345:bbd6:6197) (Quit: Konversation terminated!) |
| 2023-10-06 11:56:25 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-06 11:56:36 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-06 11:56:39 +0200 | vglfr | (~vglfr@88.155.167.151) (Ping timeout: 240 seconds) |
| 2023-10-06 12:00:44 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 248 seconds) |
| 2023-10-06 12:08:15 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-06 12:09:24 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-06 12:10:50 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2023-10-06 12:12:20 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-06 12:12:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-10-06 12:13:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-06 12:13:46 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-06 12:16:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-10-06 12:20:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-06 12:36:28 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) |
| 2023-10-06 12:36:29 +0200 | danse-nr3 | (~francesco@ge-19-122-37.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-10-06 12:42:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-06 12:43:42 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-06 12:44:02 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 12:44:22 +0200 | privacy | (~privacy@user/privacy) |
| 2023-10-06 12:49:06 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-06 12:52:06 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 2023-10-06 12:56:30 +0200 | <haskellbridge> | <b​ozeman_5-0> http://localhost:20662/_matrix/media/v1/download/matrix.org/hSyuoSLheyemSkTLeeUBTKpe |
| 2023-10-06 12:56:36 +0200 | <haskellbridge> | <b​ozeman_5-0> http://localhost:20662/_matrix/media/v1/download/matrix.org/HqYDUNQtGyaJGoyXMVutZDar |
| 2023-10-06 12:58:59 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-06 13:00:51 +0200 | CiaoSen | (~Jura@2a05:5800:299:900:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-10-06 13:02:17 +0200 | <tomsmeding> | (those arrived as localhost links on irc) |
| 2023-10-06 13:03:03 +0200 | <tomsmeding> | maybe either the bridge or your matrix server doesn't correctly know its own hostname or something? |
| 2023-10-06 13:03:16 +0200 | <tomsmeding> | or a reverse proxy is wreaking havoc somewhere |
| 2023-10-06 13:03:55 +0200 | <sshine> | wouldn't a bridge that connected as individual clients give a better experience on the IRC side? |
| 2023-10-06 13:10:09 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 13:14:42 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 272 seconds) |
| 2023-10-06 13:14:58 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-10-06 13:16:32 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2023-10-06 13:24:58 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-10-06 13:27:37 +0200 | <haskellbridge> | <s​m> would anyone else like to help out as a Mod here ? |
| 2023-10-06 13:28:12 +0200 | <haskellbridge> | <s​m> sshine: that bridge was shut down recently, but hopefully something like it will return eventually |
| 2023-10-06 13:29:42 +0200 | phma | (~phma@host-67-44-208-228.hnremote.net) (Read error: Connection reset by peer) |
| 2023-10-06 13:30:47 +0200 | phma | (~phma@host-67-44-208-149.hnremote.net) |
| 2023-10-06 13:35:51 +0200 | CiaoSen | (~Jura@2a05:5800:299:900:664b:f0ff:fe37:9ef) |
| 2023-10-06 13:36:20 +0200 | <sshine> | sm: so there was a per-client bridge, and the reason I'm seeing this bridge is because it's the current replacement. |
| 2023-10-06 13:36:30 +0200 | <sshine> | where is "here"? |
| 2023-10-06 13:36:53 +0200 | <haskellbridge> | <s​m> I don't understand your question exactly |
| 2023-10-06 13:37:09 +0200 | <haskellbridge> | <s​m> I don't understand your comment exactly |
| 2023-10-06 13:38:25 +0200 | <sshine> | I'm just repeating back what you said. |
| 2023-10-06 13:38:32 +0200 | <haskellbridge> | <s​m> oh "help out as a Mod here" ? By that I meant on the matrix side of this place, the "Haskell IRC" room. Sorry, I lose track of bridging status |
| 2023-10-06 13:38:54 +0200 | <sshine> | ah, okay, Matrix. I thought maybe your side was mattermost. |
| 2023-10-06 13:38:56 +0200 | <haskellbridge> | <s​m> and have become blind to "haskellbridge..." ! |
| 2023-10-06 13:39:22 +0200 | <sshine> | I used to be blind to matrix bridging, because it just meant people had "[m]" suffixed. |
| 2023-10-06 13:39:36 +0200 | <haskellbridge> | <s​m> then we learned how to remove those :) |
| 2023-10-06 13:39:54 +0200 | <sshine> | but now we're back to a non-transparent bridge. |
| 2023-10-06 13:40:09 +0200 | <sshine> | ...on the IRC side, I mean. |
| 2023-10-06 13:40:41 +0200 | vglfr | (~vglfr@88.155.152.133) |
| 2023-10-06 13:41:25 +0200 | <haskellbridge> | <s​m> yup, it's non transparent on matrix side too |
| 2023-10-06 13:42:16 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 260 seconds) |
| 2023-10-06 13:42:31 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-10-06 13:42:32 +0200 | <haskellbridge> | <s​m> except to my poor brain it seems. I will try to remember this is a bridged room/channel. Maybe we could add an emoji to room names or something |
| 2023-10-06 13:44:36 +0200 | <sshine> | what happened to the transparent bridge? I thought it must be going across a lot of Libera/Matrix channels? did it get abused? |
| 2023-10-06 13:45:12 +0200 | <yushyin> | sshine: https://libera.chat/news/matrix-bridge-disabled-retrospective |
| 2023-10-06 13:46:59 +0200 | <yushyin> | tl;dr it just didn't work that well |
| 2023-10-06 13:47:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 13:51:55 +0200 | vglfr | (~vglfr@88.155.152.133) (Ping timeout: 255 seconds) |
| 2023-10-06 13:52:02 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-10-06 13:53:52 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2023-10-06 13:55:24 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 248 seconds) |
| 2023-10-06 13:55:39 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-10-06 13:55:50 +0200 | <haskellbridge> | <s​m> it was under-resourced and needed improvement. It might return when that changes |
| 2023-10-06 13:56:17 +0200 | <haskellbridge> | <s​m> no good bridge emojis. I'd vote to append (bridged) to room names with bridges.. |
| 2023-10-06 13:56:52 +0200 | <haskellbridge> | <s​m> (this is for awareness among matrix users; IRC folk, please ignore) |
| 2023-10-06 13:58:05 +0200 | <yushyin> | some acquaintances who run their own matrix homeserver are now using heisenbridge for irc |
| 2023-10-06 13:58:59 +0200 | <yushyin> | ( https://github.com/hifi/heisenbridge ) |
| 2023-10-06 14:02:12 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 272 seconds) |
| 2023-10-06 14:02:27 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-10-06 14:02:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-10-06 14:04:30 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) |
| 2023-10-06 14:10:35 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-10-06 14:11:55 +0200 | vglfr | (~vglfr@37.73.101.141) |
| 2023-10-06 14:15:53 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-06 14:16:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-06 14:25:24 +0200 | vglfr | (~vglfr@37.73.101.141) (Ping timeout: 258 seconds) |
| 2023-10-06 14:27:38 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-10-06 14:28:24 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-10-06 14:30:00 +0200 | akegalj_ | (~akegalj@78-2-181-190.adsl.net.t-com.hr) (Ping timeout: 258 seconds) |
| 2023-10-06 14:32:16 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-10-06 14:32:47 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-10-06 14:33:05 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-10-06 14:38:12 +0200 | akegalj | (~akegalj@141-136-233-226.dsl.iskon.hr) |
| 2023-10-06 14:40:11 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-06 14:42:34 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-10-06 14:43:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f881ca6f15788cf937c.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-06 14:44:01 +0200 | NaughtyEdna | (~NaughtyEd@bras-base-otwaon230qw-grc-34-174-92-47-44.dsl.bell.ca) |
| 2023-10-06 14:44:46 +0200 | <NaughtyEdna> | Courtney Rickett Gets Gangbanged by the Braves - The Shitty Clarinet |
| 2023-10-06 14:44:46 +0200 | <NaughtyEdna> | Courtney Rickett takes ecstasy suppositories with Edna Skilton and ends up gangbanged by the Atlanta Braves and consensually sodomized by her trusty clarinet. https://justpaste.it/Courtney_Rickett_Gangbanged |
| 2023-10-06 14:52:17 +0200 | <dminuoso> | Whats better than Haskell diagnostics or nix diagnostics? Yes! Haskell.nix induced diagnostics clutter: https://gist.github.com/dminuoso/a17f5fa4176cc8c6c84e534d1d6c1e66 |
| 2023-10-06 14:52:30 +0200 | <NaughtyEdna> | Courtney Rickett Gets Gangbanged by the Braves - The Shitty Clarinet - Courtney Rickett takes ecstasy suppositories with Edna Skilton and ends up gangbanged by the Atlanta Braves and consensually sodomized by her trusty clarinet. https://justpaste.it/Courtney_Rickett_Gangbanged |
| 2023-10-06 14:53:11 +0200 | <danse-nr3_> | uh how was that cannel's name again ... |
| 2023-10-06 14:57:05 +0200 | dsrt^ | (~cd@76.145.193.217) (Ping timeout: 240 seconds) |
| 2023-10-06 14:59:07 +0200 | cuiltb^ | (~cd@76.145.193.217) (Ping timeout: 264 seconds) |
| 2023-10-06 15:05:19 +0200 | <haskellbridge> | <s​m> This is getting bad. A while back it was irc getting spam from the matrix side, now it's matrix getting spammed from irc |
| 2023-10-06 15:05:29 +0200 | Alex_test | (~al_test@94.233.241.182) (Quit: ;-) |
| 2023-10-06 15:05:56 +0200 | AlexZenon | (~alzenon@94.233.241.182) (Quit: ;-) |
| 2023-10-06 15:06:31 +0200 | <haskellbridge> | <s​m> if you watch this room, consider being a mod |
| 2023-10-06 15:06:58 +0200 | NaughtyEdna | (~NaughtyEd@bras-base-otwaon230qw-grc-34-174-92-47-44.dsl.bell.ca) (K-Lined) |
| 2023-10-06 15:11:28 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-10-06 15:11:47 +0200 | AlexNoo | (~AlexNoo@94.233.241.182) (Quit: Leaving) |
| 2023-10-06 15:12:02 +0200 | kmein | (~weechat@user/kmein) |
| 2023-10-06 15:12:56 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) (Remote host closed the connection) |
| 2023-10-06 15:13:19 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) |
| 2023-10-06 15:13:37 +0200 | arahael | (~arahael@103.246.103.99) (Ping timeout: 252 seconds) |
| 2023-10-06 15:15:57 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2023-10-06 15:16:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-06 15:17:19 +0200 | <ent> | siellä taitaa nuuska korvata tupakkaa jonku verran |
| 2023-10-06 15:17:24 +0200 | <ent> | oops |
| 2023-10-06 15:17:43 +0200 | <ent> | paste into wrong window - pls ignore :-P |
| 2023-10-06 15:18:12 +0200 | Square | (~Square@user/square) |
| 2023-10-06 15:26:15 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 2023-10-06 15:26:37 +0200 | AlexZenon | (~alzenon@94.233.241.182) |
| 2023-10-06 15:26:38 +0200 | AlexNoo | (~AlexNoo@94.233.241.182) |
| 2023-10-06 15:28:20 +0200 | Alex_test | (~al_test@94.233.241.182) |
| 2023-10-06 15:29:06 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 2023-10-06 15:29:46 +0200 | stites | (~stites@2607:fb91:dc3:545:4935:e9c4:fad4:f984) |
| 2023-10-06 15:30:12 +0200 | akegalj | (~akegalj@141-136-233-226.dsl.iskon.hr) (Quit: leaving) |
| 2023-10-06 15:31:45 +0200 | billchenchina- | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-06 15:32:03 +0200 | aliosablack | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-06 15:32:46 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2023-10-06 15:33:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-06 15:33:28 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2023-10-06 15:33:30 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-10-06 15:33:30 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Read error: Connection reset by peer) |
| 2023-10-06 15:33:30 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2023-10-06 15:33:30 +0200 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-06 15:33:30 +0200 | haasn` | (~nand@haasn.dev) (Remote host closed the connection) |
| 2023-10-06 15:33:30 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) (Ping timeout: 272 seconds) |
| 2023-10-06 15:33:30 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 272 seconds) |
| 2023-10-06 15:33:41 +0200 | haasn- | (~nand@haasn.dev) |
| 2023-10-06 15:33:49 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) |
| 2023-10-06 15:33:50 +0200 | EvanR_ | (~EvanR@user/evanr) |
| 2023-10-06 15:34:40 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 272 seconds) |
| 2023-10-06 15:35:18 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 272 seconds) |
| 2023-10-06 15:36:34 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-10-06 15:36:35 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2023-10-06 15:39:19 +0200 | akegalj | (~akegalj@141-136-233-226.dsl.iskon.hr) |
| 2023-10-06 15:39:38 +0200 | ystael | (~ystael@user/ystael) |
| 2023-10-06 15:41:14 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 15:41:44 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) (Ping timeout: 245 seconds) |
| 2023-10-06 15:46:17 +0200 | stites | (~stites@2607:fb91:dc3:545:4935:e9c4:fad4:f984) (Read error: Connection reset by peer) |
| 2023-10-06 15:46:18 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-06 15:46:38 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-06 15:47:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-06 15:47:34 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-06 15:47:46 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-06 15:48:23 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) |
| 2023-10-06 15:52:39 +0200 | <danse-nr3_> | yeah i agree <sm>, 20 minutes is a bit too much as a reaction time. I am new here but will ask whether moderators can use any help |
| 2023-10-06 15:55:02 +0200 | ski | (~ski@88.131.7.247) |
| 2023-10-06 15:56:00 +0200 | <haskellbridge> | <s​m> I should keep remembering to clarify ! I am inviting more mods on the matrix side. I don't know if anything can be done irc-side |
| 2023-10-06 15:58:44 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-06 16:00:24 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) |
| 2023-10-06 16:00:28 +0200 | <danse-nr3_> | uh that was an IRC user, can matrix mods ban IRC users? |
| 2023-10-06 16:00:34 +0200 | dsrt^ | (~cd@76.145.193.217) |
| 2023-10-06 16:01:18 +0200 | <haskellbridge> | <s​m> no, but what we can do is remove their spam on the matrix side, so at least most matrix users won't see it |
| 2023-10-06 16:01:46 +0200 | <haskellbridge> | <s​m> and it won't remain in the permanent room history |
| 2023-10-06 16:01:53 +0200 | <danse-nr3_> | i see. Yeah but slow reaction from this side. I got in touch with #haskell-ops |
| 2023-10-06 16:02:04 +0200 | <haskellbridge> | <s​m> thanks! |
| 2023-10-06 16:02:15 +0200 | <danse-nr3_> | thanks to you |
| 2023-10-06 16:02:48 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-10-06 16:03:30 +0200 | <ski> | was there a spammer ? |
| 2023-10-06 16:03:32 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-06 16:04:58 +0200 | <danse-nr3_> | yeah at 14:44. Kicked at 15:06 |
| 2023-10-06 16:05:35 +0200 | <ski> | yea, just found it in the logs |
| 2023-10-06 16:05:39 +0200 | <ski> | (i just joined) |
| 2023-10-06 16:05:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-06 16:09:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-10-06 16:10:14 +0200 | acidjnk | (~acidjnk@p200300d6e7072f88f8dec80e9aca23dc.dip0.t-ipconnect.de) |
| 2023-10-06 16:10:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-06 16:10:53 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-06 16:14:55 +0200 | <tomsmeding> | can't we auto-kick on justpasteit or something |
| 2023-10-06 16:14:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 16:15:26 +0200 | pyooque | (~puke@user/puke) |
| 2023-10-06 16:15:26 +0200 | puke | Guest5894 |
| 2023-10-06 16:15:26 +0200 | Guest5894 | (~puke@user/puke) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2023-10-06 16:15:26 +0200 | pyooque | puke |
| 2023-10-06 16:20:08 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-10-06 16:20:22 +0200 | <gensyst> | Can someone help me get a feel for what they mean by "accumulated measure", here? https://hackage.haskell.org/package/fingertree-0.1.5.0/docs/Data-FingerTree.html#v:split |
| 2023-10-06 16:20:28 +0200 | vglfr | (~vglfr@37.73.100.162) |
| 2023-10-06 16:21:53 +0200 | <opqdonut> | the finger tree is measured with an arbitrary monoid |
| 2023-10-06 16:22:07 +0200 | <opqdonut> | it could be something like a running sum (from left to right) |
| 2023-10-06 16:22:11 +0200 | <opqdonut> | or just count of elements |
| 2023-10-06 16:22:30 +0200 | <gensyst> | Let's say my "a" is (Double, Double) and I know fst (the first double) is non-decreasing. All I want the ability to quickly obtain the sequence where fst (the first double) goes above e.g. 5.0. |
| 2023-10-06 16:22:36 +0200 | <[Leary]> | gensyst: https://apfelmus.nfshost.com/articles/monoid-fingertree.html |
| 2023-10-06 16:22:47 +0200 | <opqdonut> | gensyst: yeah, that works |
| 2023-10-06 16:22:49 +0200 | <gensyst> | What should I choose as my measure? I'm not sure how to visualize Monoid. |
| 2023-10-06 16:23:15 +0200 | <opqdonut> | in that case you want the Max monoid |
| 2023-10-06 16:23:16 +0200 | <gensyst> | (or rather, what monoid to pick for this purpose) |
| 2023-10-06 16:23:20 +0200 | <gensyst> | Ah |
| 2023-10-06 16:23:33 +0200 | <opqdonut> | then you'll get the shortest prefix for which max is >= 5.0 |
| 2023-10-06 16:23:41 +0200 | <gensyst> | lol |
| 2023-10-06 16:23:44 +0200 | <gensyst> | elegant! |
| 2023-10-06 16:25:20 +0200 | <opqdonut> | surprisingly many problems can be formulated like this, but it takes some getting used to |
| 2023-10-06 16:25:34 +0200 | <opqdonut> | I happened to write my master's on this :P |
| 2023-10-06 16:26:13 +0200 | <gensyst> | opqdonut, so "Max a" is the monoid? (max over the elements in the sequence) |
| 2023-10-06 16:27:19 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-06 16:28:09 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-06 16:28:43 +0200 | <opqdonut> | you need to do something like this: |
| 2023-10-06 16:28:54 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-10-06 16:28:57 +0200 | <opqdonut> | - your elements are newtype MyElement = MyElement (Double,Double) |
| 2023-10-06 16:29:18 +0200 | <geekosaur> | tomsmeding, someone would have to write an IRC bot (or bot plugin for some bot framework) and give it ops |
| 2023-10-06 16:29:38 +0200 | <opqdonut> | - then you have: instance Measured (Max Double) MyElement where measure (_,x) = Max x |
| 2023-10-06 16:30:02 +0200 | <opqdonut> | and then it should work out |
| 2023-10-06 16:31:36 +0200 | <opqdonut> | ah the Monoid (Max Double) instance depends on Bounded Double, which isn't true... |
| 2023-10-06 16:32:08 +0200 | <tomsmeding> | can always write a custom monoid |
| 2023-10-06 16:32:13 +0200 | <tomsmeding> | geekosaur: right |
| 2023-10-06 16:32:24 +0200 | <opqdonut> | you might need a custom monoid like: data MyMax = SmallestElement | MyMax Double |
| 2023-10-06 16:32:28 +0200 | <opqdonut> | tomsmeding: exactly |
| 2023-10-06 16:32:43 +0200 | <opqdonut> | that monoid is probably somewhere on hackage like 10 times :P |
| 2023-10-06 16:33:50 +0200 | <geekosaur> | can't you just use `Maybe Double`? |
| 2023-10-06 16:34:15 +0200 | patrl | (~patrl@user/patrl) |
| 2023-10-06 16:34:16 +0200 | <opqdonut> | well sure but that's not Bounded either |
| 2023-10-06 16:35:31 +0200 | <gensyst> | couldn't i just newtype wrap Double and say e.g. -1e200 and +1e200 ? |
| 2023-10-06 16:35:33 +0200 | <gensyst> | or something |
| 2023-10-06 16:35:40 +0200 | <gensyst> | minBound/maxBound |
| 2023-10-06 16:35:43 +0200 | <dminuoso> | In what sense is Double not Bounded?? |
| 2023-10-06 16:35:44 +0200 | <tomsmeding> | if you like living on the edge :p |
| 2023-10-06 16:35:48 +0200 | <opqdonut> | gensyst: yeah that works |
| 2023-10-06 16:35:54 +0200 | <tomsmeding> | % minBound :: Double |
| 2023-10-06 16:35:54 +0200 | <yahb2> | <interactive>:35:1: error: ; • No instance for (Bounded Double) arising from a use of ‘minBound’ ; • In the expression: minBound :: Double ; In an equation for ‘it’: it = minBound :: ... |
| 2023-10-06 16:35:56 +0200 | <opqdonut> | gensyst: or even -Inf +Inf |
| 2023-10-06 16:35:57 +0200 | <tomsmeding> | in that sense |
| 2023-10-06 16:36:01 +0200 | <opqdonut> | yeah, in that sense |
| 2023-10-06 16:36:07 +0200 | aliosablack | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 258 seconds) |
| 2023-10-06 16:36:15 +0200 | <dminuoso> | Oh, just in the sense that the instance is missing. Heh. |
| 2023-10-06 16:36:26 +0200 | danse-nr3__ | (~francesco@151.35.100.104) |
| 2023-10-06 16:36:45 +0200 | ski | (~ski@88.131.7.247) (Ping timeout: 272 seconds) |
| 2023-10-06 16:36:56 +0200 | <dminuoso> | Curious why the instance does not exist. It seems -Inf/+Inf seem like good choices to me. |
| 2023-10-06 16:37:04 +0200 | <gensyst> | What a pita lol. All I wanted to quick way to grab >= x in a sequence, and I'm down some FingerTree rabbit hole lol |
| 2023-10-06 16:37:06 +0200 | <gensyst> | :S |
| 2023-10-06 16:37:09 +0200 | <dminuoso> | The fact that its not totally ordered due to NaN seems fine given that Ord is not a superclass |
| 2023-10-06 16:38:14 +0200 | <gensyst> | Is this why Data.Sequence doesn't support O(log) >=x searches? The fact there's really no way to generalize that? |
| 2023-10-06 16:38:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:85d2:adde:b766:558d) (Quit: WeeChat 2.8) |
| 2023-10-06 16:39:16 +0200 | danse-nr3_ | (~francesco@ge-19-99-140.service.infuturo.it) (Ping timeout: 272 seconds) |
| 2023-10-06 16:41:44 +0200 | myme | (~myme@2a01:799:d60:e400:7d0e:d196:8562:31f6) (Remote host closed the connection) |
| 2023-10-06 16:42:09 +0200 | myme | (~myme@2a01:799:d60:e400:4d89:c3c5:a1f:1014) |
| 2023-10-06 16:43:26 +0200 | <opqdonut> | gensyst: you need to pay some memory to track these measures in all the non-leaf nodes of the tree |
| 2023-10-06 16:44:24 +0200 | <opqdonut> | Data.Sequence is hardcoded to only track size as the measure |
| 2023-10-06 16:44:35 +0200 | <opqdonut> | I bet it makes the compiled code tighter as well, not having to dispatch through a type class |
| 2023-10-06 16:45:36 +0200 | akegalj | (~akegalj@141-136-233-226.dsl.iskon.hr) (Quit: leaving) |
| 2023-10-06 16:47:49 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-06 16:47:56 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Remote host closed the connection) |
| 2023-10-06 16:48:23 +0200 | <[Leary]> | Well, that should normally all be inlined away. One real win would be unpacking the size Int# into the node constructor. |
| 2023-10-06 16:49:06 +0200 | rgw | (~R@2605:a601:a0df:5600:fd37:73ed:1518:5c4b) |
| 2023-10-06 16:49:35 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2023-10-06 16:49:50 +0200 | patrl | (~patrl@user/patrl) |
| 2023-10-06 16:50:39 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-06 16:50:57 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-06 16:51:38 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) (Quit: Client closed) |
| 2023-10-06 16:57:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-10-06 17:00:55 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-06 17:04:01 +0200 | <sshine> | dminuoso, I don't know if Bounded has any rules that suggest that all of its values must be bounded. is NaN bounded by +/- Inf? |
| 2023-10-06 17:04:27 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-06 17:04:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-06 17:05:24 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2023-10-06 17:05:35 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2023-10-06 17:05:41 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) |
| 2023-10-06 17:05:50 +0200 | patrl | (~patrl@user/patrl) |
| 2023-10-06 17:12:07 +0200 | cuiltb^ | (~cd@76.145.193.217) |
| 2023-10-06 17:12:54 +0200 | <danse-nr3__> | i stumbled on the same problem again as a few weeks ago, but this time with less time and less hope to find a solution, but writing here because it seems interesting that this occurrs again |
| 2023-10-06 17:13:50 +0200 | <danse-nr3__> | basically i need to turn a sum type into etherogeneous types |
| 2023-10-06 17:14:29 +0200 | <danse-nr3__> | i cannot write an `f :: a -> b` because `b` would diverge (not sure this is the right term ... maybe "not unify"?) |
| 2023-10-06 17:15:21 +0200 | aliosablack | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-06 17:15:25 +0200 | <danse-nr3__> | so i write `f :: a -> (forall b . b -> c) -> c` to achieve the same by passing a function that "consumes" the divergence |
| 2023-10-06 17:17:15 +0200 | <danse-nr3__> | writing this, you already showed me that the (forall b . b -> c) should list all typeclasses that b can have in f usages, differently from what i think is the more common polymorphic type semantics |
| 2023-10-06 17:18:33 +0200 | <danse-nr3__> | in the other case i only had one typeclass, but now there are a lot, so the abstraction becomes unwieldly. If anyone has ideas about a different approach off the top of your head, that would be interesting to know |
| 2023-10-06 17:19:35 +0200 | vglfr | (~vglfr@37.73.100.162) (Read error: Connection reset by peer) |
| 2023-10-06 17:22:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-10-06 17:25:40 +0200 | cuiltb^ | (~cd@76.145.193.217) (Remote host closed the connection) |
| 2023-10-06 17:25:41 +0200 | dsrt^ | (~cd@76.145.193.217) (Remote host closed the connection) |
| 2023-10-06 17:25:57 +0200 | cuiltb^ | (~cd@76.145.193.217) |
| 2023-10-06 17:27:10 +0200 | <tomsmeding> | danse-nr3__: is the only problem that there are a lot of type classes to list in the continuation? |
| 2023-10-06 17:27:24 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2023-10-06 17:29:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-06 17:29:15 +0200 | <danse-nr3__> | this is the problem i have in this case, yes |
| 2023-10-06 17:29:31 +0200 | <tomsmeding> | then I fear the best solution is just to list all those type classes |
| 2023-10-06 17:29:54 +0200 | <tomsmeding> | you need to somehow specify what the caller of f can gets to know about the thing "returned" from f |
| 2023-10-06 17:30:04 +0200 | <tomsmeding> | if that spec is unwieldy, that's too bad |
| 2023-10-06 17:30:15 +0200 | <tomsmeding> | however you encode that spec, you're going to need to encode it |
| 2023-10-06 17:30:31 +0200 | <[Leary]> | danse-nr3__: You can perhaps simplify the problem away by letting your sum remain a sum for a while longer, and just map over the components. Otherwise, it depends on what your types actually looks like. The input and output types can perhaps be written as GADTs such that `f :: A x -> B x` handles the heterogeneity, or `A x -> B (F x)` for some type family `F`. |
| 2023-10-06 17:30:39 +0200 | <tomsmeding> | you could bundle type classes in a single synonym if you want with ConstraintKinds: type Bundle a = (Eq a, Show a, Bounded a, ...) |
| 2023-10-06 17:32:44 +0200 | <haskellbridge> | <t​ewuzij> Donut code in Haskell? |
| 2023-10-06 17:35:07 +0200 | <danse-nr3__> | thanks both. tomsmeding's reply makes sense, just still seems odd that `f` is limited by constraints that relate to its usages. Maybe food for thought. Need to think a bit about [Leary]'s suggestions |
| 2023-10-06 17:35:23 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) (Quit: Client closed) |
| 2023-10-06 17:35:36 +0200 | <tomsmeding> | danse-nr3__: f is not limited by constraints, the callback is |
| 2023-10-06 17:35:37 +0200 | <danse-nr3__> | and not sure about donuts |
| 2023-10-06 17:36:01 +0200 | <tomsmeding> | because the constraints go inside the callback, right? |
| 2023-10-06 17:36:16 +0200 | <danse-nr3__> | yes i meant the callback in f's signature |
| 2023-10-06 17:36:39 +0200 | <tomsmeding> | it's not strange that the callback gets those constraints, right? |
| 2023-10-06 17:36:49 +0200 | <tomsmeding> | without them it would know _nothing_ about b |
| 2023-10-06 17:36:59 +0200 | <tomsmeding> | with them, it at least knows something about b (namely that it implements those classes) |
| 2023-10-06 17:37:13 +0200 | <danse-nr3__> | yeah probably i just find it strange because i did not reflect enough about what it means to have etherogeneous types in f |
| 2023-10-06 17:37:19 +0200 | <tomsmeding> | '(forall b. b -> c)' is equivalent to c |
| 2023-10-06 17:38:29 +0200 | <haskellbridge> | <t​ewuzij> Has anyone rendered 3d donut by 'donut.c' in Haskell? |
| 2023-10-06 17:43:54 +0200 | vglfr | (~vglfr@88.155.153.208) |
| 2023-10-06 17:43:54 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-06 17:44:53 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-06 17:47:56 +0200 | CiaoSen | (~Jura@2a05:5800:299:900:664b:f0ff:fe37:9ef) (Ping timeout: 248 seconds) |
| 2023-10-06 17:48:40 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) |
| 2023-10-06 17:49:00 +0200 | aliosablack | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 2023-10-06 17:49:46 +0200 | <gensyst> | If I have newtype Foo = Foo Int, will map Foo [1,2,3,4,5] actually do a O(n) at runtime to do nothing for each element? |
| 2023-10-06 17:50:59 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) (Client Quit) |
| 2023-10-06 17:51:56 +0200 | <[Leary]> | gensyst: Unfortunately, it may indeed. You can use `coerce :: [Int] -> [Foo]` instead, however. |
| 2023-10-06 17:53:23 +0200 | danse-nr3__ | (~francesco@151.35.100.104) (Ping timeout: 272 seconds) |
| 2023-10-06 17:55:59 +0200 | <gensyst> | [Leary], does some hold for unwrapping? |
| 2023-10-06 17:56:14 +0200 | <[Leary]> | Yes. |
| 2023-10-06 17:56:18 +0200 | <gensyst> | thanks! |
| 2023-10-06 17:56:53 +0200 | <gensyst> | [Leary], does it work for all structures? not just lists but also Maps, Fingertrees, etc.? |
| 2023-10-06 17:59:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-06 17:59:32 +0200 | <[Leary]> | It depends on the "role" of the type parameter you're coercing over; see <https://hackage.haskell.org/package/base-4.18.1.0/docs/Data-Coerce.html#t:Coercible> for details. |
| 2023-10-06 17:59:55 +0200 | <[Leary]> | Barring a few limitations, it generally works when what you're trying to do makes sense. |
| 2023-10-06 18:02:04 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-06 18:04:59 +0200 | <[Leary]> | It looks to me like you /can/ coerce over finger trees, though you really shouldn't be able to---changing the measure type changes the Monoid instance, which breaks the cached measures. |
| 2023-10-06 18:07:55 +0200 | <gensyst> | yikes |
| 2023-10-06 18:08:31 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-06 18:08:50 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-06 18:09:00 +0200 | <c_wraith> | the measure type should be a different type parameter than the element type |
| 2023-10-06 18:09:57 +0200 | <int-e> | [Leary]: if that's your own type, you can give the type argument a nominal role to prevent that. |
| 2023-10-06 18:10:05 +0200 | <[Leary]> | I don't think you should be able to coerce the element either, due to the Measured type class. |
| 2023-10-06 18:10:20 +0200 | <[Leary]> | int-e: I'm referring to the fingertree package. |
| 2023-10-06 18:10:26 +0200 | <int-e> | For example, Data.Map.Map has `type role Map nominal representational` |
| 2023-10-06 18:10:29 +0200 | <gensyst> | yeah i'm talking about fingertree too |
| 2023-10-06 18:10:57 +0200 | <int-e> | Which prevents you from using `coerce` to change the key type. |
| 2023-10-06 18:13:22 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-06 18:14:58 +0200 | <gensyst> | cool |
| 2023-10-06 18:15:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-10-06 18:15:44 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) |
| 2023-10-06 18:18:38 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-06 18:21:41 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-06 18:22:58 +0200 | aforemny | (~aforemny@i59F516E0.versanet.de) |
| 2023-10-06 18:24:09 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-06 18:24:35 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-06 18:24:52 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-06 18:28:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Remote host closed the connection) |
| 2023-10-06 18:28:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 18:28:34 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-06 18:34:05 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: be right back... rebooting.) |
| 2023-10-06 18:35:26 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-06 18:35:41 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2023-10-06 18:38:02 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-06 18:40:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-06 18:41:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-06 18:44:21 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-06 18:48:23 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-06 18:49:20 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-10-06 18:49:58 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 18:52:10 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-10-06 18:55:17 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-10-06 18:55:56 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 19:00:15 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-10-06 19:04:02 +0200 | dcoutts | (~duncan@82.14.199.136) |
| 2023-10-06 19:04:07 +0200 | dcoutts | (~duncan@82.14.199.136) (Remote host closed the connection) |
| 2023-10-06 19:04:29 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-06 19:12:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 272 seconds) |
| 2023-10-06 19:13:18 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2023-10-06 19:13:48 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2023-10-06 19:14:16 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-06 19:17:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-06 19:18:08 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-06 19:18:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-06 19:20:02 +0200 | ChanServ | +o geekosaur |
| 2023-10-06 19:20:08 +0200 | ozone | (ozone@libera/bot/ozone) |
| 2023-10-06 19:20:08 +0200 | <ozone> | ** Warning: if there is any bot in #haskell which should be exempted from ozone, voice it or contact staffers before it gets caught ** |
| 2023-10-06 19:20:34 +0200 | geekosaur | -o geekosaur |
| 2023-10-06 19:22:36 +0200 | <Rembane> | Is ozone a bot remover? |
| 2023-10-06 19:22:46 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 252 seconds) |
| 2023-10-06 19:23:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-10-06 19:23:25 +0200 | <haskellbridge> | <s​m> looks like a battledroid |
| 2023-10-06 19:23:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-06 19:23:39 +0200 | <geekosaur> | spam bot |
| 2023-10-06 19:24:20 +0200 | <Rembane> | Cool, I imagine it as a droideka. |
| 2023-10-06 19:24:27 +0200 | <geekosaur> | we used to have it in channel on Freenode, so we're bringing it back to deal with the latest spam wave |
| 2023-10-06 19:24:50 +0200 | <dminuoso> | sshine: Like I said, given that Ord is not a superclass, the answer to that question doesnt even matter. |
| 2023-10-06 19:25:11 +0200 | <dminuoso> | Bounded is as most numerical classes, quite lawless. |
| 2023-10-06 19:25:24 +0200 | <Rembane> | geekosaur: Good stuff. |
| 2023-10-06 19:26:09 +0200 | <geekosaur> | I'm not sure I'd call Ord all that lawful given that both Double and Complex Double have instances |
| 2023-10-06 19:28:22 +0200 | <ncf> | i don't see an Ord instance for Complex |
| 2023-10-06 19:29:10 +0200 | <dolio> | Yeah, complex numbers at least don't have instances. |
| 2023-10-06 19:30:35 +0200 | <ncf> | but then Data.Complex says "For example, Complex Float's Ord instance has similar problems to Float's."... was it removed at some point? |
| 2023-10-06 19:31:01 +0200 | <dolio> | Not that I recall. |
| 2023-10-06 19:31:57 +0200 | <dminuoso> | geekosaur: Double/Complex I can live with. The consequences of them not having an instance on the basis of some almost entirely philosophical and idealistic point of view are too drastic. |
| 2023-10-06 19:32:49 +0200 | <dminuoso> | Well. Regarding Double anyway. |
| 2023-10-06 19:33:16 +0200 | <dminuoso> | In case of Complex, who knows how many unexpected program behaviors it has produced in the past. |
| 2023-10-06 19:33:58 +0200 | <dolio> | That comment was added 5 years ago, and there was no Ord instance at the time. |
| 2023-10-06 19:34:48 +0200 | <dolio> | Should probably say Eq instead. |
| 2023-10-06 19:36:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-10-06 19:37:11 +0200 | <dminuoso> | Mmm. Complex has a Storable instance, I find that rather sad. :( |
| 2023-10-06 19:37:30 +0200 | <dminuoso> | But then again, I dislike Storable in general. |
| 2023-10-06 19:37:56 +0200 | <dminuoso> | With the typeclass design in Haskell, de-/serialization with typeclasses is one of the worse ideas. |
| 2023-10-06 19:38:24 +0200 | stites | (~stites@155.33.134.29) (Read error: Connection reset by peer) |
| 2023-10-06 19:39:03 +0200 | stites | (~stites@155.33.134.29) |
| 2023-10-06 19:43:32 +0200 | stites | (~stites@155.33.134.29) (Ping timeout: 255 seconds) |
| 2023-10-06 19:43:40 +0200 | stites | (~stites@2607:fb91:dcf:cc9b:5aee:fc9:75af:2def) |
| 2023-10-06 19:44:22 +0200 | <elevenkb> | dimnuouso: what's so bad about (de)serialization with type classes? |
| 2023-10-06 19:44:47 +0200 | <elevenkb> | i'm a n00b just finished reading Haskell Programming from First Principles. |
| 2023-10-06 19:45:08 +0200 | <dminuoso> | Since you can have only one instance for a given type, it proclaims a world wide fact that whatever format you're thinking of, is clearly the one single, true, authoritative and only format. |
| 2023-10-06 19:45:21 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-10-06 19:45:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Remote host closed the connection) |
| 2023-10-06 19:45:59 +0200 | <dminuoso> | And further, because typeclasses are haskells way of duck typing, if you switch types you often end up with "it still compiles, but sometimes it accidentally ends up latching on some other implementation" |
| 2023-10-06 19:47:00 +0200 | <dminuoso> | Say you use `newtype MyFancyWrapper = MyFancyWrapper Complex`, implement your own Storable MyFancyWrapper, but for some unrelated reason remove the newtype mechanically. Everything compiles, but suddenly you get segmentation faults because the new Storable instance pokes at memory differently than before. |
| 2023-10-06 19:47:55 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) (Quit: Client closed) |
| 2023-10-06 19:48:30 +0200 | <dminuoso> | If you had used some `peekMyFancyComplex :: Ptr MyFancyWrapper -> IO MyFancyWrapper` instead, nothing would have broken. Or the factor would have produced a legibile type mismatch error on the peek location. |
| 2023-10-06 19:48:47 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-06 19:49:10 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) () |
| 2023-10-06 19:52:04 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-06 19:52:10 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 19:52:15 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-06 19:52:32 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-06 19:53:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 19:54:52 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-06 19:55:43 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-10-06 19:57:49 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-10-06 20:00:26 +0200 | <elevenkb> | :-o |
| 2023-10-06 20:00:29 +0200 | stites | (~stites@2607:fb91:dcf:cc9b:5aee:fc9:75af:2def) (Read error: Connection reset by peer) |
| 2023-10-06 20:00:39 +0200 | <elevenkb> | thanks dimnuoso! |
| 2023-10-06 20:00:53 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-06 20:01:15 +0200 | <geekosaur> | the notion behind `Storable` is that there's one "reasonable" way to represent a C `struct` as a Haskell ADT or vice versa |
| 2023-10-06 20:01:45 +0200 | <geekosaur> | `Complex Double` itself is proof otherwise, because there are two reasonable ways to represent it (Cartesian or vector) |
| 2023-10-06 20:01:58 +0200 | <geekosaur> | s/vector/polar/ |
| 2023-10-06 20:02:51 +0200 | <geekosaur> | and worse, if you want to keep full precision the two are likely to be indistinguishable |
| 2023-10-06 20:03:01 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-06 20:05:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Remote host closed the connection) |
| 2023-10-06 20:05:53 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-10-06 20:07:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c02f-cc39-ea5d-663b.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-06 20:15:52 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 272 seconds) |
| 2023-10-06 20:16:26 +0200 | <monochrom> | You can use type classes to organize serialization if you accept that people will make multiple type classes standing for multiple respective serialization formats. For example we already have 1. Show/Read, 2. Storable, 3. ToRecord/FromRecord (CSV), 4. ToJSON/FromJSON, 5-9. there are several using XML, 10-12. there are several using YAML, 13-17. ... |
| 2023-10-06 20:18:12 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-06 20:19:04 +0200 | <monochrom> | Naturally I also forgot: 18-314. multiple variations using Put/Get (https://hackage.haskell.org/package/binary) |
| 2023-10-06 20:19:57 +0200 | EvanR_ | EvanR |
| 2023-10-06 20:20:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 20:20:59 +0200 | <EvanR> | a correspondence between Storable type and C struct makes sense, but then, Storable takes the form of manipulating individual bytes |
| 2023-10-06 20:22:34 +0200 | <EvanR> | Storable has a single alignment method for the whole object, but don't the details of field encoding depend on the C implementation |
| 2023-10-06 20:22:58 +0200 | <EvanR> | or does Storable not imply transferrable |
| 2023-10-06 20:23:21 +0200 | <EvanR> | in which case "one reasonable way" is suspicious |
| 2023-10-06 20:23:24 +0200 | <geekosaur> | there are size and alignment methods associated with Storable |
| 2023-10-06 20:23:58 +0200 | <geekosaur> | and you generally generate this stuff with hsc2hs which queries the C compiler for storage details |
| 2023-10-06 20:24:11 +0200 | <EvanR> | ok so one reasonable way per host |
| 2023-10-06 20:24:28 +0200 | <monochrom> | Apply recursion. Your "whole object" consists of fields that are Storable instances themselves too, so each field also has an alignment method. |
| 2023-10-06 20:25:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-06 20:25:08 +0200 | <monochrom> | "It's Storable all the way down." |
| 2023-10-06 20:25:09 +0200 | <EvanR> | yes but the encoding of C structs could vary between hosts, extra padding, different alignment requirements imposed by the architecture |
| 2023-10-06 20:25:56 +0200 | <geekosaur> | the assumption is that arch is enough to determine that. note that C and C++ programs assume this as well |
| 2023-10-06 20:26:16 +0200 | <geekosaur> | otherwise you'd always have to compile programs from source |
| 2023-10-06 20:27:19 +0200 | <geekosaur> | back shortly I hope |
| 2023-10-06 20:27:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-10-06 20:27:41 +0200 | geekosaur[c] | geekosaur |
| 2023-10-06 20:29:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2023-10-06 20:29:46 +0200 | <monochrom> | I am under the impression that the C standard adds enough constraints (despite all the "it varies" scaremongering) so that if you know per-int/char/long/ptr/... size and alignment, then structs are completely determined. |
| 2023-10-06 20:30:07 +0200 | <monochrom> | But if I am wrong, there is still hsc2hs to help. |
| 2023-10-06 20:30:40 +0200 | <monochrom> | And in the wild, the moment you cite for example "x86-64 ABI", these things are completely determined too. |
| 2023-10-06 20:31:01 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-10-06 20:31:48 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-06 20:31:57 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-10-06 20:33:38 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1::96c) |
| 2023-10-06 20:36:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2023-10-06 20:37:36 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-06 20:41:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-10-06 20:44:21 +0200 | <EvanR> | that might be part of the ABI convention on a particular platform that geekosaur was referring to |
| 2023-10-06 20:47:52 +0200 | <monochrom> | Yeah. |
| 2023-10-06 20:48:42 +0200 | <monochrom> | The x86-64 ABI (and the x86-32 ABI) is actually documented somewhere. I didn't bookmark it, but I read it once. |
| 2023-10-06 20:53:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-06 20:55:22 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-06 21:11:25 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-06 21:13:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Remote host closed the connection) |
| 2023-10-06 21:14:30 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-10-06 21:14:30 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-10-06 21:14:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-06 21:15:59 +0200 | Joao003 | (~Joao003@190.108.99.241) |
| 2023-10-06 21:16:11 +0200 | <Joao003> | hi |
| 2023-10-06 21:21:51 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2023-10-06 21:31:31 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-10-06 21:39:12 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-06 21:43:14 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-06 21:46:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 21:50:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) (Ping timeout: 248 seconds) |
| 2023-10-06 22:00:49 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-06 22:05:34 +0200 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 255 seconds) |
| 2023-10-06 22:08:37 +0200 | geekosaur | geekosaur[c] |
| 2023-10-06 22:09:00 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-10-06 22:09:51 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2023-10-06 22:10:35 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2023-10-06 22:14:00 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2023-10-06 22:16:03 +0200 | <shapr> | hi Joao003, want to learn Haskell? |
| 2023-10-06 22:16:21 +0200 | <Joao003> | i alr know haskell |
| 2023-10-06 22:17:14 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-06 22:17:46 +0200 | <mikko> | i don't trust anyone who says that |
| 2023-10-06 22:18:47 +0200 | <yushyin> | unless your first name happens to be simon |
| 2023-10-06 22:20:29 +0200 | <geekosaur> | heh |
| 2023-10-06 22:23:32 +0200 | <ddellacosta> | I know nothing about Haskell, and the more I learn the less I know |
| 2023-10-06 22:24:54 +0200 | ddellacosta | gets hit by a stick |
| 2023-10-06 22:29:42 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-06 22:30:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-06 22:32:23 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-06 22:33:01 +0200 | elbear | (~lucian@109.101.137.234) |
| 2023-10-06 22:37:20 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-06 22:37:44 +0200 | elbear | (~lucian@109.101.137.234) (Ping timeout: 272 seconds) |
| 2023-10-06 22:39:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e0cf:d5dc:ecb2:78c3) |
| 2023-10-06 22:45:49 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-10-06 22:48:05 +0200 | aliosablack | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-06 22:48:12 +0200 | geekosaur[c] | geekosaur |
| 2023-10-06 22:50:21 +0200 | solution | (~solution@178-164-235-253.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 2023-10-06 22:50:52 +0200 | michalz | (~michalz@185.246.204.122) (Remote host closed the connection) |
| 2023-10-06 22:51:56 +0200 | solution | (~solution@92-249-194-88.pool.digikabel.hu) |
| 2023-10-06 22:54:11 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-10-06 22:54:58 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-06 23:01:59 +0200 | kimiamania4 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-10-06 23:02:28 +0200 | kimiamania4 | (~b4f4a2ab@user/kimiamania) |
| 2023-10-06 23:02:54 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-06 23:03:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-06 23:03:58 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-06 23:04:58 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2023-10-06 23:05:13 +0200 | cpressey | (~cpressey@host-92-10-151-176.as13285.net) |
| 2023-10-06 23:06:26 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-10-06 23:10:35 +0200 | vglfr | (~vglfr@88.155.153.208) (Ping timeout: 240 seconds) |
| 2023-10-06 23:10:52 +0200 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-06 23:10:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-06 23:13:18 +0200 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2023-10-06 23:19:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-06 23:25:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-06 23:32:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-06 23:33:35 +0200 | <mauke> | why are booleans so hard :-( |
| 2023-10-06 23:35:00 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-10-06 23:35:04 +0200 | <EvanR> | have you tried using a karnaugh map |
| 2023-10-06 23:35:16 +0200 | <mauke> | all I want to do is analyze a boolean expression with variables and determine whether it is a tautology. surely that can be done by algebraically reducing it to True |
| 2023-10-06 23:38:02 +0200 | <mauke> | EvanR: not yet; reading ... |
| 2023-10-06 23:38:30 +0200 | <rgw> | have you ever read "programming in haskell"? |
| 2023-10-06 23:38:42 +0200 | <rgw> | it actually has an example for checking tautologies |
| 2023-10-06 23:39:17 +0200 | <EvanR> | karnaugh map is a tool to go backwards, if you know what all the result of the expression is for all inputs, how to get the simplest expression you can |
| 2023-10-06 23:39:24 +0200 | <EvanR> | so probably won't help |
| 2023-10-06 23:39:24 +0200 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) |
| 2023-10-06 23:39:27 +0200 | <shapr> | EvanR: is that like the mercator projection? |
| 2023-10-06 23:40:30 +0200 | <mauke> | EvanR: well, if it is a tautology, the simplest equivalent expression is True |
| 2023-10-06 23:40:36 +0200 | <mauke> | so that should work |
| 2023-10-06 23:40:52 +0200 | <EvanR> | sure, and the map would appear like a solid grid of true xD |
| 2023-10-06 23:40:59 +0200 | <EvanR> | so very useful I guess |
| 2023-10-06 23:41:21 +0200 | <mauke> | oh, duh |
| 2023-10-06 23:41:25 +0200 | <darkling> | At that point, it's just a convenient way to write down the full enumeration of expression values. |
| 2023-10-06 23:42:03 +0200 | <darkling> | You don't need the locality properties that the Karnaugh map gives you for doing that. |
| 2023-10-06 23:42:14 +0200 | <mauke> | I was already planning on doing full simulation to detect constant formulas |
| 2023-10-06 23:42:31 +0200 | <mauke> | still, a canonical form for the rest would be nice |
| 2023-10-06 23:43:34 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200CE226071F5251158.dsl.pool.telekom.hu) (Remote host closed the connection) |
| 2023-10-06 23:43:47 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-06 23:44:03 +0200 | Joao003 | (~Joao003@190.108.99.241) (Quit: Leaving) |
| 2023-10-06 23:45:30 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 272 seconds) |
| 2023-10-06 23:46:21 +0200 | stites | (~stites@2607:fb91:dcd:e247:3117:f970:e6:e12c) |
| 2023-10-06 23:55:51 +0200 | stites | (~stites@2607:fb91:dcd:e247:3117:f970:e6:e12c) (Read error: Connection reset by peer) |
| 2023-10-06 23:56:04 +0200 | stites | (~stites@2603:3005:b69:4100:ffbe:3c4e:c9c0:ad22) |
| 2023-10-06 23:56:54 +0200 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2023-10-06 23:58:26 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-06 23:59:24 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF200D41286918DF96198.dsl.pool.telekom.hu) |