Newest at the top
| 2025-04-29 17:49:34 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:6ffc:4715:4937:5d57) (Ping timeout: 245 seconds) |
| 2025-04-29 17:46:52 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-29 17:45:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-29 17:43:59 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-29 17:43:28 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 2025-04-29 17:43:23 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-29 17:40:56 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:6ffc:4715:4937:5d57) internatetional |
| 2025-04-29 17:40:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-29 17:35:55 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-29 17:34:10 +0200 | acidjnk_new | (~acidjnk@p54ad5829.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-29 17:32:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-04-29 17:31:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-29 17:24:07 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-29 17:23:02 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-29 17:20:48 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:f526:bfbc:714e:5dfd) (Ping timeout: 276 seconds) |
| 2025-04-29 17:16:24 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-29 17:14:40 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-29 17:13:05 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2025-04-29 17:12:33 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2025-04-29 17:10:44 +0200 | orcus | (~orcus@mail.brprice.uk) (Client Quit) |
| 2025-04-29 17:10:43 +0200 | dispater | (~dispater@mail.brprice.uk) (Client Quit) |
| 2025-04-29 17:10:27 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-29 17:09:30 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2025-04-29 17:09:00 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2025-04-29 17:06:00 +0200 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-29 17:06:00 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-29 16:58:04 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-29 16:57:55 +0200 | yin | (~yin@user/zero) zero |
| 2025-04-29 16:57:46 +0200 | Googulator71 | (~Googulato@94-21-139-144.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-29 16:52:16 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2025-04-29 16:49:34 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:748c:9883:fc80:2b20) (Client Quit) |
| 2025-04-29 16:48:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-29 16:46:31 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:1ee8:b348:b41a:5570) (Ping timeout: 252 seconds) |
| 2025-04-29 16:46:27 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:748c:9883:fc80:2b20) |
| 2025-04-29 16:46:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-04-29 16:31:40 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-29 16:16:00 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-29 16:14:42 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-04-29 16:13:18 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-04-29 16:13:12 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 276 seconds) |
| 2025-04-29 16:05:21 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-04-29 15:54:55 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-04-29 15:45:24 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-04-29 15:40:24 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-04-29 15:33:57 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-29 15:33:49 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-29 15:33:18 +0200 | <ski> | but you still don't want to build up more and more context, when doing a long-running loop (e.g. with `IO'), if you can avoid it, and in such cases, reasoning about tail calls can be quite important to prevent space leakage (in the Haskell sense) |
| 2025-04-29 15:32:01 +0200 | <ski> | a tail-recursive loop, which will always be bulky, not return any part of the result until the whole loop is done |
| 2025-04-29 15:31:55 +0200 | <ski> | Liamzee : anyway, tail calls and tail recursion is still important in Haskell .. but tends to be a bit less important, due to non-strictness (typically implemented using laziness) making it easier to often describe loops as incremental algorithms, only computing the result piece-by-piece, so that the caller will drive looping over this, demanding more result pieces, for as long as it wants to, as opposed to |
| 2025-04-29 15:31:36 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |