2026/05/31

Newest at the top

2026-05-31 10:51:21 +0000rabbull72rabbull7
2026-05-31 10:51:21 +0000rabbull7(~rabbull@xdsl-31-164-93-219.adslplus.ch) (Read error: Connection reset by peer)
2026-05-31 10:50:02 +0000rabbull72(~rabbull@xdsl-31-164-93-219.adslplus.ch)
2026-05-31 10:49:10 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-05-31 10:46:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 10:46:37 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-05-31 10:45:41 +0000synchromesh(~john@2406:5a00:247e:1500:9a0:33e6:ebb2:ef41) synchromesh
2026-05-31 10:44:39 +0000synchromesh(~john@2406:5a00:247e:1500:9a0:33e6:ebb2:ef41) (Read error: Connection reset by peer)
2026-05-31 10:38:49 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-05-31 10:36:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-05-31 10:33:45 +0000CiaoSen(~Jura@2a02:3037:6e6:d82f:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds)
2026-05-31 10:31:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 10:24:02 +0000 <tomsmeding> I guess I "meant" that that '==' denoted what the complainant wants, rather than what Haskell does
2026-05-31 10:23:33 +0000 <tomsmeding> uh, yes, that's what I meant
2026-05-31 10:21:51 +0000 <lambdabot> 1
2026-05-31 10:21:50 +0000 <int-e> > length (1,2) -- ???
2026-05-31 10:20:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-31 10:20:09 +0000 <tomsmeding> oh "length (1, 2, 3)" is the perfect retort to people complaining about "length (1, 2) == 2"
2026-05-31 10:13:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 10:04:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-31 09:59:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 09:55:55 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-05-31 09:51:48 +0000AlexZenon_2(~alzenon@178.34.160.200) (Ping timeout: 246 seconds)
2026-05-31 09:49:38 +0000AlexZenon(~alzenon@178.34.160.200)
2026-05-31 09:49:00 +0000AlexZenon(~alzenon@178.34.160.200) (Ping timeout: 246 seconds)
2026-05-31 09:48:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-31 09:47:40 +0000AlexZenon_2(~alzenon@178.34.160.200)
2026-05-31 09:44:37 +0000AlexZenon(~alzenon@178.34.160.200)
2026-05-31 09:43:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 09:42:37 +0000AlexNoo(~AlexNoo@85.174.182.98) (Ping timeout: 272 seconds)
2026-05-31 09:40:52 +0000Alex_delenda_est(~al_test@85.174.182.98) (Ping timeout: 256 seconds)
2026-05-31 09:40:52 +0000AlexZenon(~alzenon@85.174.182.98) (Ping timeout: 256 seconds)
2026-05-31 09:39:00 +0000AlexNoo_(~AlexNoo@178.34.160.200)
2026-05-31 09:38:28 +0000tremon(~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon
2026-05-31 09:33:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-05-31 09:29:02 +0000CiaoSen(~Jura@2a02:3037:6e6:d82f:4e50:ddff:fe9b:8922) CiaoSen
2026-05-31 09:28:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 09:21:21 +0000castan(~castan@188.26.39.158) (Quit: castan)
2026-05-31 09:17:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-31 09:12:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 09:05:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 253 seconds)
2026-05-31 09:00:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-31 08:59:44 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-05-31 08:58:41 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-05-31 08:52:59 +0000acidjnk(~acidjnk@p200300d6e700e50749931930275f1dba.dip0.t-ipconnect.de) acidjnk
2026-05-31 08:51:57 +0000acidjnk_new(~acidjnk@p200300d6e700e554a1582e2fc899958d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2026-05-31 08:51:57 +0000acidjnk(~acidjnk@p200300d6e700e554a1582e2fc899958d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2026-05-31 08:49:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-05-31 08:48:26 +0000acidjnk_new3(~acidjnk@p200300d6e700e50749931930275f1dba.dip0.t-ipconnect.de)
2026-05-31 08:45:00 +0000divlamir(~divlamir@user/divlamir) divlamir