Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 854 855 856 857 858 859 860 861 862 863 864 .. 18026
— 1,802,559 events total
2021-07-08 17:08:29 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Remote host closed the connection)
2021-07-08 17:08:36 <kosmikus> viluon: (I'm not sure what you mean by length-preserving mapping.)
2021-07-08 17:09:07 × georg quits (~georg@84-112-37-146.cable.dynamic.surfer.at) (Client Quit)
2021-07-08 17:13:47 → yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 17:18:05 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-07-08 17:19:25 → pavonia joins (~user@user/siracusa)
2021-07-08 17:25:35 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 17:25:51 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-08 17:26:04 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-08 17:26:35 × MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds)
2021-07-08 17:30:11 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds)
2021-07-08 17:33:40 → chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr)
2021-07-08 17:36:29 × cuz quits (~user@38.140.58.234) (Ping timeout: 255 seconds)
2021-07-08 17:38:59 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 17:42:51 → yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 17:42:57 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-08 17:43:41 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 255 seconds)
2021-07-08 17:44:39 → hegstal joins (~hegstal@2a02:c7f:7604:8a00:5056:66c0:d6e:186f)
2021-07-08 17:45:21 × xerxes quits (~xerxes@117.222.64.149) (Quit: leaving)
2021-07-08 17:47:17 × mekeor quits (~user@2001:a61:3430:c01:f86:cca7:c1fe:e2b4) (Ping timeout: 255 seconds)
2021-07-08 17:47:42 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2021-07-08 17:48:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 17:55:44 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 17:55:47 → slep joins (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-07-08 17:59:28 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-07-08 18:00:00 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 252 seconds)
2021-07-08 18:02:26 × ray quits (~ray@user/re) (Ping timeout: 265 seconds)
2021-07-08 18:02:35 × chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 255 seconds)
2021-07-08 18:03:20 → ray joins (~ray@user/re)
2021-07-08 18:03:32 → yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 18:06:44 → cuz joins (~user@38.140.58.234)
2021-07-08 18:07:56 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-07-08 18:09:56 → notzmv joins (~zmv@user/notzmv)
2021-07-08 18:11:54 × cuz quits (~user@38.140.58.234) (Ping timeout: 256 seconds)
2021-07-08 18:15:10 → lavaman joins (~lavaman@98.38.249.169)
2021-07-08 18:15:10 × azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-08 18:17:24 → kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-07-08 18:22:40 → azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-08 18:23:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-08 18:24:13 → exilepilot joins (~exile8338@host86-164-249-163.range86-164.btcentralplus.com)
2021-07-08 18:24:35 × zcombinator quits (~zcombinat@host-87-7-58-35.retail.telecomitalia.it) (Ping timeout: 240 seconds)
2021-07-08 18:27:53 → mikail joins (~mikail@90.152.14.81)
2021-07-08 18:27:54 → cuz joins (~user@38.140.58.234)
2021-07-08 18:28:26 → econo joins (uid147250@user/econo)
2021-07-08 18:28:57 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2)
2021-07-08 18:29:40 × hammond_ quits (~abner@user/hammond2) (Ping timeout: 252 seconds)
2021-07-08 18:31:03 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-08 18:33:57 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 18:35:19 → flipchan joins (~yumman@user/flipchan)
2021-07-08 18:35:40 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-08 18:37:55 × phma quits (phma@2001:5b0:210b:a0c8:76df:2981:6329:1c09) (Read error: Connection reset by peer)
2021-07-08 18:39:55 → phma joins (phma@2001:5b0:2172:8bb8:fe9a:4d29:923:26f0)
2021-07-08 18:40:14 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-07-08 18:41:49 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-08 18:45:08 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-08 18:45:39 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-08 18:47:00 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-08 18:47:46 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-08 18:49:31 → Pickchea joins (~private@user/pickchea)
2021-07-08 18:50:24 × phma quits (phma@2001:5b0:2172:8bb8:fe9a:4d29:923:26f0) (Read error: Connection reset by peer)
2021-07-08 18:50:31 × Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-08 18:50:39 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-08 18:51:54 × xff0x quits (~xff0x@2001:1a81:53dc:b800:8c77:48f3:1e3:3060) (Ping timeout: 240 seconds)
2021-07-08 18:52:55 → xff0x joins (~xff0x@2001:1a81:53dc:b800:d9eb:91ca:317b:6253)
2021-07-08 18:52:56 <amesgen[m]> tiny ANN: there does not seem to be a library providing a transformer for `Quote` of template-haskell since 9.0, so I published https://hackage.haskell.org/package/quotet/docs/Control-Monad-Quote.html
2021-07-08 18:53:47 → phma joins (phma@2001:5b0:211c:858:db7c:9aeb:2bd8:1b08)
2021-07-08 18:54:51 → argento joins (~argent0@168-227-97-34.ptr.westnet.com.ar)
2021-07-08 18:59:52 → yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 19:01:15 <sm[m]> I upvote the concept of Tiny ANN: :)
2021-07-08 19:01:29 → Feuermagier joins (~Feuermagi@user/feuermagier)
2021-07-08 19:03:02 <amesgen[m]> Ü
2021-07-08 19:04:47 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-07-08 19:09:25 → sonat_suer joins (~sonat_sue@24.133.69.243)
2021-07-08 19:12:04 × neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 252 seconds)
2021-07-08 19:13:57 × sonat_suer quits (~sonat_sue@24.133.69.243) (Client Quit)
2021-07-08 19:15:14 × ray quits (~ray@user/re) (Quit: WeeChat 3.2)
2021-07-08 19:20:11 <juri_> so, how do i get from a Set to NonEmpty in a reasonable fashion (EG: not using fromList $ elems ? )
2021-07-08 19:20:34 <juri_> quite disappointed that NESet is so old.
2021-07-08 19:22:55 <flipchan> if anyone is interested in haskell work contracts: https://haskell.careers
2021-07-08 19:23:22 <lyxia> juri_: why is that not reasonable
2021-07-08 19:23:51 <juri_> lyxia: stan yells at me for using fromList, since elems MAY be empty.
2021-07-08 19:24:05 <amesgen[m]> juri_: are you looking for this: https://hackage.haskell.org/package/nonempty-containers-0.3.4.1/docs/Data-Set-NonEmpty.html#v:toList
2021-07-08 19:24:26 <dminuoso> juri_: Dont be a slave to your static analyzer tool?
2021-07-08 19:24:38 <juri_> nope. same problem.
2021-07-08 19:24:53 <juri_> dminuoso: I'm trying to get my project to 0 warnings. :P
2021-07-08 19:24:56 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-07-08 19:25:00 <dminuoso> That sounds like a weird goal.
2021-07-08 19:25:18 <dminuoso> Warnings should tell you about things you care about. Tools like stan are just someone elses opinion.
2021-07-08 19:25:33 <juri_> I've gone from 500 to <50.
2021-07-08 19:26:16 <dminuoso> Linters are not absolute truth. They are a reflection of someone elses opinionated coding style.
2021-07-08 19:26:28 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 19:26:37 <dminuoso> If you insist on stan, tune it to not warn for this instance then.
2021-07-08 19:27:23 → drd joins (~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-08 19:30:09 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-08 19:30:40 <s_> juri_, presumably at some point you check that elems is not empty and handle it appropriately. At that point, you need to convert it to NonEmpty and pass everywhere instead of elems. Depending on the distance between the check and fromList, this may require a big refactoring.
2021-07-08 19:30:58 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-08 19:31:16 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds)
2021-07-08 19:32:51 <juri_> s_: fair, and an easy opportunity. thanks.
2021-07-08 19:33:48 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-08 19:36:04 × fendor quits (~fendor@91.141.49.3.wireless.dyn.drei.com) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 854 855 856 857 858 859 860 861 862 863 864 .. 18026

All times are in UTC.