Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 .. 5022
— 502,152 events total
2020-11-20 15:54:59 × SanchayanMaity quits (~Sanchayan@223.226.123.235) (Quit: SanchayanMaity)
2020-11-20 15:55:01 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2020-11-20 15:56:45 × _deepfire quits (~user@80.92.100.69) (Ping timeout: 240 seconds)
2020-11-20 15:57:41 × meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in)
2020-11-20 15:58:18 → _deepfire joins (~user@80.92.100.69)
2020-11-20 15:59:40 → borne joins (~fritjof@200116b86455d000f1dc39039d201adf.dip.versatel-1u1.de)
2020-11-20 15:59:40 → LKoen joins (~LKoen@169.244.88.92.rev.sfr.net)
2020-11-20 16:00:04 × PotatoHatsue|T quits (berbermanm@gateway/shell/matrix.org/x-uhyqtdfvkudrmunh) (Quit: Idle for 30+ days)
2020-11-20 16:00:06 × kaychaks_riot quits (kaychaksma@gateway/shell/matrix.org/x-mkllmseyzgoebiyk) (Quit: Idle for 30+ days)
2020-11-20 16:00:59 × conal quits (~conal@ip-66-115-176-195.creativelink.net) (Quit: Computer has gone to sleep.)
2020-11-20 16:02:51 × connrs quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-11-20 16:02:52 × connrs_ quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-11-20 16:03:03 → alp joins (~alp@2a01:e0a:58b:4920:e473:db5a:5f8a:8d59)
2020-11-20 16:03:55 <merijn> If I have a working ghcide, is there some way to dump out it's cradle config?
2020-11-20 16:04:05 → connrs joins (~connrs@runciter.connrs.uk)
2020-11-20 16:04:41 → connrs_ joins (~connrs@runciter.connrs.uk)
2020-11-20 16:04:48 × toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection)
2020-11-20 16:05:27 → knupfer joins (~Thunderbi@200116b824bb7e002856a5fffe28fbf5.dip.versatel-1u1.de)
2020-11-20 16:05:56 × knupfer quits (~Thunderbi@200116b824bb7e002856a5fffe28fbf5.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-20 16:06:04 → knupfer joins (~Thunderbi@200116b824bb7e00d8226e797ccf94db.dip.versatel-1u1.de)
2020-11-20 16:06:40 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-20 16:06:50 → conal joins (~conal@64.71.133.70)
2020-11-20 16:08:09 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 16:08:42 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-20 16:09:11 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 16:09:36 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-11-20 16:10:37 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:b44f:bf96:fd3:56a8)
2020-11-20 16:12:16 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-20 16:12:27 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 16:12:28 → renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-20 16:12:29 → gproto23 joins (~gproto23@unaffiliated/gproto23)
2020-11-20 16:12:36 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 240 seconds)
2020-11-20 16:13:55 × darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 246 seconds)
2020-11-20 16:16:27 × kuribas quits (~user@ptr-25vy0i7lmmi4jlxzmxu.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2020-11-20 16:17:15 → meck joins (~meck@li1809-18.members.linode.com)
2020-11-20 16:18:53 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-20 16:19:22 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-11-20 16:20:41 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-11-20 16:21:30 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-20 16:21:59 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 16:23:10 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2020-11-20 16:25:14 <dexterfoo> why does Map have both foldl and foldr? isn't it supposed to be unordered?
2020-11-20 16:25:30 <merijn> dexterfoo: eh, no?
2020-11-20 16:25:36 <merijn> Why would it be unordered
2020-11-20 16:26:02 <merijn> In fact, containers guarantees Foldable and Traversable are "least to greatest" order of keys/elements
2020-11-20 16:26:16 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2020-11-20 16:26:39 <dexterfoo> i see. but the performance of foldl and foldr are the same, right?
2020-11-20 16:26:50 <merijn> "Yes, no, maybe, it depends"
2020-11-20 16:26:53 × Lycurgus quits (~niemand@cpe-45-46-142-188.buffalo.res.rr.com) (Quit: Exeunt)
2020-11-20 16:28:13 → acidjnk_new2 joins (~acidjnk@p200300d0c719ff6800925201c24f6260.dip0.t-ipconnect.de)
2020-11-20 16:30:35 → darjeeling_ joins (~darjeelin@122.245.211.11)
2020-11-20 16:32:37 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-11-20 16:33:01 <maerwald> The general answer is "no", unless you can be more explicit
2020-11-20 16:34:17 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-20 16:36:40 → christo joins (~chris@81.96.113.213)
2020-11-20 16:37:17 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-20 16:38:07 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:4914:be02:68a7:933e)
2020-11-20 16:40:04 → christo joins (~chris@81.96.113.213)
2020-11-20 16:40:20 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:b44f:bf96:fd3:56a8) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-20 16:41:33 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-20 16:44:32 × acidjnk_new2 quits (~acidjnk@p200300d0c719ff6800925201c24f6260.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-20 16:47:23 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 265 seconds)
2020-11-20 16:47:46 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-20 16:49:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-20 16:50:19 × Ariakenom quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
2020-11-20 16:50:44 → noumenon joins (~daemon@113.51-175-156.customer.lyse.net)
2020-11-20 16:51:49 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 264 seconds)
2020-11-20 16:51:49 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-20 16:51:58 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-20 16:53:15 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 16:53:17 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-eizsscpohqhxizqc)
2020-11-20 16:55:21 × Yumasi quits (~guillaume@2a01cb09b06b29eabd8cf63c98e88a0f.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-11-20 16:55:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-20 16:58:01 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-20 17:00:20 × noumenon quits (~daemon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2020-11-20 17:01:14 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2020-11-20 17:01:26 → geekosaur joins (ac3a56ed@172.58.86.237)
2020-11-20 17:03:31 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-20 17:03:39 → Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-20 17:03:42 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-20 17:04:35 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-11-20 17:04:51 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-20 17:05:20 → crdrost joins (~crdrost@2601:646:8280:85f0:90f7:1b03:f01f:afae)
2020-11-20 17:05:44 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Read error: Connection reset by peer)
2020-11-20 17:05:59 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-11-20 17:06:45 × alp quits (~alp@2a01:e0a:58b:4920:e473:db5a:5f8a:8d59) (Ping timeout: 272 seconds)
2020-11-20 17:11:35 → ubert1 joins (~Thunderbi@p200300ecdf1e5361e6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-20 17:12:32 × ubert quits (~Thunderbi@p200300ecdf1e5355e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-20 17:12:32 ubert1 is now known as ubert
2020-11-20 17:15:10 × dan64- quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2020-11-20 17:16:51 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-20 17:17:00 × adamwespiser quits (~adamwespi@107.181.19.30) ()
2020-11-20 17:17:51 → dan64 joins (~dan64@dannyadam.com)
2020-11-20 17:18:38 <sszark> I'm working on a module extension that adds new logic and re-exports the old one. but i can't figure out how to only import the things i'm using for the extension, while at the same time exporting everything the rest. https://termbin.com/0y6u
2020-11-20 17:18:54 <sszark> It seems like my local import for the extension part is overriding the full export in the module
2020-11-20 17:22:27 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 260 seconds)
2020-11-20 17:23:53 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-11-20 17:24:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-20 17:25:01 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 17:27:51 → livvy joins (~livvy@gateway/tor-sasl/livvy)
←Prev  Next→
Page 1 .. 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 .. 5022

All times are in UTC.