Newest at the top
| 2024-10-06 09:44:09 +0200 | rosco | (~rosco@183.171.107.70) (Quit: Lost terminal) |
| 2024-10-06 09:43:22 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) acidjnk |
| 2024-10-06 09:42:41 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-06 09:40:39 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Client Quit) |
| 2024-10-06 09:38:39 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-10-06 09:38:31 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) (Ping timeout: 264 seconds) |
| 2024-10-06 09:36:05 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-06 09:33:34 +0200 | <Axman6> | because that makes it much harder to see that the code is correct, there could be an error anywhere and adding something in the middle means updating everything afterwards |
| 2024-10-06 09:33:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-06 09:32:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-06 09:32:23 +0200 | <Inst> | axman6: why can't you just stuff ' or numbers at the end? |
| 2024-10-06 09:28:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 09:25:38 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) |
| 2024-10-06 09:24:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-06 09:22:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-06 09:19:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-06 09:16:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 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 |