2026/04/18

Newest at the top

2026-04-18 07:24:16 +0000Logio(em@kapsi.fi) (Quit: Lost terminal)
2026-04-18 07:21:57 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-18 07:21:20 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-04-18 07:20:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-18 07:16:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 07:14:22 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 276 seconds)
2026-04-18 07:14:12 +0000 <gentauro> maerwald: so you can't compare strings?
2026-04-18 07:14:10 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-18 07:12:49 +0000_0xa(~user@user/0xa/x-3134607) _0xa
2026-04-18 07:12:49 +0000_0xa(~user@95.179.128.10) (Changing host)
2026-04-18 07:12:49 +0000_0xa(~user@95.179.128.10)
2026-04-18 07:11:59 +0000_0xa(~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in)
2026-04-18 07:09:16 +0000uli-fem(~uli-fem@14-202-246-84.tpgi.com.au)
2026-04-18 07:08:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-18 07:05:00 +0000_0xa(~user@user/0xa/x-3134607) _0xa
2026-04-18 07:05:00 +0000_0xa(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host)
2026-04-18 07:05:00 +0000_0xa(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc)
2026-04-18 07:04:46 +0000_0xa_(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2026-04-18 07:03:07 +0000polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2026-04-18 07:02:37 +0000polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds))
2026-04-18 07:01:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 06:55:06 +0000Guest8632(~puke@user/puke) (Ping timeout: 250 seconds)
2026-04-18 06:54:56 +0000pyookpuke
2026-04-18 06:54:56 +0000pukeGuest8632
2026-04-18 06:54:55 +0000pyook(~puke@user/puke) puke
2026-04-18 06:50:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-18 06:48:01 +0000mags_(~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) (Client Quit)
2026-04-18 06:48:00 +0000 <mags_> oops
2026-04-18 06:47:57 +0000 <mags_> quit
2026-04-18 06:47:31 +0000mags_(~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net)
2026-04-18 06:47:04 +0000tromp(~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd)
2026-04-18 06:46:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-18 06:41:47 +0000 <haskellbridge> <maerwald> Maybe should give Nickel a try
2026-04-18 06:35:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-18 06:33:21 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-04-18 06:30:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
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)