2024/10/30

Newest at the top

2024-10-31 00:34:06 +0100son0p(~ff@186.113.103.75) son0p
2024-10-31 00:29:54 +0100sadmax`(~user@64.130.91.66) (Ping timeout: 248 seconds)
2024-10-31 00:21:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-31 00:20:44 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-31 00:20:09 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-31 00:18:49 +0100spew(~spew@201.141.99.170) spew
2024-10-31 00:17:38 +0100Guest15(~Guest15@n49-190-165-50.meb2.vic.optusnet.com.au) (Client Quit)
2024-10-31 00:16:29 +0100joeyadams(~joeyadams@syn-184-054-105-097.res.spectrum.com)
2024-10-31 00:16:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-31 00:14:42 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-31 00:13:56 +0100Guest15(~Guest15@n49-190-165-50.meb2.vic.optusnet.com.au)
2024-10-31 00:12:19 +0100troojg(~troojg@user/troojg) troojg
2024-10-31 00:06:39 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-10-31 00:03:36 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-31 00:03:29 +0100Guest10(~Guest10@n49-190-165-50.meb2.vic.optusnet.com.au) (Client Quit)
2024-10-31 00:02:52 +0100Guest10(~Guest10@n49-190-165-50.meb2.vic.optusnet.com.au)
2024-10-31 00:00:31 +0100Everythi1g(~Everythin@195.138.86.118) (Quit: leaving)
2024-10-30 23:59:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-30 23:54:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 23:52:04 +0100hiecaq(~hiecaq@user/hiecaq) (Read error: Connection reset by peer)
2024-10-30 23:50:39 +0100hiecaq`(~hiecaq@user/hiecaq) hiecaq
2024-10-30 23:43:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-30 23:43:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-30 23:41:54 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-10-30 23:40:36 +0100ash3en(~Thunderbi@89.56.182.235) (Ping timeout: 276 seconds)
2024-10-30 23:36:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 23:33:20 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 23:33:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-30 23:27:04 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-30 23:24:11 +0100ai5lk(~ai5lk@209-188-121-236.taosnet.com) (Client Quit)
2024-10-30 23:22:10 +0100ai5lk(~ai5lk@209-188-121-236.taosnet.com) shef
2024-10-30 23:21:18 +0100spew(~spew@201.141.99.170) (Ping timeout: 252 seconds)
2024-10-30 23:20:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-30 23:19:51 +0100 <tomsmeding> ph88: I have written TH code that _generates_ code with linear types
2024-10-30 23:19:42 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-30 23:19:24 +0100euleritian(~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-30 23:19:01 +0100euleritian(~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de)
2024-10-30 23:18:35 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-30 23:16:54 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-30 23:15:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 23:14:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-30 23:12:23 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 23:12:12 +0100preflex(~preflex@user/mauke/bot/preflex) preflex
2024-10-30 23:12:05 +0100preflex(~preflex@user/mauke/bot/preflex) (Remote host closed the connection)
2024-10-30 23:11:39 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-10-30 23:05:22 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-30 23:05:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 23:05:04 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-30 23:03:42 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-10-30 23:00:51 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)