2025/10/28

Newest at the top

2025-10-28 10:35:06 +0100 <Square2> Is it just me or is this definition of https://en.wikipedia.org/wiki/Currying the opposite of haskells curry/uncurry. I suspect the error lies with me.
2025-10-28 10:31:24 +0100Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 10:30:39 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 10:29:34 +0100kritzefitz(~kritzefit@debian/kritzefitz) kritzefitz
2025-10-28 10:27:32 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds)
2025-10-28 10:26:12 +0100nerdychip(~nerdychip@user/nerdychip) (Ping timeout: 265 seconds)
2025-10-28 10:24:53 +0100nerdychip_(~nerdychip@212.129.73.90)
2025-10-28 10:21:08 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-28 10:18:14 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 10:18:01 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 10:11:32 +0100jcarpenter2(~lol@96.78.87.197)
2025-10-28 10:10:39 +0100Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 10:10:33 +0100Googulator57(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 10:10:19 +0100Alex_test_(~al_test@85.174.182.61) (Quit: ;-)
2025-10-28 10:10:02 +0100jcarpenter2(~lol@2603:3016:1e01:b9c0:fd8e:ec0:9c94:e822) (Ping timeout: 260 seconds)
2025-10-28 10:07:23 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 10:07:09 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 09:58:37 +0100bggd(~bgg@2a01:e0a:819:1510:6332:8521:3edc:a84b) (Remote host closed the connection)
2025-10-28 09:50:17 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 09:50:03 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 09:49:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-10-28 09:45:05 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-28 09:42:38 +0100gustrb(~gustrb@user/gustrb) gustrb
2025-10-28 09:42:38 +0100gustrb(~gustrb@191.243.134.87) (Changing host)
2025-10-28 09:40:50 +0100gustrb(~gustrb@191.243.134.87)
2025-10-28 09:40:47 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 09:40:41 +0100Googulator57(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 09:40:29 +0100gustrb(~gustrb@191.243.134.87) (Quit: gustrb)
2025-10-28 09:33:56 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-28 09:32:41 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 09:32:21 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-28 09:26:49 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-28 09:23:29 +0100trickard_trickard
2025-10-28 09:20:40 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 09:20:32 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 09:14:03 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 09:12:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-10-28 09:11:18 +0100bggd(~bgg@2a01:e0a:819:1510:6332:8521:3edc:a84b)
2025-10-28 09:08:35 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-28 09:06:17 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-28 09:06:01 +0100ski(~ski@remote11.chalmers.se) (Ping timeout: 264 seconds)
2025-10-28 09:05:52 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 09:05:24 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-28 08:56:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 08:53:55 +0100annamalai(~annamalai@157.33.245.57) annamalai
2025-10-28 08:49:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 08:40:08 +0100dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Quit: WeeChat 2.6)
2025-10-28 08:38:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 08:36:15 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-28 08:35:50 +0100annamalai(~annamalai@157.33.245.57) (Ping timeout: 244 seconds)