Newest at the top
| 2025-11-15 20:10:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 20:08:51 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:08:34 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-15 20:08:21 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:07:43 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 20:07:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 20:05:42 +0100 | Everything | (~Everythin@46.96.11.48) Everything |
| 2025-11-15 20:05:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-15 20:03:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 19:59:10 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 19:59:00 +0100 | trickard | (~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-15 19:55:31 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2025-11-15 19:55:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-15 19:53:56 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 19:53:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-15 19:49:39 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-15 19:49:39 +0100 | Nachtgespenst | (~user@ip5f5bf4bb.dynamic.kabel-deutschland.de) (Changing host) |
| 2025-11-15 19:48:23 +0100 | iridium.libera.chat | +o ChanServ |
| 2025-11-15 19:48:23 +0100 | ChanServ | (ChanServ@services.libera.chat) |
| 2025-11-15 19:45:41 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 2025-11-15 19:45:41 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:41:24 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:41:00 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:38:51 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-11-15 19:35:38 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:35:28 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:35:23 +0100 | Nachtgespenst | (~user@ip5f5bf4bb.dynamic.kabel-deutschland.de) |
| 2025-11-15 19:34:28 +0100 | ChanServ | (ChanServ@services.libera.chat) (*.net *.split) |
| 2025-11-15 19:33:48 +0100 | krei-se | (~krei-se@p50829bd3.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-11-15 19:30:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 19:27:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 19:26:56 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 19:20:50 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:20:50 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:17:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 19:15:40 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:15:28 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:14:53 +0100 | krei-se | (~krei-se@p50829bd3.dip0.t-ipconnect.de) krei-se |
| 2025-11-15 19:14:14 +0100 | krei-se | (~krei-se@p200300f1cf2e0c01000000000000c8c6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-11-15 19:10:46 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |
| 2025-11-15 19:10:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-15 19:09:21 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 2025-11-15 19:09:08 +0100 | codolio | dolio |
| 2025-11-15 19:07:55 +0100 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 250 seconds) |
| 2025-11-15 19:04:35 +0100 | <codolio> | The systems I know of that have both laziness and continuations are significant departures from just lambda calculus. |
| 2025-11-15 19:03:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 19:02:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 19:02:02 +0100 | <codolio> | So when you write `reset (... shift ...)` that doesn't mean that the `shift` is actually delimited by that `reset`, because the expression within may not evaluate the shift. |
| 2025-11-15 19:00:42 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:00:38 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |