Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 .. 5022
— 502,152 events total
2020-11-06 13:27:43 → fendor joins (~fendor@77.119.129.239.wireless.dyn.drei.com)
2020-11-06 13:27:45 × darjeeling_ quits (~darjeelin@115.215.43.51) (Ping timeout: 240 seconds)
2020-11-06 13:27:52 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-06 13:27:56 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds)
2020-11-06 13:29:14 × texasmynsted quits (~texasmyns@097-085-244-180.biz.spectrum.com) (Remote host closed the connection)
2020-11-06 13:29:17 → darjeeling_ joins (~darjeelin@115.215.43.51)
2020-11-06 13:30:12 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 13:30:36 <Cheery> Right now it says that it can't deduce (x::Aux) from the method declaration
2020-11-06 13:31:08 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 13:31:32 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-11-06 13:31:59 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 13:32:27 × unfo- quits (~unfo-@162.219.176.3) (Remote host closed the connection)
2020-11-06 13:32:58 <Cheery> adding a "proxy" helped. :)
2020-11-06 13:33:10 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 272 seconds)
2020-11-06 13:33:26 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-06 13:34:54 <lortabac> yes, if you use proxies you don't need AllowAmbiguousTypes and TypeApplications
2020-11-06 13:40:47 <jollygood2> I need line graph on a web page, ideally the kind that lets you see arbitrary points by hovering a mouse over it. any recommendations?
2020-11-06 13:41:19 <Cheery> that kind of thing, I still didn't get it through, but I continue later: https://bpa.st/TYMQ
2020-11-06 13:42:01 <Cheery> lortabac: thanks for help, there's bit more tools to try. I think I understand the problem in the "simple" way to do this though.
2020-11-06 13:42:19 × todda7 quits (~torstein@ppp-2-84-30-242.home.otenet.gr) (Remote host closed the connection)
2020-11-06 13:42:44 → todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr)
2020-11-06 13:42:51 <Cheery> when I try to create the instance (F a, F b) => F (a,b), it's unable to figure out whether to use this instance on ((),b) or not.
2020-11-06 13:43:54 <ski> they overlap
2020-11-06 13:44:16 <Cheery> the closed type family does not "figure" it out, but it waits until Trim (a,b) resolves either a or b
2020-11-06 13:44:50 <ski> try using only the former, but see if you can check if `Trim a' or `Trim b' is `()', and if so, then `Trim (a,b)' should be the other one
2020-11-06 13:45:27 <ski> hm
2020-11-06 13:45:27 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 13:45:34 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-06 13:47:00 × obihann quits (~jhann@156.34.160.69) (Remote host closed the connection)
2020-11-06 13:47:03 → texasmynsted joins (~texasmyns@097-085-244-180.biz.spectrum.com)
2020-11-06 13:47:21 <lortabac> Cheery: if you use my workaround, the instances are only selected on Aux, where they never overlap
2020-11-06 13:47:38 <lortabac> there are no instances (a, b) etc.
2020-11-06 13:47:44 → FreeBird_ joins (~freebirdl@101.228.42.108)
2020-11-06 13:48:00 <lortabac> in fact that's the whole point of this trick
2020-11-06 13:48:02 × drbean quits (~drbean@TC210-63-209-142.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-11-06 13:48:16 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 13:48:27 → Tario joins (~Tario@201.192.165.173)
2020-11-06 13:49:22 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-06 13:49:58 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 256 seconds)
2020-11-06 13:50:23 → brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-11-06 13:50:35 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7cc2:21a2:16c3:f6f6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-06 13:53:25 × mmohammadi9812 quits (~mmohammad@188.210.99.150) (Ping timeout: 240 seconds)
2020-11-06 13:54:30 × todda7 quits (~torstein@ppp-2-84-30-242.home.otenet.gr) (Quit: Konversation terminated!)
2020-11-06 13:54:45 → todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr)
2020-11-06 13:55:32 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-11-06 13:55:47 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-06 13:56:24 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-06 14:02:25 → mmohammadi9812 joins (~mmohammad@188.210.99.150)
2020-11-06 14:02:50 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-11-06 14:03:41 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-06 14:09:00 hackage bytebuild 0.3.7.0 - Serialize to a small byte arrays https://hackage.haskell.org/package/bytebuild-0.3.7.0 (andrewthad)
2020-11-06 14:09:01 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-11-06 14:09:27 → wkane__ joins (~wkane@host-80-180-11-39.pool80180.interbusiness.it)
2020-11-06 14:09:50 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-11-06 14:11:10 → coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-06 14:12:11 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-06 14:12:57 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-06 14:13:50 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-06 14:16:05 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-06 14:17:26 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:2d48:c414:1e60:fe62)
2020-11-06 14:19:40 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-06 14:24:13 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-06 14:24:17 × argent0 quits (~argent0@168.227.98.82) (Ping timeout: 258 seconds)
2020-11-06 14:27:02 → argent0 joins (~argent0@168.227.98.82)
2020-11-06 14:30:07 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-06 14:30:30 hackage reflex-vty 0.1.4.1 - Reflex FRP host and widgets for VTY applications https://hackage.haskell.org/package/reflex-vty-0.1.4.1 (abrar)
2020-11-06 14:31:14 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-06 14:31:40 <merijn> oooh, that sounds cool
2020-11-06 14:32:36 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-06 14:35:18 × avdb quits (~avdb@ip-83-134-202-202.dsl.scarlet.be) (Ping timeout: 260 seconds)
2020-11-06 14:36:04 → christo joins (~chris@81.96.113.213)
2020-11-06 14:37:05 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 14:37:21 → avdb joins (~avdb@ip-83-134-202-202.dsl.scarlet.be)
2020-11-06 14:37:36 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-06 14:39:48 → st8less joins (~st8less@2603:a060:11fd:0:eda9:20b2:c735:3ae0)
2020-11-06 14:40:23 × jakob_ quits (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-06 14:40:42 → jakob_ joins (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de)
2020-11-06 14:41:09 × jakob_ quits (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de) (Client Quit)
2020-11-06 14:41:12 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-06 14:41:34 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-06 14:41:44 → jakob_ joins (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de)
2020-11-06 14:41:55 × jakob_ quits (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de) (Client Quit)
2020-11-06 14:42:00 hackage miv 0.4.4 - Vim plugin manager written in Haskell https://hackage.haskell.org/package/miv-0.4.4 (itchyny)
2020-11-06 14:42:30 → jakob_ joins (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de)
2020-11-06 14:42:41 × jakob_ quits (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de) (Client Quit)
2020-11-06 14:42:55 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-06 14:43:10 → jakob_ joins (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de)
2020-11-06 14:43:28 × jakob_ quits (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de) (Client Quit)
2020-11-06 14:44:18 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 265 seconds)
2020-11-06 14:46:00 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-06 14:46:04 × mmohammadi9812 quits (~mmohammad@188.210.99.150) (Ping timeout: 246 seconds)
2020-11-06 14:47:31 × chaosmasttter quits (~chaosmast@p200300c4a70b9f013c660c983e9b467a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-06 14:48:29 → Gurkenglas__ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-06 14:49:22 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-06 14:49:41 × phaazon quits (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 272 seconds)
2020-11-06 14:50:57 → mmohammadi9812 joins (~mmohammad@188.210.99.150)
2020-11-06 14:51:14 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2020-11-06 14:51:20 → phaazon joins (~phaazon@ns378376.ip-5-196-95.eu)
2020-11-06 14:52:06 → britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0)
2020-11-06 14:52:14 × alx741 quits (~alx741@181.196.69.190) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 .. 5022

All times are in UTC.