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