Newest at the top
| 2025-01-05 00:40:37 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-01-05 00:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 00:33:17 +0100 | img | (~img@user/img) img |
| 2025-01-05 00:31:55 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-05 00:27:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-05 00:24:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-05 00:20:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 00:11:59 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-05 00:11:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-05 00:09:56 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-05 00:09:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-05 00:08:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-05 00:05:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-04 23:59:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-04 23:58:41 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2025-01-04 23:54:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-04 23:50:45 +0100 | homo | (~homo@user/homo) (Ping timeout: 276 seconds) |
| 2025-01-04 23:49:39 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2025-01-04 23:48:13 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-04 23:43:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-04 23:43:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-04 23:39:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-04 23:34:58 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2025-01-04 23:28:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-04 23:23:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-04 23:23:33 +0100 | homo_ | homo |
| 2025-01-04 23:23:17 +0100 | homo | (~homo@user/homo) (Ping timeout: 248 seconds) |
| 2025-01-04 23:20:34 +0100 | homo_ | (~homo@user/homo) homo |
| 2025-01-04 23:18:01 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2025-01-04 23:18:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-04 23:17:59 +0100 | ponup | (~santiago@user/ponup) ponup |
| 2025-01-04 23:15:39 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-04 23:13:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-04 23:08:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-04 23:02:07 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 252 seconds) |
| 2025-01-04 23:00:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-04 22:57:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-04 22:57:05 +0100 | CiaoSen | (~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-04 22:54:15 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-04 22:52:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-04 22:44:47 +0100 | <haskellbridge> | <Bowuigi> Is it all the arrows, even those inside definitions? |
| 2025-01-04 22:43:27 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-04 22:43:04 +0100 | <haskellbridge> | <Bowuigi> How "deep" do you have to dualize in Category Theory to get the extra theorems? Which arrows exactly do you have to reverse? |
| 2025-01-04 22:41:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-04 22:40:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-04 22:39:33 +0100 | <lambdabot> | monochrom says: in Soviet Russia, you have current-continuation-calls-procedure (CCCP) |
| 2025-01-04 22:39:32 +0100 | <monochrom> | @quote monochrom cccp |
| 2025-01-04 22:39:31 +0100 | <lambdabot> | No quotes match. |
| 2025-01-04 22:39:31 +0100 | <monochrom> | @quote monochrom cccpy |
| 2025-01-04 22:39:26 +0100 | <monochrom> | Also: |