2025/08/20

Newest at the top

2025-08-20 13:52:24 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 13:36:50 +0200Yumemi(~Yumemi@chamoin.net) Yumemi
2025-08-20 13:36:02 +0200Yumemi(~Yumemi@chamoin.net) (Server closed connection)
2025-08-20 13:33:16 +0200ludat15(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed)
2025-08-20 13:32:24 +0200krei-se(~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) krei-se
2025-08-20 13:31:06 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-20 13:29:45 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-20 13:29:07 +0200krei-se-(~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 13:26:20 +0200Lord_of_Life_Lord_of_Life
2025-08-20 13:25:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2025-08-20 13:25:00 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 13:21:19 +0200aniketd(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2025-08-20 13:21:11 +0200aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection)
2025-08-20 13:16:56 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9)
2025-08-20 13:15:08 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-20 13:06:31 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-20 13:04:41 +0200trickard_(~trickard@cpe-59-98-47-163.wireline.com.au)
2025-08-20 13:04:27 +0200trickard__(~trickard@cpe-59-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-20 13:03:21 +0200xff0x(~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be)
2025-08-20 13:00:01 +0200Square(~Square4@user/square) (Quit: Leaving)
2025-08-20 12:56:15 +0200haritz(~hrtz@user/haritz) haritz
2025-08-20 12:56:15 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-20 12:56:15 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-20 12:54:55 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 12:54:23 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 12:54:13 +0200andreas303(andreas303@is.drunk.and.ready-to.party) andreas303
2025-08-20 12:50:07 +0200xacktm(xacktm@user/xacktm) xacktm
2025-08-20 12:49:28 +0200andreas303(andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection)
2025-08-20 12:49:22 +0200xacktm(xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com)
2025-08-20 12:47:49 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9)
2025-08-20 12:47:36 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-08-20 12:40:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 12:27:26 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-20 12:25:13 +0200ubert1(~Thunderbi@91.141.70.208.wireless.dyn.drei.com) (Ping timeout: 244 seconds)
2025-08-20 12:05:00 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-20 12:03:38 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-08-20 11:59:12 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-08-20 11:58:11 +0200trickard__(~trickard@cpe-59-98-47-163.wireline.com.au)
2025-08-20 11:57:03 +0200 <yin> should be `y f = g g where g x = f $ x x`
2025-08-20 11:56:24 +0200 <yin> (i just notices i messed up the second non-typechecking step)
2025-08-20 11:55:04 +0200trickard_trickard
2025-08-20 11:53:28 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-20 11:50:56 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 11:50:48 +0200Jon^(jon@dow.land) (Quit: ZNC - http://znc.in)
2025-08-20 11:50:33 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 11:50:29 +0200JonJon^
2025-08-20 11:43:17 +0200chele(~chele@user/chele) chele
2025-08-20 11:42:13 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2025-08-20 11:38:04 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-08-20 11:32:51 +0200mauke(~mauke@user/mauke) mauke