2026/04/18

Newest at the top

2026-04-18 06:29:40 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2026-04-18 06:22:32 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds)
2026-04-18 06:19:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-04-18 06:19:01 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-04-18 06:15:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 06:09:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-18 06:04:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 05:57:28 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 05:54:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-04-18 05:54:11 +0000 <haskellbridge> <maerwald> but Natural/Integer equality. What's the difference lol
2026-04-18 05:54:00 +0000 <haskellbridge> <maerwald> kinda confused to learn that Dhall doesn't have text equality...
2026-04-18 05:49:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 05:48:18 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds)
2026-04-18 05:43:28 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 05:38:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-18 05:33:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 05:22:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-18 05:15:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 05:13:44 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 256 seconds)
2026-04-18 05:09:21 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 05:06:54 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds)
2026-04-18 05:04:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-18 05:02:11 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 05:00:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 05:00:18 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-04-18 04:58:41 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 265 seconds)
2026-04-18 04:49:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-18 04:46:39 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds)
2026-04-18 04:44:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 04:42:08 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 04:34:27 +0000polykernel_polykernel
2026-04-18 04:34:27 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 246 seconds)
2026-04-18 04:33:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-18 04:31:08 +0000polykernel_(~polykerne@user/polykernel) polykernel
2026-04-18 04:29:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 04:18:55 +0000puke(~puke@user/puke) puke
2026-04-18 04:18:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-18 04:16:24 +0000xff0x(~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b)
2026-04-18 04:12:54 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds)
2026-04-18 04:10:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 04:10:18 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds)
2026-04-18 04:10:15 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-04-18 04:09:18 +0000puke(~puke@user/puke) (Quit: puke)
2026-04-18 04:08:43 +0000xff0x(~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) (Ping timeout: 244 seconds)
2026-04-18 04:06:06 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 03:59:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-18 03:55:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 03:51:40 +0000Square3(~Square@user/square) (Ping timeout: 244 seconds)
2026-04-18 03:50:07 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds)
2026-04-18 03:45:30 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)