Logs on 2024-05-06 (liberachat/#haskell)
| 00:00:02 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:01:32 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:03:00 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 00:05:10 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:06:25 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:07:36 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 00:08:37 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 00:10:18 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:11:21 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:14:58 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:16:48 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:20:06 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:21:19 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:24:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:26:05 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 00:26:44 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:29:54 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:31:39 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:34:34 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:36:46 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:38:39 | × | paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 00:38:52 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 260 seconds) |
| 00:40:10 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:41:19 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:44:28 | → | gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 00:45:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:45:49 | → | onion joins (~yin@user/zero) |
| 00:46:23 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:49:58 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:51:07 | × | gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 00:51:21 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 00:55:06 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 00:56:06 | → | causal joins (~eric@50.35.88.207) |
| 00:56:30 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:57:00 | → | gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 01:00:14 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:01:46 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:04:54 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:06:25 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:09:34 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:11:40 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:15:10 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:16:34 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:20:18 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:20:53 | × | otto_s quits (~user@p5de2fa0b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:21:44 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:22:23 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 01:22:47 | → | otto_s joins (~user@p4ff27405.dip0.t-ipconnect.de) |
| 01:25:26 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:25:46 | × | sh1n quits (~sh1n@190.18.217.225) (Quit: zzz) |
| 01:26:41 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:29:38 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:31:24 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:34:25 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 01:35:14 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:36:17 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:39:54 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:41:29 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:42:01 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 01:45:02 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:46:01 | × | masterbuilder quits (~quassel@user/masterbuilder) (Remote host closed the connection) |
| 01:46:37 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:47:14 | → | masterbuilder joins (~quassel@user/masterbuilder) |
| 01:50:10 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:51:19 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 01:53:28 | × | zetef quits (~quassel@5.14.202.140) (Remote host closed the connection) |
| 01:55:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 01:56:18 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:59:32 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 01:59:46 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 01:59:58 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:01:21 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:03:39 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 02:05:06 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:06:27 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:09:14 | → | gastus joins (~gastus@185.6.123.230) |
| 02:09:46 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:11:29 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:12:22 | × | gastus_ quits (~gastus@185.6.123.172) (Ping timeout: 256 seconds) |
| 02:14:54 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:16:22 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:20:02 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:21:31 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:21:31 | × | onion quits (~yin@user/zero) (Ping timeout: 268 seconds) |
| 02:23:11 | × | td_ quits (~td@i53870915.versanet.de) (Ping timeout: 272 seconds) |
| 02:24:27 | → | td_ joins (~td@i53870908.versanet.de) |
| 02:24:42 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:26:37 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:30:18 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:31:32 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:33:08 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 02:35:26 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:36:25 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:37:24 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 02:40:06 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:41:24 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:44:46 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:46:42 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:49:54 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:51:21 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:55:30 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:56:26 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:00:10 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:01:55 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 03:02:16 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 03:05:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:06:27 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:07:32 | × | rovert_ quits (uid389732@id-389732.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:08:33 | × | Square quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 03:09:30 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:11:36 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 03:13:31 | × | kimiamania quits (~76637481@user/kimiamania) (Quit: PegeLinux) |
| 03:15:00 | → | kimiamania joins (~76637481@user/kimiamania) |
| 03:15:06 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:16:22 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:20:14 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:21:22 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 03:23:35 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 03:24:54 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:26:32 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:29:30 | → | standingpad joins (~mahid@user/standingpad) |
| 03:30:02 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:31:15 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 03:35:10 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:35:40 | × | JimL quits (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:36:19 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:38:41 | → | JimL joins (~quassel@89.162.16.26) |
| 03:39:50 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:41:38 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 03:44:58 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:46:29 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:50:06 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:50:10 | × | xigua quits (~xigua@user/xigua) (Ping timeout: 246 seconds) |
| 03:50:43 | → | xigua joins (~xigua@user/xigua) |
| 03:51:21 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 03:54:44 | → | aforemny_ joins (~aforemny@i59F516FD.versanet.de) |
| 03:55:14 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 03:55:30 | × | aforemny quits (~aforemny@i59F516FE.versanet.de) (Ping timeout: 256 seconds) |
| 03:56:28 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:59:33 | × | standingpad quits (~mahid@user/standingpad) (Quit: cya o/) |
| 03:59:54 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:00:44 | → | rosco joins (~rosco@yp-146-6.tm.net.my) |
| 04:01:47 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:05:02 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:06:30 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:09:14 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:11:39 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:15:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:16:29 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:20:26 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:21:39 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:25:06 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:26:23 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:29:18 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:31:31 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:34:54 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:36:28 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:40:02 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:41:28 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:43:09 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 04:45:10 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:46:29 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:50:18 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:51:24 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:52:13 | → | michalz joins (~michalz@185.246.207.222) |
| 04:54:58 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:56:26 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:00:06 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:02:41 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:05:14 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:05:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 05:06:42 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:09:51 | → | euleritian joins (~euleritia@dynamic-176-005-129-038.176.5.pool.telefonica.de) |
| 05:09:55 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 05:10:19 | → | rvalue joins (~rvalue@user/rvalue) |
| 05:10:21 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:10:22 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:10:43 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 05:11:20 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:11:32 | × | euleritian quits (~euleritia@dynamic-176-005-129-038.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:11:49 | → | euleritian joins (~euleritia@77.22.252.56) |
| 05:12:20 | × | rosco quits (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 05:15:02 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:16:35 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:17:17 | → | tomku joins (~tomku@user/tomku) |
| 05:17:23 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:19:42 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:21:29 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:22:36 | <Axman6> | @where ops |
| 05:22:36 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 05:23:00 | <Axman6> | Any chance we can ban stiell with a message until their connection it sorted out? |
| 05:25:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:26:12 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 05:26:18 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:28:10 | → | madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 05:29:27 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:29:58 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:30:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:31:19 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:34:11 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 05:35:06 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:35:15 | → | euleritian joins (~euleritia@dynamic-176-005-129-038.176.5.pool.telefonica.de) |
| 05:36:24 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:39:46 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:41:20 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:44:04 | → | erty joins (~user@user/aeroplane) |
| 05:44:54 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:45:35 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 05:46:38 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:50:02 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:51:23 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:55:10 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 05:56:22 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:58:30 | → | acidjnk_new joins (~acidjnk@p200300d6e714dc4498a318f2cc30029a.dip0.t-ipconnect.de) |
| 05:58:30 | → | rosco joins (~rosco@yp-146-6.tm.net.my) |
| 05:59:50 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 06:01:52 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 06:03:32 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (K-Lined) |
| 06:03:32 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (K-Lined) |
| 06:34:08 | → | yeitrafferin joins (~user@2a04:4540:7214:f000:b4f1:19d1:d8e2:31e2) |
| 06:51:16 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:53:29 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 06:58:54 | × | agent314 quits (~quassel@104.193.135.218) (Read error: Connection reset by peer) |
| 07:00:34 | → | agent314 joins (~quassel@104.193.135.218) |
| 07:01:01 | × | euleritian quits (~euleritia@dynamic-176-005-129-038.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:01:18 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:05:59 | → | gmg joins (~user@user/gehmehgeh) |
| 07:17:03 | × | madeleine-sydney quits (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Ping timeout: 272 seconds) |
| 07:18:46 | → | madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 07:24:01 | × | gastus quits (~gastus@185.6.123.230) (Ping timeout: 246 seconds) |
| 07:29:08 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:30:01 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 07:30:59 | → | gastus joins (~gastus@185.6.123.230) |
| 07:33:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:40:09 | → | akegalj joins (~akegalj@164-156.dsl.iskon.hr) |
| 07:41:40 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 07:44:33 | × | Guest46 quits (~Guest46@syn-069-206-166-125.res.spectrum.com) (Quit: Client closed) |
| 07:49:32 | × | xff0x quits (~xff0x@2405:6580:b080:900:e758:caa1:b0a5:cc6f) (Ping timeout: 256 seconds) |
| 07:56:05 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 07:58:43 | → | __monty__ joins (~toonn@user/toonn) |
| 08:00:45 | → | xff0x joins (~xff0x@2405:6580:b080:900:e758:caa1:b0a5:cc6f) |
| 08:17:37 | → | chele joins (~chele@user/chele) |
| 08:20:13 | AlexNoo_ | is now known as AlexNoo |
| 08:25:31 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:30:08 | → | paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 08:30:54 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 08:33:41 | × | markasoftware quits (~quassel@107.161.26.124) (Ping timeout: 240 seconds) |
| 08:34:50 | × | paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 08:35:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:38:32 | → | troydm joins (~troydm@user/troydm) |
| 08:43:01 | → | markasoftware joins (~quassel@107.161.26.124) |
| 08:46:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:55:20 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 08:56:27 | → | gmg joins (~user@user/gehmehgeh) |
| 08:57:01 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 09:01:27 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 09:03:44 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 09:05:36 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:14:02 | → | atwm joins (~atwm@19-193-28-81.ftth.cust.kwaoo.net) |
| 09:14:35 | × | agent314 quits (~quassel@104.193.135.218) (Read error: Connection reset by peer) |
| 09:17:09 | × | atwm quits (~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Client Quit) |
| 09:23:29 | × | ft quits (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:46:40 | → | r5c4571lh01987 joins (~rscastilh@179.221.142.8) |
| 09:48:26 | × | r5c4571lh01987 quits (~rscastilh@179.221.142.8) (Client Quit) |
| 09:54:10 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 256 seconds) |
| 10:06:49 | → | MajorBiscuit joins (~MajorBisc@c-001-008-019.client.tudelft.eduvpn.nl) |
| 10:17:26 | → | troydm joins (~troydm@user/troydm) |
| 10:19:44 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 10:30:55 | × | michalz quits (~michalz@185.246.207.222) (Ping timeout: 246 seconds) |
| 10:34:01 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:34:14 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:45:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 10:46:33 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 10:48:49 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 10:54:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 10:55:37 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:58:59 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:59:17 | × | AlexZenon quits (~alzenon@178.34.162.125) (Ping timeout: 252 seconds) |
| 11:05:31 | → | euphores joins (~SASL_euph@user/euphores) |
| 11:08:16 | → | AlexZenon joins (~alzenon@178.34.162.125) |
| 11:13:47 | × | AlexZenon quits (~alzenon@178.34.162.125) (Ping timeout: 264 seconds) |
| 11:14:33 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 255 seconds) |
| 11:20:02 | → | AlexZenon joins (~alzenon@178.34.162.125) |
| 11:20:10 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 11:20:44 | → | euleritian joins (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) |
| 11:25:07 | × | euleritian quits (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:25:24 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:27:49 | → | danza joins (~francesco@na-19-71-110.service.infuturo.it) |
| 11:31:55 | → | euphores joins (~SASL_euph@user/euphores) |
| 11:32:21 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) () |
| 11:33:45 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 11:38:53 | → | r5c4571lh01987 joins (~rscastilh@179.221.142.8) |
| 11:41:51 | × | r5c4571lh01987 quits (~rscastilh@179.221.142.8) () |
| 11:54:30 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:55:11 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:57:46 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 12:05:44 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 12:06:28 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 12:15:30 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 12:17:54 | × | m1dnight quits (~christoph@82.146.125.185) (Quit: WeeChat 4.2.2) |
| 12:17:57 | → | gmg joins (~user@user/gehmehgeh) |
| 12:18:21 | → | m1dnight joins (~christoph@82.146.125.185) |
| 12:20:07 | <kaol> | https://www.haskell.org/?uwu=true argh hah. |
| 12:23:30 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 12:24:55 | × | gastus quits (~gastus@185.6.123.230) (Ping timeout: 268 seconds) |
| 12:25:36 | → | gastus joins (~gastus@185.6.123.230) |
| 12:25:47 | × | danza quits (~francesco@na-19-71-110.service.infuturo.it) (Ping timeout: 264 seconds) |
| 12:29:44 | × | rosco quits (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 12:30:02 | → | Slendi joins (~Slendi@79.115.161.146) |
| 12:30:28 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 12:30:59 | <Slendi> | Hello, is there a reason why spaces are prefered for indentation rather than something like tabs? |
| 12:37:56 | <Hecate> | ah, this is a big debate |
| 12:38:37 | <Slendi> | I am asking because I use tabs personally in all my code and when I compiled my code it gave me a warning and found that interesting |
| 12:38:41 | <Hecate> | Tabs are a bonus for accessibility because people with impaired vision can set to be bigger |
| 12:39:04 | <Hecate> | yep, I believe the warning is to avoid accidental tabulations in a file where spaces are usually used |
| 12:39:07 | <Hecate> | you can disable it |
| 12:39:31 | <Slendi> | yeah i did |
| 12:40:03 | <Slendi> | Alright so it shouldnt be an issue if my codebase uses tabs or spaces to the language |
| 12:42:03 | <Slendi> | Thank you |
| 12:43:49 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 12:48:07 | <opqdonut> | haskell uses layout, which means that certain things must be in the same column (e.g. the | of guards) |
| 12:48:41 | <opqdonut> | to get things to line up, you pretty much need to use spaces in addition to tabs |
| 12:49:15 | <opqdonut> | ... and mixing tabs and spaces is often confusing, especially if you have multiple people with different editor configs working on the codebase |
| 12:49:41 | <opqdonut> | it's probably possible to come up with a code style that uses only tabs, but it won't be idiomatic |
| 12:50:29 | <yushyin> | afaik, the haskell report defines a tab as whitespace with 8 characters in the layout rule |
| 12:51:15 | <opqdonut> | yeah, I was just about to mention this as well |
| 12:51:22 | <opqdonut> | see https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17800010.3 |
| 12:51:32 | <L29Ah> | 14:48:41]<opqdonut> to get things to line up, you pretty much need to use spaces in addition to tabs |
| 12:51:32 | <L29Ah> | no |
| 12:51:50 | <L29Ah> | 14:50:29]<yushyin> afaik, the haskell report defines a tab as whitespace with 8 characters in the layout rule |
| 12:51:50 | <L29Ah> | no |
| 12:52:27 | <L29Ah> | "next tabstop" ≠ "n spaces" |
| 12:52:56 | <opqdonut> | yeah, you're right, the report specifies tabstops as 8 chars, not tab=8 spaces. |
| 12:53:15 | → | atwm joins (~atwm@19-193-28-81.ftth.cust.kwaoo.net) |
| 12:53:44 | <yushyin> | i didn't say spaces as in ' ' on purpose |
| 12:54:09 | <opqdonut> | you need spaces to line up things like: case myVeryLongIdentifierName of Just x -> e\n Nothing -> f |
| 12:54:29 | <opqdonut> | you can circumvent this by splitting lines after "of", but that's not the common style |
| 12:54:39 | <L29Ah> | yushyin: \t in "foobarb\t" is one character wide |
| 12:55:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:55:52 | <yushyin> | for the layout rule it's 8 'characters' or columns so to say |
| 12:56:18 | <opqdonut> | no he's right, it's only until the next tabstop, i.e. 1 space in that case |
| 12:56:24 | <opqdonut> | or 1 column, I should say |
| 12:56:46 | <L29Ah> | opqdonut: https://0x0.st/X8rC.txt |
| 12:57:10 | <yushyin> | opqdonut: i see |
| 12:57:35 | <opqdonut> | L29Ah: right, yes, it's possible to get it to work, but it's not tabstop-independent |
| 12:57:54 | <opqdonut> | at which point, why bother? since the point of tabs (for some people) is to customize the tab stops |
| 12:59:37 | <yushyin> | more reason not to use tabs i guess |
| 12:59:50 | <L29Ah> | yes, tab stops customization is incompatible with haskell |
| 13:02:24 | → | rosco joins (~rosco@yp-146-6.tm.net.my) |
| 13:02:58 | <yushyin> | so the warning is reasonable :-) |
| 13:04:41 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 13:04:56 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 13:15:18 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 13:21:03 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 13:21:50 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 13:25:31 | × | rosco quits (~rosco@yp-146-6.tm.net.my) (Ping timeout: 255 seconds) |
| 13:26:24 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 13:27:23 | → | rosco joins (rosco@gateway/vpn/airvpn/rosco) |
| 13:27:44 | × | rosco quits (rosco@gateway/vpn/airvpn/rosco) (Client Quit) |
| 13:31:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 13:32:01 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:32:16 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:32:45 | × | xdminsy quits (~xdminsy@117.147.70.233) (Read error: Connection reset by peer) |
| 13:46:13 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 13:46:13 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 13:46:36 | → | euleritian joins (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) |
| 13:47:51 | × | madeleine-sydney quits (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 13:48:18 | → | michalz joins (~michalz@185.246.207.193) |
| 13:54:36 | → | rosco joins (~rosco@yp-146-6.tm.net.my) |
| 13:55:18 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 13:57:19 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
| 14:05:26 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 14:11:26 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 14:13:30 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:19:37 | → | euphores joins (~SASL_euph@user/euphores) |
| 14:24:39 | × | td_ quits (~td@i53870908.versanet.de) (Quit: waking up from the american dream ...) |
| 14:24:40 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:25:37 | × | yeitrafferin quits (~user@2a04:4540:7214:f000:b4f1:19d1:d8e2:31e2) (Quit: Leaving) |
| 14:29:29 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 14:35:30 | → | onion joins (~yin@user/zero) |
| 14:41:45 | → | td_ joins (~td@i53870908.versanet.de) |
| 14:41:57 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 14:43:09 | <justsomeguy> | Can I write guards withing case expressions in flow-style, like this: noNegative n = case n of { n | n >= 0 -> Just n; | otherwise -> n; }? |
| 14:43:33 | <justsomeguy> | *within |
| 14:44:05 | <ncf> | yeah, just remove the semicolon |
| 14:44:38 | <ncf> | you might also be looking for MultiWayIf |
| 14:46:06 | <justsomeguy> | \o/ |
| 14:50:18 | → | Square3 joins (~Square4@user/square) |
| 14:56:48 | × | akegalj quits (~akegalj@164-156.dsl.iskon.hr) (Remote host closed the connection) |
| 15:08:06 | → | dos__^^ joins (~user@user/dos/x-1723657) |
| 15:10:41 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 15:10:55 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 256 seconds) |
| 15:13:57 | × | onion quits (~yin@user/zero) (Ping timeout: 272 seconds) |
| 15:15:59 | <hadronized> | yeah I’d have written that with just noNegative n | n >= 0 = Just n | otherwise = Nothing |
| 15:22:47 | <kaol> | If I have in my cabal file a library x and an executable y that build-depends on x and I import a module from x in y, is there a way to import that like you'd do from a library and not the file as is? Specifically, I'm getting build errors about missing dependencies in y and my expectation was that those would have been encapsulated due to coming from x. |
| 15:24:34 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 15:27:06 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 15:27:50 | <kaol> | At least I can avoid repeating anything by using a common stanza. It just works different than what I expected. |
| 15:31:56 | <kaol> | Another aspect of this: Instead of listing modules from the library in the executable's other-modules to make cabal not warn, I could just add the library to the executable's build-depends. |
| 15:32:39 | <sclv> | kaol: the right practice is to have a different source directory for the library and the exe |
| 15:33:16 | <sclv> | otherwise they both see the modules in their source directory, and make use of them directly rather than importing |
| 15:33:56 | <sclv> | typically we do "src" or "lib" for the library and "exe" for the exe, or "exes/a" and "exes/b" if there are multiple exes |
| 15:36:19 | <kaol> | Right, different hs-source-dirs definitions. It's obvious now that you said it, thanks. It works as expected. |
| 15:37:14 | <kaol> | Having cabal mask like I was thinking would cause no end of grief. |
| 15:38:15 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 15:38:17 | × | MajorBiscuit quits (~MajorBisc@c-001-008-019.client.tudelft.eduvpn.nl) (Quit: WeeChat 4.2.2) |
| 15:39:29 | → | Guest58 joins (~Guest58@2402:3a80:a19:7f89:8f72:7bde:6107:e78c) |
| 15:40:13 | <Guest58> | Hello. This is my first time using IRC |
| 15:40:22 | <kaol> | Welcome. |
| 15:40:56 | <Guest58> | I have never used IRC before. Do people gather in these channels to talk about haskell? |
| 15:41:10 | <Guest58> | Do discussions happen here? |
| 15:41:35 | <kaol> | Yes. Not all the time but people do use this. |
| 15:42:00 | <Guest58> | I just started reading the book Haskell From First Principles |
| 15:42:01 | <kaol> | They range from beginner topics to way deep into the language. |
| 15:43:59 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 15:45:23 | → | tremon joins (~tremon@83.80.159.219) |
| 15:45:50 | <glguy> | Guest58: if you run into questions while you're reading the book you could ask her. If you want to share some code along the way you can put it on https://paste.tomsmeding.com |
| 15:46:08 | ChanServ | sets topic to "https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell" |
| 15:47:36 | → | ocra8 joins (ocra8@user/ocra8) |
| 15:49:22 | <Guest58> | Okay thank you |
| 15:50:38 | <kaol> | > sum [1..10] -- we have a Haskell IRC bot too |
| 15:50:40 | <lambdabot> | 55 |
| 15:52:43 | <Guest58> | > 10 > 5 |
| 15:52:44 | <lambdabot> | True |
| 15:54:14 | × | rosco quits (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 15:58:12 | × | Angelz quits (Angelz@user/angelz) (Ping timeout: 260 seconds) |
| 16:02:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:13:46 | × | euleritian quits (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:14:05 | → | Angelz joins (Angelz@Angelz.oddprotocol.org) |
| 16:14:43 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 16:15:06 | → | euleritian joins (~euleritia@77.22.252.56) |
| 16:16:03 | × | Guest58 quits (~Guest58@2402:3a80:a19:7f89:8f72:7bde:6107:e78c) (Quit: Client closed) |
| 16:20:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:21:44 | <erty> | I have a ques, Is it possible to add delay to a function (eg. add :: Int -> Int)? https://paste.tomsmeding.com/qx8saWEW |
| 16:21:52 | <erty> | Now Haskell provide us with a function "threadDelay :: Int -> IO ()" in the module "Control.Concurrent", can I use that, to delay the above function. |
| 16:22:34 | <nullie> | why do you want to do that? |
| 16:22:43 | <davean> | yes technically, but no, that would be bad in several ways |
| 16:23:12 | <erty> | I am just curious, like async/await in javascript |
| 16:23:21 | <davean> | this is nothing like async/await |
| 16:24:01 | <erty> | I can set a timer and wait for the promise to resolve |
| 16:24:11 | <davean> | The sense in which async/await delays a function is not at all the sense threadDelay delays it |
| 16:24:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:24:54 | <erty> | threadDelay is something I got after searching online |
| 16:25:20 | <erty> | https://stackoverflow.com/questions/47816174/how-to-sleep-or-delay-the-thread-in-haskell |
| 16:25:21 | <gastus> | erty: Haskell has its own multi thread engine builtin. Its cheap in Haskell. So its ok to spawn 20K threads each doing its own thing and waitingc for it. Why not lookup fork and STM and IO and the stuff ? That's the haskell way to sync and wait for threads. Mvar was the the way to synchronize threads. |
| 16:25:43 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 16:25:48 | <davean> | gastus: I mean async/await structures also directly make sense for IO |
| 16:25:49 | <gastus> | You eventually cannot easily translate JS into Haskell. Haskess has unique copy on write properties making real multithreading possible. |
| 16:25:54 | <davean> | But nothing he's talkign about is that |
| 16:26:15 | → | euleritian joins (~euleritia@77.22.252.56) |
| 16:26:33 | <gastus> | davean: I am not up to date about how many IO implementations exist today. In the past I heard about a rewrite with different locking features. |
| 16:26:37 | <erty> | davean: I just want to delay the execution by some time period |
| 16:27:18 | <davean> | gastus: it isn't about IO implimentations, its about how libraries interface with them |
| 16:27:22 | <gastus> | Why not just try it ? |
| 16:27:33 | <davean> | It won't compile, for the obvious reason |
| 16:27:48 | <gastus> | Most languages call it sleep, but https://stackoverflow.com/questions/47816174/how-to-sleep-or-delay-the-thread-in-haskell indicates threadDelay works |
| 16:28:28 | <gastus> | https://hoogle.haskell.org/?q=sleep&hoogle=sleep And Hoogle says there are sleep implementations, too. Now you might perefer eg the GHC verison so that GHC can use CPU for other threads. |
| 16:29:22 | <erty> | gastus: Thanks a lot. I will look into that. |
| 16:29:24 | <gastus> | You can run a GHC complied program with different multithreading options. So looks like you're eventually touching that stuff. |
| 16:30:16 | <gastus> | If its testing only any of the solutions probaly get the job done. If you want to do A/B testing on web server which should not stall .. then you want ot use a version provide dby the GHC runtime which allows other threads to conitnue. So evenutally spawn 100 threads and see what happens with what sleep solution ? Then you know. |
| 16:30:29 | × | kimiamania quits (~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 16:30:51 | → | kimiamania joins (~76637481@user/kimiamania) |
| 16:31:18 | <gastus> | If you want to sleep until you release try reading from socket file or so and echo a byte into it to release the stalling. |
| 16:32:09 | <EvanR> | copy on write?? |
| 16:32:20 | <EvanR> | what xD |
| 16:32:49 | <EvanR> | more like no write |
| 16:32:56 | <gastus> | https://hackage.haskell.org/package/base-4.19.1.0/docs/Control-Concurrent.html#v:threadDelay @ erty Read the docs: There it says will not be scheduled earlier but will wait at least. So threadDelay will allow other theads to continue. So RTFM :-) |
| 16:36:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:44:31 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:46:08 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:46:12 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 16:52:35 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 16:57:29 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 16:58:05 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:58:47 | × | raym quits (~ray@user/raym) (Ping timeout: 264 seconds) |
| 16:58:47 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 16:59:59 | → | raym joins (~ray@user/raym) |
| 17:04:21 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:05:31 | <erty> | Thanks for providing context. I was just curious whether it was possible to simply add a delay, without having to change the types of the parent function. 😅 |
| 17:05:31 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:11:34 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:12:12 | → | causal joins (~eric@50.35.88.207) |
| 17:12:12 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:12:57 | <davean> | yes you can but its almost always just wrong. |
| 17:17:48 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:19:23 | × | destituion quits (~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) (Ping timeout: 268 seconds) |
| 17:19:23 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:19:45 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:26:20 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:28:42 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:28:42 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:31:56 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 17:32:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:34:33 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:38:02 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:38:02 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:42:13 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 17:45:07 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:47:32 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:47:32 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:50:45 | → | Square joins (~Square@user/square) |
| 17:53:22 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:54:41 | × | Square3 quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 17:55:08 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 17:55:08 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 17:59:53 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 18:02:07 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 18:04:34 | → | mei joins (~mei@user/mei) |
| 18:04:54 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 18:05:57 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 18:06:53 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Remote host closed the connection) |
| 18:12:49 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:12:49 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 18:13:49 | → | euleritian joins (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) |
| 18:15:38 | × | euleritian quits (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:15:57 | → | ames joins (~amelia@offtopia/offtopian/amelia) |
| 18:16:06 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:19:04 | → | cheater joins (~Username@user/cheater) |
| 18:23:56 | × | erty quits (~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2)) |
| 18:24:47 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 18:26:00 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 18:27:30 | → | dispater- joins (~dispater@84.71.146.218) |
| 18:27:49 | × | dispater- quits (~dispater@84.71.146.218) (Remote host closed the connection) |
| 18:29:47 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:30:51 | → | onion joins (~yin@user/zero) |
| 18:30:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:31:04 | → | euleritian joins (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) |
| 18:31:26 | × | euleritian quits (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:31:59 | → | euleritian joins (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) |
| 18:32:20 | × | euleritian quits (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:32:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:37:11 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 18:38:17 | → | euleritian joins (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) |
| 18:41:22 | × | euleritian quits (~euleritia@dynamic-176-005-138-072.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:41:40 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:41:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 18:43:33 | × | demon-cat quits (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 18:49:54 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 18:50:48 | → | demon-cat joins (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 18:55:47 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 19:04:42 | × | ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 19:26:43 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 268 seconds) |
| 19:30:17 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 19:32:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:36:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:36:44 | → | mei joins (~mei@user/mei) |
| 19:39:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:42:45 | → | ft joins (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
| 19:47:19 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 19:47:33 | → | mxs joins (~mxs@user/mxs) |
| 19:55:46 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 19:59:24 | × | onion quits (~yin@user/zero) (Ping timeout: 268 seconds) |
| 20:00:10 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:00:33 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 20:02:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 20:03:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:17:33 | × | Rodney_ quits (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 20:18:49 | → | Rodney_ joins (~Rodney@176.254.244.83) |
| 20:20:55 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:21:51 | × | remexre quits (~remexre@user/remexre) (Remote host closed the connection) |
| 20:21:58 | → | remexre joins (~remexre@user/remexre) |
| 20:23:33 | → | thaliaa joins (uid486183@id-486183.uxbridge.irccloud.com) |
| 20:25:50 | → | gmg joins (~user@user/gehmehgeh) |
| 20:26:40 | → | Square3 joins (~Square4@user/square) |
| 20:28:14 | → | todi1 joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 20:29:21 | × | Square quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 20:31:31 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 20:33:44 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:34:03 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 20:34:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:37:28 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:41:42 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 20:42:21 | × | Slendi quits (~Slendi@79.115.161.146) (Quit: Client closed) |
| 20:45:01 | → | paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 20:49:16 | × | todi1 quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 20:49:37 | × | paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds) |
| 20:52:15 | × | michalz quits (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:54:11 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 20:55:01 | → | gmg joins (~user@user/gehmehgeh) |
| 21:02:37 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 21:03:06 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 21:03:26 | → | gmg joins (~user@user/gehmehgeh) |
| 21:04:32 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 21:09:34 | → | mei joins (~mei@user/mei) |
| 21:14:04 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:16:48 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 21:17:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:21:05 | → | onion joins (~yin@user/zero) |
| 21:27:27 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 21:28:05 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:30:37 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:36:26 | → | xdminsy joins (~xdminsy@117.147.70.233) |
| 21:41:46 | × | trev quits (~trev@user/trev) (Ping timeout: 268 seconds) |
| 21:43:19 | → | trev joins (~trev@user/trev) |
| 21:46:07 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 21:56:54 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:58:54 | × | RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
| 22:00:06 | × | xdminsy quits (~xdminsy@117.147.70.233) (Ping timeout: 256 seconds) |
| 22:00:50 | → | xdminsy joins (~xdminsy@117.147.70.233) |
| 22:00:57 | → | paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 22:12:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:15:09 | → | pavonia joins (~user@user/siracusa) |
| 22:24:31 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:30:48 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 22:32:23 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 22:33:19 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 23:04:06 | × | acidjnk_new quits (~acidjnk@p200300d6e714dc4498a318f2cc30029a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:04:13 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 23:06:54 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 255 seconds) |
| 23:07:21 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 23:07:21 | × | dontdieych_ quits (~alarm@132.226.169.184) (Ping timeout: 255 seconds) |
| 23:09:27 | → | dontdieych_ joins (~alarm@132.226.169.184) |
| 23:11:49 | × | xff0x quits (~xff0x@2405:6580:b080:900:e758:caa1:b0a5:cc6f) (Ping timeout: 246 seconds) |
| 23:13:39 | × | paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 23:13:58 | → | xff0x joins (~xff0x@2405:6580:b080:900:a053:399f:88bd:931d) |
| 23:14:14 | → | euphores joins (~SASL_euph@user/euphores) |
| 23:15:48 | → | paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 23:25:25 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 23:26:59 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 23:27:02 | → | cheater joins (~Username@user/cheater) |
| 23:28:19 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:32:03 | → | mud joins (~mud@user/kadoban) |
| 23:34:08 | × | xff0x quits (~xff0x@2405:6580:b080:900:a053:399f:88bd:931d) (Remote host closed the connection) |
| 23:34:27 | → | xff0x joins (~xff0x@2405:6580:b080:900:35ed:753d:5333:e2a3) |
| 23:52:30 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 23:59:42 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
All times are in UTC on 2024-05-06.