Newest at the top
| 2024-11-15 08:01:14 +0100 | acidjnk | (~acidjnk@p200300d6e7283f969df7e06974b1c1d0.dip0.t-ipconnect.de) acidjnk |
| 2024-11-15 07:59:16 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-15 07:51:55 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-11-15 07:43:25 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-15 07:43:09 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-11-15 07:18:14 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-15 07:04:58 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 07:03:32 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-11-15 06:39:29 +0100 | <monochrom> | haha |
| 2024-11-15 06:38:08 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2024-11-15 06:37:43 +0100 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-15 06:37:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-11-15 06:28:39 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-15 06:24:44 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) (Ping timeout: 260 seconds) |
| 2024-11-15 06:22:59 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) (Ping timeout: 260 seconds) |
| 2024-11-15 06:21:13 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-15 06:19:18 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) |
| 2024-11-15 06:17:34 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) |
| 2024-11-15 06:17:17 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) (Remote host closed the connection) |
| 2024-11-15 06:17:08 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) (Ping timeout: 272 seconds) |
| 2024-11-15 06:15:52 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) |
| 2024-11-15 06:15:35 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) (Remote host closed the connection) |
| 2024-11-15 06:14:59 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-15 06:14:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2024-11-15 06:14:10 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) |
| 2024-11-15 06:13:36 +0100 | <EvanR> | pushout = multiple inheritance. Got it. And jquery is a monad! |
| 2024-11-15 06:12:29 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) |
| 2024-11-15 06:12:11 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) (Remote host closed the connection) |
| 2024-11-15 06:11:26 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) (Ping timeout: 272 seconds) |
| 2024-11-15 06:10:48 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) |
| 2024-11-15 06:10:29 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) (Remote host closed the connection) |
| 2024-11-15 06:09:59 +0100 | <monochrom> | Just that you can't do push outs in C++, that's all. :) |
| 2024-11-15 06:09:36 +0100 | <monochrom> | OTOH category theory offers a safe kind of diamond inheritance. It's called push out. |
| 2024-11-15 06:09:04 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) |
| 2024-11-15 06:08:57 +0100 | alp | (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) (Ping timeout: 246 seconds) |
| 2024-11-15 06:08:46 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) (Remote host closed the connection) |
| 2024-11-15 06:08:38 +0100 | <monochrom> | Multiple implementation inheritance is the problem (even the OO people already know), but it doesn't translate to Haskell. Multiple interface inheritance is well-known to be just fine. |
| 2024-11-15 06:07:23 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) |
| 2024-11-15 06:05:41 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) |
| 2024-11-15 06:03:59 +0100 | alp | (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) |
| 2024-11-15 05:57:53 +0100 | willscripted | (~willscrip@user/willscripted) (Ping timeout: 245 seconds) |
| 2024-11-15 05:52:26 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2024-11-15 05:37:28 +0100 | aforemny | (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb) aforemny |
| 2024-11-15 05:37:19 +0100 | aforemny_ | (~aforemny@i59F4C560.versanet.de) (Ping timeout: 260 seconds) |
| 2024-11-15 05:37:15 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-11-15 05:31:09 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-15 05:24:10 +0100 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) ft |
| 2024-11-15 05:22:55 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-11-15 05:13:24 +0100 | spew_ | (~spew@201.141.99.170) (Client Quit) |
| 2024-11-15 05:12:21 +0100 | spew_ | (~spew@201.141.99.170) spew |