Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,460 events total
2021-08-24 19:30:53 × ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-24 19:30:53 × lavaman quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2021-08-24 19:31:04 lavaman joins (~lavaman@98.38.249.169)
2021-08-24 19:31:19 × neo quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds)
2021-08-24 19:32:30 Pickchea joins (~private@user/pickchea)
2021-08-24 19:33:42 hseg joins (~gesh@IGLD-84-228-238-79.inter.net.il)
2021-08-24 19:34:23 <zzz> Data.Graph from containers or fgl?
2021-08-24 19:34:54 <Rembane_> zzz: You could also use Data.Map.
2021-08-24 19:35:12 <zzz> Rembane_: how so?
2021-08-24 19:35:41 doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-08-24 19:38:11 ec_ joins (~ec@gateway/tor-sasl/ec)
2021-08-24 19:39:14 × qbt quits (~edun@user/edun) (Remote host closed the connection)
2021-08-24 19:39:51 <monochrom> Also [] and [[]]
2021-08-24 19:41:26 <Rembane_> zzz: A graph has many representations, a mapping between nodes is one of them. OTOH fgl is fun!
2021-08-24 19:43:00 <monochrom> The fgl paper would be fun to read. I don't find fgl fun to use. Unless "fun" means many type parameters and many classes.
2021-08-24 19:48:13 × alx741 quits (~alx741@181.196.68.94) (Ping timeout: 250 seconds)
2021-08-24 19:49:28 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-08-24 19:51:47 × jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2021-08-24 19:53:23 <zzz> this seems fun: https://hackage.haskell.org/package/algebraic-graphs
2021-08-24 19:57:09 × maroloccio quits (~marolocci@37.100.40.252) (Quit: WeeChat 3.0)
2021-08-24 19:58:56 × azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds)
2021-08-24 19:59:45 azeem joins (~azeem@176.201.15.223)
2021-08-24 20:00:30 × slack1256 quits (~slack1256@191.125.33.180) (Remote host closed the connection)
2021-08-24 20:01:13 alx741 joins (~alx741@186.178.108.43)
2021-08-24 20:03:43 jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-24 20:05:26 × juhp quits (~juhp@128.106.188.220) (Ping timeout: 250 seconds)
2021-08-24 20:05:34 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-08-24 20:05:53 × oxide quits (~lambda@user/oxide) (Quit: oxide)
2021-08-24 20:07:29 × Guest1613 quits (~chris@81.96.113.213) (Ping timeout: 248 seconds)
2021-08-24 20:08:09 juhp joins (~juhp@128.106.188.220)
2021-08-24 20:08:38 × mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .)
2021-08-24 20:08:49 mrmonday joins (robert@2a01:7e00::f03c:91ff:fe24:1bd)
2021-08-24 20:13:20 talismanick joins (~user@2601:644:8500:8350::cc04)
2021-08-24 20:17:47 × azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds)
2021-08-24 20:18:27 azeem joins (~azeem@176.201.15.223)
2021-08-24 20:19:51 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 250 seconds)
2021-08-24 20:21:43 meriadoc joins (~meriadoc@097-086-004-112.res.spectrum.com)
2021-08-24 20:22:23 meriadoc parts (~meriadoc@097-086-004-112.res.spectrum.com) (WeeChat 2.3)
2021-08-24 20:22:55 eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d)
2021-08-24 20:25:08 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-08-24 20:27:13 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Ping timeout: 250 seconds)
2021-08-24 20:29:02 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-24 20:31:20 × ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-24 20:33:10 × Sinbad quits (~Sinbad@user/sinbad) (Quit: WeeChat 3.2)
2021-08-24 20:33:28 ec_ joins (~ec@gateway/tor-sasl/ec)
2021-08-24 20:36:19 eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d)
2021-08-24 20:44:33 × azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds)
2021-08-24 20:48:31 × aman quits (~aman@user/aman) (Quit: aman)
2021-08-24 20:49:23 azeem joins (~azeem@176.201.15.223)
2021-08-24 20:51:48 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-08-24 20:52:10 × mcfilib quits (sid302703@user/mcfilib) ()
2021-08-24 20:52:25 mcfilib joins (sid302703@user/mcfilib)
2021-08-24 20:54:31 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 250 seconds)
2021-08-24 20:58:05 × scav quits (sid309693@id-309693.brockwell.irccloud.com) ()
2021-08-24 20:58:20 scav joins (sid309693@id-309693.helmsley.irccloud.com)
2021-08-24 20:58:36 MQ-17J joins (~MQ-17J@2607:fb90:888c:3321:7349:4005:9638:7e44)
2021-08-24 21:00:33 acidjnk_new3 joins (~acidjnk@p200300d0c72b9534e4a445cd6b407eb5.dip0.t-ipconnect.de)
2021-08-24 21:01:15 × MQ-17J quits (~MQ-17J@2607:fb90:888c:3321:7349:4005:9638:7e44) (Read error: Connection reset by peer)
2021-08-24 21:01:21 × epolanski quits (uid312403@id-312403.brockwell.irccloud.com) ()
2021-08-24 21:01:36 epolanski joins (uid312403@id-312403.helmsley.irccloud.com)
2021-08-24 21:02:44 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-24 21:03:26 × gregberns__ quits (sid315709@id-315709.brockwell.irccloud.com) ()
2021-08-24 21:03:40 gregberns__ joins (sid315709@id-315709.helmsley.irccloud.com)
2021-08-24 21:04:27 × d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2021-08-24 21:05:11 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-08-24 21:05:16 × remedan quits (~remedan@balak.me) (Quit: Bye!)
2021-08-24 21:05:57 × ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-24 21:08:49 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Remote host closed the connection)
2021-08-24 21:09:49 remedan joins (~remedan@balak.me)
2021-08-24 21:10:21 ec_ joins (~ec@gateway/tor-sasl/ec)
2021-08-24 21:10:45 × remedan quits (~remedan@balak.me) (Client Quit)
2021-08-24 21:10:58 × Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-08-24 21:13:02 remedan joins (~remedan@balak.me)
2021-08-24 21:15:13 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-24 21:15:19 × ubert quits (~Thunderbi@178.165.204.112.wireless.dyn.drei.com) (Ping timeout: 250 seconds)
2021-08-24 21:18:57 × Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 248 seconds)
2021-08-24 21:23:27 <nshepperd> i need to send in a patch to that package
2021-08-24 21:23:45 <nshepperd> The documented complexity for 'vertexCount :: AdjacencyIntMap -> Int' is wrong
2021-08-24 21:23:47 × azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds)
2021-08-24 21:24:16 azeem joins (~azeem@176.201.15.223)
2021-08-24 21:24:49 <nshepperd> because IntMap.size is o(n)
2021-08-24 21:30:40 × jespada quits (~jespada@90.254.245.194) (Ping timeout: 252 seconds)
2021-08-24 21:30:55 × azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds)
2021-08-24 21:31:07 × remedan quits (~remedan@balak.me) (Quit: Bye!)
2021-08-24 21:32:07 azeem joins (~azeem@176.201.15.223)
2021-08-24 21:32:28 × parisienne quits (sid383587@id-383587.brockwell.irccloud.com) ()
2021-08-24 21:32:42 parisienne joins (sid383587@id-383587.helmsley.irccloud.com)
2021-08-24 21:33:20 × NiKaN quits (sid385034@id-385034.brockwell.irccloud.com) ()
2021-08-24 21:33:40 jespada joins (~jespada@90.254.245.194)
2021-08-24 21:34:05 NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
2021-08-24 21:34:14 oldsk00l joins (~znc@ec2-3-120-38-228.eu-central-1.compute.amazonaws.com)
2021-08-24 21:34:59 × gaze___ quits (sid387101@id-387101.brockwell.irccloud.com) ()
2021-08-24 21:35:13 gaze___ joins (sid387101@id-387101.helmsley.irccloud.com)
2021-08-24 21:37:13 remedan joins (~remedan@balak.me)
2021-08-24 21:40:45 mouseghost joins (~draco@user/mouseghost)
2021-08-24 21:42:07 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-08-24 21:43:00 × remedan quits (~remedan@balak.me) (Quit: Bye!)
2021-08-24 21:45:04 remedan joins (~remedan@balak.me)
2021-08-24 21:47:42 × doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-08-24 21:49:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)

All times are in UTC.