2026/06/23

Newest at the top

2026-06-23 17:54:10 +0000nyc(~nyc@user/nyc) nyc
2026-06-23 17:53:55 +0000nyc(~nyc@user/nyc) (Read error: Connection reset by peer)
2026-06-23 17:49:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-23 17:44:54 +0000merijn(~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 +0000acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2026-06-23 17:40:58 +0000nyc(~nyc@user/nyc) nyc
2026-06-23 17:40:43 +0000nyc(~nyc@user/nyc) (Ping timeout: 276 seconds)
2026-06-23 17:39:40 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-06-23 17:35:27 +0000tromp(~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-23 17:33:30 +0000ft(~ft@p508db6b1.dip0.t-ipconnect.de) ft
2026-06-23 17:33:10 +0000nyc(~nyc@user/nyc) nyc
2026-06-23 17:32:50 +0000nyc(~nyc@user/nyc) (Read error: Connection reset by peer)
2026-06-23 17:28:25 +0000rabbull72(~rabbull@xdsl-31-164-93-219.adslplus.ch)
2026-06-23 17:28:05 +0000rabbull72(~rabbull@xdsl-31-164-93-219.adslplus.ch) (Read error: Connection reset by peer)
2026-06-23 17:21:29 +0000nyc(~nyc@user/nyc) nyc
2026-06-23 17:21:13 +0000nyc(~nyc@user/nyc) (Ping timeout: 276 seconds)
2026-06-23 17:19:50 +0000califax(~califax@user/califx) califx
2026-06-23 17:19:34 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-06-23 17:19:16 +0000Fijxu(~Fijxu@user/fijxu) (Ping timeout: 276 seconds)
2026-06-23 17:19:15 +0000acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 246 seconds)
2026-06-23 17:16:16 +0000califax(~califax@user/califx) califx
2026-06-23 17:15:16 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-06-23 17:10:49 +0000emilym(~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 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-06-23 17:09:09 +0000chexum(~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 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-23 17:03:07 +0000nyc(~nyc@user/nyc) nyc
2026-06-23 17:02:49 +0000nyc(~nyc@user/nyc) (Ping timeout: 245 seconds)
2026-06-23 16:58:46 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds)
2026-06-23 16:58:12 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-23 16:57:49 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-06-23 16:56:48 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-06-23 16:54:44 +0000califax(~califax@user/califx) califx
2026-06-23 16:54:06 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-23 16:53:43 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-06-23 16:53:35 +0000m2(~travltux@user/travltux) travltux
2026-06-23 16:53:25 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 257 seconds)
2026-06-23 16:51:00 +0000m(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-06-23 16:23:51 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-06-23 16:23:37 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2026-06-23 16:22:01 +0000jreicher(~joelr@user/jreicher) jreicher
2026-06-23 16:21:35 +0000Guest9452(~joelr@user/jreicher) (Killed (niobium.libera.chat (Nickname regained by services)))
2026-06-23 16:21:35 +0000jreicherGuest9452
2026-06-23 16:20:21 +0000ystael(~ystael@user/ystael) ystael
2026-06-23 16:18:39 +0000xintron(~xintron@user/xintron) xintron
2026-06-23 16:18:26 +0000xintron(~xintron@user/xintron) (Quit: Lurker 1.0.3 (the truth is out there) https://lurker.chat)