Logs: liberachat/#haskell
| 2021-07-16 13:40:10 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 258 seconds) |
| 2021-07-16 13:40:28 | × | niHiggim quits (~niHiggim@2600:1700:3d41:8600::27) (Quit: Konversation terminated!) |
| 2021-07-16 13:41:22 | → | Shailangsa_ joins (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) |
| 2021-07-16 13:42:08 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 13:44:26 | × | xff0x quits (~xff0x@2001:1a81:53d5:b900:57bd:921c:db51:18e8) (Remote host closed the connection) |
| 2021-07-16 13:44:41 | <jumper149> | yushyin: That seems to work quite fine |
| 2021-07-16 13:44:43 | → | xff0x joins (~xff0x@2001:1a81:53d5:b900:59f3:4e1e:9577:2243) |
| 2021-07-16 13:45:22 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-07-16 13:46:19 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 13:46:53 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-16 13:48:03 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 13:49:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-16 13:56:14 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 13:57:48 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 13:58:05 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-16 13:58:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-16 13:59:04 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 14:00:22 | × | zinc quits (~zdleaf@163.ip-51-254-203.eu) (Quit: ) |
| 2021-07-16 14:00:49 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 14:14:51 | × | dunj3 quits (~dunj3@2001:16b8:3082:9f00:aef2:da36:561b:67d7) (Remote host closed the connection) |
| 2021-07-16 14:15:11 | × | GZJ0X_ quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 14:15:31 | → | GZJ0X_ joins (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 14:15:41 | → | Guest34 joins (~Guest34@115.97.251.135) |
| 2021-07-16 14:16:51 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-16 14:18:50 | → | amanr joins (~sarcastic@122.161.66.163) |
| 2021-07-16 14:19:11 | ← | amanr parts (~sarcastic@122.161.66.163) (WeeChat 3.2) |
| 2021-07-16 14:20:44 | Guest34 | is now known as codelegend |
| 2021-07-16 14:22:07 | <bollu> | codelegend Hello! |
| 2021-07-16 14:23:14 | → | o1lo01ol1o joins (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 14:23:23 | × | jay-invariant quits (~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-07-16 14:23:57 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-16 14:24:02 | → | jay-invariant joins (~jay@c-24-4-6-169.hsd1.ca.comcast.net) |
| 2021-07-16 14:25:44 | × | o1lo01ol1o quits (~o1lo01ol1@83.240.236.226) (Remote host closed the connection) |
| 2021-07-16 14:26:04 | → | o1lo01ol1o joins (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 14:26:24 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-16 14:26:38 | × | o1lo01ol1o quits (~o1lo01ol1@83.240.236.226) (Read error: Connection reset by peer) |
| 2021-07-16 14:26:39 | → | o1lo01ol_ joins (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 14:27:00 | × | o1lo01ol_ quits (~o1lo01ol1@83.240.236.226) (Remote host closed the connection) |
| 2021-07-16 14:27:27 | → | o1lo01ol1o joins (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 14:29:00 | × | o1lo01ol1o quits (~o1lo01ol1@83.240.236.226) (Remote host closed the connection) |
| 2021-07-16 14:29:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-16 14:29:26 | → | o1lo01ol1o joins (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 14:30:31 | × | keutoi quits (~keutoi@157.47.18.91) (Read error: Connection reset by peer) |
| 2021-07-16 14:30:49 | × | codelegend quits (~Guest34@115.97.251.135) (Quit: Client closed) |
| 2021-07-16 14:32:34 | → | codelegend joins (~codelegen@115.97.251.135) |
| 2021-07-16 14:34:03 | × | o1lo01ol1o quits (~o1lo01ol1@83.240.236.226) (Ping timeout: 255 seconds) |
| 2021-07-16 14:34:36 | × | silverwhitefish quits (~hidden@47.202.102.10) (Ping timeout: 258 seconds) |
| 2021-07-16 14:36:47 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 245 seconds) |
| 2021-07-16 14:38:28 | × | codelegend quits (~codelegen@115.97.251.135) (Quit: Client closed) |
| 2021-07-16 14:39:18 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 2021-07-16 14:40:35 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-41ac-4f6d-ec7a-91a2.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2021-07-16 14:41:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-16 14:41:36 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 14:43:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 14:47:19 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 246 seconds) |
| 2021-07-16 14:48:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-16 14:48:25 | ← | Franciman parts (~francesco@openglass.it) (WeeChat 2.3) |
| 2021-07-16 14:49:16 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 14:49:38 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 14:53:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-16 14:58:03 | × | euandreh quits (~euandreh@191.181.59.160) (Quit: WeeChat 3.2) |
| 2021-07-16 14:58:18 | → | o1lo01ol1o joins (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 14:59:25 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 268 seconds) |
| 2021-07-16 15:00:55 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 15:01:07 | brian_da_mage | is now known as Brianmancer |
| 2021-07-16 15:02:45 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-16 15:02:53 | × | o1lo01ol1o quits (~o1lo01ol1@83.240.236.226) (Ping timeout: 265 seconds) |
| 2021-07-16 15:09:22 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 246 seconds) |
| 2021-07-16 15:09:34 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 15:09:46 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-07-16 15:11:53 | × | ubert1 quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-07-16 15:13:28 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) |
| 2021-07-16 15:15:24 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-16 15:17:13 | <lechner> | Hi, is there a way to count the number of files received here? Thanks! https://salsa.debian.org/lintian/kickoff/-/blob/master/Collect.hs#L100-104 |
| 2021-07-16 15:17:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-16 15:19:55 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-07-16 15:21:09 | → | agua joins (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-16 15:21:50 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-16 15:23:33 | → | Core4007 joins (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 15:24:23 | × | pesada quits (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Read error: Connection reset by peer) |
| 2021-07-16 15:25:00 | → | Null_A joins (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) |
| 2021-07-16 15:25:05 | glguy_ | is now known as glguy |
| 2021-07-16 15:25:28 | × | agua quits (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 246 seconds) |
| 2021-07-16 15:26:50 | × | Core4007 quits (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Read error: Connection reset by peer) |
| 2021-07-16 15:27:05 | → | agua joins (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 15:30:20 | <dsal> | lechner: There are a couple of ways. You could use an IORef or TVar and just increment it, or you could build something that looks like forever, but loops with a counter. |
| 2021-07-16 15:31:05 | <dsal> | monad-loops has `iterateM_ :: Monad m => (a -> m a) -> a -> m b` |
| 2021-07-16 15:32:06 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
| 2021-07-16 15:32:08 | <dsal> | `iterateM_ f = g where g x = f x >>= g` |
| 2021-07-16 15:34:33 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 15:38:54 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:50be:13e8:2b02:47f4) |
| 2021-07-16 15:39:11 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 15:39:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 15:40:27 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-16 15:40:49 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-16 15:44:34 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-07-16 15:49:19 | × | GZJ0X_ quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:49:37 | → | GZJ0X_ joins (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:55:06 | → | pesada joins (~agua@179.179.184.77) |
| 2021-07-16 15:56:51 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
All times are in UTC.