Logs: liberachat/#haskell
| 2021-06-14 11:19:54 | <DigitalKiwi> | (you know, famously, the one that wasn't canceled and everyone attended) |
| 2021-06-14 11:20:27 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-14 11:20:30 | × | bpalmer quits (~user@user/bpalmer) (Killed (NickServ (GHOST command used by bpalmer`))) |
| 2021-06-14 11:20:30 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-14 11:20:38 | bpalmer` | is now known as bpalmer |
| 2021-06-14 11:20:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-14 11:20:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-14 11:20:53 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2021-06-14 11:21:43 | <tomsmeding> | where they mirrored? |
| 2021-06-14 11:22:16 | ← | bpalmer parts (~user@user/bpalmer) () |
| 2021-06-14 11:25:15 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-14 11:25:22 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-14 11:26:03 | → | xprlgjf joins (~gavin@60.27.93.209.dyn.plus.net) |
| 2021-06-14 11:26:05 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-14 11:26:20 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-14 11:27:02 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-06-14 11:27:12 | NanoCoaster | is now known as NanoC |
| 2021-06-14 11:27:21 | → | yd502 joins (~yd502@2409:891e:320:209e:b827:1a6a:79a7:5844) |
| 2021-06-14 11:27:34 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-14 11:28:05 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-14 11:29:44 | <Schrostfutz_> | So I now managed to write my function that I was trying to write (summing up intervals, accounting for potential overlap). I'm not happy with the fold though, I feel like there must be an easier way that I have missed: http://sprunge.us/tK5TIA Can any of you think of something? |
| 2021-06-14 11:29:51 | <DigitalKiwi> | i'm sure there was some mirroring, striping, maybe even some good ol' JBOD arrays involved in the presentation of the entirely online event |
| 2021-06-14 11:30:26 | <Schrostfutz_> | Also, when I try to apply the custom 'fst' to the result of the computation, I get a type mismatch error I don't understand |
| 2021-06-14 11:30:34 | <DigitalKiwi> | https://zfoh.ch/zurihac2020/ |
| 2021-06-14 11:31:33 | <tomsmeding> | Schrostfutz_: the result of what computation exactly? what's the error? |
| 2021-06-14 11:31:36 | <merijn> | Schrostfutz_: You defined a new fst that works on tuple of 3 elements |
| 2021-06-14 11:31:47 | <merijn> | Schrostfutz_: But the list you feed to sortOn has only 2 elements |
| 2021-06-14 11:32:37 | <DigitalKiwi> | https://myfriendshate.me/files/2020-02-04-073632_2880x1800_scrot.png |
| 2021-06-14 11:32:47 | <merijn> | Schrostfutz_: Unrelated tip: I'd ditch the if/then/else and use guards for f |
| 2021-06-14 11:32:55 | <merijn> | Will be much more readable |
| 2021-06-14 11:33:04 | × | Morrow quits (~Morrow@31.154.96.164) (Read error: Connection reset by peer) |
| 2021-06-14 11:33:08 | <Schrostfutz_> | tomsmeding: http://sprunge.us/LzsD3K |
| 2021-06-14 11:33:08 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-14 11:33:26 | <Schrostfutz_> | merijn: But the 'f' I defined converts that into a triple |
| 2021-06-14 11:33:36 | → | Morrow joins (~Morrow@31.154.96.164) |
| 2021-06-14 11:33:41 | <Schrostfutz_> | If I execute the code as pasted, I get (3, 1, 0) as a result |
| 2021-06-14 11:33:42 | <merijn> | Schrostfutz_: You're not applying f to anything before sortOn, though? |
| 2021-06-14 11:33:50 | <tomsmeding> | Schrostfutz_: merijn is right, you're only running the f after the sortOn |
| 2021-06-14 11:34:00 | <DigitalKiwi> | Hecate and clementd requested them before covid lol |
| 2021-06-14 11:34:30 | <Schrostfutz_> | Yeah, I only do it after sortOn, such that the interval enter/leave events are orderered by position |
| 2021-06-14 11:34:36 | <Schrostfutz_> | Ah! |
| 2021-06-14 11:34:47 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-14 11:35:00 | <tomsmeding> | Schrostfutz_: is that 'occupancy == 1' check correct? Shouldn't it be 'occupancy >= 1'? |
| 2021-06-14 11:35:05 | <DigitalKiwi> | https://myfriendshate.me/files/2020-02-08-020023_2880x1800_scrot.png |
| 2021-06-14 11:35:31 | <Schrostfutz_> | I redefine fst to work on triples, but I actually also use the regular fst, so renaming it to fst3 solved the second issue. |
| 2021-06-14 11:35:45 | <tomsmeding> | DigitalKiwi: that λ is weird |
| 2021-06-14 11:35:47 | <DigitalKiwi> | puffnfresh got that one on a his wall |
| 2021-06-14 11:36:02 | <DigitalKiwi> | tomsmeding: it's the nixos lambda |
| 2021-06-14 11:36:16 | <Schrostfutz_> | tomsmeding: No, because when the occupancy is greater, I'd be overwriting the first time the interval was entered |
| 2021-06-14 11:36:43 | <tomsmeding> | oh right |
| 2021-06-14 11:37:02 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1269321790016364544?s=20 |
| 2021-06-14 11:37:36 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-14 11:37:49 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-14 11:38:22 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-14 11:38:22 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-14 11:38:42 | <Schrostfutz_> | But the way I did it feels weird, I'm summing and filtering overlap in the same fold. I'd rather filter first and create a non-overlapping interval. Is there a generalized version of scanl that doesn't require both lists to be the same size? |
| 2021-06-14 11:38:59 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-14 11:39:59 | <nilof> | oh god damn it pairing heaps are cool |
| 2021-06-14 11:40:31 | <nilof> | Since they have O(1) merging |
| 2021-06-14 11:40:41 | <nilof> | and are persistent |
| 2021-06-14 11:41:03 | <nilof> | you can do exponentiation by squaring to make a priority queue where elements repeat n times, in log(n) types |
| 2021-06-14 11:41:09 | <nilof> | *log(n) time |
| 2021-06-14 11:41:11 | <nilof> | and space |
| 2021-06-14 11:41:43 | × | Morrow quits (~Morrow@31.154.96.164) (Ping timeout: 244 seconds) |
| 2021-06-14 11:42:00 | <nilof> | and doing exponentiation by squaring also naturally produces a reasonably balanced heap so that it doesn't produce a too-unbalanced heap |
| 2021-06-14 11:44:17 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-14 11:44:53 | <tomsmeding> | Schrostfutz_: you might be able to use unfoldr from Data.List, with some fiddling |
| 2021-06-14 11:44:57 | × | haskman quits (~haskman@171.61.149.211) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-14 11:46:58 | <nilof> | I think heapsorting a repeated list with them also becomes O(nlog(log(N)) where N is the number of repetitions? |
| 2021-06-14 11:49:12 | <DigitalKiwi> | i don't remember how big it was (it's ~A3 or 12"x16") but it cost almost $50 dollars to ship and took 2 months to get to tasmania so presumably it was enormous |
| 2021-06-14 11:49:16 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Ping timeout: 272 seconds) |
| 2021-06-14 11:49:25 | → | argento joins (~argent0@168-227-96-51.ptr.westnet.com.ar) |
| 2021-06-14 11:50:22 | → | Topsi joins (~Tobias@dyndsl-095-033-094-176.ewe-ip-backbone.de) |
| 2021-06-14 11:50:35 | → | Morrow joins (~Morrow@147.161.9.212) |
| 2021-06-14 11:50:41 | → | ddellacosta joins (~ddellacos@89.46.62.191) |
| 2021-06-14 11:50:45 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-14 11:51:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-14 11:51:25 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-06-14 11:51:34 | <Schrostfutz_> | tomsmeding: Thanks, I'll look into that |
| 2021-06-14 11:51:51 | × | xff0x_ quits (~xff0x@2001:1a81:5219:ab00:108a:2215:f051:17c7) (Ping timeout: 272 seconds) |
| 2021-06-14 11:52:41 | <Schrostfutz_> | I just found a solution to the problem that seems fancy, but I don't really understand: http://sprunge.us/Di6qVI |
| 2021-06-14 11:53:11 | → | xff0x_ joins (~xff0x@2001:1a81:521d:b00:682b:ce6c:b74:cd5b) |
| 2021-06-14 11:53:14 | <dminuoso> | What is `other-extensions` used for in cabal packages? |
| 2021-06-14 11:54:01 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-06-14 11:55:08 | × | ddellacosta quits (~ddellacos@89.46.62.191) (Ping timeout: 252 seconds) |
| 2021-06-14 11:56:04 | <DigitalKiwi> | .glirclogs/#haskell/2019-04-11.log:[21:26:23] <glguy> other-extensions just means you want to check at configure time that those extensions are supported |
| 2021-06-14 11:56:14 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-14 11:57:07 | <merijn> | dminuoso: Noting all extensions used |
| 2021-06-14 11:57:16 | <dminuoso> | merijn: is this used by the solver? |
| 2021-06-14 11:57:20 | <merijn> | dminuoso: Not currently |
| 2021-06-14 11:57:49 | <merijn> | dminuoso: But it could be used to detect impossible combinations of GHC and extensions, for example |
| 2021-06-14 11:58:25 | <dminuoso> | merijn: So at best, other-extensions currently just saves the user some compilation time to issue a compatibility error before compiling the respective module? |
| 2021-06-14 11:58:26 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2021-06-14 11:58:34 | <DigitalKiwi> | .glirclogs/freenode/#haskell/2020-10-18.log:[17:14:55] <c_wraith> ah, yes. other-extensions is purely documentation. I don't even know why it's there, really. If there were compilers other than GHC practically available, it might matter... |
| 2021-06-14 11:58:34 | <dminuoso> | (potentially with a nicer error) |
| 2021-06-14 11:58:36 | <DigitalKiwi> | .glirclogs/freenode/#haskell/2020-10-18.log:[17:17:43] <monochrom> Another is as in the user guide "In Cabal-1.24 the dependency solver will use [other-extensions] and default-extensions information" |
| 2021-06-14 11:59:00 | <dminuoso> | Ah mm |
| 2021-06-14 11:59:03 | <dminuoso> | So it's used in the solver after all |
| 2021-06-14 11:59:18 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-14 11:59:21 | <dminuoso> | Lets see which cabal-install uses Cabal-1.24 |
All times are in UTC.