Newest at the top
2024-10-06 09:14:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-06 09:12:33 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-10-06 09:12:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:09:40 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-06 09:03:25 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-10-06 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-06 09:00:02 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-10-06 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-06 08:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-06 08:55:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone got a good intro for domain-theoretic semantic of recursive types? |
2024-10-06 08:54:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:50:42 +0200 | Square | (~Square@user/square) Square |
2024-10-06 08:49:35 +0200 | Square | (~Square@user/square) (Client Quit) |
2024-10-06 08:48:37 +0200 | Square | (~Square@user/square) Square |
2024-10-06 08:40:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 08:39:41 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
2024-10-06 08:36:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:28:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 08:22:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 08:18:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:13:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:943:dffd:9430:e374) |
2024-10-06 08:10:21 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
2024-10-06 08:08:13 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
2024-10-06 08:08:13 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-06 08:07:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:858f:f870:90c:1b39) (Ping timeout: 246 seconds) |
2024-10-06 08:05:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 07:57:19 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-06 07:57:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-06 07:56:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:56:04 +0200 | rosco | (~rosco@183.171.107.70) rosco |
2024-10-06 07:52:59 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-06 07:51:50 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 07:45:27 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-06 07:45:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 07:41:03 +0200 | wanted | (~wanted@2.219.56.221) |
2024-10-06 07:40:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:39:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-06 07:38:55 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2024-10-06 07:37:48 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-06 07:32:35 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 07:32:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-06 07:30:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-06 07:28:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 07:25:46 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-06 07:25:03 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
2024-10-06 07:23:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:18:18 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-06 07:11:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-06 07:06:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 07:05:22 +0200 | <geekosaur> | supposedly there's work to make warnings more fine-grained, but I don't know the status |