Newest at the top
| 2026-06-23 17:54:10 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:53:55 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-23 17:49:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-23 17:44:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-23 17:42:57 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-06-23 17:42:13 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-06-23 17:40:58 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:40:43 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-23 17:39:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-23 17:35:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-23 17:33:30 +0000 | ft | (~ft@p508db6b1.dip0.t-ipconnect.de) ft |
| 2026-06-23 17:33:10 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:32:50 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-23 17:28:25 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-06-23 17:28:05 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Read error: Connection reset by peer) |
| 2026-06-23 17:21:29 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:21:13 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-23 17:19:50 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 17:19:34 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 17:19:16 +0000 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 276 seconds) |
| 2026-06-23 17:19:15 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 246 seconds) |
| 2026-06-23 17:16:16 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 17:15:16 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 17:10:49 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-23 17:09:43 +0000 | <jaror> | Haskell doesn't make it easy to enforce that difference |
| 2026-06-23 17:09:31 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-23 17:09:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-23 17:09:01 +0000 | <jaror> | inductive functions need to terminate, coinductive functions need to be productive |
| 2026-06-23 17:07:45 +0000 | <monochrom> | (Belated) After being candid and s/productive/coinductive/, even s/productive/anamorphism/, you see why it is counterproductive to insist on "productive" --- catamorphisms are important too. |
| 2026-06-23 17:05:58 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-23 17:03:07 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:02:49 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 245 seconds) |
| 2026-06-23 16:58:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2026-06-23 16:58:12 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 16:57:49 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-23 16:56:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-06-23 16:54:44 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 16:54:06 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 16:53:43 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 16:53:35 +0000 | m2 | (~travltux@user/travltux) travltux |
| 2026-06-23 16:53:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 257 seconds) |
| 2026-06-23 16:51:00 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-06-23 16:23:51 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-23 16:23:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-06-23 16:22:01 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-23 16:21:35 +0000 | Guest9452 | (~joelr@user/jreicher) (Killed (niobium.libera.chat (Nickname regained by services))) |
| 2026-06-23 16:21:35 +0000 | jreicher | Guest9452 |
| 2026-06-23 16:20:21 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-06-23 16:18:39 +0000 | xintron | (~xintron@user/xintron) xintron |
| 2026-06-23 16:18:26 +0000 | xintron | (~xintron@user/xintron) (Quit: Lurker 1.0.3 (the truth is out there) https://lurker.chat) |