2024/09/27

Newest at the top

2024-09-27 04:16:18 +0200td_(~td@i5387092C.versanet.de)
2024-09-27 04:15:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 04:15:34 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-09-27 04:14:29 +0200td_(~td@i53870912.versanet.de) (Ping timeout: 252 seconds)
2024-09-27 04:13:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-27 04:10:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 04:08:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 04:03:15 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-09-27 04:00:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-27 03:59:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-27 03:55:04 +0200mxs(~mxs@user/mxs) mxs
2024-09-27 03:54:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:54:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-27 03:48:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 03:46:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-27 03:44:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-27 03:41:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:40:11 +0200arahael(~arahael@user/arahael) (Ping timeout: 265 seconds)
2024-09-27 03:36:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-27 03:33:33 +0200troojg(~troojg@user/troojg) troojg
2024-09-27 03:32:38 +0200troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-09-27 03:32:14 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-27 03:31:40 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 03:31:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-27 03:26:56 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-09-27 03:25:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:24:38 +0200troojg(~troojg@user/troojg) troojg
2024-09-27 03:24:34 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2024-09-27 03:19:51 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2024-09-27 03:19:17 +0200pavonia(~user@user/siracusa) siracusa
2024-09-27 03:18:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-27 03:15:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-27 03:12:20 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-27 03:11:28 +0200 <dibblego> it should be init . tails
2024-09-27 03:10:31 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-27 03:10:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 03:10:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 03:04:54 +0200weary-traveler(~user@user/user363627) (Ping timeout: 265 seconds)
2024-09-27 03:03:04 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-27 03:00:41 +0200user363627(~user@user/user363627) user363627
2024-09-27 02:59:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 02:55:06 +0200 <Inst> it's basically tails :: [a] -> [[a]]
2024-09-27 02:54:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-27 02:54:05 +0200Misosabbe(~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2) (Quit: Client closed)
2024-09-27 02:53:04 +0200 <Inst> whoa, is it me or is the duplicate instance for NonEmpty pretty psychedelic?
2024-09-27 02:46:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-27 02:43:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-27 02:40:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-27 02:39:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-27 02:38:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn