2024/09/29

Newest at the top

2024-09-29 03:18:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 03:13:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 03:10:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-29 03:05:25 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-29 03:05:11 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 03:04:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 03:03:36 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 03:03:04 +0200Inst(~Inst@user/Inst) Inst
2024-09-29 03:02:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-29 03:02:39 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-09-29 02:59:16 +0200 <Inst> now, instead of having to predefine the data size, i can just select a section from the zippers (that use streams in lieu of lists) and laziness takes care of the rest
2024-09-29 02:57:18 +0200troojg(~troojg@user/troojg) (Ping timeout: 276 seconds)
2024-09-29 02:56:53 +0200 <Inst> hum, so this zipper-based conway isn't that bad
2024-09-29 02:56:30 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 02:53:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:48:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 02:46:06 +0200alp(~alp@user/alp) (Remote host closed the connection)
2024-09-29 02:43:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:43:28 +0200troojg(~troojg@user/troojg) troojg
2024-09-29 02:37:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-29 02:32:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 02:32:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 02:28:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:18:59 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 02:17:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 02:13:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 02:12:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 02:06:28 +0200dlock23(~dlock23@160.red-81-40-78.staticip.rima-tde.net) (Leaving)
2024-09-29 02:01:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 02:00:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-29 01:56:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 01:55:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 01:53:02 +0200ell3(~ellie@user/ellie) ellie
2024-09-29 01:52:53 +0200ell(~ellie@user/ellie) (Read error: Connection reset by peer)
2024-09-29 01:46:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-29 01:41:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 01:33:41 +0200acidjnk(~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-09-29 01:33:39 +0200pavonia(~user@user/siracusa) siracusa
2024-09-29 01:30:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-29 01:29:25 +0200bud(~bud@user/bud) (Leaving.)
2024-09-29 01:27:07 +0200 <bud> build failed in nix also, i give up. stay strong haskell people, thanks for help!
2024-09-29 01:25:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 01:23:46 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-29 01:21:04 +0200gvg(~dcd@user/gvg) (Ping timeout: 260 seconds)
2024-09-29 01:20:59 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 01:19:28 +0200gvg_(~dcd@user/gvg) gvg
2024-09-29 01:18:40 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-29 01:14:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 01:14:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 01:09:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn