| 2022-02-11 00:00:02 +0000 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) |
| 2022-02-11 00:00:05 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:00:13 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:00:15 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-11 00:00:27 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:00:35 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:00:44 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 00:00:48 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:00:56 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:01:10 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:01:18 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:01:31 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:01:39 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:01:54 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:02:01 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:02:15 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:02:22 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:02:39 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:02:43 +0000 | chenqisu1 | (~chenqisu1@183.217.200.249) |
| 2022-02-11 00:02:46 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:03:03 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:03:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:03:26 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:03:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:03:49 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 00:03:57 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 00:04:13 +0000 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-11 00:08:05 +0000 | Inst | (~delicacie@2603:3017:80:0:e0f0:ede7:d35a:3a22) |
| 2022-02-11 00:08:41 +0000 | mvk | (~mvk@2607:fea8:5cdc:bf00::f276) (Ping timeout: 245 seconds) |
| 2022-02-11 00:09:41 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-02-11 00:10:33 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 276 seconds) |
| 2022-02-11 00:10:53 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 00:11:38 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-02-11 00:11:55 +0000 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-02-11 00:12:19 +0000 | nunggu | (~q@user/nunggu) |
| 2022-02-11 00:19:16 +0000 | <Unicorn_Princess> | has anyone had any luck setting up spacemacs for haskell using lsp? |
| 2022-02-11 00:19:32 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 00:24:18 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 260 seconds) |
| 2022-02-11 00:27:45 +0000 | <geekosaur> | I thought it came pre-setup |
| 2022-02-11 00:28:29 +0000 | <Unicorn_Princess> | alas |
| 2022-02-11 00:28:37 +0000 | Inst | (~delicacie@2603:3017:80:0:e0f0:ede7:d35a:3a22) (Ping timeout: 240 seconds) |
| 2022-02-11 00:31:38 +0000 | <Unicorn_Princess> | there is a 'haskell' layer, and a 'lsp' layer, and you can tell the haskell layer to use lsp as the completion back-end (i guess it doesn't use it as default? what about other, non-completion tasks?).. and there's also the auto-completion layer, which the haskell layer installation instructions claim is necessary for completion, but i in c++ where i have lsp working i didn't need auto-completion layer, and anyway after |
| 2022-02-11 00:31:38 +0000 | <Unicorn_Princess> | installing hls with ghcup, something is still not working, and describe-lsp-session gives blank output |
| 2022-02-11 00:31:50 +0000 | <Unicorn_Princess> | in general things are a mess :) |
| 2022-02-11 00:32:31 +0000 | <Unicorn_Princess> | (and i am not remotely sure i am doing the right thing) |
| 2022-02-11 00:33:58 +0000 | Inst | (~delicacie@2603:3017:80:0:5cf3:2e04:7922:1ae5) |
| 2022-02-11 00:34:57 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-11 00:35:53 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-02-11 00:36:10 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 00:36:15 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 00:37:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 00:37:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 00:37:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 00:37:54 +0000 | ellie | (~ellie@user/ellie) |
| 2022-02-11 00:38:21 +0000 | <shapr> | Does cabal support an hpc stanza or something? How do I automate running tests with included hpc output? |
| 2022-02-11 00:38:35 +0000 | <shapr> | cdsmith: How do you handle hpc with HMock? |
| 2022-02-11 00:41:55 +0000 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) |
| 2022-02-11 00:49:10 +0000 | benin | (~benin@183.82.31.24) |
| 2022-02-11 00:50:21 +0000 | <mjrosenb> | I have an object that I derived Show and Binary instances for. Is it reasonable that show foo produces a 500 megabyte string, but encodeFile "bar" foo produces a 5.3 gigabyte file? |
| 2022-02-11 00:54:49 +0000 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 00:55:11 +0000 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-02-11 00:55:21 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 00:55:42 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-02-11 00:55:51 +0000 | FragByte | (~christian@user/fragbyte) |
| 2022-02-11 00:57:03 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-02-11 00:57:07 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 00:57:15 +0000 | cheater | (~Username@user/cheater) |
| 2022-02-11 01:04:33 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:05:12 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 2022-02-11 01:05:28 +0000 | <monochrom> | Depends on the type but I can see how to design a type that causes derived Binary to be huge. |
| 2022-02-11 01:06:10 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 01:06:37 +0000 | <monochrom> | Consider the fact that if you have so much as "data X = C1 Int | C2 Int" then first of all every value incurs some bytes that derived Binary needs to tell itself whether the tag is C1 or C2. |
| 2022-02-11 01:07:49 +0000 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-02-11 01:08:02 +0000 | <monochrom> | Next thing IIRC is that even the Int part is not simply the bytes of Int. For some reason of being general, more bytes are devoted for "the length of the next field". |
| 2022-02-11 01:08:37 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-11 01:10:16 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 01:10:22 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-11 01:11:30 +0000 | meer | (~delicacie@2603:3017:80:0:16b:f1cd:e4c0:5b40) |
| 2022-02-11 01:11:35 +0000 | <monochrom> | Ah nevermind but it always uses 8 bytes for Int. |
| 2022-02-11 01:11:37 +0000 | emf | (~emf@2620:10d:c090:400::5:21fc) (Ping timeout: 240 seconds) |
| 2022-02-11 01:13:03 +0000 | Inst | (~delicacie@2603:3017:80:0:5cf3:2e04:7922:1ae5) (Ping timeout: 250 seconds) |
| 2022-02-11 01:13:08 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-11 01:16:20 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-02-11 01:16:29 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-11 01:16:52 +0000 | <mjrosenb> | it looks like it doesn't always use 8 bytes for Word16 or Word8 :-) |
| 2022-02-11 01:17:14 +0000 | <mjrosenb> | that being said, it is still 1.3 gigabytes, and I don't think I'm doing anythign all that bad |
| 2022-02-11 01:17:46 +0000 | <mjrosenb> | unless it also uses a header for newtype |
| 2022-02-11 01:19:00 +0000 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-11 01:20:09 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-11 01:20:37 +0000 | ubert | (~Thunderbi@p200300ecdf0994184cc217ea87d4c264.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-11 01:20:37 +0000 | emf_ | (~emf@2620:10d:c090:400::5:83f2) |
| 2022-02-11 01:20:55 +0000 | ubert | (~Thunderbi@p200300ecdf0994102c357846a3b3453e.dip0.t-ipconnect.de) |
| 2022-02-11 01:22:13 +0000 | deer | (~delicacie@2603:3017:80:0:9cf2:41b7:8929:babb) |
| 2022-02-11 01:22:33 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-11 01:22:59 +0000 | <neverwas> | Unicorn_Princess: hls appears to have made significant progress since that README.org was last updated, or at least those portions characterizing it as rough around the edges and more difficult to get going (August 2020) |
| 2022-02-11 01:25:26 +0000 | meer | (~delicacie@2603:3017:80:0:16b:f1cd:e4c0:5b40) (Ping timeout: 260 seconds) |
| 2022-02-11 01:26:44 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-02-11 01:27:39 +0000 | abhinav | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-11 01:31:32 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 01:34:30 +0000 | <Unicorn_Princess> | neverwas, unfortunately i can't get it to work at all |
| 2022-02-11 01:35:07 +0000 | <Unicorn_Princess> | but i have no idea which instructions to follow, so, maybe there's an easy way and i'm doing something stupid |
| 2022-02-11 01:36:13 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-02-11 01:38:03 +0000 | abhinav | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-02-11 01:39:14 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 01:39:57 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:40:53 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 01:41:01 +0000 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-11 01:42:19 +0000 | <Unicorn_Princess> | the more i try to fix it the more broken it gets. now it doesn't even recognize the file as haskell anymore ; ; |
| 2022-02-11 01:44:39 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 01:46:21 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 01:46:51 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2022-02-11 01:51:11 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: jsdsk) |
| 2022-02-11 01:51:13 +0000 | emf | (~emf@2620:10d:c090:400::5:322c) |
| 2022-02-11 01:52:03 +0000 | dajoer | (~david@user/gvx) |
| 2022-02-11 01:52:12 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 01:52:19 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 01:52:20 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 01:52:20 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 01:53:17 +0000 | emf_ | (~emf@2620:10d:c090:400::5:83f2) (Ping timeout: 240 seconds) |
| 2022-02-11 01:59:14 +0000 | deer | (~delicacie@2603:3017:80:0:9cf2:41b7:8929:babb) (Ping timeout: 250 seconds) |
| 2022-02-11 02:00:53 +0000 | <Unicorn_Princess> | i'll try and enable it in plain emacs tomorrow, no spacemacs. wish me luck. |
| 2022-02-11 02:01:59 +0000 | alp | (~alp@user/alp) (Ping timeout: 256 seconds) |
| 2022-02-11 02:02:57 +0000 | deer | (~delicacie@2603:3017:80:0:fc91:e6a2:3374:ab63) |
| 2022-02-11 02:03:38 +0000 | meer | (~delicacie@2603:3017:80:0:15a1:1fe2:f71:35ed) |
| 2022-02-11 02:03:55 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-11 02:04:12 +0000 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-02-11 02:04:38 +0000 | x_kuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-11 02:05:49 +0000 | emf | (~emf@2620:10d:c090:400::5:322c) (Quit: emf) |
| 2022-02-11 02:05:57 +0000 | xsperry | (~xs@user/xsperry) (Remote host closed the connection) |
| 2022-02-11 02:07:27 +0000 | deer | (~delicacie@2603:3017:80:0:fc91:e6a2:3374:ab63) (Ping timeout: 250 seconds) |
| 2022-02-11 02:08:03 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:dcda:1699:43fc:8977) |
| 2022-02-11 02:09:17 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-02-11 02:09:17 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 2022-02-11 02:11:56 +0000 | califax- | (~califax@user/califx) |
| 2022-02-11 02:14:02 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 02:16:39 +0000 | califax | (~califax@user/califx) (Ping timeout: 276 seconds) |
| 2022-02-11 02:16:40 +0000 | califax- | califax |
| 2022-02-11 02:17:23 +0000 | zincy | (~tom@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-11 02:17:46 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-11 02:19:06 +0000 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Ping timeout: 260 seconds) |
| 2022-02-11 02:19:36 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-02-11 02:20:02 +0000 | mbuf | (~Shakthi@117.96.201.174) |
| 2022-02-11 02:20:25 +0000 | emf | (~emf@2620:10d:c090:400::5:322c) |
| 2022-02-11 02:20:48 +0000 | deer | (~delicacie@2603:3017:80:0:457c:8cd6:204e:2f76) |
| 2022-02-11 02:21:19 +0000 | meer | (~delicacie@2603:3017:80:0:15a1:1fe2:f71:35ed) (Ping timeout: 250 seconds) |
| 2022-02-11 02:21:51 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 02:22:11 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 250 seconds) |
| 2022-02-11 02:23:39 +0000 | emf | (~emf@2620:10d:c090:400::5:322c) (Client Quit) |
| 2022-02-11 02:25:00 +0000 | emf | (~emf@2620:10d:c090:400::5:322c) |
| 2022-02-11 02:29:37 +0000 | deer | (~delicacie@2603:3017:80:0:457c:8cd6:204e:2f76) (Ping timeout: 240 seconds) |
| 2022-02-11 02:31:08 +0000 | justGhost | (~justache@user/justache) (Remote host closed the connection) |
| 2022-02-11 02:32:03 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 02:32:07 +0000 | justGhost | (~justache@user/justache) |
| 2022-02-11 02:40:23 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2022-02-11 02:41:06 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-11 02:46:21 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-02-11 02:48:19 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 02:55:45 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-11 02:57:57 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 02:58:17 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 02:58:18 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 02:58:18 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 03:00:16 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 03:00:57 +0000 | xff0x | (~xff0x@2001:1a81:53bc:500:d58f:5284:91ba:f00d) (Ping timeout: 240 seconds) |
| 2022-02-11 03:03:06 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 2022-02-11 03:03:22 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-11 03:05:12 +0000 | deer | (~delicacie@2601:6c4:4080:3f80:6c49:b76a:f28e:200e) |
| 2022-02-11 03:05:17 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-11 03:05:37 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-11 03:06:59 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 03:08:55 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 03:08:55 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 03:08:55 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 03:13:37 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 03:13:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-11 03:14:38 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 03:16:48 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 03:17:27 +0000 | nattiestnate | (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) (Quit: WeeChat 3.4) |
| 2022-02-11 03:27:29 +0000 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) |
| 2022-02-11 03:31:57 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-11 03:34:08 +0000 | td_ | (~td@94.134.91.3) (Ping timeout: 250 seconds) |
| 2022-02-11 03:35:32 +0000 | meer | (~delicacie@2601:6c4:4080:3f80:3413:a7ad:76c8:d9ab) |
| 2022-02-11 03:35:52 +0000 | deer | (~delicacie@2601:6c4:4080:3f80:6c49:b76a:f28e:200e) (Ping timeout: 250 seconds) |
| 2022-02-11 03:36:00 +0000 | td_ | (~td@94.134.91.17) |
| 2022-02-11 03:36:05 +0000 | deer | (~delicacie@2601:6c4:4080:3f80:d8e8:7c5f:fc87:41f6) |
| 2022-02-11 03:36:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-11 03:39:01 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-11 03:39:01 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-11 03:39:01 +0000 | finn_elija | FinnElija |
| 2022-02-11 03:39:57 +0000 | meer | (~delicacie@2601:6c4:4080:3f80:3413:a7ad:76c8:d9ab) (Ping timeout: 240 seconds) |
| 2022-02-11 03:40:49 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 03:42:37 +0000 | deer | (~delicacie@2601:6c4:4080:3f80:d8e8:7c5f:fc87:41f6) (Ping timeout: 240 seconds) |
| 2022-02-11 03:43:04 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-02-11 03:43:10 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-02-11 03:43:46 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 03:44:19 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-11 03:52:17 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-11 04:01:51 +0000 | burnsidesLlama | (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-11 04:05:47 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 04:07:26 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 04:07:26 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 04:07:26 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 04:10:17 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 04:11:57 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-11 04:18:16 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 04:18:16 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 04:18:16 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 04:23:19 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 04:29:01 +0000 | nattiestnate | (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) |
| 2022-02-11 04:32:16 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 04:40:19 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 04:42:14 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 04:50:57 +0000 | jao | (~jao@68.235.43.85) (Ping timeout: 240 seconds) |
| 2022-02-11 04:59:38 +0000 | pavonia | (~user@user/siracusa) |
| 2022-02-11 05:01:37 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 05:09:23 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 2022-02-11 05:19:59 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-11 05:20:29 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 05:31:47 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 05:32:47 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-02-11 05:34:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 05:35:51 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 05:36:09 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 05:38:23 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:dcda:1699:43fc:8977) (Remote host closed the connection) |
| 2022-02-11 05:39:24 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:4826:55d6:e8be:a672) |
| 2022-02-11 05:42:27 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 05:47:57 +0000 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) |
| 2022-02-11 05:48:51 +0000 | yauhsien | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 2022-02-11 05:51:09 +0000 | mbuf | (~Shakthi@117.96.201.174) (Ping timeout: 256 seconds) |
| 2022-02-11 05:51:17 +0000 | jinsun | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-02-11 05:59:44 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-02-11 06:01:02 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-11 06:04:38 +0000 | jinsun | (~quassel@user/jinsun) |
| 2022-02-11 06:05:18 +0000 | mbuf | (~Shakthi@122.173.240.119) |
| 2022-02-11 06:05:57 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-02-11 06:06:14 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-11 06:11:26 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 06:11:28 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 06:14:12 +0000 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) (Quit: WeeChat 3.3) |
| 2022-02-11 06:15:36 +0000 | nattiestnate | (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) (Quit: WeeChat 3.4) |
| 2022-02-11 06:16:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-11 06:17:44 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-11 06:18:55 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2022-02-11 06:19:02 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 06:19:02 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 06:19:02 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 06:19:16 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 06:20:57 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-02-11 06:21:46 +0000 | Jing | (~hedgehog@240e:390:7c53:a7e1:91b:49f7:fde:97e3) |
| 2022-02-11 06:24:01 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 06:25:36 +0000 | tomku | (~tomku@user/tomku) |
| 2022-02-11 06:32:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-11 06:41:25 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 06:43:05 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 06:47:03 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 2022-02-11 06:49:17 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-02-11 06:51:56 +0000 | michalz | (~michalz@185.246.204.65) |
| 2022-02-11 06:59:41 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 07:01:25 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 07:03:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 07:06:51 +0000 | pmk | (~user@2a02:587:9408:ec24:4207:d482:fa11:d902) |
| 2022-02-11 07:11:57 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-02-11 07:14:12 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:4826:55d6:e8be:a672) (Remote host closed the connection) |
| 2022-02-11 07:16:25 +0000 | xsperry | (~xs@user/xsperry) |
| 2022-02-11 07:20:15 +0000 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 07:22:31 +0000 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) |
| 2022-02-11 07:23:50 +0000 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) () |
| 2022-02-11 07:29:36 +0000 | thevishy | (~Nishant@2405:201:f005:c007:742b:aca7:e311:68b4) |
| 2022-02-11 07:31:53 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-02-11 07:32:31 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-11 07:32:39 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-11 07:33:49 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-11 07:36:54 +0000 | lechner | (~lechner@debian/lechner) (Ping timeout: 260 seconds) |
| 2022-02-11 07:37:34 +0000 | pmk | (~user@2a02:587:9408:ec24:4207:d482:fa11:d902) (Remote host closed the connection) |
| 2022-02-11 07:41:39 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 07:43:18 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 07:45:48 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-11 07:46:20 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 250 seconds) |
| 2022-02-11 07:48:40 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efe:9d00:dcfc:c5fc:22b3:cc92) |
| 2022-02-11 07:49:10 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-11 07:55:24 +0000 | Ariakenom_ | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 2022-02-11 07:57:19 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2022-02-11 07:57:37 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-11 07:58:04 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 07:59:10 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-11 07:59:20 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efe:9d00:dcfc:c5fc:22b3:cc92) (Ping timeout: 250 seconds) |
| 2022-02-11 08:01:19 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 2022-02-11 08:02:54 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 08:03:08 +0000 | benin | (~benin@183.82.31.24) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-11 08:04:57 +0000 | phma | (~phma@host-67-44-208-245.hnremote.net) (Read error: Connection reset by peer) |
| 2022-02-11 08:07:43 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 08:08:12 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 08:08:14 +0000 | phma | (~phma@2600:1004:b105:1903:6c5c:ec4b:e61f:6154) |
| 2022-02-11 08:08:57 +0000 | alp | (~alp@user/alp) |
| 2022-02-11 08:09:22 +0000 | Jing | (~hedgehog@240e:390:7c53:a7e1:91b:49f7:fde:97e3) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-02-11 08:09:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4e4d:3167:781a:2a42) |
| 2022-02-11 08:09:43 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 08:10:52 +0000 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) |
| 2022-02-11 08:13:57 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-02-11 08:18:52 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 08:22:28 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 08:26:25 +0000 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) (Ping timeout: 256 seconds) |
| 2022-02-11 08:26:58 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 08:26:59 +0000 | polyphem_ | (~rod@2a02:810d:840:8754:a99c:f444:1e7c:25d1) |
| 2022-02-11 08:29:01 +0000 | polyphem | (~rod@2a02:810d:840:8754:f9b2:95ef:efe9:3c0f) (Ping timeout: 256 seconds) |
| 2022-02-11 08:31:58 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-11 08:33:37 +0000 | phma | (~phma@2600:1004:b105:1903:6c5c:ec4b:e61f:6154) (Ping timeout: 240 seconds) |
| 2022-02-11 08:33:42 +0000 | phma_ | (phma@2001:5b0:211b:9208:8d1f:a4f2:ccb:6f41) |
| 2022-02-11 08:34:21 +0000 | AlexisTP | (~AlexisTP@92.57.44.63) |
| 2022-02-11 08:35:16 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-02-11 08:35:30 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-11 08:38:19 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 2022-02-11 08:39:45 +0000 | vpan | (~0@212.117.1.172) |
| 2022-02-11 08:43:50 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 08:44:03 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 08:47:13 +0000 | max22- | (~maxime@2a01cb08833598006e0cb925e84f6514.ipv6.abo.wanadoo.fr) |
| 2022-02-11 08:47:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 08:47:25 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 08:48:25 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 08:48:57 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-11 08:49:15 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:30cc:b923:a3cb:c39c) (Remote host closed the connection) |
| 2022-02-11 08:52:03 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Remote host closed the connection) |
| 2022-02-11 08:52:14 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 08:58:26 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Remote host closed the connection) |
| 2022-02-11 08:58:43 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 09:00:06 +0000 | ParsaAlizadeh[m] | (~lizadehma@2001:470:69fc:105::1:65a4) (Quit: You have been kicked for being idle) |
| 2022-02-11 09:05:31 +0000 | Benzi-Junior | (~BenziJuni@dsl-149-66-61.hive.is) (Ping timeout: 256 seconds) |
| 2022-02-11 09:05:38 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-11 09:16:35 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-02-11 09:20:19 +0000 | nunggu | (~q@user/nunggu) (Quit: nunggu) |
| 2022-02-11 09:24:07 +0000 | AlexisTP | (~AlexisTP@92.57.44.63) (Remote host closed the connection) |
| 2022-02-11 09:30:45 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 09:32:53 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 09:32:57 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 09:33:04 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 09:38:08 +0000 | <dminuoso> | Mmm, strange we dont have `altMap :: (Foldable t, Alternative f) => t a -> (a -> f b) -> f b` in base |
| 2022-02-11 09:38:27 +0000 | <dminuoso> | asum feels awkward to use for the same reason sequence does |
| 2022-02-11 09:40:20 +0000 | <dminuoso> | % :t getAlt . foldMap Alt |
| 2022-02-11 09:40:20 +0000 | <yahb> | dminuoso: forall {k} {t :: * -> *} {f :: k -> *} {a :: k}. (Foldable t, Monoid (Alt f a)) => t (f a) -> f a |
| 2022-02-11 09:40:29 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-11 09:40:47 +0000 | <dminuoso> | % :set -XNoPolyKinds |
| 2022-02-11 09:40:47 +0000 | <yahb> | dminuoso: |
| 2022-02-11 09:40:48 +0000 | <dminuoso> | % :t getAlt . foldMap Alt |
| 2022-02-11 09:40:48 +0000 | <yahb> | dminuoso: (Foldable t, Alternative f) => t (f a) -> f a |
| 2022-02-11 09:40:52 +0000 | <dminuoso> | Guess this works |
| 2022-02-11 09:41:36 +0000 | caimeo | (uid540603@id-540603.lymington.irccloud.com) |
| 2022-02-11 09:42:11 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 09:42:37 +0000 | dsrt^ | (~dsrt@128-092-160-106.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-02-11 09:42:41 +0000 | <reactormonk[m]> | % :t ala Alt foldMap |
| 2022-02-11 09:42:41 +0000 | <yahb> | reactormonk[m]: (Foldable t, Alternative g) => t (g b) -> g b |
| 2022-02-11 09:43:28 +0000 | <reactormonk[m]> | dminuoso: ^ |
| 2022-02-11 09:43:31 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Ping timeout: 250 seconds) |
| 2022-02-11 09:43:34 +0000 | nunggu | (~q@user/nunggu) |
| 2022-02-11 09:43:38 +0000 | <reactormonk[m]> | Basically the same, but "fancy" |
| 2022-02-11 09:43:47 +0000 | <dminuoso> | Yeah, its just I dont like depending on coercible-utils for this |
| 2022-02-11 09:44:04 +0000 | <reactormonk[m]> | Understandable |
| 2022-02-11 09:44:06 +0000 | <dminuoso> | `... altMap ... where altMap = getAlt . foldMap Alt` seems more sensible than fancy ala. :) |
| 2022-02-11 09:44:30 +0000 | <dminuoso> | Plus it saves me from explaining yet-another fancy trick to my coworkers when they look at this |
| 2022-02-11 09:45:29 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-11 09:47:12 +0000 | <dminuoso> | Ah hold on, getAlt . foldMap is not quite the same |
| 2022-02-11 09:47:35 +0000 | <dminuoso> | % altMap f = getAlt . foldMap (Alt . f) |
| 2022-02-11 09:47:35 +0000 | <yahb> | dminuoso: |
| 2022-02-11 09:47:38 +0000 | <dminuoso> | Here we go |
| 2022-02-11 09:48:07 +0000 | <dminuoso> | reactormonk[m]: I think coercible-utils has something for this too, right? |
| 2022-02-11 09:48:41 +0000 | <dminuoso> | % :t ala' Alt foldMap |
| 2022-02-11 09:48:41 +0000 | <yahb> | dminuoso: ; <interactive>:1:1: error:; * Variable not in scope: ala' :: (f0 a0 -> Alt f0 a0) -> ((a1 -> m0) -> t0 a1 -> m0) -> t; * Perhaps you meant one of these: `ala' (imported from Control.Lens), `alaf' (imported from Control.Lens) |
| 2022-02-11 09:49:03 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 2022-02-11 09:49:06 +0000 | <dminuoso> | % :t alaf Alt foldMap |
| 2022-02-11 09:49:06 +0000 | <yahb> | dminuoso: (Foldable t, Alternative g) => (a -> g b) -> t a -> g b |
| 2022-02-11 09:49:11 +0000 | <dminuoso> | Yeah that |
| 2022-02-11 09:49:33 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-11 09:49:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 09:49:46 +0000 | max22- | (~maxime@2a01cb08833598006e0cb925e84f6514.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 2022-02-11 09:50:17 +0000 | juhp | (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 2022-02-11 09:50:52 +0000 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 09:50:53 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 09:53:57 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Ping timeout: 240 seconds) |
| 2022-02-11 10:00:13 +0000 | Graham31415 | (~Graham314@130.226.236.6) |
| 2022-02-11 10:01:35 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-11 10:03:18 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 10:04:36 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4e4d:3167:781a:2a42) (Quit: WeeChat 2.8) |
| 2022-02-11 10:08:26 +0000 | <Graham31415> | To what extent should I be worried about things in base being marked as "experimental"? Right now I'm looking at Control.Concurrency. Also, what does it mean to be "non-portable"? OS portability? Hardware platform portability? Compiler portability? |
| 2022-02-11 10:09:11 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-02-11 10:09:39 +0000 | ardell | (~ardell@user/ardell) |
| 2022-02-11 10:09:47 +0000 | <Graham31415> | Looking at the ghc git repo, https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/Control/Concurrent.hs hasn't been modified in 4 years. |
| 2022-02-11 10:10:13 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-11 10:11:12 +0000 | FragByte | (~christian@user/fragbyte) |
| 2022-02-11 10:15:00 +0000 | <dminuoso> | Graham31415: Not at all |
| 2022-02-11 10:15:49 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 10:16:38 +0000 | <Franciman> | Graham31415: non portable usually means that it only works with GHC |
| 2022-02-11 10:16:44 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 10:16:56 +0000 | <dminuoso> | Graham31415: So some guidance can be found if you dig around hierarchial haskell libraries https://web.archive.org/web/20070629214525/http://www.haskell.org/hierarchical-modules/libraries/r… |
| 2022-02-11 10:16:59 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 10:17:10 +0000 | <dminuoso> | Which outlines the original intent of these wordings. |
| 2022-02-11 10:17:34 +0000 | <dminuoso> | Note that `experimental`, even if adhering to that original intent, does not mean it *will* break, but merely that it will not make any promises. |
| 2022-02-11 10:17:43 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 10:18:05 +0000 | <Franciman> | so you should take into account that it can break |
| 2022-02-11 10:18:21 +0000 | <Franciman> | but in my experience, this happens extremely rarely |
| 2022-02-11 10:18:26 +0000 | <Franciman> | for core libraries |
| 2022-02-11 10:18:34 +0000 | <dminuoso> | The reality of the stability field is, its relatively meaningless |
| 2022-02-11 10:18:51 +0000 | <Graham31415> | Ok, thanks. I'm guess that there's fairly little choice if one wants comparable functionality with a "stable" gaurantee? |
| 2022-02-11 10:18:58 +0000 | <dminuoso> | There's a lot of libraries that promise PVP (our equivalent of SemVer), but put "stability experimental" into the cabal packages |
| 2022-02-11 10:19:19 +0000 | <dminuoso> | Graham31415: Well, these fields are poorly managed - if at all. |
| 2022-02-11 10:19:46 +0000 | max22- | (~maxime@2a01cb08833598003ad46ecd074981ca.ipv6.abo.wanadoo.fr) |
| 2022-02-11 10:20:03 +0000 | <Graham31415> | Yeah, I'm getting that impression. Like the dead links all over haskell.org wiki. |
| 2022-02-11 10:20:08 +0000 | yauhsien | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-11 10:20:47 +0000 | <dminuoso> | Graham31415: But if its in base libraries, they are likely meaningful |
| 2022-02-11 10:20:49 +0000 | <dminuoso> | The thing is |
| 2022-02-11 10:21:11 +0000 | <dminuoso> | base is a complicated package, so per-module guarantees are probably more sensible anyway |
| 2022-02-11 10:21:45 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 10:21:48 +0000 | <dminuoso> | And like we pointed out, experimental does not mean "its notoriously unstable", but merely that a base version update of any kind *can* induce breaking changes |
| 2022-02-11 10:21:57 +0000 | <dminuoso> | But that's unrelated to how likely that is |
| 2022-02-11 10:24:52 +0000 | <Graham31415> | Cool, I think I have a better intuition about this now. I see from https://packdeps.haskellers.com/reverse/base that most packages depend on base < 5. |
| 2022-02-11 10:25:01 +0000 | <Graham31415> | I'll read the PVP... |
| 2022-02-11 10:25:03 +0000 | CHUD | (~CHUD@dhcp636F.kent.ac.uk) |
| 2022-02-11 10:26:17 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 10:32:15 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 10:32:15 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 10:32:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 10:37:30 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-02-11 10:39:24 +0000 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 10:41:03 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2022-02-11 10:41:25 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-11 10:41:32 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-11 10:42:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 250 seconds) |
| 2022-02-11 10:42:30 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 10:43:14 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 10:44:07 +0000 | ubert1 | (~Thunderbi@p200300ecdf099410dad98e969e0c4f9b.dip0.t-ipconnect.de) |
| 2022-02-11 10:44:44 +0000 | boxscape_ | (~boxscape_@vpn-44-161.hq.eso.org) |
| 2022-02-11 10:46:11 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 10:46:12 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 10:46:56 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 10:50:15 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-11 10:53:31 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 10:53:38 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 10:54:17 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:00:43 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 11:01:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2022-02-11 11:02:51 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-11 11:08:38 +0000 | Benzi-Junior | (~BenziJuni@dsl-149-66-61.hive.is) |
| 2022-02-11 11:14:14 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-11 11:14:25 +0000 | dsrt^ | (~dsrt@128-092-160-106.biz.spectrum.com) |
| 2022-02-11 11:17:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 11:18:41 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 245 seconds) |
| 2022-02-11 11:19:45 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 11:19:45 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:19:47 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 11:20:53 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:23:42 +0000 | jalil | (~jalil@2a01:e0a:277:4100:6436:dad4:61ec:3c98) |
| 2022-02-11 11:24:36 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:27:15 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 11:27:22 +0000 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-11 11:27:51 +0000 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 11:27:56 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-11 11:31:22 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 11:31:37 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-11 11:34:33 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:35:00 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
| 2022-02-11 11:35:01 +0000 | chenqisu1 | (~chenqisu1@183.217.200.249) (Quit: Leaving) |
| 2022-02-11 11:35:04 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:35:37 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-11 11:36:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-11 11:36:54 +0000 | CHUD | (~CHUD@dhcp636F.kent.ac.uk) (Remote host closed the connection) |
| 2022-02-11 11:40:45 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-02-11 11:40:54 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 2022-02-11 11:42:03 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 11:44:40 +0000 | boxscape_ | (~boxscape_@vpn-44-161.hq.eso.org) (Ping timeout: 250 seconds) |
| 2022-02-11 11:44:44 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:44:56 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:47:16 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:47:39 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-11 11:48:11 +0000 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-02-11 11:48:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:50:44 +0000 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving) |
| 2022-02-11 11:51:16 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 11:51:33 +0000 | mmhat | (~mmh@55d4c207.access.ecotel.net) |
| 2022-02-11 11:52:27 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a93b:29e3:e4c0:d09f) |
| 2022-02-11 11:54:57 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:55:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:59:29 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:59:37 +0000 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 12:00:23 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:02:38 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 12:02:59 +0000 | <ProfSimm> | Are all Haskell functions technically single expression that returns (i.e. is substitued in the call) |
| 2022-02-11 12:03:07 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 12:03:26 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:03:40 +0000 | <dminuoso> | ProfSimm: The question is phrased a bit weirdly, let me rephrase what I understood |
| 2022-02-11 12:04:04 +0000 | <dminuoso> | Are you asking whether `calling a function` merely constitutes `substituting with its definition`? |
| 2022-02-11 12:04:05 +0000 | <[exa]> | "referential transparency" maybe? |
| 2022-02-11 12:04:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 12:04:46 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:06:15 +0000 | <dminuoso> | If you apply a function to its arguments, the semantics of that is the same as if you had replaced the function with its definition (modulo some desugaring for pattern matching or multiple function definitions) |
| 2022-02-11 12:06:36 +0000 | <dminuoso> | Which makes it easy to understand what any code does. Just substitute in any order you like |
| 2022-02-11 12:06:42 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 12:06:55 +0000 | <dminuoso> | And in fact, in principle we dont impose any order in which that substitution even happens |
| 2022-02-11 12:06:59 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 2022-02-11 12:07:12 +0000 | <dminuoso> | (In the absence of certain vodoo primitives that we shall ignore for the purpose of this discussion) |
| 2022-02-11 12:07:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:08:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:09:02 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 12:10:50 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:11:04 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:12:32 +0000 | wavemode | (~wavemode@2601:241:0:fc90:12bc:6a75:8601:ea04) (Ping timeout: 256 seconds) |
| 2022-02-11 12:12:42 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:12:51 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:12:57 +0000 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 240 seconds) |
| 2022-02-11 12:13:39 +0000 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-11 12:14:16 +0000 | <dminuoso> | So if we have `f x = <body>`, then an expression `f 1` can be substituted with <body>, with any occurence of a free-variable `x` replaced with 1. |
| 2022-02-11 12:14:17 +0000 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-11 12:25:46 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2022-02-11 12:26:14 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 252 seconds) |
| 2022-02-11 12:26:48 +0000 | <iphy> | https://hackage.haskell.org/package/timers-0.2.0.4 seems dead (it's not in stackage), is there any similar package I can use? |
| 2022-02-11 12:27:11 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 12:28:06 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-02-11 12:29:37 +0000 | <geekosaur> | "notin stackage" may simply mean nobody'srequested it yet |
| 2022-02-11 12:29:51 +0000 | <geekosaur> | it's not like stackage actively searches out packages to include |
| 2022-02-11 12:30:59 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 2022-02-11 12:31:09 +0000 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 2022-02-11 12:32:26 +0000 | <iphy> | I see |
| 2022-02-11 12:33:49 +0000 | polyphem_ | polyphem |
| 2022-02-11 12:36:15 +0000 | kfj_ | (~kfj@94.198.43.75) |
| 2022-02-11 12:36:17 +0000 | <iphy> | I'll do extra-deps then |
| 2022-02-11 12:37:22 +0000 | kfj_ | (~kfj@94.198.43.75) (Client Quit) |
| 2022-02-11 12:37:23 +0000 | dsrt^ | (~dsrt@128-092-160-106.biz.spectrum.com) (Remote host closed the connection) |
| 2022-02-11 12:41:25 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 12:42:26 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2022-02-11 12:43:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 12:43:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:43:46 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:44:26 +0000 | phma_ | (phma@2001:5b0:211b:9208:8d1f:a4f2:ccb:6f41) (Read error: Connection reset by peer) |
| 2022-02-11 12:46:09 +0000 | phma_ | (phma@2001:5b0:210d:70f8:60e0:e2f9:8ba1:2fd7) |
| 2022-02-11 12:46:17 +0000 | lottaquestions | (~nick@2607:fa49:5041:a200:833f:e9c7:6325:4206) (Ping timeout: 240 seconds) |
| 2022-02-11 12:51:42 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-11 12:51:48 +0000 | slack1256 | (~slack1256@191.126.99.204) |
| 2022-02-11 12:52:03 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:52:13 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:52:19 +0000 | <ProfSimm> | dminuoso: this question came from me wondering when does order of expressions matter and when not. For example I don't need to define a variable before i use it, but pattern matching order matters |
| 2022-02-11 12:52:50 +0000 | <dminuoso> | ProfSimm: The order only matters in pattern matching. |
| 2022-02-11 12:53:03 +0000 | <dminuoso> | (That and in certain magic voodoo primitives) |
| 2022-02-11 12:53:25 +0000 | <dminuoso> | Those voodoo primities (seq, pseq, !) exist precisely for when one wants to control evaluation order for performance reasons. |
| 2022-02-11 12:53:57 +0000 | <dminuoso> | But other than that the evaluation is left unspecified because it really doesnt matter |
| 2022-02-11 12:54:26 +0000 | <dminuoso> | It's similar to math where, say if you have `(1 + 2) * (3 + 4)` it really doesnt matter whether you first reduce 1 + 3, or 3 + 4 |
| 2022-02-11 12:54:44 +0000 | <dminuoso> | It makes no difference, so the reader is free to do it in any way they prefer. Same story with Haskell |
| 2022-02-11 12:55:28 +0000 | <dminuoso> | ontop we have non-strict semantics, which means that in reality things are only reduced if they are needed, and only up to a certain point |
| 2022-02-11 12:55:38 +0000 | <dminuoso> | @src cycle |
| 2022-02-11 12:55:38 +0000 | <lambdabot> | cycle [] = undefined |
| 2022-02-11 12:55:38 +0000 | <lambdabot> | cycle xs = xs' where xs' = xs ++ xs' |
| 2022-02-11 12:55:55 +0000 | <dminuoso> | % take 10 (cycle [1,2,3]) |
| 2022-02-11 12:55:55 +0000 | <yahb> | dminuoso: [1,2,3,1,2,3,1,2,3,1] |
| 2022-02-11 12:56:32 +0000 | <dminuoso> | While in principle the second argument to `take` is an infinite list, because we only evaluate on demand and only up until we see a data constructor (and some other cases), this does not end up in an infinite loop |
| 2022-02-11 13:00:39 +0000 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 2022-02-11 13:00:40 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:01:49 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:05:01 +0000 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-02-11 13:05:01 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:05:38 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:06:36 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-11 13:07:42 +0000 | <ProfSimm> | dminuoso: ooo, magic voodoo primitives :) ? Like what |
| 2022-02-11 13:07:54 +0000 | <ProfSimm> | Oh stil reading |
| 2022-02-11 13:08:24 +0000 | <ProfSimm> | dminuoso: when is order of execution for performance reasons? |
| 2022-02-11 13:08:31 +0000 | <ProfSimm> | rather than semantics |
| 2022-02-11 13:09:49 +0000 | alp | (~alp@user/alp) |
| 2022-02-11 13:11:41 +0000 | <dminuoso> | ProfSimm: So in GHC haskell we have lazyness. That means, if you write `let x = ...` there must be some representation in the implementation, and that costs memory. |
| 2022-02-11 13:12:34 +0000 | <dminuoso> | So let's say we have a list of things, all of which would automatically be lazy (and thus have some memory representation for that lazyness), that means we have to keep all those representations in memory |
| 2022-02-11 13:13:25 +0000 | <dminuoso> | But if we, as a programmer, know we are going to need each value regardless, then we can give additional hints to force evaluating these elements when you demand that list. |
| 2022-02-11 13:13:42 +0000 | <dminuoso> | Such that this list will not contain a list of lazy things, but a list of already computed values |
| 2022-02-11 13:14:04 +0000 | <dminuoso> | So as a simple example, lets say we have a tuple of three elements |
| 2022-02-11 13:14:46 +0000 | <ProfSimm> | dminuoso: ah I was aware of lazy eval, but I didn't know you can force eval outside IO monad and the like |
| 2022-02-11 13:16:21 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-02-11 13:18:17 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 13:20:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-11 13:21:44 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 13:22:17 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 13:22:52 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-02-11 13:24:10 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-11 13:24:45 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 250 seconds) |
| 2022-02-11 13:25:31 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:efaf:a053:4338:c053) |
| 2022-02-11 13:33:24 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:33:47 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:34:51 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-02-11 13:37:15 +0000 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2022-02-11 13:38:05 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:38:27 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-11 13:38:53 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:40:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 13:40:37 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-11 13:42:02 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-02-11 13:42:41 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 13:44:17 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-11 13:44:33 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-11 13:46:58 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-11 13:47:08 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-11 13:47:17 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 13:49:40 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-11 13:50:51 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 276 seconds) |
| 2022-02-11 13:52:29 +0000 | slack1729 | (~slack1256@181.42.43.2) |
| 2022-02-11 13:55:17 +0000 | slack1256 | (~slack1256@191.126.99.204) (Ping timeout: 240 seconds) |
| 2022-02-11 13:58:44 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-02-11 13:59:08 +0000 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-02-11 14:00:03 +0000 | lottaquestions | (~nick@2607:fa49:5041:a200:bd48:3fa6:d41:7f9) |
| 2022-02-11 14:00:43 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 14:00:47 +0000 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-11 14:02:11 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:02:15 +0000 | slack1256 | (~slack1256@191.126.99.204) |
| 2022-02-11 14:02:17 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:02:53 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-11 14:04:08 +0000 | slack1729 | (~slack1256@181.42.43.2) (Ping timeout: 252 seconds) |
| 2022-02-11 14:04:42 +0000 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 2022-02-11 14:05:16 +0000 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2022-02-11 14:05:55 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 250 seconds) |
| 2022-02-11 14:06:39 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-11 14:07:03 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 14:08:02 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 14:13:10 +0000 | vysn | (~vysn@user/vysn) |
| 2022-02-11 14:13:48 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 14:13:48 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 14:13:48 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 14:18:57 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-11 14:19:27 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:19:52 +0000 | opticblast | (~june@secure-165.caltech.edu) |
| 2022-02-11 14:20:09 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:20:37 +0000 | opticblast | (~june@secure-165.caltech.edu) () |
| 2022-02-11 14:20:45 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 14:21:43 +0000 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-02-11 14:32:17 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-11 14:33:23 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-11 14:33:23 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:33:57 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:34:07 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 14:34:23 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-11 14:36:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 14:37:18 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 14:38:10 +0000 | Techcable | (~Techcable@168.235.93.147) (Remote host closed the connection) |
| 2022-02-11 14:38:18 +0000 | Techcable | (~Techcable@168.235.93.147) |
| 2022-02-11 14:39:53 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:efaf:a053:4338:c053) (Ping timeout: 252 seconds) |
| 2022-02-11 14:40:45 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:66e9:b7e:a0f4:b397) |
| 2022-02-11 14:45:31 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-11 14:45:49 +0000 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Remote host closed the connection) |
| 2022-02-11 14:48:32 +0000 | stilgart_ | (~Christoph@chezlefab.net) (Ping timeout: 240 seconds) |
| 2022-02-11 14:54:40 +0000 | acidsys | (~LSD@2.lsd.systems) (Quit: I love you.) |
| 2022-02-11 14:55:35 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-11 14:58:07 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-11 15:01:50 +0000 | lottaquestions | (~nick@2607:fa49:5041:a200:bd48:3fa6:d41:7f9) (Quit: Konversation terminated!) |
| 2022-02-11 15:05:18 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2022-02-11 15:05:19 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:05:51 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:08:56 +0000 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 2022-02-11 15:08:56 +0000 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 2022-02-11 15:08:56 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-11 15:09:19 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2022-02-11 15:09:53 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 15:10:15 +0000 | shailangsa | (~shailangs@host217-39-45-199.range217-39.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-02-11 15:11:15 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 2022-02-11 15:11:44 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 15:12:01 +0000 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 2022-02-11 15:12:01 +0000 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 2022-02-11 15:12:01 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-11 15:13:06 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 15:13:25 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 15:14:11 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 15:14:19 +0000 | sektor|3 | (~kvirc@94.155.193.66) |
| 2022-02-11 15:14:59 +0000 | sektor|2 | (~kvirc@87.227.175.182) (Ping timeout: 256 seconds) |
| 2022-02-11 15:15:13 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:aeb5:bcf:993b:2d87) |
| 2022-02-11 15:16:39 +0000 | sektor|2 | (~kvirc@94.155.193.66) |
| 2022-02-11 15:18:13 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 2022-02-11 15:18:24 +0000 | jalil | (~jalil@2a01:e0a:277:4100:6436:dad4:61ec:3c98) (Quit: jalil) |
| 2022-02-11 15:19:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 15:19:31 +0000 | sektor|3 | (~kvirc@94.155.193.66) (Ping timeout: 256 seconds) |
| 2022-02-11 15:19:57 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 15:19:57 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 15:19:57 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 15:24:21 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-11 15:24:27 +0000 | ph88 | (~ph88@2a02:8109:9e00:71d0:980:dccb:621a:6731) (Remote host closed the connection) |
| 2022-02-11 15:24:48 +0000 | vysn | (~vysn@user/vysn) |
| 2022-02-11 15:28:42 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-02-11 15:29:06 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 15:34:51 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2022-02-11 15:34:51 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:35:57 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:36:15 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 2022-02-11 15:36:18 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 15:36:25 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:36:43 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2022-02-11 15:36:43 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-11 15:36:56 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:39:22 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 15:42:11 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-02-11 15:43:05 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 256 seconds) |
| 2022-02-11 15:44:52 +0000 | sektor|3 | (~kvirc@87.227.175.182) |
| 2022-02-11 15:46:09 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:46:21 +0000 | jao | (~jao@static-68-235-44-40.cust.tzulo.com) |
| 2022-02-11 15:46:40 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:46:44 +0000 | Graham31415 | (~Graham314@130.226.236.6) (Ping timeout: 256 seconds) |
| 2022-02-11 15:47:32 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-11 15:48:03 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 15:48:25 +0000 | sektor|2 | (~kvirc@94.155.193.66) (Ping timeout: 256 seconds) |
| 2022-02-11 15:48:25 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 15:51:48 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:51:49 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 15:52:04 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:52:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:52:27 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:52:34 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:52:47 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:52:55 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:53:10 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:53:17 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:53:31 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:53:39 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:53:54 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:54:01 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:54:13 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 15:54:14 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:54:22 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:54:32 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 15:54:36 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:54:39 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 15:54:44 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:54:58 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:55:06 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:55:19 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:55:28 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:55:42 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:55:49 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:56:03 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:56:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:56:25 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:56:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:56:46 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:56:53 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:57:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:57:16 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:57:30 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:57:37 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:57:52 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:57:59 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:58:13 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:58:20 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:58:35 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:58:43 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:58:52 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 15:58:57 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:59:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Ping timeout: 240 seconds) |
| 2022-02-11 15:59:05 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:59:20 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:59:28 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 15:59:41 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 15:59:49 +0000 | jao | (~jao@static-68-235-44-40.cust.tzulo.com) (Ping timeout: 240 seconds) |
| 2022-02-11 15:59:49 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:00:03 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:00:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:00:25 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:00:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:00:47 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:00:54 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:01:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:01:16 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:01:31 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:01:38 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:01:52 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:01:59 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:02:15 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:02:16 +0000 | jao | (~jao@68.235.43.173) |
| 2022-02-11 16:02:22 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:02:36 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:02:44 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:02:58 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:03:06 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:03:21 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:03:28 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:03:42 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:03:50 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:03:58 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 16:04:04 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:04:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:04:26 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:04:34 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:04:48 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:04:56 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:05:10 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:05:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 16:05:18 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:05:32 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:05:39 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 16:05:40 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:05:55 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:06:03 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:06:16 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:06:24 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:06:39 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:06:46 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:07:04 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:07:12 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:07:26 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:07:34 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:07:49 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:07:58 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:08:13 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:08:19 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:08:21 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:08:21 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 16:08:35 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:08:43 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:08:57 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:09:01 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-02-11 16:09:05 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:09:17 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 16:09:18 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:09:26 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:09:38 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 16:09:38 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:09:42 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:09:49 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:10:03 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:10:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:10:27 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:10:35 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:10:49 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:10:57 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:11:41 +0000 | thevishy | (~Nishant@2405:201:f005:c007:742b:aca7:e311:68b4) (Quit: Leaving) |
| 2022-02-11 16:12:29 +0000 | mbuf | (~Shakthi@122.173.240.119) (Quit: Leaving) |
| 2022-02-11 16:12:51 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a93b:29e3:e4c0:d09f) (Quit: WeeChat 2.8) |
| 2022-02-11 16:15:11 +0000 | shailangsa | (~shailangs@host217-39-45-199.range217-39.btcentralplus.com) |
| 2022-02-11 16:16:22 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-02-11 16:18:08 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 16:18:08 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 16:18:08 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 16:29:29 +0000 | <reactormonk[m]> | What's the type/name of overM, which is kinda like over, except it also uses a monad? |
| 2022-02-11 16:30:27 +0000 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2022-02-11 16:30:37 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-02-11 16:31:11 +0000 | <c_wraith> | it has a bunch of names. mapMOf, (%%~), id, etc |
| 2022-02-11 16:32:54 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-11 16:32:54 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:33:34 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:33:53 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:aeb5:bcf:993b:2d87) (Ping timeout: 250 seconds) |
| 2022-02-11 16:34:24 +0000 | nschoe | (~quassel@91-162-58-134.subs.proxad.net) |
| 2022-02-11 16:34:53 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-11 16:36:01 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 16:36:27 +0000 | Guest76 | (~Guest76@93.159.185.196) |
| 2022-02-11 16:37:35 +0000 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-02-11 16:38:00 +0000 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-02-11 16:38:28 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-02-11 16:39:58 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 16:39:58 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:41:00 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:42:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 16:42:12 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:42:21 +0000 | jao | (~jao@68.235.43.173) (Ping timeout: 250 seconds) |
| 2022-02-11 16:42:24 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-11 16:43:28 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:45:08 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-02-11 16:46:28 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 16:48:40 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-11 16:51:44 +0000 | ubert1 | (~Thunderbi@p200300ecdf099410dad98e969e0c4f9b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-02-11 16:51:44 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:52:42 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:54:18 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Quit: WeeChat 3.4) |
| 2022-02-11 16:55:02 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-02-11 16:55:39 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 16:55:59 +0000 | Guest76 | (~Guest76@93.159.185.196) (Quit: Client closed) |
| 2022-02-11 16:57:53 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 16:59:12 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 17:00:40 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-02-11 17:02:00 +0000 | slac90668 | (~slack1256@181.42.42.218) |
| 2022-02-11 17:03:46 +0000 | Topsi | (~Tobias@dyndsl-095-033-024-254.ewe-ip-backbone.de) |
| 2022-02-11 17:04:13 +0000 | slack1256 | (~slack1256@191.126.99.204) (Ping timeout: 250 seconds) |
| 2022-02-11 17:04:33 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-11 17:07:56 +0000 | ubert | (~Thunderbi@p200300ecdf0994102c357846a3b3453e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-11 17:08:11 +0000 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-11 17:09:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 2022-02-11 17:10:14 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-02-11 17:11:40 +0000 | slack1256 | (~slack1256@191.126.99.65) |
| 2022-02-11 17:12:51 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 17:12:52 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:13:11 +0000 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-11 17:13:45 +0000 | slac90668 | (~slack1256@181.42.42.218) (Ping timeout: 250 seconds) |
| 2022-02-11 17:14:53 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-02-11 17:16:15 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-02-11 17:17:00 +0000 | nschoe | (~quassel@91-162-58-134.subs.proxad.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-11 17:17:57 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-11 17:18:13 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 17:18:17 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 17:18:45 +0000 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2022-02-11 17:21:34 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-11 17:24:34 +0000 | gaff | (~gaff@49.207.227.85) |
| 2022-02-11 17:25:36 +0000 | <gaff> | there is a `guard` function you can use inside a do block ... i have used it before but now can not find it. where is this function defined? |
| 2022-02-11 17:25:53 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2022-02-11 17:26:14 +0000 | <ski> | @index guard |
| 2022-02-11 17:26:15 +0000 | <lambdabot> | Control.Monad |
| 2022-02-11 17:26:25 +0000 | <gaff> | any link etc would be nice |
| 2022-02-11 17:26:30 +0000 | <gaff> | ah |
| 2022-02-11 17:26:32 +0000 | <gaff> | thanks |
| 2022-02-11 17:28:53 +0000 | slowtype- | (~slowtyper@79.103.56.56.dsl.dyn.forthnet.gr) |
| 2022-02-11 17:29:06 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 17:29:47 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 2022-02-11 17:31:15 +0000 | gaff | (~gaff@49.207.227.85) () |
| 2022-02-11 17:31:20 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2022-02-11 17:32:07 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-02-11 17:33:23 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-02-11 17:35:15 +0000 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-02-11 17:35:27 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 17:36:40 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 2022-02-11 17:37:42 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 17:37:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 17:37:47 +0000 | slowtype- | (~slowtyper@79.103.56.56.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 2022-02-11 17:38:19 +0000 | Topsi | (~Tobias@dyndsl-095-033-024-254.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-02-11 17:40:00 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:66e9:b7e:a0f4:b397) (Ping timeout: 250 seconds) |
| 2022-02-11 17:41:05 +0000 | xff0x | (~xff0x@2001:1a81:5217:8700:5c4c:6e43:a062:eba7) |
| 2022-02-11 17:48:48 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 17:50:20 +0000 | stilgart | (~Christoph@chezlefab.net) |
| 2022-02-11 17:53:31 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 17:53:54 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-11 17:55:21 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-02-11 17:55:49 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 2022-02-11 17:57:53 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 252 seconds) |
| 2022-02-11 17:58:03 +0000 | slowtype- | (~slowtyper@79.103.227.82.dsl.dyn.forthnet.gr) |
| 2022-02-11 17:58:45 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 2022-02-11 18:04:12 +0000 | yauhsien_ | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 2022-02-11 18:04:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:04:27 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:08:38 +0000 | yauhsien_ | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-11 18:11:13 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:12:10 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:12:39 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 18:14:57 +0000 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 2022-02-11 18:17:01 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2022-02-11 18:19:07 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 18:20:46 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2022-02-11 18:21:03 +0000 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-02-11 18:21:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:21:22 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:23:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:24:06 +0000 | Drew[m] | (~drewefenw@2001:470:69fc:105::c8c4) |
| 2022-02-11 18:24:33 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:24:49 +0000 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 250 seconds) |
| 2022-02-11 18:26:26 +0000 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 18:29:52 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 18:29:52 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:29:52 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 18:29:52 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 18:30:02 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:30:50 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-11 18:31:34 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-11 18:33:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 18:33:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 18:35:08 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 18:35:52 +0000 | AlexisTP | (~AlexisTP@92.57.44.63) |
| 2022-02-11 18:37:56 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-11 18:38:53 +0000 | hgolden_ | hgolden |
| 2022-02-11 18:40:30 +0000 | OscarZ | (~oscarz@95.175.104.142) |
| 2022-02-11 18:42:36 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-02-11 18:42:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:42:48 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:43:59 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-11 18:45:00 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 18:45:36 +0000 | MasseR4 | (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 18:45:49 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 18:46:17 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-11 18:46:49 +0000 | gawen_ | (~gawen@user/gawen) |
| 2022-02-11 18:48:13 +0000 | MasseR4 | (~MasseR@51.15.143.128) |
| 2022-02-11 18:49:45 +0000 | gawen | (~gawen@user/gawen) (Ping timeout: 256 seconds) |
| 2022-02-11 18:53:48 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-02-11 18:54:45 +0000 | AlexisTP | (~AlexisTP@92.57.44.63) (Quit: Leaving) |
| 2022-02-11 18:55:52 +0000 | AlexisTP | (~AlexisTP@92.57.44.63) |
| 2022-02-11 18:57:46 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-02-11 18:58:51 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 2022-02-11 19:01:09 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-02-11 19:02:30 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-02-11 19:02:51 +0000 | califax | (~califax@user/califx) (Ping timeout: 276 seconds) |
| 2022-02-11 19:03:41 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 19:04:19 +0000 | shapr` | shapr |
| 2022-02-11 19:04:40 +0000 | califax | (~califax@user/califx) |
| 2022-02-11 19:05:20 +0000 | <shapr> | Is there some way to ask hoogle for all indexed instances of a typeclass? I want to stuff a value into postgres so I want "all instances of To{Row,Field}" |
| 2022-02-11 19:05:21 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 19:05:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 19:06:22 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 19:08:14 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 19:08:57 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 19:09:17 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-11 19:10:58 +0000 | slowtype- | (~slowtyper@79.103.227.82.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 2022-02-11 19:11:26 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 19:15:21 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 245 seconds) |
| 2022-02-11 19:17:12 +0000 | slowtype- | (~slowtyper@2a02:214c:8635:c300:db7f:8a50:4683:57fa) |
| 2022-02-11 19:17:26 +0000 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-02-11 19:17:57 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 240 seconds) |
| 2022-02-11 19:21:08 +0000 | <monochrom> | I don't know hoogle. But in ghci or cabal repl, :info! ToRow can help. |
| 2022-02-11 19:21:15 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:21:27 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:24:30 +0000 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-11 19:24:47 +0000 | arkeet | (arkeet@moriya.ca) |
| 2022-02-11 19:25:46 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-11 19:27:05 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-11 19:27:05 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:27:14 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:28:17 +0000 | AlexisTP | (~AlexisTP@92.57.44.63) (Ping timeout: 256 seconds) |
| 2022-02-11 19:30:14 +0000 | haskl | (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 2022-02-11 19:30:41 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 19:31:20 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 19:33:04 +0000 | haskl | (~haskl@user/haskl) |
| 2022-02-11 19:34:41 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-02-11 19:35:38 +0000 | <Sqaure> | So i've created this Tree like, but a fair bit more complex (3 separate types to model different parent-child relations), data type and now i realize i want it to have insert/update/delete. What would be good way to add this functionality to it? Manual hammering or implement Monad / Applicative and use some standard procedure? |
| 2022-02-11 19:36:37 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-11 19:37:39 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 19:37:39 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:37:54 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-02-11 19:37:55 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:38:44 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-02-11 19:39:30 +0000 | <ski> | i don't see how `Monad' or `Applicative' would give you insertion, update, or deletion |
| 2022-02-11 19:39:55 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 19:40:15 +0000 | <ski> | (`Monad' could give you substitution. `Applicative' would give you "cartesian product") |
| 2022-02-11 19:40:30 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:40:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:41:20 +0000 | <Sqaure> | oh, I found som SO answer and a quick skim made me believe they relied on that. Might have been wrong there. |
| 2022-02-11 19:43:00 +0000 | <EvanR> | for updating subparts of the tree you could use lenses / functional references |
| 2022-02-11 19:44:16 +0000 | dcoutts | (~duncan@host213-122-143-132.range213-122.btcentralplus.com) |
| 2022-02-11 19:44:27 +0000 | <EvanR> | or just write a few recursive routines yourself |
| 2022-02-11 19:44:36 +0000 | <EvanR> | esp if it's for practice |
| 2022-02-11 19:45:22 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-02-11 19:47:11 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-02-11 19:49:15 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-02-11 19:51:04 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-02-11 19:54:46 +0000 | slack1256 | (~slack1256@191.126.99.65) (Remote host closed the connection) |
| 2022-02-11 19:55:38 +0000 | <Sqaure> | EvanR, thanks. Its not for practice, it should be "optimal choice" if there is such =D. |
| 2022-02-11 19:57:41 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 19:58:34 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:58:49 +0000 | cheater | (~Username@user/cheater) |
| 2022-02-11 19:59:27 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 19:59:54 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:01:08 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:9142:26a8:3892:1b3a) |
| 2022-02-11 20:01:08 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:01:19 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:02:05 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-11 20:04:14 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 20:04:14 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-11 20:04:27 +0000 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 2022-02-11 20:04:27 +0000 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 2022-02-11 20:04:27 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-11 20:05:35 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 20:07:13 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-02-11 20:07:44 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:07:49 +0000 | juhp | (~juhp@128.106.188.82) |
| 2022-02-11 20:07:59 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:09:51 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-11 20:10:13 +0000 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 256 seconds) |
| 2022-02-11 20:12:31 +0000 | <hololeap> | I think I screwed up my environment, and I'm just wondering what I can do to try to debug it: http://sprunge.us/d82nVV |
| 2022-02-11 20:16:15 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-11 20:18:09 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 256 seconds) |
| 2022-02-11 20:19:28 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 20:20:20 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 20:21:28 +0000 | <Cale> | hololeap: does ghc-pkg check tell you anything? |
| 2022-02-11 20:21:38 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 20:23:39 +0000 | <hololeap> | yeah, there are a ton of broken packages. I just haven't seen ghc panic before, but fixing the breakages will likely help? |
| 2022-02-11 20:26:37 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 20:26:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:26:53 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-11 20:26:57 +0000 | slowtype- | (~slowtyper@2a02:214c:8635:c300:db7f:8a50:4683:57fa) (Ping timeout: 240 seconds) |
| 2022-02-11 20:27:29 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:30:48 +0000 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2022-02-11 20:31:56 +0000 | <trccc> | Is there a way to get the path to where cabal put its compiled executable? e.g. I know it is here: ./dist-newstyle/build/x86_64-linux/ghc-8.10.7/hs-hello-sleep-0.1.0.0/x/hs-hello-sleep/build/hs-hello-sleep/hs-hello-sleep but can I issue some cabal command to print the path so I can get it in my scripts? |
| 2022-02-11 20:32:32 +0000 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-11 20:34:24 +0000 | <monochrom> | cabal list-bin can help. Something along the line of cabal list-bin hs-hello-sleep |
| 2022-02-11 20:34:59 +0000 | <trccc> | perfect thanks! |
| 2022-02-11 20:35:19 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:36:08 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:37:03 +0000 | <sm> | hololeap: sounds like a good move |
| 2022-02-11 20:40:41 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2022-02-11 20:41:12 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 20:41:12 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 20:41:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 20:42:29 +0000 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-11 20:42:31 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 20:43:47 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-02-11 20:44:45 +0000 | akegalj | (~akegalj@93-138-76-199.adsl.net.t-com.hr) |
| 2022-02-11 20:44:45 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 20:48:29 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 2022-02-11 20:48:45 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 20:49:07 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 20:50:45 +0000 | <janus> | hololeap: that package also takes forever to build for me |
| 2022-02-11 20:51:07 +0000 | <janus> | hololeap: i did 'cabal repl -b lsp-types -w ghc-9.0.2' and i have waited a while now |
| 2022-02-11 20:51:48 +0000 | <janus> | and then i get "warning: no exposed modules" |
| 2022-02-11 20:52:29 +0000 | <hololeap> | hm, I don't know about that. This panic happens almost immediately for me. I tried it in another environment and it at least begins to compile, so it seems like cleaning up that env is the best idea |
| 2022-02-11 20:52:53 +0000 | <janus> | well it does compile |
| 2022-02-11 20:52:57 +0000 | <janus> | and it did finish just now |
| 2022-02-11 20:56:10 +0000 | econo | (uid147250@user/econo) |
| 2022-02-11 20:58:09 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 20:59:01 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 21:03:02 +0000 | tfeb | (~tfb@88.98.95.237) |
| 2022-02-11 21:05:35 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-02-11 21:08:41 +0000 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) (Quit: Client closed) |
| 2022-02-11 21:09:51 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-11 21:09:56 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 2022-02-11 21:10:30 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-02-11 21:10:44 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 21:12:10 +0000 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2022-02-11 21:12:38 +0000 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2022-02-11 21:14:01 +0000 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-02-11 21:20:21 +0000 | slowtype- | (~slowtyper@2a02:214c:863d:a00:1d20:d7d8:59c2:b643) |
| 2022-02-11 21:21:00 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 2022-02-11 21:21:02 +0000 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-02-11 21:21:40 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 21:21:55 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 21:26:24 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 21:27:03 +0000 | slowtype- | (~slowtyper@2a02:214c:863d:a00:1d20:d7d8:59c2:b643) (Ping timeout: 250 seconds) |
| 2022-02-11 21:27:43 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 21:28:07 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 21:30:31 +0000 | vicfred_ | (~vicfred@user/vicfred) |
| 2022-02-11 21:33:09 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-11 21:33:10 +0000 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 2022-02-11 21:33:17 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-11 21:34:57 +0000 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 2022-02-11 21:36:50 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 21:39:38 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 21:41:27 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 21:47:22 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-11 21:49:07 +0000 | Guest80 | (~Guest80@177.70.94.186) |
| 2022-02-11 21:49:23 +0000 | Guest80 | (~Guest80@177.70.94.186) (Client Quit) |
| 2022-02-11 21:49:57 +0000 | ravella | (~ravella@user/ryanavella) (Ping timeout: 240 seconds) |
| 2022-02-11 21:50:50 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-02-11 21:51:31 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 21:52:37 +0000 | alp | (~alp@user/alp) |
| 2022-02-11 21:53:01 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-02-11 21:54:20 +0000 | michalz | (~michalz@185.246.204.65) (Remote host closed the connection) |
| 2022-02-11 21:59:13 +0000 | akegalj | (~akegalj@93-138-76-199.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-02-11 21:59:49 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 22:00:39 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-02-11 22:09:27 +0000 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 22:10:37 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-11 22:12:45 +0000 | slowtype- | (~slowtyper@2a02:214c:8615:200:883a:9d96:1ea3:a070) |
| 2022-02-11 22:12:57 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 22:16:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 2022-02-11 22:16:50 +0000 | haskl | (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 2022-02-11 22:17:15 +0000 | haskl | (~haskl@user/haskl) |
| 2022-02-11 22:20:27 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-11 22:23:32 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-02-11 22:26:18 +0000 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 22:30:08 +0000 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 22:31:53 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 256 seconds) |
| 2022-02-11 22:32:54 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-02-11 22:34:40 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 22:35:35 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 22:35:37 +0000 | slowtype- | (~slowtyper@2a02:214c:8615:200:883a:9d96:1ea3:a070) (Ping timeout: 256 seconds) |
| 2022-02-11 22:35:38 +0000 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 22:39:00 +0000 | vicfred_ | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-02-11 22:39:30 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2022-02-11 22:40:04 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 22:42:02 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 22:46:34 +0000 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 22:49:05 +0000 | slowtype- | (~slowtyper@46.12.42.68.dsl.dyn.forthnet.gr) |
| 2022-02-11 22:49:08 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 22:49:15 +0000 | rtsn | (~nstr@user/rtsn) (Quit: Lost terminal) |
| 2022-02-11 22:50:39 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-11 22:51:09 +0000 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 22:51:31 +0000 | max22- | (~maxime@2a01cb08833598003ad46ecd074981ca.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2022-02-11 22:57:15 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-11 22:57:36 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-11 22:58:51 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 256 seconds) |
| 2022-02-11 22:59:06 +0000 | Guest|11 | (~Guest|11@96.63.212.186) |
| 2022-02-11 23:01:24 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2022-02-11 23:01:32 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-11 23:04:11 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-02-11 23:07:05 +0000 | Guest|11 | (~Guest|11@96.63.212.186) (Quit: Connection closed) |
| 2022-02-11 23:07:23 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-02-11 23:08:31 +0000 | vysn | (~vysn@user/vysn) |
| 2022-02-11 23:09:19 +0000 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 23:13:03 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-11 23:13:24 +0000 | <hololeap> | I'm still not great at reasoning about lazy/strict evaluation and how it influences space/time metrics |
| 2022-02-11 23:13:36 +0000 | <hololeap> | but it seems like comonads are especially difficult to reason about |
| 2022-02-11 23:14:39 +0000 | <hololeap> | if you set up a cellular automata simulation that's modeled with the store comonad, the naive implementation seems to have something like O(2^n) time for each step of the simulation |
| 2022-02-11 23:15:33 +0000 | <hololeap> | but if you set it up with a Representable array backend you don't have this problem. I'm still confused as to why |
| 2022-02-11 23:17:41 +0000 | <hololeap> | [1] https://hackage.haskell.org/package/adjunctions-4.4/docs/Control-Comonad-Representable-Store.html |
| 2022-02-11 23:17:46 +0000 | <hololeap> | [2] https://hackage.haskell.org/package/vector-sized-1.5.0/docs/Data-Vector-Generic-Sized.html#t:Repre… |
| 2022-02-11 23:20:16 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-11 23:21:35 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-11 23:21:50 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-11 23:22:08 +0000 | <monochrom> | If it's as bad as 2^n time, it may be unrelated to laziness or eagerness. More like redundant recursion. |
| 2022-02-11 23:22:56 +0000 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 23:23:19 +0000 | <monochrom> | For example changing "f(n) = let y = f(n-1) in y+y" to "f(n) = f(n-1) + f(n-1)" is a simple way to turn n-time into 2^n-time. This holds for both lazy and eager evaluation. |
| 2022-02-11 23:24:02 +0000 | <Rembane> | Is Representable perhaps doing memoization for you? I'm just guessing here. |
| 2022-02-11 23:24:54 +0000 | <monochrom> | Yeah "array backend" begins to sound like automatic dynamic-programming-ization, but I haven't learned comonad or store. |
| 2022-02-11 23:25:42 +0000 | <monochrom> | But it corroborates with 2^n -> n like my example. |
| 2022-02-11 23:26:41 +0000 | <hololeap> | yeah it's storing each step to the vector with [1]. I think this does have something to do with strictness, though, since if it wasn't *actually* storing to the vector but just building up thunks saying to do so later, wouldn't I run into the same 2^n-time problem as before? |
| 2022-02-11 23:26:57 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-02-11 23:27:03 +0000 | <dolio> | I don't think it has anything to do with strictness. |
| 2022-02-11 23:27:06 +0000 | <geekosaur> | not necessarily, it'd just do the O(n) late |
| 2022-02-11 23:27:12 +0000 | <dolio> | It has to do with functions being a bad implementation of arrays. |
| 2022-02-11 23:27:22 +0000 | <hololeap> | ok |
| 2022-02-11 23:27:35 +0000 | <hololeap> | so this is somewhat specific to the store comonad |
| 2022-02-11 23:27:54 +0000 | <hololeap> | since Store s a = (s -> a, s) |
| 2022-02-11 23:28:39 +0000 | <hololeap> | if it memoizes between each mutation you get the same semantics but much better time |
| 2022-02-11 23:28:50 +0000 | <dolio> | Yes, all the work done by the function is not shared across separate invocations of the function with the same input. |
| 2022-02-11 23:29:31 +0000 | <dolio> | And every time you split, you introduce a new dimension for work to avoid being shared. |
| 2022-02-11 23:30:11 +0000 | <hololeap> | oh... this sounds like it could be related to linear types |
| 2022-02-11 23:30:52 +0000 | <hololeap> | like you could have some automatic memoization thing using linear types... I'm also not very familiar with linear types :p |
| 2022-02-11 23:32:29 +0000 | slowtype- | (~slowtyper@46.12.42.68.dsl.dyn.forthnet.gr) (Ping timeout: 250 seconds) |
| 2022-02-11 23:32:33 +0000 | <hololeap> | I guess my other question is if you run `extend` on this Store implementation from adjunctions, would there be some intermediate moment where you would have effectively squared the memory requirements of your vector? |
| 2022-02-11 23:33:05 +0000 | <hololeap> | since it just uses the default definition of `extend f = fmap f . duplicate` |
| 2022-02-11 23:33:06 +0000 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 23:33:27 +0000 | <hololeap> | and duplicate on a 100x100 vector would be 10,000 100x100 vectors |
| 2022-02-11 23:33:35 +0000 | <hololeap> | unless laziness somehow saves the day here |
| 2022-02-11 23:34:29 +0000 | <hololeap> | I wouldn't even know how to investigate this if I wanted to |
| 2022-02-11 23:34:30 +0000 | <geekosaur> | or purity (shared?) |
| 2022-02-11 23:36:28 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 23:37:30 +0000 | <dolio> | It doesn't seem like the problem is strictness/laziness. It is thinking about references. |
| 2022-02-11 23:37:57 +0000 | <hololeap> | specifically because I'm talking about vector though... |
| 2022-02-11 23:38:25 +0000 | <hololeap> | right? |
| 2022-02-11 23:38:45 +0000 | <hololeap> | if it was a different Representable, it would have to do with strictness/laziness |
| 2022-02-11 23:39:02 +0000 | <hololeap> | *and then my brain melts* |
| 2022-02-11 23:39:33 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 23:40:40 +0000 | <monochrom> | The Vector you used is likely lazy in elements, only eager in spine. |
| 2022-02-11 23:40:45 +0000 | <dolio> | If I create an array of length N of arrays of length N of integers, and every element of the outer array is the same array, how much memory does it use? |
| 2022-02-11 23:40:57 +0000 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 23:41:06 +0000 | <hololeap> | I have no idea, dolio :) |
| 2022-02-11 23:41:06 +0000 | slowtype- | (~slowtyper@2a02:214c:8494:a100:8f:b3ce:d37b:a68d) |
| 2022-02-11 23:41:43 +0000 | <monochrom> | Furthermore, I bet per-element laziness is necessary for self-referencing dynamic programming to not become bottom. |
| 2022-02-11 23:41:57 +0000 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 240 seconds) |
| 2022-02-11 23:42:04 +0000 | <dminuoso> | What are revisions on hackage? Im dabbling around with a nix overrideCabal to swap out a package, but the builder keeps trying to fetch from URIs like http://hackage.haskell.org/package/config-value-0.8.2/revision/1.cabal |
| 2022-02-11 23:42:19 +0000 | <dminuoso> | Im trying to figure out what they are and why nix is doing this |
| 2022-02-11 23:42:37 +0000 | <hololeap> | dminuoso: they are what the sound like. revisions to a cabal file that don't warrant a version bump |
| 2022-02-11 23:43:01 +0000 | <monochrom> | Revisions are post-mortem changes to the *.cabal files so that you don't have to release a new version number just because you change "base < 5" to "base < 6". |
| 2022-02-11 23:43:37 +0000 | <monochrom> | Therefore, if possible, you should prefer the latest revision. |
| 2022-02-11 23:43:40 +0000 | <dminuoso> | Is there any example of a package that has revisions on hackage? |
| 2022-02-11 23:43:49 +0000 | <hololeap> | they also use dos line endings for some reason :D |
| 2022-02-11 23:43:57 +0000 | <sclv> | when cabal unpacks a package it overrides the cabal file with that of the latest revision |
| 2022-02-11 23:44:40 +0000 | <hololeap> | dminuoso: there are tons and tons |
| 2022-02-11 23:45:14 +0000 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 23:45:19 +0000 | <dminuoso> | Ahh I see. |
| 2022-02-11 23:45:21 +0000 | <dminuoso> | https://hackage.haskell.org/package/config-value-0.8.1 |
| 2022-02-11 23:45:38 +0000 | <dminuoso> | Using overrideCabal to just swap out the version is not enough, I gotta remove the revision information |
| 2022-02-11 23:45:54 +0000 | <dminuoso> | monochrom: thanks, that helped. :) |
| 2022-02-11 23:45:58 +0000 | <janus> | sclv: can i work on "Rewrite Browse and Search pages for Hackage, implement new ranking" ? |
| 2022-02-11 23:46:15 +0000 | <sclv> | janus: for gsoc, or just in general? either is welcome! |
| 2022-02-11 23:46:25 +0000 | <hololeap> | dminuoso: https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md |
| 2022-02-11 23:46:39 +0000 | jespada | (~jespada@87.74.36.188) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-02-11 23:46:42 +0000 | <hololeap> | here is an example: https://hackage.haskell.org/package/aeson-1.5.6.0/revisions/ |
| 2022-02-11 23:46:44 +0000 | <janus> | i don't need funding so i don't think it makes sense to apply for gsoc? i want to work on it this weekend and next week |
| 2022-02-11 23:46:57 +0000 | <janus> | and after that if i don't get done in time, of course |
| 2022-02-11 23:47:02 +0000 | <sclv> | janus: sounds great! |
| 2022-02-11 23:47:26 +0000 | <hololeap> | (thanks everyone for the discussion on comonads and strict/lazy. I've got some food for thought) |
| 2022-02-11 23:47:28 +0000 | <dminuoso> | hololeap: Cheers, thats some helpful insights |
| 2022-02-11 23:47:33 +0000 | <sclv> | if you want to chat about what the general design is let me know, but I think the tickets hopefully explain the issues well enough. |
| 2022-02-11 23:48:30 +0000 | <janus> | sclv: well i think the most important thing is to just get it loading quickly while retaining the features, that's what i was imagining |
| 2022-02-11 23:48:40 +0000 | <sclv> | Basically we just need to make displaying browse faster (by letting it start rendering the first page of the table before All Packages are loaded) and make it more useful by letting people add custom filters, both sticky and otherwise. Generally we probably should just use a more modern tabular data js widget, although ideally not one that relies on dragging in a whole mess of npm |
| 2022-02-11 23:49:05 +0000 | <sclv> | yeah, just fast loading on its own would be a huge win. |
| 2022-02-11 23:49:11 +0000 | <janus> | right, i was wondering about the frontend, would it make sense to rewrite it for that page, or is that not permitted? |
| 2022-02-11 23:49:22 +0000 | <janus> | i was working with PureScript for Exfreight and i liked that |
| 2022-02-11 23:49:24 +0000 | <sclv> | lots of people have told me they like browse but find its load times make it less useful. |
| 2022-02-11 23:49:35 +0000 | <sclv> | janus: what do you mean "rewrite it for that page"? |
| 2022-02-11 23:50:04 +0000 | <sclv> | we only use the tabular data widget in the browse/search interface. everything else is plain tables. i'd be happy to swap in anything that doesn't cause the build to become difficult and fragile. |
| 2022-02-11 23:50:06 +0000 | <janus> | for example, if it was a purescript frontend that implemented filtering dialogs, paging and such, that is a bit of logic |
| 2022-02-11 23:50:11 +0000 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 23:50:44 +0000 | <sclv> | yeah, i mean i'd rather whatever it is be "a chunk of js code the page includes." dragging a pursecript dep into the hackage build chain seems painful. |
| 2022-02-11 23:51:25 +0000 | <janus> | ok, so preferrably just plain javascript, i understand |
| 2022-02-11 23:51:28 +0000 | <sclv> | if there's a not painful way to do it, i'm open, but i would hate to create a situation where people needed to do more than just "run cabal" to build the hackage server |
| 2022-02-11 23:51:43 +0000 | <sclv> | (and by people, i mean, primarily me. i'm people :-P) |
| 2022-02-11 23:52:03 +0000 | <janus> | right right, i understand completely |
| 2022-02-11 23:52:19 +0000 | <janus> | i think i'll start with the backend anyway |
| 2022-02-11 23:52:22 +0000 | <janus> | ok i'll dig in |
| 2022-02-11 23:52:31 +0000 | <sclv> | so yeah, just faster is a huge win. i think being able to filter out deprecated stuff would be nice, etc, but its somewhat lower priority. |
| 2022-02-11 23:52:48 +0000 | <sclv> | also as you dig in you'll probably get your own sense of what features you think would be easy and pleasant too |
| 2022-02-11 23:53:11 +0000 | <sclv> | (oh i'll also note that the browse/search page is the least mobile friendly of all our pages -- the rest all work pretty nicely) |
| 2022-02-11 23:53:40 +0000 | <janus> | right |
| 2022-02-11 23:53:42 +0000 | <sclv> | (but also, presenting large amounts of tabular data on a mobile screen has innate limitations) |
| 2022-02-11 23:53:54 +0000 | <hololeap> | dminuoso: I don't know if this will help you at all, but this is how I've been dealing with hackage packages with revisions using gentoo: https://github.com/hololeap/gentoo-haskell/blob/master/dev-lang/dhall/dhall-1.40.2.ebuild |
| 2022-02-11 23:55:09 +0000 | <hololeap> | the key things to take from that are that the .tar.gz from hackage and the .cabal revision need to be downloaded seperately, and I use dos2unix on the revised cabal file just to make patches more consistent |
| 2022-02-11 23:55:15 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 250 seconds) |
| 2022-02-11 23:55:41 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 23:56:19 +0000 | <hololeap> | (because sometimes I like to patch the revised .cabal file for various reasons) |
| 2022-02-11 23:56:28 +0000 | _________ | (~nobody@user/noodly) |
| 2022-02-11 23:57:11 +0000 | <dminuoso> | hololeap: Its all good. My problem was just that I was overriding an existing nix package whose original version had a revision. So I essentially took a knife and replaced the version, so the builder tried to fetch that same revision but on the new versino |
| 2022-02-11 23:57:25 +0000 | <dminuoso> | Which failed when trying to fetch that corresponding cabal file from hackage |
| 2022-02-11 23:57:49 +0000 | <dminuoso> | So I had to not only change the version to 0.8.2, but also reset the revision to null |
| 2022-02-11 23:58:11 +0000 | <hololeap> | why do they give the .cabal revisions DOS line endings? |
| 2022-02-11 23:58:49 +0000 | <geekosaur> | probably html line endings that don't get translated? |
| 2022-02-11 23:58:59 +0000 | <dminuoso> | Fun fact, "unix line endings" used to be CRLF as well. |
| 2022-02-11 23:59:24 +0000 | <janus> | the LF used to just roll the paper right? and then the CR would return the carraige |
| 2022-02-11 23:59:37 +0000 | <janus> | so back then, could you even use LFCR and it'd work? |
| 2022-02-11 23:59:43 +0000 | <geekosaur> | oh, even better. cr cr lf to give the ksr33 time to catch up |
| 2022-02-11 23:59:46 +0000 | <dminuoso> | janus: Yes. |
| 2022-02-11 23:59:57 +0000 | marquis_1ndras | (~marquis_a@124.170.163.166) (Ping timeout: 240 seconds) |